海盗分钱。

题目里有五个海盗1,2,3,4,5。他们得到了100个金币,决定把它们分了。分法诡异:首先A提出分法,B~E投票。只要有一半人同意,就砍下A的头。然后再除以B,C~E投票。如果没有超过半数的人同意,B的头就要被砍掉。依次上课 ......

题目描述

  有5个海盗1、2、3、4、5,得到100个金币,决定分掉,分法怪异:首先A提出分法,B~E表决,如果不过半数同意,就砍掉A的头。然后由B来分,C~E表决,如果不过半数同意,就砍掉B的头。依次类推,如果假设强盗都足够聪明,在不被砍掉头的同时获得最多金币。问:最后结果如何?

定义问题

  5个海盗必须按照上述规则,找出最优分配方案,否则将被其他人扔下大海。

当前状态

  正确分配方案还没出来,必须尽快找出最优解。

分析

  典型的nim取子问题的变形,采用倒推方式即可找出最优解。

制定解决方案

  倒推方法如下所示。

  (1)如果只有海盗,如何分配?

  (2)如果有两个海盗,如何分配?

  (3)如果有n个海盗,每个海盗至少需要几个人同意?找出n-1个海盗情况下的分配方案中,需要收买多少海盗?最低需要多少金币?

实现解决方案

  倒推方法实现如下表所示,每一行表示一张人数情况下的分配方案,即,最后一行给出5号海盗的分配方案。

  海盗分金问题-风君子博客

  注意:从表中可以看出聪明是大前提,当然残忍也是。nim取子游戏向来是君子游戏,没有这个前提的弧,后面的海盗不按套路出牌就不可能有最优解。

标准化解决方案

  从上表不难看出规律,也即,自己拿尽可能多的金币,同时保证后面的人依次分配0、1交错的金币数。规范化命题如下:

  *命题:假设对于n个聪明、残忍的海盗(n>=1),抢了Gold个金币,要进行分配,每个人都想分配足够多的金币,他们寸步不让。分配顺序是:n号海盗>n-1号海盗....1号海盗,即是:先由n号海盗决定如何分配,若分配不均,n号被杀死,n-1号海盗再决定如何分配,依次类推。在该规则下,n号海盗最佳分配方案应当如此(为简单,避免使用地板函数,按n为奇偶数分类讨论):

  不妨假设ones为得到1个金币好海盗,zeros为得到0个金币的海盗数。

  (1)当n为奇数时,ones = zeros = (n - 1) / 2,分配方案为Gold-ones,0,1,.......,0,1

  (2)当n为偶数时,ones = (n - 2) / 2, zeros = n / 2,分配方案为Gold - ones,0,1,......1,0

  该命题从上述分析中的规律中得出,不是定理,更不是公理,作为标准化解决方案需要严格证明。

  证明:

  注释:使用跳跃数学归纳法证明,跳跃的step为2。

  先证明n为奇数时命题是否成立。

  当n = 1时,显然该命题成立

  假设当n = m(m > 1)时命题成立,则分配方案为

  Ones(m) = Zeros(m) = ( m - 1) / 2

  Proposa(m) = Gold - Ones(m),0,1,......,0,1

  = Gold - (m - 1) / 2, 0,1.....,0,1

  当n = m + 1时,显然命题成立,理由如下

  Ones(m + 1) = (m + 1 - 2) / 2 = (m- 1) / 2,Zeros(m + 1) = (m + 1) / 2

  注意:

  (a)m+1为偶数,计算ones和zeros需要换个公式

  (b)对比n=m情形,仅仅是多了个0

  Proposal(m + 1) = Gold - Ones(m + 1), 0, 1,.....,0, 1, 0

  = Gold - (m - 1)/2,0, 1, ......., 0, 1, 0

  对比Ones(m), Ones(m + 1), Zeros(m), Zero(m + 1)可以看出仅仅是在Proposal(m)序列后面添个0。这回导致Proposal(m + 1)与Proposal(m)两个序列中,0,1交错序列刚好错位,对应金币分配方案中则为:m+1号海盗分配方案就是把Proposal(m)中没有得到金币的人每个给1个金币实现自己金币最大化,同时保证同意的人数大于等于2.

  综上所述,当n为奇数时,该命题成立。

  再证明n为偶数时命题是否成立。

  当n = 2,命题成立(大于的最小偶数只能2)

  归纳方法同1.

  综合1、2分析,该命题成立。

  证毕。

