[논문 리뷰] Counting Homomorphisms to Square-Free Graphs, Modulo 2

Andreas Göbel, Leslie Ann Goldberg외 1명|arXiv (Cornell University)|2015. 01. 29.

Markov Chains and Monte Carlo Methods인용 수 2

한 줄 요약

이 논문은 모듈로 2에서 그래프 호모모르피즘 수를 세는 문제에 대해 이분법 정리를 수립하며, 임의의 그래프 H에 대해 그의 순환 자유 감소가 제곱 자유일 경우, 문제 ⊕HomsToH는 P에 속해 있거나 ⊕P-완전하다는 것을 증명한다. 저자들은 Faben과 Jerrum의 추측을 나무와 카투스 그래프를 초월하여 트리 폭이 유계가 아닌 그래프를 포함한 광범위한 그래프 클래스로 확장하기 위해, 제곱 자유 그래프에서의 차수 홀짝성과 사이클 구조에 기반한 새로운 구조 분석 기법을 도입하여, 결국 경직성이 발생하는 것은 순환 자유 감소가 한 개 이상의 정점을 가지며 4-사이클을 포함하지 않을 때 정확히 그때임을 보였다.

ABSTRACT

We study the problem HomsTo$H$ of counting, modulo 2, the homomorphisms from an input graph to a fixed undirected graph $H$. A characteristic feature of modular counting is that cancellations make wider classes of instances tractable than is the case for exact (non-modular) counting, so subtle dichotomy theorems can arise. We show the following dichotomy: for any $H$ that contains no 4-cycles, HomsTo$H$ is either in polynomial time or is $\oplus P$-complete. This confirms a conjecture of Faben and Jerrum that was previously only known to hold for trees and for a restricted class of treewidth-2 graphs called cactus graphs. We confirm the conjecture for a rich class of graphs including graphs of unbounded treewidth. In particular, we focus on square-free graphs, which are graphs without 4-cycles. These graphs arise frequently in combinatorics, for example in connection with the strong perfect graph theorem and in certain graph algorithms. Previous dichotomy theorems required the graph to be tree-like so that tree-like decompositions could be exploited in the proof. We prove the conjecture for a much richer class of graphs by adopting a much more general approach.

연구 동기 및 목표

• 일반 그래프에 대해 모듈로 2에서 호모모르피즘 수를 세는 문제의 복잡도에 대한 Faben와 Jerrum의 추측을 해결하기 위해.
• 나무와 카투스 그래프에서 알려진 이분법을 트리 폭이 유계가 아닌 모든 제곱 자유 그래프로 확장하기 위해.
• H의 순환 자유 감소를 기반으로 하여 ⊕HomsToH가 해법 가능하거나 ⊕P-완전이 되는지의 구조적 특성화를 수립하기 위해.
• 나무 형태의 분해에 의존하지 않는 새로운 증명 기법을 개발하여 복잡한 비나무 형태의 그래프 분석이 가능하게 하기 위해.

제안 방법

• 입력 그래프 G에서 고정된 그래프 H로의 호모모르피즘 수를 모듈로 2로 계산하는 문제 ⊕HomsToH를 정의한다.
• H의 순환 자유 감소 H∗를 사용하며, |Hom(G →H)| ≡ |Hom(G →H∗)| mod 2 임을 활용한다.
• 정점 차수, 사이클 존재 여부, 이분성 등을 분석하여 H∗의 구조를 연구함으로써 경직성 조건을 규명한다.
• 제곱 자유 그래프에서의 차수 홀짝성과 간선 구조를 이용해 딱지(_hardness gadget)를 구성함으로써 ⊕P-완전성을 증명한다.
• 일반 그래프를 그의 순환 자유 대응체로 줄이기 위해 치환을 통한 감소 기법을 적용한다.
• 짝수 차수 정점의 수와 사이클 구조에 기반한 케이스 분석을 통해, H∗가 ≤1개의 정점만을 가질 경우를 제외하고는 항상 딱지가 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 그래프 H에 대해 문제 ⊕HomsToH가 모듈로 2에서 해법 가능한가?
• RQ2 Faben-Jerrum의 추측—⊕HomsToH가 P에 속해 있는 것은 H∗의 순환 자유 감소가 최대 한 개의 정점만을 가질 때—는 나무와 카투스 그래프를 초월한 그래프에 대해서도 성립하는가?
• RQ3 트리 폭이 유계가 아닌 그래프를 포함하는 제곱 자유 그래프에 대해 이분법 정리를 수립할 수 있는가?
• RQ4 H∗의 어떤 구조적 성질(예: 차수 홀짝성, 사이클 구조)이 ⊕HomsToH가 ⊕P-완전이 되는지를 결정하는가?
• RQ5 트리 폭이 유계가 아닌 그래프에서는 전통적인 트리 분해 방법이 실패하므로, 어떻게 경직성을 증명할 수 있는가?

주요 결과

• 문제 ⊕HomsToH는 H의 순환 자유 감소 H∗가 최대 한 개의 정점을 가질 때에만 P에 속한다.
• H의 순환 자유 감소 H∗가 제곱 자유이면서 한 개 이상의 정점을 가진다면, 임의의 그래프 H에 대해 ⊕HomsToH는 ⊕P-완전하다.
• 저자들은 Faben-Jerrum의 추측이 제곱 자유 그래프 전역에 대해 성립함을 증명하였다. 이는 트리 폭이 유계가 아닌 그래프를 포함한다.
• 연결되어 있고 제곱 자유이며 순환 자유인 그래프에서, 최소한 하나의 짝수 차수 정점이 있거나 사이클을 포함하고 있다면, 항상 딱지가 존재한다.
• H∗의 모든 정점의 차수가 홀수일 경우, 레마 5.1에 의해 사이클이 존재함이 보장되므로, 비록 이분성 제곱 자유 그래프일지라도 딱지가 존재함을 보장한다.
• 증명 기법은 트리 분해 방법을 피하고, 차수 홀짝성과 국소적 구조를 이용하여 감소를 구성함으로써, 비나무 형태의 그래프로의 확장을 가능하게 하였다.