浙江高考VB之约瑟夫环

浙江信息技术Giao考之 "约瑟夫环"

在浙江信息技术高考中,有一种题型叫做 约瑟夫环题; 首先,约瑟夫环是什么东西?

鲜活的栗子:

我们现在有6个小朋友,分别标号为1 ~ 6.从标号为1的小朋友开始报数(报数的范围固定是1 ~ 6),报到5的小朋友将会出局; 最终,下标为1的小朋友留了下来,被出局的顺序依次是下标为5, 4, 6, 2, 3;

解释栗子:

• 第一趟,下标为5的小朋友报到数字 5
• 第二趟,注意是从出局后一位当起点,也就是下标为6的小朋友报1,那么下标为4的小朋友报到数字 5
• 第三趟,下标为6的小朋友报到数字 5
• … 以此类推
• 第五趟,下标为3的小朋友报到数字 5,最终下标为1的下朋友顽强地生存了下来

在这个例子中,小朋友们的报数是在一定范围内循环的,当报到数字 6 时,下一个数又回到了起点数字 1 ,这与我们平常的星期制相同,我们将这个现象定义为约瑟夫环,

那么最最重要的时候到来了,怎么把约瑟夫环在代码中体现出来呢? 这里我用浙江高考御用(过期)的 VB 来描述.

上代码:

题目:

据说著名犹太历史学家 Josephus有过以下的故事：在罗马人占领乔塔帕特后，39 个犹太人与Josephus及他的朋友躲到一个洞中，39个犹太人决定宁愿死也不要被敌人抓到，于是决定了一个自杀方式，41个人排成一个圆圈，由第1个人开始报数，每报数到第3人该人就必须自杀，然后再由下一个重新报数，直到所有人都自杀身亡为止。然而Josephus 和他的朋友并不想遵从。首先从一个人开始，越过k-2个人（因为第一个人已经被越过），并杀掉第k个人。接着，再越过k-1个人，并杀掉第k个人。这个过程沿着圆圈一直进行，直到最终只剩下一个人留下，这个人就可以继续活着。问题是，给定了和，一开始要站在什么地方才能避免被处决？Josephus要他的朋友先假装遵从，他将朋友与自己安排在第16个与第31个位置，于是逃过了这场死亡游戏。

Dim N As Integer,K As Integer	"N表示总人数 , K表示第K个人将会死亡
Dim Tmp As Integer  "表示最后的幸存者编号

"采用点击按钮Command1触发
Private Sub Command1_Click()
	Tmp = 0			
	For i = 2 To N
		Tmp = (Tmp + K - 1) Mod i + 1
	Next i
	print(Tmp)	"输出Tmp
End Sub

首先,整个程序十分地简短,精华是 Tmp = (Tmp + k - 1) Mod i + 1 这句话,这个语句是约瑟夫环的典型体现; 这是通过数学的表达式子来表达约瑟夫环;
这个式子其实也是浙江高考常见的约瑟夫通用的式子,那怎么理解?

解析题目和式子

首先式子 Tmp = (Tmp + k - 1) Mod i + 1 的原本式子是:

Tmp = (Tmp + k) Mod i
Print(Tmp + 1)

例子中的式子则是将 Tmp - 1 带入到 Tmp 中;
那么 Tmp = (Tmp + k ) Mod i 这个式子是怎么推导出来的呢?

注: 如果不想了解就将 Tmp = (Tmp + k - 1) Mod i + 1 这个式子背下来(只适用于循环内,因为有 i ),表示在 [1,k] 的范围内循环,浙江高考这是模板;

该式子在循环体的 Tmp = (Tmp + k ) Mod i 最终结果加 1 是因为规避 Mod 取余的bug;
该式子由递推式推导出来,即 f(m,n) = (f(m,n-1) + m) % n , f(m,1) = 0;

递推式子的说明:

• f()数列中每个元素是当前状态下被kill的人下标
• n 表示总人数, m 表示循环的周期
• % 表示取模,相当于 VB 的 Mod
• f(m,1) 表示游戏的开始, f(m,n) 表示最终活下来的人的下标
• 递推式子的精华是 当前状态是基于前一个状态基础上 继续进行的,所以 f(m,n-1) 的 n-1 就起到作用, 表示每次的状态中 n 总比上一次状态少 1 ,也就是少一个人

图解:

以下是题目流程图(最后剩下两个是因为题目描述,实际上再运行一次将只剩下 1 人)

通用公式

式子 (num - p) Mod i + p 表示从 p 开始以 i 数为周期的约瑟夫环.

• (num - 1) Mod 10 + 1 表示从数字 1 开始，以 10 个数为周期， 也就是 11 变成 1

• (num - 11) Mod 13 + 11 表示数字从 11 开始，以 13 个数为周期，这里我们把 num 代入 111，会发现是答案是20.
  这里有人可能会有疑问了，答案不应该是11 到 13 吗？这里有个误区:
  1.是从 p 开始，但答案范围并不是 [p ，i] ， 这里 i 只是一个周期内的个数
  2.在环开始时，已经将周期开始数设置成了 11，所以范围是 [11, 23]

  
  这里为了方便用了C++，不过不影响阅读，通过下方的 out.txt 可知，前 11 个数字正常输出，后面就是周期变化