http://blog.chinaunix.net/u/30202/showart_391485.html
http://bjydfq.itpub.net/post/7617/42768
题目:两瓶 8 两的酒,一个 3 两的杯子,瓶和杯子都没有刻度,如何将酒平均分给四个人喝?也就是每个人分 4 两酒,也没什么限制条件,当然,喝过的酒不能再吐出来(: > )。
思路:回溯算法,递归
对当前酒瓶,杯和人当前存的酒量设定为一种状态,最初始的状态为( 880 , 0000 ),最终的状态为( 000 , 4444 ),状态的改变为分酒的选择,一共有 18 种选择:
A 类:瓶子到杯子, 2 种
B 类:杯子到瓶子, 2 种
C 类:杯子到人, 4 种
D 类:瓶子到人, 8 种
E 类:瓶子到瓶子, 2 种(我没有考虑)。
F 类:人到杯子,人到瓶子,人到人不被允许。
不能用简单穷举,因为,如果穷举,要达到可行解,需要 18^24 次方这么多尝试,计算机没能力计算这么多步的。
回溯方法是深度搜索,选定一个方法一路向下走,直到没得路可走了,也就是所有的选择都到达了非法的状态,那么回到上一个状态,选择下一个选择,这样一路到达可行解。虽然不是最优的,一定是最快的。
实现代码如下:
view plaincopy to clipboardprint?
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;
}