[论文解读] Square-Root Finding Problem In Graphs, A Complete Dichotomy Theorem

Babak Farzad, Majid Karimi|arXiv (Cornell University)|Oct 29, 2012

Advanced Graph Theory Research参考文献 11被引用 10

一句话总结

本文通过证明确定给定图是否为五元环长图的平方图是 NP-完全问题，建立了图平方根问题的完整二分定理。作者构建了一个从 1-in-3 SAT 某一变体到该问题的多项式时间归约，以证明 NP-完全性，从而解决了基于环长参数化的平方根问题复杂性分类中的最后一个开放问题。

ABSTRACT

Graph G is the square of graph H if two vertices x,y have an edge in G if and only if x,y are of distance at most two in H. Given H it is easy to compute its square H^2. Determining if a given graph G is the square of some graph is not easy in general. Motwani and Sudan proved that it is NP-complete to determine if a given graph G is the square of some graph. The graph introduced in their reduction is a graph that contains many triangles and is relatively dense. Farzad et al. proved the NP-completeness for finding a square root for girth 4 while they gave a polynomial time algorithm for computing a square root of girth at least six. Adamaszek and Adamaszek proved that if a graph has a square root of girth six then this square root is unique up to isomorphism. In this paper we consider the characterization and recognition problem of graphs that are square of graphs of girth at least five. We introduce a family of graphs with exponentially many non-isomorphic square roots, and as the main result of this paper we prove that the square root finding problem is NP-complete for square roots of girth five. This proof is providing the complete dichotomy theorem for square root problem in terms of the girth of the square roots.

研究动机与目标

• 解决图平方根问题在五元环长图上的复杂性状态开放问题。
• 基于平方根图的环长，完成平方根问题的二分定理。
• 证明当且仅当根图的环长至多为五时，平方根查找问题为 NP-完全。
• 构造一族具有指数级多组非同构平方根的图，展示其结构复杂性超越唯一性。

提出的方法

• 从强 NP-完全问题 POSITIVE AND MINIMUM INTERSECTING 1-in-3 SAT 归约而来。
• 从 3-CNF 公式 $ \phi $ 构造图 $ G(\phi) $，通过专用子图编码变量与子句结构。
• 定义两个基础图组件 $ \mathcal{G}_1 $ 和 $ \mathcal{G}_2 $，用于在平方根中表示变量的真值赋值。
• 使用彼得森图结构编码子句约束，确保在满足赋值中每个子句恰好有一个字面量为真。
• 建立满足赋值存在当且仅当 $ G(\phi) $ 存在环长为五的平方根。
• 证明若此类平方根存在，则其环长必恰好为五，且构造通过边与顶点定义保持了环长。

实验结果

研究问题

• RQ1 图平方根问题在平方根图环长为五的图上是否为 NP-完全？
• RQ2 若存在，图环长为五的平方根是否在同构意义下唯一？
• RQ3 能否构造一族具有指数级多组非同构环长为五的平方根的图？
• RQ4 基于根图环长参数化的平方根问题的完整复杂性分类是什么？

主要发现

• 平方根查找问题在平方根图环长为五的图上为 NP-完全，解决了长期存在的开放问题。
• 作者构造了一族具有指数级多组非同构平方根的图，表明五元环长下平方根不具唯一性。
• 该证明建立了完整的二分定理：平方根问题为 NP-完全当且仅当根图的环长至多为五。
• 从 1-in-3 SAT 到平方根问题的归约保持了环长，确保仅环长为五的图可作为根图。
• 该构造证实，环长为五的图的平方根不唯一，与环长 ≥6 时的唯一性结果形成对比。
• 该结果完成了基于环长的平方根问题复杂性分类，解决了 Farzad 等人（2012）的猜想。