问题描述
有两个杯子容量分别为A和B,想得到C单位的水,倒水问题 “fill A” 表示倒满A杯,"empty A"表示倒空A杯,“pour A B” 表示把A的水倒到B杯并且把B杯倒满或A倒空。
【输入】
输入包含多组数据。每组数据输入 A, B, C 数据范围 0 < A <= B 、 C <= B <=1000 、A和B互质。
【输出】
输出将由一系列的指令组成。这些输出行将导致任何一个罐子正好包含C单位的水。每组数据的最后一行输出应该是“success”。输出行从第1列开始,不应该有空行或任何尾随空格。
【样例输入】
2 7 5
2 7 4
【样例输出】
fill B
pour B A
success
fill A
pour A B
fill A
pour A B
success
问题分析
同迷宫问题一样,倒水问题也是已知初始状态,结果状态和中间可到达过程求解,因此倒水问题也可用bfs求解,用map类型记录已发生的状态变化,在bfs经历某过程入队列时judge函数判断是否出现过该状态变化,没有则入队,用step标记所执行的操作,直到到达目标状态时,map所含状态倒序输出。
该题包含的六种过程:
1、倒满A杯
2、倒空A杯
3、倒满B杯
4、倒空B杯
5、将A杯里的水到给B杯{<1>A杯倒给B杯且A杯还有剩余<2>A杯完全倒给B杯}
6、将B杯里的水到给A杯{<1>B杯倒给A杯且B杯还有剩余<2>B杯完全倒给A杯}
#include<iostream>
#include<map>
#include<queue>
using namespace std;
struct state
{
int a,b;
int step;//标记操作状态
bool operator < (const state &s) const
{
if(a != s.a) return a<s.a;
else return b<s.b;
}
};
map<state,state> mp;//now记录出现过的全部状态
queue<state> q;
void judge(state &s,state &t)//由s状态变成t状态
{
if(mp.find(t)==mp.end())//未出现过t状态
{
mp[t]=s;
q.push(t);
}
}
int main()
{
int A,B,C;
state s,t;
while(cin>>A>>B>>C)
{
s.a=s.b=0;
q.push(s);
while(1)
{
s=q.front() ;
q.pop();
if(s.a==C||s.b==C)//到达某一状态
break;
else
{
if(s.a<A)
{//装满A杯
t.a=A;
t.b=s.b;
t.step=0;
judge(s,t);
}
if(s.a>0)//将A杯倒空
{
t.a=0;
t.b=s.b;
t.step=1;
judge(s,t);
}
if(s.b<B)
{//装满B杯
t.b=B;
t.a=s.a;
t.step=2;
judge(s,t);
}
if(s.b>0)//将B杯倒空
{
t.b=0;
t.a=s.a;
t.step=3;
judge(s,t);
}
//A倒给B
if(s.a+s.b>=B)
{//A杯倒满B杯且A杯有剩余
t.a=s.a+s.b-B;
t.b=B;
t.step=4;
judge(s,t);
}
if(s.a+s.b<B)
{//A杯倒给B杯,且A杯倒空
t.a=0;
t.b=s.a+s.b;
t.step=4;
judge(s,t);
}
//B到给A
if(s.a+s.b>=A)
{//B杯倒满A杯且B杯有剩余
t.b=s.a+s.b-A;
t.a=A;
t.step=5;
judge(s,t);
}
if(s.a+s.b<A)
{//B杯倒给A杯,且B杯倒空
t.b=0;
t.a=s.a+s.b;
t.step=5;
judge(s,t);
}
}
}
//倒序输出
state p[100];
p[0]=s;//最终状态
int i=1;
while(mp.find(s)!=mp.end()&&!(s.a==0&&s.b==0))
{
s=mp[s];
p[i]=s;
i++;
}
for(i=i-2;i>=0;i--)
{
if(p[i].step==0) cout<<"fill A"<<endl;
if(p[i].step==1) cout<<"empty A"<<endl;
if(p[i].step==2) cout<<"fill B"<<endl;
if(p[i].step==3) cout<<"empty B"<<endl;
if(p[i].step==4) cout<<"pour A B"<<endl;
if(p[i].step==5) cout<<"pour B A"<<endl;
}
cout<<"success"<<endl;
}
}