두 개 이분 그래프 덮개 문제는 NP와 coNP에 속한다

초록

이 논문은 그래프의 모든 정점을 두 개 이하의 완전 이분 그래프(바이클리크)로 덮을 수 있는지를 판정하는 문제가 NP와 coNP에 동시에 속함을 증명한다. 저자들은 문제의 구조적 특성을 이용해 양방향 다항시간 검증 증명을 구성하고, 이를 통해 해당 문제가 P에 속할 가능성이 높으며 NP‑완전성은 P=NP가 아닌 한 설득력 있게 배제된다는 결론을 제시한다.

상세 분석

두 개 바이클리크 커버 문제(Two‑Biclique‑Cover, 2BC)는 “주어진 무방향 그래프 G의 정점 집합 V(G)를 최대 두 개의 바이클리크(완전 이분 그래프)로 분할하거나 겹치게 할 수 있는가?”를 묻는 결정 문제이다. 바이클리크는 두 부분집합 A, B에 대해 모든 a∈A와 b∈B 사이에 간선이 존재하는 서브그래프이며, 일반적인 클리크와 달리 두 부분집합 사이의 완전 연결만을 요구한다. 2BC는 그래프 이론에서 커버링 문제의 가장 단순한 비선형 형태로, 기존 연구에서는 k개의 바이클리크로 커버하는 일반화 문제(k‑BC)가 NP‑완전임이 알려져 있으나 k=2인 경우는 오랫동안 복잡도 구분이 미해결 상태였다.

저자들은 먼저 2BC가 NP에 속함을 명시적으로 보여준다. 이는 “예” 인스턴스에 대해 두 바이클리크의 정점 집합을 제시하면, 각 바이클리크가 실제로 완전 이분 그래프인지와 두 바이클리크가 전체 정점을 커버하는지를 다항시간에 검증할 수 있기 때문이다.

핵심은 coNP에 속함을 증명하는데, 이를 위해 저자들은 “반례” 즉 “두 바이클리크로 커버할 수 없는 그래프”의 구조적 특징을 정확히 규정한다. 주요 아이디어는 보조 그래프 H를 G의 보완 그래프(complement)로 두고, H가 특정한 금지 서브그래프(예: C₅, P₄ 등)를 포함하면 G는 2BC가 불가능하다는 사실을 이용한다. 구체적으로, 저자들은 다음과 같은 등가 조건을 보인다.

1. G가 두 바이클리크로 커버 가능 ⇔ G의 보완 그래프 H가 두 개의 완전 그래프(클리크)로 분할 가능.
2. H가 두 클리크로 분할 불가능 ⇔ H에 최소한 하나의 비분리 연결 성분이 존재하고, 그 성분이 “비분할 가능성”을 방해하는 금지 구조(예: 홀수 사이클, 특정 트리 형태)를 포함한다.

이때 금지 구조 자체가 다항시간에 검출 가능하므로, “두 바이클리크로 커버 불가”를 증명하는 증거는 “금지 서브그래프 리스트”와 그 서브그래프가 실제로 존재함을 보여주는 정점·간선 집합으로 구성된다. 검증자는 해당 서브그래프가 H에 포함되는지를 다항시간에 확인하고, 위의 등가 조건에 따라 G가 2BC가 불가능함을 확정한다.

또한 저자들은 “최소 반례”의 특성을 연구하여, 최소 반례는 반드시 연결 그래프이며, 그 보완 그래프는 두 클리크로 분할하려 할 때 정확히 하나의 교차점(공통 정점)을 공유한다는 사실을 증명한다. 이 구조적 결과는 coNP 증명의 간결성을 크게 향상시킨다.

결과적으로 2BC는 NP와 coNP에 동시에 속함을 보였으며, 이는 P=NP가 아닌 한 이 문제가 NP‑완전일 가능성을 실질적으로 배제한다. 저자들은 또한 이 증명이 “두 바이클리크 커버”가 “그래프의 차원 2의 바이클리크 차수”와 직접 연관됨을 시사하여, 차수‑제한 커버링 문제의 복잡도 구분에 새로운 통찰을 제공한다.