该标准化解决方案用程序实现如下

  说明:该程序考虑了金币数量远小于海盗数量时,最先出来分配的部分海盗都被杀死了。

1 #include <stdio.h> 2 3 const int g_first = 2; 4 const int g_zero = 0; 5 const int g_one = 1; 6 7 int print_proposal(int *gold, int *pirate, int *ones, int *zeros, int *status) 8 { 9 int ret = 1; 10 int number = 0; 11 int remain = *gold - *ones; 12 if (*pirate <= 0) 13 { 14 printf('. '); 15 return 0; 16 } 17 if (remain <= 0) 18 { 19 number = 0; /* not enough gold, killed by others, regenerate proposal */ 20 ret = 1; /* conitnue */ 21 22 /* regenerate proposal */ 23 if (*pirate % 2 == 0) 24 { 25 *ones = (*pirate - 2) / 2; 26 *zeros = *pirate / 2; 27 } 28 else 29 { 30 *ones = *zeros = (*pirate - 1) / 2; 31 } 32 } 33 else if (*status == g_one) 34 { 35 number = 1; 36 *ones--; 37 *status = g_zero; 38 } 39 else if (*status == g_zero) 40 { 41 number = 0; 42 *zeros--; 43 *status = g_one; 44 } 45 else { 46 number = remain; 47 *status = g_zero; 48 } 49 if (*status != g_first && *ones <= 0 && *zeros <= 0) 50 { 51 ret = 0; 52 } 53 54 printf('%d ', number); 55 *pirate = *pirate - 1; 56 57 return ret; 58 } 59 60 int main() 61 { 62 int gold; 63 int pirate; 64 int ones; 65 int zeros; 66 int temp; 67 int status; /* process first, zero or one */ 68 printf('Please Enter gold and pirate number: '); 69 while (scanf('%d %d', &gold, &pirate) == 2) 70 { 71 if (pirate < 1 || gold < 1) 72 { 73 break; 74 } 75 if (pirate % 2 == 0) 76 { 77 ones = (pirate - 2) / 2; 78 zeros = pirate / 2; 79 } 80 else 81 { 82 ones = zeros = (pirate - 1) / 2; 83 } 84 85 status = g_first; 86 printf('Proposal(%d, %d) is: ', gold, pirate); 87 temp = pirate; 88 while (print_proposal(&gold, &temp, &ones, &zeros, &status)) 89 ; 90 91 if(pirate == 1) 92 { 93 printf('. '); 94 } 95 96 printf(' '); 97 printf('Please Enter gold and pirate number: '); 98 } 99 return 0; 100 }

  

决定下一步

  本问题到此为止,暂时没有下一步动作。

总结

  这个结论告诉我们:

  (1)最先掌握分配权的人,看似最危险,胆小的人可能会担心所有人都不支持你,你就只能被杀死了。其实,他优先掌握了主动权,天下武功,唯快不破,掌握市场先机很重要。

  (2)越快越好,但不能快过了头。100个金币,1000个海盗的话,最先出来分配的人必然死掉。同样的,20年前搞酒店搜索,率先占据了主动权,快得一塌糊涂那也没戏。

  


  该题目源自:微博陈利人。

  这是菜鸟我见这个问题分析的很透彻的一个帖子,感谢原作者。

  解答引自:http://blog.losthit.com/archives/pirate-and-gold/