Euler's Circuit(歐拉迴路),又稱為歐拉環遊或歐拉閉路,是圖論中的一個概念,指的是在圖中行走一條路徑,恰好經過每條邊一次,並且能夠回到起點的路徑。這樣的迴路存在於被稱為「歐拉圖」的特殊類型的圖中。
對於一個圖(Graph)來說,無論是有向還是無向,要形成一個歐拉迴路,它必須滿足以下條件:
圖是連通的,這意味著任何兩個頂點都有路徑相連。
對於無向圖,每個頂點的度(相連的邊的數量)都是偶數。
對於有向圖,每個頂點的入度和出度相同。
如果一個圖只滿足上述的前兩個條件,也就是說它是連通的,但是有兩個頂點的度是奇數(其餘的頂點度是偶數),那麼它不會有一個歐拉迴路,但會有一個稱為「歐拉路徑」(Euler Path或Euler's Trail)的路徑,這樣的路徑開始和結束於度為奇數的那兩個頂點,並且經過每條邊一次。
這一概念最早由18世紀的瑞士數學家萊昂哈德·歐拉提出,並且通過解決著名的哥尼斯堡七橋問題而廣為人知。在這個問題中,歐拉證明了在一個圖中存在一條經過每條橋一次的迴路的條件。歐拉的工作奠定了圖論這一數學分支的基礎。