约瑟夫问题实验报告.doc

X X X X X X X X 实验报告 课程： 数据结构 班级： 姓名： 学号： 成绩： 指导教师： 实验日期： 2012.3 实验密级： 预习程度： 实验时间： 仪器组次： 必修/选修： 必修 实验序号： 01 实验名称： 线性结构的应用——约瑟夫问题 实验目的与要求： 编程实现约瑟夫问题。假设有n个人围圈而坐，现在从第k人开始数数，数到m的人出列，紧接着的后续人又从1开始数数，到m出列，如此重复下去，直到全体人员出列。编程实现新出列的数字序号输出。 实验仪器： 名称 型号 数量 微机 1 概要设计 本程序使用了循环链表这一数据结构。循环链表在普通链表的基础上，将最后一个节点的指针域指向头结点。具体定义为： typedef struct CLNode{ int data; struct CLNode *next; }Node;//定义单向循环链表结构体，并令最后一个指针指向头结点 流程图如下： 注：在*处调用子函数 详细设计 本程序核心算法主要有两部分：一是建立循环链表，二是实现目标人员的出列。 建立循环链表： 判断原链表是否为空，是的话，执行第2步，否则，执行第3步； 为头结点head分配存储空间，并令其指针域指向本身，head-data=1,用pr指向head，返回第1步； 判断计数器i（初始为2）是否不大于n，是的话，执行第4步，否则，执行第5步； 为节点p分配存储空间，并令其指针域指向head，给p-data赋值为i,令pr-next=p,用pr指向head，i增1，返回第3步； 返回head到主函数。 实现目标人员的出列： 输入从第k个人开始报数，在主函数中实现头指针的移动，修改后，执行第2步； 判断链表中的节点数是否大于1，是的话，执行第3步，否则，执行第5步； 调用子函数Search，定义指针 ：Node *p=head，执行第4步； 根据输入中第m个人出列，移动指针p m-1次,令其指向要出列的目标节点，输出其数据域p-data，并令此节点之后的第一个节点为head，删除目标节点，返回head到主函数，执行第2步； 输出head-data，并释放链表的剩余空间，结束程序。 代码清单： 算法的时空分析 在程序中要求输入三个变量：n,总人数；k,从第几个人开始报数；m,第几个人出列。 Creat函数中，建立链表这个算法的复杂规模与n有关，其时间复杂度为：T(n)=O(n)。 main函数中，移动链表头指针到指定开始位置这个算法的复杂规模与k有关，其时间复杂度为：T(n)=O(k)。 main函数中，如果不调用Search函数，时间复杂度为：T(n)=O(n)；调用Search函数的话，调用次数为n-1，在Search函数中实现一次出列这个算法的时间复杂度与m有关，故实现全部出列这个算法的时间复杂度为:T(n)=O(m*n)。 综上，该程序的时间复杂度为：T(n)=O(m*n) 测试结果 输入的数据 理论输出结果 实际输出结果 n k m 1 1 1 1 1 2 1 1 1,2 1,2 2 2 1 2,1 2,1 2 2 2 1,2 1,2 1 1 2 1 1 1 2 1 1 1 5 1 4 4,3,5,2,1 4,3,5,2,1 5 4 1 4,5,1,2,3 4,5,1,2,3 5 5 5 4,5,2,3,1 4,5,2,3,1 使用说明和总结 输入与输出格式如图： 图4——运行过程 其中，n、k、m分别对应着第一个、第二个、第三个输入参数 这个程序真是给我带来了不少的烦恼与喜悦。在建立循环链表这个结构的时候没怎么遇到问题，问题主要出在实现出列上。一开始我的Search函数定义如下： int Search(Node* head,int m) /*Search函数：返回为第m个结点的数据域， 并令此节点之后的结点为头结点，然后删除它*/ int Search(Node *head,int m) { int i=1; int data; Node *cur_p=head,*pre=NULL;//head为开始数1的人 //printf(**now head data ** is %d\n,head-data); if(head-next==head){ return head-data; } while(im){//数数，移动指针 pre=cur_p; cur_p=cur_p-next; i++; } pre-next=cur_p-next; free(cur_p); head=pre-next;//改变头指针 return dat