约瑟夫斯问题

✍ dations ◷ 2025-07-11 15:53:37 #约瑟夫斯问题

阿橋问题(有时也称为约瑟夫斯置换),是一个出现在计算机科学和数学中的问题。在计算机编程的算法中,类似问题又称为约瑟夫环。

人们站在一个等待被处决的圈子里。 计数从圆圈中的指定点开始,并沿指定方向围绕圆圈进行。 在跳过指定数量的人之后,处刑下一个人。 对剩下的人重复该过程,从下一个人开始,朝同一方向跳过相同数量的人,直到只剩下一个人,并被释放。

问题即,给定人数、起点、方向和要跳过的数字,选择初始圆圈中的位置以避免被处决。

这个问题是以弗拉维奥·约瑟夫命名的,他是1世纪的一名犹太历史学家。他在自己的日记中写道,他和他的40个战友被罗马军队包围在洞中。他们讨论是自杀还是被俘,最终决定自杀,并以抽签的方式决定谁杀掉谁。约瑟夫斯和另外一个人是最后两个留下的人。约瑟夫斯说服了那个人,他们将向罗马军队投降,不再自杀。约瑟夫斯把他的存活归因于运气或天意,他不知道是哪一个。

比较简单的做法是用循环单链表模拟整个过程,时间复杂度是O(n*m)。如果只是想求得最后剩下的人,则可以用数学推导的方式得出公式。且先看看模拟过程的解法。

# -*- coding: utf-8 -*- class Node(object):	def __init__(self, value):		self.value = value 		self.next = Nonedef create_linkList(n):	head = Node(1)	pre = head	for i in range(2, n+1):		newNode = Node(i)		pre.next= newNode		pre = newNode	pre.next = head	return headn = 5 #總的個數m = 2 #數的數目if m == 1: #如果是1的话,特殊處理,直接輸出	print (n)  else:	head = create_linkList(n)	pre = None	cur = head	while cur.next != cur: #终止條件是節點的下一个節點指向本身		for i in range(m-1):			pre =  cur			cur = cur.next		print (cur.value)		pre.next = cur.next		cur.next = None		cur = pre.next	print (cur.value)

C++版本

#include <iostream>#include <cstdlib>#include <cstdio>using namespace std;typedef struct _LinkNode {	int value;	struct _LinkNode* next;} LinkNode, *LinkNodePtr;LinkNodePtr createCycle(int total) {	int index = 1;	LinkNodePtr head = NULL, curr = NULL, prev = NULL;	head = (LinkNodePtr) malloc(sizeof(LinkNode));	head->value = index;	prev = head;	while (--total > 0) {		curr = (LinkNodePtr) malloc(sizeof(LinkNode));		curr->value = ++index;		prev->next = curr;		prev = curr;	}	curr->next = head;	return head;}void run(int total, int tag) {	LinkNodePtr node = createCycle(total);	LinkNodePtr prev = NULL;	int start = 1;	int index = start;	while (node && node->next) {		if (index == tag) {			printf("%dn", node->value);			if (tag == start) {				prev = node->next;				node->next = NULL;				node = prev;			} else {				prev->next = node->next;				node->next = NULL;				node = prev->next;			}			index = start;		} else {			prev = node;			node = node->next;			index++;		}	}}int main() {        if (argc < 3) return -1;	run(atoi(argv), atoi(argv));	return 0;}

数学推导解法

我们将明确解出 k = 2 {displaystyle k=2} 是2的幂时,便重新从 f ( n ) = 1 {displaystyle f(n)=1} 、、……、 n / k {displaystyle lfloor n/krfloor } 个人视为一个步骤,然后把号码改变,可得如下递推公式, 运行时间为 O ( k log n ) {displaystyle O(klog n)}

程序实现(C++)

相关

  • 鲸类鲸下目 (学名:Cetacea)旧称鲸目,是偶蹄目的演化支之一,包含了大约八十多种大型的有胎盘海洋哺乳动物,即鲸鱼﹑海豚和鼠海豚。鲸下目的现存物种可分为两个小目:齿鲸(Odontoceti)及须鲸(My
  • 正压正压大气是当大气压力仅仅取决于大气密度、以及大气密度亦仅取于大气气压。因此,在正压大气内,等压面亦即为等密度面。若相关大气乃理想气体,则等压面、等密度面与等温面亦为同
  • 城步城步苗族自治县(城步县)是湖南省邵阳市下辖的自治县,是中国五个苗族自治县之一,位于湖南西南边陲、邵阳市西南部,南部与广西壮族自治区接壤。城步县辖区总面积2647平方公里,总人口
  • 有机铍化学有机铍化学是研究含有铍-碳键的化学分支。有机铍化合物中,铍都以+2价的形式出现。有机铍化合物具有很高的毒性,对空气和水敏感。二烃基铍是有机铍化合物的一种,可由格氏试剂或
  • 周立波 (作家)周立波(1908年8月9日-1979年9月25日),原名周绍仪,曾用名周凤翔、周菶梧,笔名张一柯、张尚斌等,湖南益阳人,中国当代作家。1908年出生于益阳县邓石桥乡一个农民家庭。小学就读于益阳
  • 移动设备识别码移动设备识别码(英语:mobile equipment identifier,缩写MEID)是一个全球唯一的识别CDMA2000移动台设备的号码。该号码的格式由3GPP2 report S.R0048定义,不过可以看作一个使用十
  • 调试工具调试工具(英语:Debugger)亦称调试程序、调试器,指一种用于调试其它程序的计算机程序及工具。能够让代码在指令组模拟器(ISS)中可以检查运行状况以及选择性地运行,以便排错、调试。
  • 南张天主堂坐标:31°07′41″N 121°22′07″E / 31.12805°N 121.36857°E / 31.12805; 121.36857南张天主堂,堂名“圣若瑟善终主保堂”,是一个砖木结构的天主教教堂,位于现上海市闵行区
  • 冰室京介冰室京介(1960年10月7日-)是日本摇滚音乐家、歌手,出身于群马县高崎市仓贺野町。他是摇滚乐团BOØWY(日语:BOOWY)的主唱,BOØWY解散后仍以个人名义在乐坛活跃,后因音乐制作工作而移居
  • 刚果小爪水獭刚果小爪水獭(),又名喀麦隆无爪水獭或扎伊尔小爪水獭,是非洲小爪水獭的一个亚种。它们分布在喀麦隆、刚果共和国、刚果民主共和国及加蓬,有可能也在安哥拉、布隆迪、中非共和国、