[论文解读] On the Parameterized Complexity of Graph Modification to First-Order Logic Properties

Fedor V. Fomin, Petr A. Golovach+1 more|arXiv (Cornell University)|May 11, 2018

semigroups and automata theory参考文献 20被引用 7

一句话总结

本文為圖形修改問題到一階邏輯（FOL）性質的參數化複雜度建立了一個二分法，根據 FOL 公式的量詞前綴結構，顯示此類問題何時為固定參數可追蹤（FPT）或可接受多項式核。研究證明，當前綴的交錯次數有界且在全稱量詞後無存在量詞時，問題為 FPT；而對於具有高交錯次數或特定量詞模式的公式，除非 NP ⊆ coNP/poly，否則無法進行核化。

ABSTRACT

We consider the problems of deciding whether an input graph can be modified by removing/adding at most k vertices/edges such that the result of the modification satisfies some property definable in first-order logic. We establish a number of sufficient and necessary conditions on the quantification pattern of the first-order formula \\phi for the problem to be fixed-parameter tractable or to admit a polynomial kernel.

研究动机与目标

• 確定圖形修改問題的參數化複雜度，其中目標性質可用一階邏輯（FOL）表達。
• 識別 FOL 公式中量詞前綴的充分與必要條件，以使對應的圖形修改問題為固定參數可追蹤（FPT）。
• 在標準複雜度假設下，描述此類問題何時可接受多項式核。
• 透過 FOL 公式的一種自然翻譯，將結果從無向圖推廣至有向圖。

提出的方法

• 作者分析處於前綴範式且變數與量詞交錯次數有限的 FOL 公式。
• 根據 Kleene-Mostowski 層次定義前綴類別，專注於量詞前綴中的交錯模式。
• 使用交叉組合技術證明核化下界，將 Clique 問題歸約至圖形修改問題。
• 針對交錯次數有界且特定量詞順序（特別是全稱量詞後無存在量詞）的公式，構造 FPT 演算法。
• 證明具有高交錯次數或特定量詞模式（例如 ∃∀）的問題為 W[2]-難，且除非 NP ⊆ coNP/poly，否則無法接受多項式核。
• 透過以對稱弧謂詞取代鄰接謂詞，將結果延伸至有向圖。

实验结果

研究问题

• RQ1 對於 FOL 公式的哪些量詞前綴，圖形修改問題在以修改次數為參數時為固定參數可追蹤？
• RQ2 在量詞前綴的何種條件下，圖形修改問題可接受多項式核？
• RQ3 FPT 與核化二分法能否推廣至有向圖？
• RQ4 量詞交錯與順序在決定基於 FOL 的圖形修改問題複雜度中扮演何種角色？

主要发现

• 若 FOL 公式的量詞前綴具有有界交錯次數且在全稱量詞後無存在量詞，則圖形修改問題為固定參數可追蹤。
• 若公式前綴包含 ∃∀ 模式或高交錯次數，即使變數數量為常數，問題亦為 W[2]-難。
• 除非 NP ⊆ coNP/poly，否則具有 ∃∀ 前綴模式的公式無法接受多項式核化。
• Clique 問題可 OR-交叉組合至特定 FOL 公式之頂點移除問題，從而證明核化下界。
• 透過使用對稱弧謂詞自然翻譯 FOL 公式，FPT 與核化結果可推廣至有向圖。
• 在標準複雜度假設下，本研究為基於 FOL 的圖形修改問題提供了完整的二分法。