[논문 리뷰] Square-Root Finding Problem In Graphs, A Complete Dichotomy Theorem

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

Advanced Graph Theory Research참고 문헌 11인용 수 10

한 줄 요약

이 논문은 그래프 제곱근 문제에 대한 완전한 이분법 정리( dichotomy theorem )를 수립하며, 주어진 그래프가 둘레가 5인 그래프의 제곱인지 여부를 판단하는 것이 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-완전임을 보여주기 위해.
• 이sov모르피즘으로 구분되는 제곱근이 지수적으로 많은 그래프의 가족을 구성함으로써, 유일성 이상의 구조적 복잡성을 보여주기 위해.

제안 방법

• 강한 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 제곱근 그래프의 둘레가 다섯인 그래프가 존재할 경우, 그 제곱근은 이sov모르피즘을 제외하고 유일한가?
• RQ3 이sov모르피즘으로 구분되는 제곱근이 지수적으로 많은 그래프의 가족을 구성할 수 있는가?
• RQ4 제곱근 그래프의 둘레를 매개변수로 삼은 제곱근 문제의 복잡도 분류는 어떻게 완전히 이루어지는가?

주요 결과

• 제곱근 그래프의 둘레가 다섯인 그래프에 대해 제곱근 찾기 문제가 NP-완전임을 입증하여 오랫동안 열려 있던 문제를 해결하였다.
• 저자들은 이sov모르피즘으로 서로 다른 제곱근이 지수적으로 많은 그래프의 가족을 구성하였으며, 둘레가 다섯인 경우 유일성이 성립하지 않음을 보였다.
• 증명은 완전한 이분법을 수립한다: 제곱근 문제의 복잡도가 NP-완전이 되는 것은 제곱근 그래프의 둘레가 최대 다섯이어야 할 때에만 성립한다.
• 1-in-3 SAT에서 제곱근 문제로의 축소 과정은 둘레를 유지하며, 오직 둘레가 다섯인 그래프만 제곱근이 될 수 있음을 보장한다.
• 구성 과정은 둘레가 다섯인 그래프의 제곱근이 유일하지 않음을 확인하며, 둘레가 6 이상인 경우에 성립하는 유일성 결과와 대비된다.
• 결과적으로 제곱근 문제의 둘레 기반 복잡도 분류가 완성되었으며, Farzad 등(2012)의 추측을 해결하였다.