[论文解读] The parameterized complexity of k-edge induced subgraphs

Bingkai Lin, Yijia Chen|arXiv (Cornell University)|May 3, 2011

Advanced Graph Theory Research参考文献 19被引用 4

一句话总结

本文確立了尋找 k-邊誘導子圖問題是固定參數可追蹤（FPT）的，解決了雷震陳提出的開放性問題。作者結合邏輯方法（Frick 與 Grohe 對局部有界樹寬圖上一階邏輯的 FPT 模型檢測）與組合技術——包括高斯關於三角數的 Eureka 定理與拉姆齊類型論證——以處理非局部有界圖，最終透過對剩餘圖的遞迴分解與有界點覆蓋論證，證明 FPT。

ABSTRACT

We prove that finding a $k$-edge induced subgraph is fixed-parameter tractable, thereby answering an open problem of Leizhen Cai. Our algorithm is based on several combinatorial observations, Gauss' famous \emph{Eureka} theorem [Andrews, 86], and a generalization of the well-known fpt-algorithm for the model-checking problem for first-order logic on graphs with locally bounded tree-width due to Frick and Grohe [Frick and Grohe, 01]. On the other hand, we show that two natural counting versions of the problem are hard. Hence, the $k$-edge induced subgraph problem is one of the rare known examples in parameterized complexity that are easy for decision while hard for counting.

研究动机与目标

• 解決雷震陳提出的參數化複雜度問題，即 k-邊誘導子圖判定問題的參數化複雜度。
• 判斷當以 k 為參數時，是否存在 k-邊誘導子圖是否能有效判定。
• 探討判定版本與計數版本之間的複雜度差距，特別是基於計數問題已知的困難性。
• 開發一種結合邏輯模型檢測與組合分解技術的新型 FPT 演算法，適用於一般圖。
• 分析在局部樹寬或度數邊界不成立時，問題仍保持可追蹤性的結構條件。

提出的方法

• 使用一階邏輯表達 k-邊誘導子圖的存在性，進而應用 Frick 與 Grohe 對局部有界樹寬圖上一階邏輯的 FPT 模型檢測結果。
• 將邏輯方法延伸至度數以 k 的函數為邊界的圖，透過補圖使低度與高度數頂點皆能獲得 FPT 演算法。
• 引入度極端圖（頂點具有極低或極高程度者）的概念，並使用相同邏輯機制證明此類圖的 FPT 可追蹤性。
• 對中心頂點具有中等程度的頂點集合進行遞迴分割，將圖分解為邊切割集有界的子圖。
• 運用拉姆齊定理分析移除有界大小集合 B 後的剩餘圖結構，顯示存在一個大獨立集，或存在三個互不相鄰的團。
• 利用高斯關於三三角數之和的定理，證明在三個互不相鄰團的情況下，k-邊誘導子圖必然存在，從而完成 FPT 證明。

实验结果

研究问题

• RQ1 當以 k 為參數時，尋找 k-邊誘導子圖的判定問題是否為固定參數可追蹤？
• RQ2 此 FPT 結果能否延伸至樹寬或度數有界圖之外，例如一般圖？
• RQ3 為何計數版本仍困難，即使判定版本為 FPT？
• RQ4 圖的哪些結構性質可使 k-邊誘導子圖的存在性在 FPT 時間內判定？
• RQ5 組合分解與邏輯方法能否有效結合，以解決非局部有界的問題？

主要发现

• k-邊誘導子圖判定問題為固定參數可追蹤，解決了雷震陳提出的開放性問題。
• FPT 演算法結合邏輯模型檢測（Frick 與 Grohe）與組合技術，包括拉姆齊理論與高斯關於三角數的定理。
• 演算法在 k 上呈三重指數時間，儘管如此，其理論複雜度分析仍具重要意義。
• 問題的計數版本 p-#Edge-Induced-Subgraph 為 #P-困難，顯示判定問題嚴格易於其計數對應版本。
• 受限計數版本 p-#Edge-Induced-Subgraph∗（排除孤立頂點）為 #W[1]-困難，此結果透過 fpt 图靈歸約自 p-#Independent-Set 顯示。
• 證明顯示，任一圖非直接透過結構分解包含 k-邊誘導子圖，即能歸約至高斯定理可保證存在的案例。