두 색상 연결 색칠과 코서킷 계산은 샤프피 완전

본 연구는 그래프 이론에서 두 가지 서로 연관된 계수 문제, 즉 “convex two‑colourings”와 “cocircuits”의 복잡도 분류를 수행한다. 먼저, convex colouring을 정의한다. 그래프 G의 정점 집합 V에 색 함수 f:V→{0,1}을 부여했을 때, 색 0에 해당하는 정점 집합과 색 1에 해당하는 정점 집합이 각각 연결된 서브그래프를 이루면 f는 convex 하다고 한다. 연결된 그래프에 대해 가능한 convex 두‑색 색칠은 (i) 전체를 하나의 색으로 색칠하는 두 경우와 (ii) 두 색을 모두 사용하면서 각 색 클래스가 연결된 경우로 나뉜다. (ii) 경우는 바로 코서킷과 일대일 대응한다는 핵심 관찰이 논문의 출발점이다. 코서킷은 그래프 G의 한 절(cut)에서 교차 집합(절단 에지 집합)이 최소이며, 그 교차 집합을 제거했을 때 정확히 두 개의 연결 성분이 남는 경우를 말한다. 논문은 코서킷을 “cut이면서도 minimal”인 구조로 정의하고, 이를 통해 코서킷의 크기 k와 교차 집합의 에지 수가 동일함을 이용한다. 복잡도 분석은 다섯 단계의 감소 체인을 통해 진행된다. 1. **#Monotone 2‑SAT → #Max‑Cut** 입력은 변수 집합 {x₁,…,xₙ}와 양의 리터럴만 포함하는 2‑절(clauses)들의 집합 C. 각 절 Cⱼ = u∨v에 대해 9개의 보조 정점 cⱼ,₁…cⱼ,₆과 9개의 에지를 추가해 작은 회로를 만든다. 전체 그래프 G에 추가된 구조는 절마다 정확히 8개의 에지가 절단에 포함될 수 있도록 설계된다. k를 8·|C| 로 두면, 만족 할당 하나당 2^{|C|}개의 크기 k 절단이 존재한다. 따라서 #Monotone 2‑SAT의 해 개수와 #Max‑Cut(k) 해 개수 사이에 다항 시간 가환 관계가 성립한다. 2. **#Max‑Cut → #Required‑Size‑Cocircuits** 주어진 (G,k) 에 대해 새로운 정점 x, x′와 n²개의 보조 정점 x₁,…,x_{n²}를 추가한다. x와 x′는 서로를 제외한 모든 정점과 연결하고, 보조 정점들은 x와 x′ 모두와 연결한다. 새로운 그래프 G′의 목표 절단 크기를 k′ = n² + n + k 로 설정한다. 기존 최대 절단 (U, V\U)에 대해 보조 정점들을 자유롭게 양쪽에 배치하되 x와 x′는 서로 다른 쪽에 두면, 절단 크기가 정확히 k′가 되며 이는 코서킷이 된다. 반대로, G′에서 크기 k′인 코서킷을 찾으면, x와 x′가 서로 다른 쪽에 놓이므로 원래 그래프 G에서 크기 k인 절단을 복원할 수 있다. 이 변환은 각 절단당 2^{n²+1}개의 코서킷을 만든다. 3. **#Required‑Size‑Cocircuits → #Cocircuits** 크기 제한이 없는 전체 코서킷 수를 구하기 위해 그래프의 l‑stretch G_l 를 만든다. 각 원래 에지는 길이 l인 경로로 대체된다. 그러면 크기 k인 코서킷이 G에 존재하면, G_l 에서는 그 에지들 중 각 경로에서 정확히 하나씩 선택해 l^{k}개의 코서킷이 생긴다. 반대로, G_l 에서 크기가 l·k 이하인 코서킷은 원래 그래프의 크기 k 코서킷에 대응한다. 이 관계를 이용해 N(G_l) (전체 코서킷 수)와 N_k(G) (크기 k 코서킷 수) 사이에 선형 방정식 시스템을 만든다. 방정식의 계수 행렬은 Vandermonde 형태이므로 가우시안 소거를 다항 시간에 수행해 N_k(G)들을 복원할 수 있다. 따라서 #Required‑Size‑Cocircuits 문제는 #Cocircuits 문제와 다항 시간 가환 관계에 있다. 4. **#Cocircuits → #Convex‑Two‑Colourings** 연결된 그래프에서 두 색을 모두 사용한 convex 색칠은 정확히 코서킷 하나에 대응한다. 구체적으로, 색 0에 속한 정점 집합과 색 1에 속한 정점 집합이 각각 연결된 경우, 두 집합 사이의 교차 에지 집합이 최소이며 절단 후 두 성분만 남는다. 따라서 코서킷의 개수는 두 배가 된 convex 두‑색 색칠 개수와 일대일 대응한다. 이 단계는 단순히 상수 배만큼 해의 개수를 변환하므로 #P‑완전성을 유지한다. 위 네 단계와 초기 #Monotone 2‑SAT의 #P‑완전성을 연결하면, 최종적으로 “#Convex Two‑Colourings”와 “#Cocircuits” 두 문제 모두 #P‑hard임을 증명한다. 논문은 또한 #Max‑Cut 자체가 #P‑완전이라는 사실이 기존 문헌에 명시되지 않았음을 지적하고, 본 증명을 통해 해당 결과를 공식화한다. 마지막으로, 두 색을 사용할 때 발생하는 convex 색칠이 코서킷과 정확히 2:1 비율로 대응한다는 간단한 관찰을 통해 #Cocircuits 문제에서 #Convex‑Two‑Colourings 문제로의 최종 감소를 마무리한다. 전체 증명은 각 변환이 다항 시간 내에 수행 가능함을 보이며, 해의 개수가 다항식 계수만큼 늘어나거나 감소한다는 점을 강조한다. 따라서 두 문제 모두 #P‑complete임이 확정된다.