判斷單鏈表是否有環

1、如何判斷一個鏈表是不是這類鏈表? 

 2、如果鏈表爲存在環,如果找到環的入口點?

1、思路

設置兩個指針(fast, slow),初始值都指向頭,slow每次前進一步,fast每次前進二步,如果鏈表存在環,則fast必定先進入環,而slow後進入環,兩個指針必定相遇。(當然,fast先行頭到尾部爲NULL,則爲無環鏈表)程序如下:

bool IsExitsLoop(const ListNode *head)
{     
 ListNode *slow = head, *fast = head;     
 while ( fast && fast->next )     
 {         
  slow = slow->next;         
  fast = fast->next->next;       
  if ( slow == fast ) 
  break;    
 }    
 return !(fast == NULL || fast->next == NULL);
}

二、找到環的入口點
當fast若與slow相遇時,slow肯定沒有走遍歷完鏈表,見註釋(1)而fast已經在環內循環了n圈(1<=n)。
假設slow走了s步,則fast走了2s步(fast步數還等於s 加上在環上多轉的n圈),
設環長爲r,則:
 2s = s + nr    s= nr
設整個鏈表長L,入口環與相遇點距離爲x,起點到環入口點的距離爲a。   
a + x = nr
a + x = (n – 1)r +r = (n-1)r + L - a
得到:a = (n-1)r + (L – a – x)
(L – a – x)爲相遇點到環入口點的距離
由此可知,從鏈表頭到環入口點等於(n-1)循環內環+相遇點到環入口點。
於是我們從鏈表頭、與相遇點分別設一個指針,每次各走一步,兩個指針必定相遇,且相遇第一點爲環入口點。
程序描述如下:

ListNode* FindLoopPort(ListNode *head) 
{    
	ListNode *slow = head, *fast = head;
	while ( fast && fast->next )     
	{
		slow = slow->next;
		fast = fast->next->next;
		if ( slow == fast )
		break;
	}
	if (fast == NULL || fast->next == NULL)        
		return NULL;
	slow = head;
	while (slow != fast)
	{
		slow = slow->next;
		fast = fast->next;
	}   
	return slow; 
}


擴展問題:
判斷兩個單鏈表是否相交,如果相交,給出相交的第一個點(兩個鏈表都不存在環)。
比較好的方法有兩個:
一、將其中一個鏈表首尾相連,檢測另外一個鏈表是否存在環,如果存在,則兩個鏈表相交,而檢測出來的依賴環入口即爲相交的第一個點。
二、如果兩個鏈表相交,那個兩個鏈表從相交點到鏈表結束都是相同的節點,我們可以先遍歷一個鏈表,直到尾部,再遍歷另外一個鏈表,如果也可以走到同樣的結尾點,則兩個鏈表相交。
    找第一個交點:這時我們記下兩個鏈表length,再遍歷一次,長鏈表節點先出發前進(lengthMax-lengthMin)步,之後兩個鏈表同時前進,每次一步,相遇的第一點即爲兩個鏈表相交的第一個點。

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章