无论是商人仆人（随从）过河，农夫妖怪过河，还是传教士野人过河…除了里面的角色有所变化，其问题的本质都没有变，可以统称为过河问题
此问题解释较为详细，问题所展现的流程其实也是我真实的思考的过程
解题过程
一开始没有考虑实际情况，并且只想出来了树状图的做法，后来发现同学有用点状图，我就又回去想，觉得我考虑的这种情况好像没法用点状图呀
然后就看了许多大佬的博客相关内容才发现，是没有结合具体情况，就又调整思路，用树状图和点状图两种方法做的。（其本质都是回溯算法）
时间比较充裕的同学可以从头往后看，这样可能会更能体会我的思考过程
着急的同学就直接看考虑实际情况部分就可，代码直接附在后面了，需要的自取即可
未考虑实际情况（即未考虑小船不能空挡载人来回）
问题简述：
有3名商人携带3名仆人渡河，小船每次最多只能承载两人。仆人协定，一旦仆人的数量大于主人的数量就杀人越货，请给出合适的乘船次序。
模型假设：
将小船的状态只分为左岸和右岸两种静态状态（因为小船最多只能承载两人，因此无论如何不会出现在小船上发生杀人越货事件，所以将小船承载的人数与对应一侧岸上人数视为一个整体）
变量表示：
x表示商人数量
y表示仆人数量
L(x,y) 代表左岸的商人和仆人数量 相应的可以表示右岸商人、仆人数量为R(4-x,4-y)
m={m|0,1}表示小船的状态 m=0是表示小船在左岸 m=1是表示小船在右岸
P（x,y,m）表示小船靠岸时商人和仆人数量
问题求解：
因此，我们可以筛选出以下条件：
1.岸两侧的人数都要满足商人人数>=仆人人数
2.小船每次运走的总人数<=2人
3.无论如何，总人数维持不变，仍为6人
知道某一岸的人数，即可以根据总人数计算出对岸人数，因此我们这里只看左岸
可知符合条件的状态为
P（3，3，0） P（3，2，0） P（3，1，0） P（3，0，0）
P（2，2，0）
P（1，1，0）
P（0，0，0）
这里提前判断出符合条件的状态的目的是方便下面画图判断时，可以直接根据符合的条件直接进行判断，可没有此步骤
因此我们可以把此问题简化为 P（3，3，0）-------> P（0，0，0）
类比回溯算法下的0-1背包问题 可以得到以下图
注：这里我将重复出现的状态排除是因为在这 默认是选取最短路径 因此出现相同状态时只保留最上层状态
问题变型：
对应的如果将问题改为4个商人4个仆人
左岸符合条件的状态有
P（4，4，0） P（4，3，0） P（4，2，0） P（4，1，0） P（4，0，0）
P（3，3，0）
P（2，2，0）
P（1，1，0）
因此可以将该问题简化为由 P（4，4，0）-----> P（0，0，0）
该路径图为化简版 只呈现了符合上述已判定条件的状态
结合实际问题（考虑小船载人渡河的实际情况）
问题简述：
有3名商人携带3名仆人渡河，小船每次最多只能承载两人。仆人协定，一旦仆人的数量大于主人的数量就杀人越货，请给出合适的乘船次序。
模型假设：
将小船的状态只分为左岸和右岸两种静态状态（因为小船最多只能承载两人，因此无论如何不会出现在小船上发生杀人越货事件，所以将小船承载的人数与对应一侧岸上人数视为一个整体）
变量表示：
x表示商人数量
y表示仆人数量
Sk=(xk,yk) 代表第k个状态此岸的商人和仆人数量
问题求解：
因此，我们可以筛选出以下条件：
1.岸两侧的人数都要满足商人人数>=仆人人数
2.小船每次运走的总人数<=2人
3.无论如何，总人数维持不变，仍为6人
这里与第一次求解不一样的是
实际问题中，小船的往返必须要一个人驾驶，因此，小船每次运走的总人数不应该只是<=2，还应>0,
所以，真正小船每次运走的总人数应大于0且小于等于2
即当k为奇数时，代表从此岸往彼岸时， Sk+1=Sk-dk
当k为偶数时，代表从彼岸往此岸时，Sk+1=Sk+dk
因此，状态转移方程为：
Sk+1=Sk+（-1）k*dk
知道某一岸的人数，即可以根据总人数计算出对岸人数，因此我们这里只看此岸
可知符合条件的状态为
（3，3） 仅在一开始时符合，之后再出现此状态，无实际意义
（3，2） （3，1） （3，0）
（2，2）
（1，1）
（0，0） （0，1） （0，2）（0，3）
这里提前判断出符合条件的状态的目的是方便下面画图判断时，可以直接根据符合的条件直接进行判断，可没有此步骤
求一系列dk ∈ D ( k = 1 , 2 , ⋯ , n ) ，使sk∈ S且由s1= ( 3 , 3 ) 转移至sn+1= ( 0 , 0 )
这里我类比回溯算法下的0-1背包问题 可以得到以下图
注：这里没将有的重复出现的状态排除是因为 俩状态为往和返不同状态
但是发现通过一点一点树状图列举有点麻烦，因此就只画出了前三次渡河过程的点
这里还可以用点集的方式来做（网上称之为平面状态分析法）
首先列出所有状态点
其次dk表示第k次转移
k为奇数时，船由此岸到彼岸，xk，yk只能减少，只能移向左下方（左移1或2格，下移1或2格，左下移对角）
k为偶数时，船由彼岸岸到彼岸，xk，yk只能增加，只能移向右上方（右移1或2格，上移移1或2格，右上移对角）
本题应有四种不同的路径 最少需要十一次渡河 这里只放了其中一次渡河的路径图
问题变型：
对应的如果将问题改为4个商人4个仆人，船最多只能载2人时
用平面状态分析法
此岸符合条件的状态有
（4，4） 仅在一开始时符合，之后再出现此状态，无实际意义
（4，3） （4，2） （4，1） （4，0）
（3，3）
（2，2）
（1，1）
（0，1）（0，2）（0，3）（0，4）
因此可以将该问题简化为由（4，4）----->（0，0）
由初始状态（4，4）----->（0，0）必须要经过（2，2），但无论如何从此点都无法往下继续走了
（因为若此点到下一点为此岸到彼岸，那么只能往（1，1）点移动，而再一次为彼岸到此岸，无法移动；若此点到下一点为彼岸到此岸，那么又绕回去重复循环走下去），达不到最终目标（0，0），
因此，此问题无解
问题再变型
对应的如果将问题改为4个商人4个仆人，船最多只能载3人时
仍用平面状态分析法
此岸符合点有
（4，4）（4，3）（4，2）（4，1）（4，0）
（3，3）
（2，2）
（1，1）
（0，4）（0，3）（0，2）（0，1）（0，0）
即将问题简化为由（4，4）----->（0，0）
以下为其中一种情况
程序代码
function guohe(ss,k,x,h,S,y)
s=ss;
for i=1:(x-1)
ss=[ss,s];
end
ss;
hang=s(k,:);//将s这个矩阵的第k行
hangchang=length(hang);
dihang2={};
for i=1:x
dihang1={};
for j=1:hangchang
dihang1=[dihang1,{hang{:,j}+(-1)^k*h(i,:)}];
end
dihang2=[dihang2,dihang1];
end
dihang2;
hangchang2=length(ss);
aaa=[];
for i=1:hangchang2
M=cell2mat(dihang2');
MMM=cell2mat(ss(:,i));
tong=find(all(bsxfun(@eq,MMM,M(i,:)),2));
if tong>0
tt=rem(((k+1)-tong),2);
if find(all(bsxfun(@eq,tt,0),2))>0
aaa=[aaa;i];
end
end
end
ss(:,aaa)=[];
dihang2(:,aaa)=[];
hangchang2=length(dihang2);
bbb=[];
for i=1:hangchang2
M=cell2mat(dihang2');
mm=find(all(bsxfun(@eq,S,M(i,:)),2));
if mm>0
mm=[];
else
bbb=[bbb;i];
end
end
ss(:,bbb)=[];
dihang2(:,bbb)=[];
ss=[ss;dihang2];
k=k+1;
dihang2=ss(k,:);
M=cell2mat(dihang2');
mmm=find(all(bsxfun(@eq,M,[0 0]),2));
if mmm>0
disp('过河的方法如下：')
cell2mat(ss(:,mmm))
disp('方法总数：')
length(mmm)
disp('所需步数：')
k-1
return
else
if k <= 100
guohe(ss,k,x,h,S,y)
else
disp('已搜索完50歩，但未找到！')
return
end
end
clear all
clc
disp('商人数:')
m=4
disp('仆人数：')
n=4
disp('船容量：')
z=3
s=[m n];
h=[];
x=0;
for i=0:z
for j=0:z
v=i+j;
if 1<=v&v<=z
h=[h;[i j]];
x=x+1;
end
end
end
h;
x;
S=[];
y=0;
for i=0:m
for j=0:n
if ((i>=j)|i==0)&((m-i)>=(n-j)|(m-i)==0)
S=[S;[i j]];
y=y+1;
end
end
end
S;
y;
ss={[m n]};
k=1;
guohe(ss,k,x,h,S,y)
1826
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
