海盗博弈

海盗博弈（Pirate game）

　　海盗博弈是一个简单的数学博弈。该博弈描述了如果遵循经济人的行为，结果可能让人惊讶。这同时也是最后通牒博弈的多参与者版本

　　有五个非常聪明的理性的海盗，分别编号P₁,P₂,P₃,P₄,P₅。他们一同抢夺了100个金币，现在需要想办法分配这些金币。 海盗们有严格的等级制度：P₁ < P₂ < P₃ < P₄ < P₅。 海盗们分配原则是：等级最高的海盗P5提出一种分配方案。然后所有的海盗投票决定是否接受分配，包括提议人。并且在票数相同的情况下，提议人有决定权。如果提议通过，那么海盗们按照提议分配金币。如果没有通过，那么提议人将被扔出船外，然后由下一个最高等级的海盗提出新的分配方案。

　　海盗们基于三个因素来做决定。首先，要能存活下来。其次，自己的利益最大化(即得到最多的金币)。最后，在所有其他条件相同的情况下，优先选择把别人扔出船外。

　　现在，假如你是等级最高的P₅，你会做何选择？直觉上，为了保住自己的生命，你可能会选择留给自己很少的金币，以便让大家同意自己的决策。然而，这和理论结果相差甚远。

　　解决这个问题的关键是换个思维方向。与其苦思冥想你要做什么决策，不如先想想最后剩下的人会做什么决策。假设现在只剩下P₁和P₂了，P₂会做什么决策？很明显，他将把100金币留给自己，然后投自己一票。由于在票数相同的情况下提议人有决定权，无论P₁同不同意，P₂都将实现自己的目的。

　　现在再把P₃加进来。P₁知道，如果P₃被扔下海，那么游戏又将进行到上面的情况，P₁终将一无所有。P₃同样看到了这一点，所以他知道，只要他给P₁一点点利益，P₁就会投票支持他的决策。所以P₃最终的决策应该是：

　　P₄的策略也类似。由于他需要50%的支持，所以他只需贿赂1个金币给P₂就可以了。P₂一定会支持他(否则轮到P₃做决策，他就一无所有啦)。所以P₄最终的决策是：

　　P₅的情况稍有不同。由于这次一共有5个人，所以他至少需要贿赂两个海盗以使自己的决议通过。所以唯一的决策就是：

　　如果海盗的数目不止5个呢？ 继续按照这个逻辑推理，P₆的决策将是：…一直到P₂00,它会给自己留1个金币，同时给剩下所有偶数编号的海盗1个金币。

　　如果海盗数是201个，那么P₂₀₁该怎么做呢？乍一看去，他好像没有足够的钱去贿赂别的海盗了。不过，为了保住自己的性命，他还是可以把自己手中的金币全分出去，即给每个奇数编号的海盗（P₁~P₁₉₉）一个金币。这样虽然空手而归，但不至于人财两空。

　　P₂₀₂也只能把这100个金币全部贿赂给其他100个海盗，这100个海盗必须是在P₂₀₁做决策的情况下什么也得不到的海盗。由于符合这样条件的海盗有101个(所有偶数编号的海盗P₂₀₁)，P₂₀₂的决策不再是唯一的了！有101种方案供他选择。

　　可怜的是P₂₀₃。由于人数众多，他实在没有足够的钱去贿赂其他海盗以获得足够的支持(他需要至少102个人的支持，包括他自己)。所以，不论P₂₀₃做什么决策，他都难逃被扔出船外的厄运了。不过P₂₀₃并没有我们想象中的那么悲情，因为这样的悲剧发生当且仅当船上正好有203个海盗。我们再增加一个海盗，P₂₀₄。P₂₀₄明白，P₂₀₃现在的唯一愿望就是活下来…所以不论P₂₀₄做什么决策，P₂₀₃都会举双手支持他(当然举多少手都只能算一票)。所以P₂₀₄可以靠他自己的一票，P₂₀₃的一票和贿赂另外100个海盗获得正好50%的支持。

　　P₂₀₄可能的决策也只有101种，如下表：(可能获得1金币的海盗用"Y"标示)

　　P₂₀₅就没有那么幸运了。他不能无偿的得到P₂₀₃和P₂₀₄的支持。所以如果轮到P₂₀₅做决策，他也必定被扔到船外。P₂₀₆也一样，尽管他能得到P₂₀₅的免费支持，但是这还不够。P₂07需要得到至少104个海盗的支持，所以有了P₂₀₅,P₂₀₆的无偿支持还是不够。

　　P₂₀₈就比较幸运了。他也是需要得到104个海盗的支持，但P₂₀₅,P₂₀₆,P₂₀₇，加上他自己，再加上贿赂100个海盗，正好104票。

　　P₂₀₈可能的决策：(这次他有种决策)

　　从这里我们又看出了新的规律：

　　从P₂₀₁之后，在每两个能够作出决策保住自己生命的海盗之间，存在着一些无论如何决策都会被扔到船外的海盗。而这些海盗会支持在这之后的那个能够做出决策保住自己生命的海盗。用数学来表达，设在P₂₀₁之后，能够作出决策保住自己生命的海盗的编号所组成的序列为a_n。则有：

　　对于(2)，

　　若a_n是偶数，则a_n = 2a_{(n − 1)} − 200

　　若a_n是奇数，则a_n = 2a_{(n − 1)} − 199

　　给定一个固定的初值，数列的下一项有两个可能解：一个奇数解、一个偶数解，且偶数解比奇数解小1。再考虑我们原问题的意义，到达偶数解时，偶数编号的海盗已经能够做出决策保全自己。这说明我们应该舍弃所有奇数解。

　　由a_n = 2a_{(n − 1)} − 200以及a₀ = 202，我们得到通解为:a_n = 200 + 2^{n + 1}。考虑到P₂₀₁也能保全自己，我们可以把所有能够保全自己但却得不到金币的海盗的编号写成统一表达式：

　　不难推出这些海盗可能的决策种数为,其中