解題思路：這是神奇的一題，一定要好好體會。見程式碼：
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
using namespace std;
const int maxn = ;
int vis[maxn][maxn], ans[maxn], cap[]; struct node{
int v[], cnt;
friend bool operator <(node A, node B){
return A.cnt > B.cnt; //cnt更小的優先順序更高
}
}; priority_queue<node> q; //優先佇列 void Change(node u)
{
for(int i = ; i < ; i++)
{
int d = u.v[i];
//ans[d] < 0表示該點目前沒有訪問過
//找出走到容量為d的點時所倒水的最小總量
if(ans[d] < || u.cnt < ans[d]) ans[d] = u.cnt;
}
return ;
} void solve(int a, int b, int c, int d)
{
cap[] = a, cap[] = b, cap[] = c; //初始化三個杯子的容量
node s, s1;
//每個杯子中初始狀態所含有的水
s.v[] = , s.v[] = , s.v[] = c, s.cnt = ;
vis[][] = ; //標記第一個和第二個杯子中水的狀態已經出現過
while(!q.empty()) q.pop();
q.push(s); while(!q.empty())
{
s = q.top();
q.pop(); Change(s); //好好體會
if(ans[d] >= ) break; //表示已經符合題意，可以跳出 //從杯子i中把水倒到杯子j中
for(int i = ; i < ; i++) for(int j = ; j < ; j++)
{
if(i == j) continue; //不可能倒水到自身
if(s.v[i] == || s.v[j] == cap[j]) continue;//i為空或j已經滿
int tmp = min(s.v[i], cap[j] - s.v[j]); //到底倒完i還是將j倒滿
s1 = s; //s的狀態要儲存下來，還要進行下一次迴圈。
//杯子i中的水增加，j中的水減少，總轉移兩增加
s1.v[i] = s.v[i] - tmp, s1.v[j] = s.v[j] + tmp, s1.cnt = s.cnt + tmp;
if(!vis[s1.v[]][s1.v[]]) //如果這種狀態之前沒出現過
{
vis[s1.v[]][s1.v[]] = ;
q.push(s1); //入佇列
}
} }
while(d >= )
{
if(ans[d] >= ) //符合條件，剛好為題目所說的d，或與它接近
//的最小符合條件的數
{
printf("%d %d\n", ans[d], d);
return ; //直接返回
}
d --;
}
return ;
} int main()
{
int t, a, b, c, d;
scanf("%d", &t);
while(t --)
{
scanf("%d %d %d %d", &a, &b, &c, &d); memset(vis, , sizeof(vis));//一定要初始化
memset(ans, -, sizeof(ans)); solve(a, b, c, d);
}
return ;
}