判断一个单链表是否有环及环的连接点

给定一个单链表,只给出头指针h:

1、如何判断是否存在环?

2、如何知道环的长度?

3、如何找出环的连接点在哪里?

4、带环链表的长度是多少?

 

解法:

1、对于问题1,使用追赶的方法,设定两个指针slow、fast,从头指针开始,每次分别前进1步、2步。如存在环,则两者相遇;如不存在环,fast遇到NULL退出。

2、对于问题2,记录下问题1的碰撞点p,slow、fast从该点开始,再次碰撞所走过的操作数就是环的长度s,当然也可以利用slow再次走到p。

3、问题3:有定理:碰撞点p到连接点的距离=头指针到连接点的距离,因此,分别从碰撞点、头指针开始走,相遇的那个点就是连接点。(证明在后面附注)。

4、问题3中已经求出连接点距离头指针的长度,加上问题2中求出的环的长度,二者之和就是带环单链表的长度。


代码如下

void Isloop(Node* head){
	if(!head||!head->next)
	return;
	Node* p,q;
	bool loop=false;
	 p=q=head->next;
	while(q&&q->next){//判断是否有环
		p=p->next;
		q=q->next->next;
		if(p==q){
			loop=true;
			break;
		}
	}
	if(!loop)
		cout<<"This link has not loop\n";
	else{
		cout<<"This link has a loop\n";
		Node* r=p;
		q=head->next;
		int nonloop=1,loopcount=1;
		//nonloop计算非环结点数,loopcount计算环上结点数
		do{//计算环上的结点数	
			p=p->next;
			++loopcount;
		}while(p!=r);
		while(p!=q){//得到环的入口结点,同时计算得到非环的结点数
			p=p->next;
			q=q->next;
			++nonloop;
		}
		cout<<"\nStart of loop: "<<p->data<<endl;  
		cout<<"\nCount of nonloop: "<<nonloop
		<<"\nCount of loop: "<<loopcount
		<<"\nCount of Linknode: "<<nonloop+loopcount<<endl;
	}
}


问题3的证明

链表形状类似数字 6 。
假设甩尾(在环外)长度为 a(结点个数),环内长度为 b 。
则总长度(也是总结点数)为 a+b 。
从头开始,0 base 编号。
将第 i 步访问的结点用 S(i) 表示。i = 0, 1 ...
当 i<a 时,S(i)=i ;
当 i≥a 时,S(i)=a+(i-a)%b 。

分析追赶过程:
两个指针分别前进,假定经过 x 步后,碰撞。则有:S(x)=S(2x)
由环的周期性有:2x=tb+x 。得到 x=tb 。(x,t不是可以随便变的变量,而是记号,分别记录了slow走了多少步和fast比slow多走了几圈)
另,碰撞时,必须在环内,不可能在甩尾段,有 x>=a 。

连接点为从起点走 a 步,即 S(a)。
S(a) = S(tb+a) = S(x+a)。(S(a) = S(tb+a) 和前面分析的S(x)=S(2x)无关,而是S(a) = S(nb+a),当n为任何数的时候逗成立,当然为特定的t也是成立的)
得到结论:从碰撞点 x 前进 a 步即为连接点。

根据假设易知 S(a-1) 在甩尾段,S(a) 在环上,而 S(x+a) 必然在环上。所以可以发生碰撞。

综上,从 x 点和从起点同步前进,第一个碰撞点就是连接点。



评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值