程序设计思维与实践 Week2作业 B - Pour Water

倒水问题 “fill A” 表示倒满A杯，"empty A"表示倒空A杯，“pour A B” 表示把A的水倒到B杯并且把B杯倒满或A倒空。

Input
输入包含多组数据。每组数据输入 A, B, C 数据范围 0 < A <= B 、C <= B <=1000 、A和B互质。

Output
你的程序的输出将由一系列的指令组成。这些输出行将导致任何一个罐子正好包含C单位的水。每组数据的最后一行输出应该是“success”。输出行从第1列开始，不应该有空行或任何尾随空格。

Sample Input
2 7 5
2 7 4

Sample Output
fill B
pour B A
success
fill A
pour A B
fill A
pour A B
success

做法：
该题很显然是一个bfs+隐式图问题，思路大致为：首先要建立状态转换的函数，记录是该状态否访问过的容器reach，以及记录状态变化关系的容器from。从两个杯子均为空这个状态开始，将该状态入状态队列，之后重复以下操作：从队列中取出一个状态，对其每一个转变状态判断是否访问过，若未访问过则在reach中标记该状态，并在from中记录其转变自哪个状态，再判断是否符合要求，若符合要求则结束。以上步骤结束后，创建一个状态栈，在from容器中，从最终状态开始，不断将当前状态及前状态放入栈中直到初状态入栈。之后直到栈空，每次从栈顶取出两个状态，判断两个状态间的转化关系，输出即可。

代码：

#include<iostream>
#include<queue>
#include<stack>
#include <map>
using namespace std;
struct status
{
	int A;
	int B;
	bool operator <(const status &s)const
	{
		if(A==s.A)
		{
			return B<s.B;
		}
		return A<s.A;
	}
	bool operator ==(const status &s)
	{
		return A==s.A&&B==s.B;
	}
	
};
status fillA(status &s,int maxA)
{
	status s1=s;
	s1.A=maxA;
	return s1;
}
status fillB(status &s,int maxB)
{
	status s1=s;
	s1.B=maxB;
	return s1;
}
status emptyA(status &s)
{
	status s1=s;
	s1.A=0;
	return s1;
}
status emptyB(status &s)
{
	status s1=s;
	s1.B=0;
	return s1;
}
status ApourB(status &s,int maxB)
{
	status s1;
	if(s.A+s.B>maxB)
	{
		s1.A=s.A-(maxB-s.B);
		s1.B=maxB;
	}
	else
	{
		s1.A=0;
		s1.B=s.A+s.B;
	}
	return s1;
}
status BpourA(status &s,int maxA)
{
	status s1;
	if(s.A+s.B>maxA)
	{
		s1.B=s.B-(maxA-s.A);
		s1.A=maxA;
	}
	else
	{
		s1.B=0;
		s1.A=s.B+s.A;
	}
	return s1;
}
void output(status &s1,status &s2,int maxA,int maxB)
{
	if((s1.B==s2.B)&&(s1.A!=maxA)&&(s2.A==maxA))
	{
		cout<<"fill A\n";
		return;
	}
	if((s1.A==s2.A)&&(s1.B!=maxB)&&(s2.B==maxB))
	{
		cout<<"fill B\n";
		return;
	}
	if(s1.B==s2.B&&s1.A!=0&&s2.A==0)
	{
		cout<<"empty A\n";
		return;
	}
	if(s1.A==s2.A&&s1.B!=0&&s2.B==0)
	{
		cout<<"empty B\n";
		return;
	}
	if(s2.B==s1.A+s1.B||(s2.B>s1.B&&s2.A+s2.B==s1.A+s1.B))
	{
		cout<<"pour A B\n";
		return;
	}
	if(s2.A==s1.A+s1.B||(s2.A>s1.A&&s2.A+s2.B==s1.A+s1.B))
	{
		cout<<"pour B A\n";
		return;
	}
}
status change[6];
int main()
{
	int maxA,maxB,n;
	while(cin>>maxA>>maxB>>n)
	{
		map<status,status> from;
		map<status,int> reach;
		queue<status> q;
		stack<status> path;
		status begin;
		begin.A=0;begin.B=0;
		q.push(begin);
		while(!q.empty()&&(q.front().A!=n&&q.front().B!=n))
		{
			status temp=q.front();
			q.pop();
			change[0]=fillA(temp,maxA);
			change[1]=fillB(temp,maxB);
			change[2]=emptyA(temp);
			change[3]=emptyB(temp);
			change[4]=ApourB(temp,maxB);
			change[5]=BpourA(temp,maxA);
			for(int i=0;i<6;i++)
			{
				if(reach[change[i]]==0)
				{
					reach[change[i]]=1;
					q.push(change[i]);
					from[change[i]]=temp;
				}
			}
		}
		path.push(q.front());
		while(!(path.top()==begin))
		{
			path.push(from[path.top()]);
		}
		while(path.size()>1)
		{
			status s1=path.top();
			path.pop();
			status s2=path.top();
			output(s1,s2,maxA,maxB);
		}
		cout<<"success\n";
	}
}