[논문 리뷰] Counting cocircuits and convex two-colourings is #P-complete

Steven D. Noble, Noble, Steven D.|arXiv (Cornell University)|2008. 10. 11.

Limits and Structures in Graph Theory참고 문헌 3인용 수 3

한 줄 요약

이 논문은 그래프의 볼록 두 색칠 문제—각 색상 집합이 연결된 부분그래프를 유도하는 경우—과 그래프 내 코순환의 수를 세는 문제 모두가 #P-완전임을 증명한다. 저자들은 알려진 #P-완전 문제인 #Monotone 2-SAT에서 출발하여 Max Cut, 요구 크기 코순환, 코순환, 마지막으로 볼록 두 색칠로 이르는 연속적인 축소 체인을 구축함으로써, 두 문제의 계산적 비가역성을 다항시간 축소를 통해 입증한다.

ABSTRACT

We prove that the problem of counting the number of colourings of the vertices of a graph with at most two colours, such that the colour classes induce connected subgraphs is #P-complete. We also show that the closely related problem of counting the number of cocircuits of a graph is #P-complete.

연구 동기 및 목표

• 그래프에서 볼록 두 색칠을 세는 문제의 계산 복잡도에 관해 Makowsky가 제기한 질문을 해결하기 위해.
• 그래프에서 코순환을 세는 문제가 #P-완전임을 입증함으로써, 이는 이전에 공식적으로 증명되지 않은 문제이다.
• 이 둘의 문제를 알려진 #P-완전 문제들을 거쳐 연속적으로 축소시킴으로써, 둘 다 계산적으로 비가역적임을 보여주기 위해.
• 새로운 축소 체인을 제공하여 #Monotone 2-SAT, Max Cut, 요구 크기 코순환, 코순환, 볼록 두 색칠 간의 복잡도 동등성을 보여주기 위해.

제안 방법

• #Monotone 2-SAT에서 #Max Cut로 다항시간 축소를 구축하기 위해, 문장별 9개 간선의 회로를 중심 정점에 연결한 그래프를 구성한다.
• #Max Cut 인스턴스를 #Required Size Cocircuits 인스턴스로 변환하기 위해, 코순환 구조와 크기 제약을 강제하기 위해 보조 정점과 간선을 추가한다.
• 그래프의 l-스트레칭 구조를 사용하여, 코순환 수가 바르마인드 행렬을 가지는 일차방정식계를 이루는 그래프의 가족을 생성한다.
• 바르마인드 행렬의 역행렬을 구하기 위해 가우스 소거법을 적용하여, 스트레칭된 그래프의 총 코순환 수에서 각 크기의 코순환 수를 복원한다.
• 그래프의 코순환과 양 색상을 모두 사용하는 볼록 두 색칠 간의 직접적인 일대일 대응을 설정함으로써, 이러한 색칠 수가 코순환 수의 두 배임을 보여준다.
• 이 축소 체인을 통해 #Convex Two-Colourings가 #P-난이도임을 증명하고, #P에 속하므로 #P-완전임을 입증한다.

실험 결과

연구 질문

• RQ1 그래프에서 볼록 두 색칠을 세는 문제는 #P-완전인가?
• RQ2 그래프에서 코순환을 세는 문제는 #P-완전인가?
• RQ3 #Max Cut 문제가 #Monotone 2-SAT에서의 새로운 축소를 통해 #P-완전임을 보일 수 있는가?
• RQ4 선형 대수학을 사용하여 그래프의 스트레칭된 형태의 총 코순환 수에서 특정 크기의 코순환 수를 복원할 수 있는가?
• RQ5 그래프에서 코순환과 볼록 두 색칠 간에 직접적인 조합적 대응 관계가 존재하는가?

주요 결과

• 그래프에서 볼록 두 색칠을 세는 문제는 #P-완전이며, Makowsky가 제기한 열린 문제를 해결한다.
• 그래프에서 코순환을 세는 문제는 #P-완전이며, 새로운 #P-완전성 결과를 확립한다.
• #Max Cut 문제는 #Monotone 2-SAT에서의 새로운 축소를 통해 #P-완전임을 입증한다.
• 그래프의 크기 $k$의 코순환 수는, 그 그래프의 $l$-스트레칭된 형태의 총 코순환 수에서 가우스 소거법을 사용하여 바르마인드 행렬을 활용해 다항시간 내에 복원할 수 있다.
• 모든 연결 그래프에 대해, 두 색상을 모두 사용하는 볼록 두 색칠의 수는 정확히 코순환 수의 두 배이며, 이는 두 문제 간의 직접적인 조합적 연결 고리를 제공한다.
• 전체 축소 체인 — #Monotone 2-SAT → #Max Cut → #Required Size Cocircuits → #Cocircuits → #Convex Two-Colourings — 은 다섯 문제 모두에 대해 #P-완전성을 확립한다.