Pour Water

问题描述

有两个杯子容量分别为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;
	}
}