Pots POJ

一个比较麻烦一点的BFS
题意是有两个容量分别为A，B的空水杯，可以对他们进行如下操作：
1. 选择其中一个水杯倒满水
2. 选择其中一个水杯清空其中的水
3. 选择一个水杯，将其中的水倒入到另一个水杯，直到另一个水杯满或者选择的水杯没有水了

希望通过这些操作使其中的一个水杯中水量为C

整体依然是BFS，只是在寻找下一步可能情况的时候比较麻烦，我直接写了对应操作的三个函数，然后记录下当前节点的操作，和当前节点的父节点，寻得解之后回溯逆序输出答案即可
另外要注意无解的情况，不需要跑BFS，当C不能整除 A，B的公约数时一定无解。
注意BFS时也需要通过visit数组记录下当前已经实现了的情况，不然会超时

//leehaoze#include <iostream>#include <deque>#include <string>#include <vector>#include <queue>#include <cstdio>#include <stack>#include <algorithm>#include <cstring>#include <cctype>#include <cstdio>#include <cmath>#include <cstdlib>using namespace std;const int INF = 1<<29;#define INC_SAT( val ) (val = ((val)+1 > (val)) ? (val)+1 : (val))#define ARR_SIZE( a ) ( sizeof( (a) ) / sizeof( (a[0]) ) )#define ULL unsigned long longstruct Pot{    Pot(int s,int w):size_(s),water_(w){}    Pot(const Pot&cp):size_(cp.size_),water_(cp.water_){}    int size_;    int water_;};struct Comb{    Comb(Pot A,Pot B,int step,int pre_order):A_(A),B_(B),step_(step),pre_order_(pre_order),father_(NULL){}    Comb(const Comb&cp):A_(cp.A_),B_(cp.B_),step_(cp.step_){}    Pot A_;    Pot B_;    int step_;    int pre_order_;    Comb *father_;};int A,B,C;bool visit[101][101];void Input(){    scanf("%d%d%d",&A,&B,&C);    for (int i = 0; i < 101; ++i) {        for (int j = 0; j < 101; ++j) {            visit[i][j] = false;        }    }}int gcd(int a, int b) {    return b ? gcd(b, a%b) : a;}bool Match(Comb &now){    return now.A_.water_ == C || now.B_.water_ == C;}void Fill(Comb &temp, int i){    if(i == 1){        temp.A_.water_ = temp.A_.size_;    }    else{        temp.B_.water_ = temp.B_.size_;    }}void Drop(Comb &temp,int i){    if(i == 1){        temp.A_.water_ = 0;    }    else{        temp.B_.water_ = 0;    }}void Pour(Comb &temp,int i){    if(i == 1){        int B_left = temp.B_.size_ - temp.B_.water_;        if(temp.A_.water_ >= B_left){            temp.B_.water_ = temp.B_.size_;            temp.A_.water_ -= B_left;        }        else{            temp.B_.water_ += temp.A_.water_;            temp.A_.water_ = 0;        }    }    else{        int A_left = temp.A_.size_ - temp.A_.water_;        if(temp.B_.water_ >= A_left){            temp.A_.water_ = temp.A_.size_;            temp.B_.water_ -= A_left;        }        else{            temp.A_.water_ += temp.B_.water_;            temp.B_.water_ = 0;        }    }}void BFS(){    queue<Comb *> S;    S.push(new Comb(Pot(A,0),Pot(B,0),0,-1));    while(!S.empty()){        Comb *now = S.front();        S.pop();        if(Match(*now)){            cout << now->step_ << endl;            stack<string> ans;            while(now != NULL){                switch (now->pre_order_){                    case 0:                        ans.push("FILL(1)");                        break;                    case 1:                        ans.push("FILL(2)");                        break;                    case 2:                        ans.push("DROP(1)");                        break;                    case 3:                        ans.push("DROP(2)");                        break;                    case 4:                        ans.push("POUR(1,2)");                        break;                    case 5:                        ans.push("POUR(2,1)");                        break;                    default:break;                }                now = now->father_;            }            while(!ans.empty()){                cout << ans.top() << endl;                ans.pop();            }            return ;        }        for (int i = 0; i < 6; ++i) {            Comb *temp = new Comb(*now);            switch (i) {                case 0:                    Fill(*temp, 1);                    break;                case 1:                    Fill(*temp, 2);                    break;                case 2:                    Drop(*temp, 1);                    break;                case 3:                    Drop(*temp, 2);                    break;                case 4:                    Pour(*temp, 1);                    break;                case 5:                    Pour(*temp, 2);                    break;                default:                    break;            }            temp->step_++;            temp->pre_order_ = i;            temp->father_ = now;            if(!visit[temp->A_.water_][temp->B_.water_]) {                S.push(temp);                visit[temp->A_.water_][temp->B_.water_] = true;            }        }    }}int main() {#ifdef LOCAL    freopen("IN.txt", "r", stdin);#endif    std::ios::sync_with_stdio(false);    Input();    if (C % gcd(A, B) != 0)        puts("impossible");    else        BFS();}