[论文解读] Tight lower bounds on the matching number in a graph with given maximum degree

Michael A. Henning, Anders Yeo|arXiv (Cornell University)|Apr 18, 2016

Advanced Graph Theory Research参考文献 9被引用 3

一句话总结

本文在最大度至多為 k 的圖形中確立了匹配數 α′(G) 的緊緻下界，證明所有滿足對所有連通圖 G 有 α′(G) ≥ γn + βm − K 成立的配對 (γ, β) 所構成的集合 Lk 是一個凸集。當 k 為奇數且 k ≥ 3 時，Lk 是兩個閉半空間的交集，僅有一個極端點；當 k 為偶數且 k ≥ 4 時，Lk 是三個半空間的交集，具有兩個極端點，完整描述了以 n（頂點數）與 m（邊數）表示之最緊密線性下界之幾何結構。

ABSTRACT

Let $k \geq 3$. We prove the following three bounds for the matching number, $α'(G)$, of a graph, $G$, of order $n$ size $m$ and maximum degree at most $k$. If $k$ is odd, then $α'(G) \ge \left( \frac{k-1}{k(k^2 - 3)} ight) n \, + \, \left( \frac{k^2 - k - 2}{k(k^2 - 3)} ight) m \, - \, \frac{k-1}{k(k^2 - 3)}$. If $k$ is even, then $α'(G) \ge \frac{n}{k(k+1)} \, + \, \frac{m}{k+1} - \frac{1}{k}$. If $k$ is even, then $α'(G) \ge \left( \frac{k+2}{k^2+k+2} ight) m \, - \, \left( \frac{k-2}{k^2+k+2} ight) n \, - \frac{k+2}{k^2+k+2}$. In this paper we actually prove a slight strengthening of the above for which the bounds are tight for essentially all densities of graphs. The above three bounds are in fact powerful enough to give a complete description of the set $L_k$ of pairs $(γ,β)$ of real numbers with the following property. There exists a constant $K$ such that $α'(G) \geq γn + βm - K$ for every connected graph $G$ with maximum degree at most~$k$, where $n$ and $m$ denote the number of vertices and the number of edges, respectively, in $G$. We show that $L_k$ is a convex set. Further, if $k$ is odd, then $L_k$ is the intersection of two closed half-spaces, and there is exactly one extreme point of $L_k$, while if $k$ is even, then $L_k$ is the intersection of three closed half-spaces, and there are precisely two extreme points of $L_k$.

研究动机与目标

• 針對最大度至多為 k 的連通圖形，確定以頂點數 n 與邊數 m 表示之匹配數 α′(G) 的最緊密可能線性下界。
• 描述所有配對 (γ, β) 所構成之集合 Lk，使得對所有最大度 Δ(G) ≤ k 的連通圖形 G，不等式 α′(G) ≥ γn + βm − K 對某常數 K 成立。
• 證明 Lk 為凸集，並完整描述其幾何結構——特別是其極端點與定義半空間——針對奇數與偶數 k。
• 證明所推導之界對無限多個圖形（包括樹與 k-正則圖形）皆為緊緻，且涵蓋所有可能之邊密度。
• 統一並強化先前關於匹配數下界之結果，提供 (γ, β) 配對可行區域之完整、緊緻且精確之特徵描述。

提出的方法

• 根據 k 的奇偶性推導出三個緊緻下界：一個適用於奇數 k，兩個適用於偶數 k，所有下界皆以 n 與 m 的線性函數表示，並明確給出常數係數。
• 以 Tutte–Berge 公式為基礎工具，透過分析使 (n + |X| − oc(G−X))/2 最小化的頂點子集 X，來研究匹配數。
• 引入 k-良配對 (k-good) 與 k-緊配對 (k-tight pair) 的概念，用以分類所有最大度 ≤ k 之圖形皆適用之線性下界 (an + bm − K)。
• 應用幾何與凸分析，證明 Lk 為定義於 (γ, β) 上之線性不等式所產生之閉半空間交集，其係數明確由極值圖形族推導而出。
• 利用樹、k-正則圖形以及構造之圖形族 G′k,r，透過建立極值範例來證明界之緊緻性。
• 運用插值與凸組合論證（透過引理 8），證明所有極端點凸包內之點亦為 k-良配對，從而確立 Lk 的完整凸結構。

实验结果

研究问题

• RQ1 對於最大度至多為 k 的所有連通圖形 G，形式為 α′(G) ≥ γn + βm − K 的最緊密可能線性下界為何？
• RQ2 Lk 中有效 (γ, β) 配對之結構如何依賴於 k 的奇偶性？
• RQ3 Lk 的極端點為何？它們與極值圖形族（如樹與 k-正則圖形）有何關聯？
• RQ4 這些界能否同時對稀疏圖形（如樹）與密集圖形（如 k-正則圖形）皆為緊緻，且涵蓋所有中間密度？
• RQ5 Lk 的幾何性質為何？如何完整描述其為閉半空間之交集？

主要发现

• 當 k 為奇數且 k ≥ 3 時，集合 Lk 為兩個閉半空間 ℓ₁ 與 ℓ₂ 的交集，僅有一個極端點：( (k−1)/(k(k²−3)), (k²−k−2)/(k(k²−3)) )。
• 當 k 為偶數且 k ≥ 4 時，Lk 為三個閉半空間 ℓ₁、ℓ₃ 與 ℓ₄ 的交集，僅有兩個極端點：(1/(k(k+1)), 1/(k+1)) 與 (−(k−2)/(k²+k+2), (k+2)/(k²+k+2))。
• 奇數 k 的界為 α′(G) ≥ ((k−1)/(k(k²−3)))n + ((k²−k−2)/(k(k²−3)))m − (k−1)/(k(k²−3))，且對無限多棵樹與 k-正則圖形皆為緊緻。
• 對於偶數 k，推導出兩個不同的界：α′(G) ≥ n/(k(k+1)) + m/(k+1) − 1/k 與 α′(G) ≥ ((k+2)/(k²+k+2))m − ((k−2)/(k²+k+2))n − (k+2)/(k²+k+2)，兩者對各自相關之圖形族皆為緊緻。
• 集合 Lk 為凸集，且 Lk 中所有 (γ, β) 配對皆產生有效之線性下界，且對所有邊密度下之無限多個圖形皆為緊緻。
• 本文證明所推導之界不僅有效，且為最佳，因為任何位於 Lk 外之配對 (γ, β) 均無法對所有最大度 Δ(G) ≤ k 之連通圖形 G，以 γn + βm − K 為 α′(G) 的下界。