歐拉圖

圖論起源於18世紀，1736年瑞士數學家歐拉（Euler）發表了圖論的第一篇論文“哥尼斯堡七橋問題”。在當時的哥尼斯堡城有一條橫貫全市的普雷格爾

河，河中的兩個島與兩岸用七座橋連結起來。當時那裡的居民熱衷於一個難題：有遊人怎樣不重複地走遍七橋，最後回到出發點。為了解決這個問題，歐拉用A,B,C,D4個字母代替陸地，作為4個頂點，將聯結兩塊陸地的橋用相應的線段表示，於是哥尼斯堡七橋問題就變成了圖中，是否存在經過每條邊一次且僅一次，經過所有的頂點的迴路問題了。歐拉在論文中指出，這樣的迴路是不存在的。

對歐拉圖的一個現代擴展是蜘蛛圖，它向歐拉圖增加了可以連接的存在點。這給予歐拉圖析取特徵。歐拉圖

已經有了合取特徵(就是說區定義了有著與起來

的那些性質的對象在區中的存在)。所以蜘蛛圖允許使用歐拉圖建模邏輯或的條件。

歐拉圖歐拉圖

h 歐拉通路(迴路)與歐拉圖 通過圖G的每條邊一次且僅一次，而且走遍每個結點的通路(迴路)，就是歐拉通路(迴路). 存在歐拉迴路的圖就是歐拉圖.

歐拉迴路要求邊不能重複，結點可以重複. 筆不離開紙，不重複地走完所有的邊，且走過所有結點，就是所謂的一筆畫.

h歐拉圖或通路的判定

(1) 無向連通圖G是歐拉圖ÛG不含奇數度結點(G的所有結點度數為偶數):(定理1)

(2) 非平凡連通圖G含有歐拉通路ÛG最多有兩個奇數度的結點；(定理1的推論)

(3) 連通有向圖D含有有向歐拉迴路(即歐拉圖)ÛD中每個結點的入度＝出度

連通有向圖D含有有向歐拉通路ÛD中除兩個結點外，其餘每個結點的入度＝出度，且此兩點滿足deg－(u)－deg＋(v)＝±1. (定理2)

修訂內容

歐拉圖是普通邏輯學中的重點之一，圖論的一部分，可以直觀的表示概念間的關係，刑事偵查邏輯里有實際用途.

相容關係：同一關係，交叉關係，包含關係.

不相容關係：不相容關係，矛盾關係.