在链表中,不光只有普通的单链表。之前写过的的一个约瑟夫环形链表是尾直接连向头的。这里的环形链表是从尾节点的next指针连向这链表的任意位置。
那么给定一个链表,判断这个链表是否带环。qj题141.环形链表就是一个这样的题目。
这里的思路是用快慢指针,慢指针一次走一步快指针一次走两步。两个指针都从起始位置出发,带环就一定会相遇,否则快指针率先走到链表的末尾。
/*** Definition for singly-linked list.* struct ListNode {* int val;* struct ListNode *next;* };*/
typedef struct ListNode ListNode;
bool hasCycle(struct ListNode *head) {ListNode* slow=head,*fast=head;while(fast && fast->next){slow=slow->next;fast=fast->next->next;if(slow==fast){return true;}}return false;
}
那么这里有两个问题。
1、为什么快指针走两步,慢指针走一步就一定会相遇。
2、快指针一次走3步、4步…n步可以吗?
1、为什么快指针走两步,慢指针走一步就一定会相遇
又可能在慢指针刚入环时就和快指针相遇了。慢指针叫slow,快指针叫fast,假设slow进环时,fast与slow的距离为N时,这里fast走两个slow走一个。
N-2+1 N-1
N-4+2 N-2
N-6+3 N-3
也就是说每追及一次,距离就缩小1,当距离为0时就追上了。
2、快指针一次走3步、4步…n步可以吗?
假设slow进环时,fast与slow的距离时N。fast走3个slow走1个。
N
N-2
N-4
这里要思考一下,如果N为偶数或奇数是否有不同?
当N为偶数时,假设N为4,4-2为2 4-4为0这时就追上了。
当N为奇数时,假设N为5,3 1 -1这时就错过了,进行新一轮的追击。
这时候fast和slow的距离就变成了c-1,c为环的长度。
当c-1为偶数的时候,下一轮就追不上。
当c-1为奇数时下一轮就追的上。
c-1为偶数时之所以能追上,是因为当fast和slow都走起来时相对位移是2,所以为偶数时下一轮就追上了。
这里总结一下:
N时偶数,第一轮就追上了。
N时奇数,第一轮就会错过,距离变成c-1。
如果c-1为偶数的时候,下一轮就追上了。
如果c-1为奇数的时候,永远也追不上。
同时存在N为奇数且C时偶数,那么就永远追不上。
真的永远追不上吗?
假设从初始位置到进入环的距离为L,fast与slow的距离为N。环的长度为N。
slow走的距离为:L
fast走的距离为:L+nC+C-N
不确定fast是否只走不到一圈,也可能走了好几圈所以用nC。
fast走的距离是slow的三倍
3L=L+xC+C-N
2*L=(x+1)*C-N
当2L为偶数的时候,(x+1)偶数C-偶数N时,2L才为偶数。
当2L为奇数的时候,(x+1)奇数C-奇数N时,2L才为奇数。
N是奇数时,C也是奇数
N是偶数时,C也是偶数
反证出,N为奇数且C为偶数不能同时存在,永远追不上的条件不成立。所以上面的结论不成立。
正确结论:
一定能追上。
N为偶数第一轮就追上了。
N为奇数第一轮追不上,第二轮C-1为偶数时就追上了