[논문 리뷰] The complexity of parity graph homomorphism: an initial investigation

John Faben, Mark Jerrum|arXiv (Cornell University)|2013. 09. 16.

Advanced Graph Theory Research참고 문헌 15인용 수 3

한 줄 요약

이 논문은 고정된 목표 그래프 $H$로의 그래프 호모모르피즘 수의 기수성(홀수 또는 짝수)을 결정하는 데 필요한 계산 복잡도를 조사한다. 특히 $k=2$의 경우(즉, $\\oplus H$-색칠 문제)에 초점을 맞춘다. 나무 그래프에 대해 이중성 정리(dichotomy theorem)를 수립한다: $\\oplus H$-색칠 문제의 복잡도는 $H$가 고정점 변환을 통해 자명한 그래프(공백 또는 단일 정점 그래프)로 감소하는지 여부에 따라 다항시간 복잡도 또는 $\\oplus\mathrm{P}$-완전이 된다.

ABSTRACT

Given a graph G, we investigate the question of determining the parity of the number of homomorphisms from G to some other fixed graph H. We conjecture that this problem exhibits a complexity dichotomy, such that all parity graph homomorphism problems are either polynomial-time solvable or parityP-complete, and provide a conjectured characterisation of the easy cases. We show that the conjecture is true for the restricted case in which the graph H is a tree, and provide some tools that may be useful in further investigation into the parity graph homomorphism problem, and the problem of counting homomorphisms for other moduli.

연구 동기 및 목표

• 그래프 호모모르피즘 수를 2로 나눈 나머지(기수성)를 결정하는 문제, 즉 $H$-색칠의 수의 기수성을 조사하는 계산 복잡도를 분류하는 것.
• 결정 문제 및 수세기 문제에 대해 알려진 이중성 정리와 유사하게 $\\oplus H$-색칠 문제에 대해 복잡도 이중성 정리가 존재하는지 조사하는 것.
• 그래프 고정점 변환을 통한 구조적 감소를 이용하여, 특히 나무 그래프에 대해 $\\oplus H$-색칠 문제의 다항시간 복잡도 가능 사례를 특성화하는 것.
• 나무 그래프를 초월하여 일반 그래프로 이중성 정리를 확장하는 것을 목표로 하며, $\\oplus H$-색칠 문제의 다항시간 복잡도 가능성 조건이 동일하게 적용된다고 추측하는 것.

제안 방법

• 저자들은 그래프 고정점 변환을 사용하여 그래프 $H$를 '감소 형태'로 변환하는 감소 체계를 도입하며, 호모모르피즘 수의 기수성을 유지한다.
• 임의의 그래프 $H$에 대해, $G$의 $H$-색칠 수의 기수성은 고정점 변환에 의한 감소 과정에서 불변임을 증명한다.
• 나무 그래프에 대해, $H$가 자명한 그래프(공백 또는 단일 정점)로 감소할 경우 $\\oplus H$-색칠 문제는 다항시간 복잡도에 속하고, 그렇지 않으면 $\\oplus\mathrm{P}$-완전임을 보였다.
• 특정 구조를 포함하는 $H$(끝점에 순환 고리가 있는 경로)가 존재할 경우, $\\oplus$ IndSet에서 $\\oplus H$-색칠 문제로의 다항시간 튜링 감소를 사용하여 $\\oplus\mathrm{P}$-완전성을 증명하였다.
• 고정점이 없는 그래프 $H$의 임의의 연결 성분이 $\\oplus\mathrm{P}$-완전 문제를 유도할 경우, 전체 $\\oplus H$-색칠 문제 역시 $\\oplus\mathrm{P}$-완전이 됨을 증명하였다.
• 감소 형태가 자명한 그래프일 경우에만 $\\oplus H$-색칠 문제가 다항시간 복잡도에 속하므로, 이중성 정리를 산림(graphs)으로 확장하였다.

실험 결과

연구 질문

• RQ1 모든 인스턴스가 다항시간 복잡도 또는 $\\oplus\mathrm{P}$-완전이 되는지에 따라 $\\oplus H$-색칠 문제에 복잡도 이중성 정리가 존재하는가?
• RQ2 나무 그래프에 대해, 그래프 고정점 변환을 통해 자명한 그래프로 감소하는 것으로 $\\oplus H$-색칠 문제의 다항시간 복잡도 가능 사례를 완전히 특성화할 수 있는가?
• RQ3 모든 비자명한 나무 그래프에 대해 $\\oplus H$-색칠 문제가 $\\oplus\mathrm{P}$-완전한가? 만약 그렇다면, 어떤 구조적 조건을 만족해야 하는가?
• RQ4 나무 그래프에 대한 이중성 정리는 일반 그래프로 확장될 수 있는가? 즉, $\\oplus H$-색칠 문제가 다항시간 복잡도에 속하려면 $H$가 자명한 그래프로 감소해야 하는가?
• RQ5 고정점이 없는 그래프 $H$에 $\\oplus\mathrm{P}$-완전 문제를 유도하는 연결 성분 $H_1$이 존재할 경우, 전체 $\\oplus H$-색칠 문제가 $\\oplus\mathrm{P}$-완전이 되는가?

주요 결과

• $H$가 나무일 경우, $\\oplus H$-색칠 문제의 복잡도는 $H$가 고정점 변환을 통해 자명한 그래프(공백 또는 단일 정점 그래프)로 감소하는지 여부에 따라 다항시간 복잡도 또는 $\\oplus\mathrm{P}$-완전이 된다.
• 임의의 나무 $H$에 대해, $H$가 고정점이 없고 정점 수가 1개 초과일 경우, $\\oplus H$-색칠 문제는 $\\oplus\mathrm{P}$-완전이다.
• 그래프 $G$의 $H$-색칠 수를 2로 나눈 나머지는 $H$의 고정점 변환에 의한 감소 과정에서 불변이며, 이는 계산 복잡도를 유지한다.
• $H$가 끝점에 순환 고리를 가진 경로를 포함할 경우, $\\oplus$ IndSet에서 $\\oplus H$-색칠 문제로의 다항시간 튜링 감소를 구성하여, 이러한 $H$에 대해 $\\oplus\mathrm{P}$-완전성을 증명하였다.
• 일반적인 고정점이 없는 그래프 $H$에 대해, $H$의 연결 성분 중 하나인 $H_1$이 $\\oplus H_1$-색칠 문제에서 $\\oplus\mathrm{P}$-완전일 경우, 전체 $\\oplus H$-색칠 문제 역시 $\\oplus\mathrm{P}$-완전이 된다.
• 이중성 정리는 산림으로 확장된다: $\\oplus H$-색칠 문제의 다항시간 복잡도 가능성은 감소 형태가 자명한 그래프(공백 또는 단일 정점)일 때에만 성립한다.