[论文解读] The complexity of nonrepetitive edge coloring of graphs

Fedor Manin|ArXiv.org|Sep 27, 2007

semigroups and automata theory参考文献 10被引用 8

一句话总结

本文確立了圖形中非重複邊著色的計算複雜度，證明判斷圖 $ G $ 的 Thue 數 $ \pi(G) \leq k $ 是否成立是 $ \mathbf{\Sigma_2^p} $-完全問題。此外，本文進一步顯示，僅考慮長度至多為 $ n $ 的路徑之有界路徑變體，在固定 $ n $ 時為 NP-完全問題，當 $ n = 2 $ 時，此問題推廣了傳統的邊著色問題。

ABSTRACT

A squarefree word is a sequence $w$ of symbols such that there are no strings $x, y$, and $z$ for which $w=xyyz$. A nonrepetitive coloring of a graph is an edge coloring in which the sequence of colors along any open path is squarefree. We show that determining whether a graph $G$ has a nonrepetitive $k$-coloring is $Σ_2^p$-complete. When we restrict to paths of lengths at most $n$, the problem becomes NP-complete for fixed $n$.

研究动机与目标

• 判斷圖形是否允許使用至多 $ k $ 種顏色進行非重複邊著色的計算複雜度。
• 分析在路徑長度限制下非重複著色的複雜度，以推廣標準邊著色問題。
• 在非重複著色問題中建立多項式階層中的完全性結果。
• 透過形式化在邊著色中避免平方模式的難度，將組合圖形理論與計算複雜度理論相連接。

提出的方法

• 從一 $ \Sigma_2^p $-完全問題（具體而言，$ \exists y \forall x \, \phi(x,y) $）構造至非重複邊著色決策問題的歸約。
• 使用局部元件（例如，邊元件、一致性元件）的圖形構造，以強制施加顏色模式的結構約束。
• 採用分層圖結構，包含瓶頸與對稱元件，以將全局行為與局部著色分離。
• 施加顏色約束，使得僅允許特定且不重複的路徑存在，確保平方路徑對應於輸入公式中的邏輯矛盾。
• 針對變數與邏輯式元件中路徑遍歷的案例分析，證明僅當邏輯公式可滿足時，平方路徑才可能出現。
• 透過將構造大小限制在 $ O(n^8) $ 內，展示多項式時間歸約，確保效率。

实验结果

研究问题

• RQ1 判斷圖形 $ G $ 的 $ \pi(G) \leq k $ 是否為多項式階層第二層的完全問題？
• RQ2 當路徑長度受限於有界長度 $ n $ 時，非重複邊著色的複雜度為何？
• RQ3 邊著色問題（當 $ n = 2 $ 時）能否自然地推廣至更高的路徑長度限制，同時保持 NP-完全性？
• RQ4 在何種結構條件下，圖形會允許非重複邊著色？這與邏輯可滿足性的關係為何？
• RQ5 局部著色約束如何與全局路徑模式互動，以強制實現非重複性？

主要发现

• 判斷 $ \pi(G) \leq k $ 的問題為 $ \mathbf{\Sigma_2^p} $-完全問題，確立其為多項式階層第二層中最困難的問題之一。
• 對於固定的 $ n $，確保所有長度至多為 $ n $ 的開路徑均為非重複著色的問題為 NP-完全問題，且當 $ n = 2 $ 時，此問題等價於標準邊著色問題。
• 要求邊著色中不包含長度至多為 4 的平方模式的決策問題 $ \chi_2^e(G) \leq k $ 為 NP-完全問題。
• 對於所有 $ k \geq 4 $，決策問題 $ \chi_{2k}^e(G) \leq k $ 為 NP-完全問題，將 NP-完全性推廣至更長的有界路徑。
• 從 $ \Sigma_2^p $-完全問題至非重複著色問題的歸約可在多項式時間內完成，具體為 $ O(n^8) $，確認其複雜度類成員資格。
• 該構造確保圖形中任何平方路徑均對應於輸入公式的邏輯矛盾，從而證明歸約的正確性。