【数学模型】商人们怎样过河？

这篇博文中，同样是一个很简单的数学问题，但是解决起来比上一个的问题要复杂一些。在这次模型求解中，我会使用两种方法，一种是纯粹的数学方法，另一种是通过计算机程序来计算，通过计算机求解我们可以求解一些规模更大的问题。由于这篇文章篇幅我预计会比较长，为了不混淆，上一篇文章《椅子能在不平的地面上放平吗？》中的延伸问题我会再写一篇文章单独解答。

问题引出

问题： 三名商人各带一个随从过河，一只小船只能容纳两个人，随从们约定，只要在河的任何一岸，一旦随从人数多于商人人数就杀人越货，但是商人们知道了他们的约定，并且如何过河的大权掌握在商人们手中，商人们该采取怎样的策略才能安全过河呢？

这次的问题是一个很经常遇到的过河问题，其实对于该类问题，我们经过逻辑思考就可以得到答案。但是通过数学模型的建立，我们可以得到一个通用的解答，并且通过计算机的计算我们可以大大扩大问题的规模。

问题分析

因为这个问题已经理想化了，所以我们无需对模型进行假设，该问题可以看作一个多步决策问题。

每一步，船由此岸划到彼岸或者由彼岸划回此岸，都要对船上的人员进行决策（此次渡河船上可以有几名商人和几名随从），在保证安全（两岸的随从都不比商人多）的前提下，在有限次的决策中使得所有人都到对岸去。

因此，我们要做的就是要确定每一步的决策，达到渡河的目标。

建立模型

记第 k 次过河前此岸的商人数为 x_k , 随从数为 y_k , k = 1, 2, 3…, x_k ,y_k = 0, 1, 2, 3

定义状态： 将二维向量 s_k = ( x_k , y_k ) 定义为状态

将安全渡河状态下的状态集合定义为允许状态集合， 记为

记第 k 次渡河船上的商人数为 u_k ， 随从数为 v_k

定义决策： 将二维向量 d_k = (u_k , v_k) 定义为决策

允许决策集合 记作

因为小船容量为2，所以船上人员不能超过2，而且至少要有一个人划船，由此得到上式。

由我们定义的状态 s_k 和决策 d_k ，我们可以发现它们之间是存在联系的：

• k 为奇数是表示船由此岸划向彼岸，k 为偶数时表示船由彼岸划回此岸

• 状态 s_k 是随着决策 d_k 变化的，规律为：

我们把上式称为状态转移律，因此渡河方案可以抽象为如下的多步决策模型：

求决策 d_k ∈ D(k = 1,2,…,n) , 使状态 s_k ∈ S 按照转移率，初始状态 s₁ = (3,3) 经有限步 n 到达状态 s_n+1 = (0,0)

到这里，整个数学模型就已经非常清晰了，接下来要做的就是求解模型得出结果。

求解模型

在这个模型的求解中，我将会使用两种方法，一种是数学图解法，用于解决和当前题目一样的规模比较小的问题，优点是比较简便，但是对于规模比较大的问题就无能为力了，比如说有50个商人携带50个随从过河，第二种方法是通过计算机编程，使用程序来解决该问题，即使问题规模增大，我们也可以利用计算机强大的计算能力来解决。

数学图解法

我们首先在 xOy 平面坐标系中画出如下方格，方格中的点表示状态 s = (x,y)

起始状态（下图绿色点） s₁ = (3,3) , 终止状态（下图红色点） s_n+1 = (0,0)

允许决策 d_k 表示的是在方格中的移动，根据允许决策 d_k 的定义，它每次的移动范围为1~2格，并且 k 为奇数时向左或下方或左下方移动，k 位