二部图一个猜想.PDFVIP

數學傳播 卷 期 二部圖一個猜想 陳宏賓 一、 二部圖 這裡我們要談的圖 是指一個有序對 是一個有限集 非空 它所包含的元素稱為點 是 中的點所形成的 部份 二元子集的集合 意即 ⊆ { ⊆ || } 中每一個二元子集 則稱為邊 。 為了方便以見 我們將 { } 記作 而 和 則稱為 的端點。 在這裡 和 是沒有分別的。 圖的研究起始於十八世紀知名數學家歐拉 他將當時流傳在卡尼斯堡 的七橋問題清楚地用點邊描述並解決 這也是後來一般常見的益智遊戲一筆劃 關於 圖研究的領域稱為圖論 說到圖論 最知名的莫過於四色定理 至今仍未有令人滿意的數學 證明。 而第一本圖論的書是在相隔兩百年後的 年才由卡內基 所撰寫 。 至今 不到一百年間 圖論的廣泛應用和研究動能相輔相成 使其在近年來發展非常迅速。 一個圖稱為二部圖 就是其點集 可以分成 和 兩部份 而且每 一條邊都恰有一端點在 另一端點在 。 二部圖在圖論的研究中是一個很基本的圖類 舉凡 兩種事物之間關聯的表達都可以用二部圖來呈現 因此受到相當大的關注。 其中 二部圖的匹配 問題就是二十世紀初非常熱門的話題 當年卡內基 的圖論一書有一大部份是在談論 二部圖 由此 可見一斑。 我們以下只考慮簡單圖 即邊集 中所有元素 都 不同且每一條邊 的兩個端點也都不同。 二、 點數與邊數的關係 點數與邊數的關聯在圖論的研究上是個重要的議題。 透過簡易的計算 我們可以知道 任一 個點的圖最多有 − 條邊。 此達到最多邊數的圖則稱為完全圖 即任意兩點都有一條邊相連。 也不難得到 任一 個點的二部圖最多有 ⌊ ⌋ 條邊。 二部圖一個猜想 達此最多邊數二部圖的 兩部份點數分別為 ⌊ ⌋ 和 ⌈ ⌉ 且 中所有點都和 中 所有點相連 記作 ⌊ ⌋ ⌈ ⌉ 。 這也是最多邊數的完全二部圖。 事實上 個點且不含三角形的最多邊數圖也就是這個圖 ⌊ ⌋ ⌈ ⌉ 。 緬投 在 年證明了 任一 個點且不含三角形的圖 最多只有 ⌊ ⌋ 條邊 且這個圖就是 ⌊ ⌋ ⌈ ⌉ 。 證明 假設 ⊆ 是 中最大的獨立集 意即 的任意兩點都沒有 邊。 因為不含三角形 所以任一點 的鄰居所成的集合必為獨立集 因此 我們知道 ≤ | | 這裡 表示 的鄰居數量。 令 \ 。 因為每一條邊至少有一個端點落在 所以邊數 | | ≤