Question

C语言编程约瑟夫问题，程序出错

要求用循环链表解决，代码如下：
#include<stdio.h>
#include<stdlib.h>
//定义结点结构体
struct Listpoint
{
int value;
Listpoint *next;//该类型的结构体指针域就放该类型的指针
}Head={1,NULL};
void main()
{
int n,i;
Listpoint *p,*r;
//建立一个线性链表
printf("List length: ");
scanf("%d",&n);
r=&Head;
for(i=2;i<=n;i++)
{
p=(Listpoint*)malloc(sizeof(Listpoint));
(*p).value=i;
(*r).next=p;
r=p;
}
(*r).next=&Head;//将其变成循环链表
//查找指定结点
printf("Starting point number: ");
scanf("%d",&n);
r=&Head;
for(i=1;i<n;i++)
{
p=r;//当间隔数为1时，方便操作
r=(*r).next;
}
//约瑟夫问题的间隔数
printf("Gap number: ");
scanf("%d",&n);
while((*r).next!=r)
{
//查找报数为n-1和n的结点，便于操作
for(i=1;i<n;i++)
{
p=r;
r=(*r).next;
}
printf("%d ",(*r).value);
(*p).next=(*r).next;
free(r);
r=(*p).next;
}
printf("%d ",(*r).value);
system("pause");
}

运行结果当只剩最后两个结点时，好像free()出问题了。求看看问题出在什么地方呢？
把free()注释掉之后就没问题了，好像问题就是这个free()。总之不清楚什么原因。

Answer 1

while((*r).next!=r)
{
//查找报数为n-1和n的结点，便于操作
for(i=1;i<n;i++)
{
p=r;
r=(*r).next;
}
...
}

每次free释放后，链表的节点数应该减小

Answer 2

r=(*r).next; //这里Next可能为NULL
}
printf("%d ",(*r).value);
(*p).next=(*r).next;
//这里加上
if(r!=NULL)
free(r);

追问

还是不行呢，下面是快要出错时之前的逐行调试结果。

然后出错时显示下面的东西

这个加了if判定也不行。