[论文解读] On planar variants of the monotone satisfiability problem with bounded variable appearances

Andreas Darmann, Janosch Döcker+1 more|arXiv (Cornell University)|Apr 19, 2016

Computational Geometry and Mesh Generation参考文献 2被引用 3

一句话总结

本文確立了幾種平面化單調可滿足性問題變體的 NP-完全性，這些變體具有變數出現次數的限制，包括每個變數恰好出現 3、4 或 5 次的情況，且子句大小限制為 3。作者使用平面正交圖形繪製與局部元件替換技術，以維持平面性與變數度數限制，進而實現計算複雜性中 NP-難度證明的高效歸約。

ABSTRACT

We show NP-completeness for several planar variants of the monotone satisfiability problem with bounded variable appearances. With one exception the presented variants have an associated bipartite graph where the vertex degree is bounded by at most four. Hence, a planar and orthogonal drawing for these graphs can be computed efficiently, which may turn out to be useful in reductions using these variants as a starting point for proving some decision problem to be NP-hard.

研究动机与目标

• 確立在變數出現次數受限制條件下，平面單調可滿足性變體的 NP-完全性。
• 確保相關的二分圖具有有界頂點度數（≤4）且保持平面性。
• 發展使用平面與正交圖形繪圖的高效歸約方法，以用於 NP-難度證明。
• 探討當每個變數恰好出現 s 次（s ≥ 4）時，具有變數出現次數限制的單調 3-SAT 是否仍為 NP-難。
• 建構局部元件替換機制，以在歸約過程中維持平面性與變數度數約束。

提出的方法

• 從 Lichtenstein 的平面 3-SAT 問題歸約，以證明平面單調 (2,3)-Sat-3 的 NP-難度。
• 應用 Gold 的規則，將混合子句轉換為單調子句，同時保持平面性與變數出現次數的限制。
• 在平面圖中對變數頂點使用局部元件替換，以調整變數出現次數而不破壞平面性。
• 使用已知的線性時間演算法，為所得圖形建構正交繪圖。
• 在子句內複製文字，以確保每個子句恰好包含三個文字，且每個變數恰好出現 s 次。
• 設計度數為 3 和度數為 4 的變數元件，以維持雙連通與平面圖結構。

实验结果

研究问题

• RQ1 當每個變數最多出現四次時，平面單調 3-Sat-4 是否為 NP-完全？
• RQ2 在平面實例中，單調可滿足性問題是否在變數恰好出現指定次數（例如 3、4 或 5 次）的約束下仍為 NP-完全？
• RQ3 是否存在最小的 s ≥ 4，使得平面單調 3-Sat-s 為 NP-完全？
• RQ4 是否能高效計算具有變數出現次數限制的單調可滿足性實例的平面與正交圖形繪圖？
• RQ5 局部元件替換是否能在歸約過程中保持平面性與變數度數限制？

主要发现

• 即使每個變數最多出現三次，平面單調 (2,3)-Sat-3 仍為 NP-完全。
• 平面單調 (2,3)-Sat-E3 為 NP-完全，其中每個變數恰好出現三次。
• 平面單調 3-Sat*-E5 為 NP-完全，每個變數恰好出現五次，且圖形為雙連通。
• 當每個變數恰好出現四次且每個子句恰好包含三個不同文字時，該變體為 NP-完全。
• 所有建構的實例其對應的二分圖最大頂點度數為四，進而可高效進行平面與正交圖形繪圖。
• 該歸約架構支援高效建構具有受控變數出現次數與平面結構的等滿意實例。