分酒问题

//分酒
/*有四个人喝酒，有两个八两装满酒的瓶，
只有一个三两的杯子。他们要平分这些酒，
但是不能借用其它的工具，你觉得应该怎么做？
*/
#include<iostream.h>
int position[6354][8];//状态集
long ptop=0;
//后来实验的结果是，在求解的过程中可能出现6354种状态
int object[7]={8,8,0,0,0,0,0};//0,1瓶,2杯,3~6人，写在一起只是为了便于搜索
int solution[60][3];//保存解过程：a,b,n a->b(n)
int cmin=100;//最少步数
int scount=0;
int pour(int a,int b)
//从a编号对象往b编号对象转移时，反回可行转移的酒量,返回0表示非法
{
int empty;
if(object[a]==0)return 0;
if(a==b)return 0;
//if(a>2)return 0;//不能从人往容器转移
if(b<3)//容器往容器
{
empty=b<2?8-object[b]:3-object[b];
if(object[a]<empty)return object[a];
return empty;
}
else//容器往人
{
empty=4-object[b];
if(object[a]>empty)return 0;
return object[a];
}
}
inline void move(int a,int b,int n)//转移
{
object[a]-=n;
object[b]+=n;
}
bool oldposition(int c)//判断是否是曾经出现过的状态
{
int i,j;
for(i=0;i<ptop;++i)
{
for(j=0;j<7;++j)
if(object[j]!=position[i][j])
break;
if(j==7)
{
if(c<position[i][7])
{
position[i][7]=c;
return false;
}
else
return true;
}
}
for(i=0;i<7;++i)
position[ptop][i]=object[i];
position[ptop][7]=c;
++ptop;
return false;
}
void resolve(int c)
{
if(object[0]==0&&object[1]==0&&object[2]==0)
//得到一个解，输出
{
if(c<cmin)cmin=c;
cout<<"第"<<(++scount)<<"个解，共"<<c<<"步实现:"<<endl;
for(int i=0;i<c;++i)
cout<<solution[i][0]<<"->"<<solution[i][1]<<":"<<solution[i][2]<<endl;
cout<<"-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+"<<endl;
return;
}
if(oldposition(c))return;//好汉不走回头路
int a,b,n;
for(a=0;a<3;++a)
for(b=0;b<7;++b)
if((n=pour(a,b))>0)
{
solution[c][0]=a;
solution[c][1]=b;
solution[c][2]=n;
move(a,b,n);
resolve(c+1);//下一步搜索
move(b,a,n);
}
}
void main()
{
resolve(0);
cout<<"完成需要的最少步数是:"<<cmin<<endl;
}

值得解释一下的，程序中object[0]和[1]是两瓶酒，object[2]是那个杯子，object[3]到[6]是那四个人的肚子，程序没什么新鲜玩艺简单的搜索。
运行时间比较长，输出结果用重定向到文件：cpp1>solution.txt

拿出其中一种解：

第816个解，共24步实现:
start: 8800000
0->2:3 5830000
2->4:3 5800300
0->2:3 2830300
0->5:2 0830320
2->0:3 3800320
1->2:3 3530320
2->0:3 6500320
1->2:3 6230320
2->0:2 8210320
2->4:1 8200420
0->2:3 5230420
1->0:2 7030420
2->1:3 7300420
0->2:3 4330420
2->1:3 4600420
0->2:3 1630420
2->1:2 1810420
2->6:1 1800421
1->2:3 1530421
2->0:3 4500421
1->2:3 4230421
1->5:2 4030441
2->6:3 4000444
0->3:4 0004444

验证是正确的。