尤拉迴路與尤拉通路存在性的充要條件及其證明

2022-03-05 00:59:57 字數 1168 閱讀 1029

**自

定理1:連通多重圖中存在尤拉迴路當且僅當圖中所有頂點的度數為偶數。

首先,我們來證明充分性,即存在尤拉迴路則圖中的所有頂點的度數必然為偶數。在圖中任取一點,以該點作為起點,沿著尤拉迴路走,當前頂點的出度為1,然後經過其它的頂點,注意到如果尤拉路徑經過乙個頂點(包括起點),它必然離開這個點,這樣出入度之和為偶數,直到所有的邊逐一被走過,迴路的終點在起點處結束,使得起點的入度加1,這樣經過起點的度數和變成偶數,尤拉迴路結束(注意到我們未加說明的假設了邊的個數是有窮的,因此這個過程必然結束)。

其次,我們來證明必要性,即如果連通圖中所有頂點的度數為偶數,則必然存在尤拉迴路。我們通過構造性的存在性證明來說明這一點(這裡有一些證明方法的相關介紹)。首先,我們在連通圖中找尋一條迴路(迴路的選取是任意的並且總是能找到的,由上述充分性的證明可以有效的說明這一點),如果這條迴路就是尤拉迴路,那麼結論已然成立了,否則,我們刪除掉該迴路中的所有邊,出現孤立的頂點就忽略它,那麼子圖(不一定是連通的,並且仍然滿足所有頂點的度數都是偶數的性質)與刪除掉的迴路一定有公共頂點(圖的連通性保證了這一點),以該點作為起點繼續找尋迴路,然後刪除,續行此法,直到所有的邊都被刪除為止(同上述充分性的證明中一樣,邊的個數的有窮性保證了這個過程必然結束),所有這些刪除的迴路連線起來就構成了一條尤拉迴路。

至此,我們完成了尤拉迴路存在性的充要條件的證明,並且應當引起注意的是在構造性的存在性證明中我們給出了一種找尋尤拉迴路的演算法過程。

接下來,我們證明下述定理。

定理2:連通多重圖中存在尤拉通路且不存在尤拉迴路當且僅當連通圖中有且只用兩個頂點的度數為奇數。

仍然先來證明充分性,即存在尤拉通路則圖中有且只有兩個頂點的度數為奇數,其他頂點的度數皆為偶數,注意到由於起點和終點是不同的,因此尤拉通路的起點和終點必然是兩個奇數度的頂點,此外,不可能再有其他的奇數度的頂點了,因為我們沿著尤拉通路的起點走開來,只要經過乙個頂點必然離開該頂點,一條入度邊搭配一條出度邊,共同為該頂點貢獻偶數度,直到到達終點為止(當然,也可能再離開,只要終點還有邊沒有被走過)。

接下來,我們來證明必要性,即連通圖中有且只有兩個奇數度頂點,則必然存在尤拉通路,怎麼來證明這一點呢?一種非常巧妙的方式是把尤拉通路做成尤拉迴路,換句話說,我們連線兩個奇數度頂點,這樣連通圖中所有頂點的度數均為偶數,由剛剛證明的定理1可知,該連通圖存在尤拉迴路,注意到只需把我們自己增加的那條輔助邊刪除,便證明了尤拉通路的存在性,我們再一次借助構造性的存在性證明來證明了這一點。

尤拉迴路 尤拉通路判斷

尤拉迴路 圖g,若存在一條路,經過g中每條邊有且僅有一次,稱這條路為尤拉路,如果存在一條迴路經過g每條邊有且僅有一次,稱這條迴路為尤拉迴路。具有尤拉迴路的圖成為尤拉圖。判斷尤拉通路是否存在的方法 有向圖 圖連通,有乙個頂點出度大入度1,有乙個頂點入度大出度1,其餘都是出度 入度。無向圖 圖連通,只有...

尤拉迴路 尤拉通路問題總結

經過圖中所有邊恰好一次,並回到原點的路徑。無向圖 g 存在尤拉迴路的充要條件是 g 中無奇數度數的節點。有向圖 g 存在尤拉迴路的充要條件是 g 聯通且對於所有點 p in g 有其入度等於其出度。時間複雜度 o n 先指定乙個點作為起始點 s 進行 dfs 邊走邊刪邊。並壓入棧中 如果走到乙個點了...

尤拉迴路 通路

如果圖g中所有邊一次僅且一次行遍所有頂點的通路稱作尤拉通路。如果圖g中所有邊一次僅且一次行遍所有頂點的迴路稱作尤拉迴路。簡而言之就是一筆畫的遊戲。前提,圖聯通。有向圖 有乙個頂點出度大入度1,有乙個頂點入度大出度1,其餘都是出度 入度。無向圖 只有兩個頂點是奇數度,其餘都是偶數度的。有向圖 所有的頂...