사이클 없는 그래프에서 관계 엣지 판별의 복잡도

초록

관계 엣지는 독립 집합 S가 존재해 양쪽 정점 x와 y가 각각 S∪{x}, S∪{y}에서 최대 독립 집합이 될 때 정의된다. 기존 연구에서 이 문제는 NP‑complete임이 알려졌지만, 본 논문은 사이클 길이 4와 5가 없는 그래프에서도 여전히 NP‑complete임을 증명한다. 반면 사이클 길이 4와 6이 없는 그래프에 대해서는 다항시간 알고리즘을 제시하여 문제를 효율적으로 해결할 수 있음을 보인다.

상세 분석

논문은 먼저 관계 엣지(relating edge)의 정의를 명확히 하고, 이를 판별하는 문제를 결정 문제 형태로 정형화한다. 기존에 Brown·Nowakowski·Zverovich가 제시한 NP‑complete 결과는 일반 그래프에 대한 것이었으며, 특수한 구조 제한이 문제 난이도에 어떤 영향을 미치는지는 미해결 상태였다. 저자들은 이러한 공백을 메우기 위해 두 가지 주요 연구 방향을 설정한다. 첫 번째는 사이클 길이 4와 5가 전혀 존재하지 않는, 즉 C₄와 C₅가 금지된 그래프 클래스에 대해 NP‑hardness를 유지할 수 있는 감소(reduction)를 구성하는 것이다. 이를 위해 3‑SAT 인스턴스를 변형하여 해당 그래프에 매핑하는 복잡한 위젯을 설계했으며, 각 위젯은 C₄와 C₅를 만들지 않으면서도 원래 논리 구조를 정확히 보존하도록 설계되었다. 특히, 변형된 변수와 절 클라우드 사이의 연결을 삼각형 대신 길이 3의 경로로 대체함으로써 C₄를 회피하고, 절 클라우드 내부의 교차를 방지하기 위해 추가적인 보조 정점을 삽입해 C₅도 차단하였다. 이 과정에서 독립 집합 S가 존재하는지 여부가 원래 논리식의 만족 가능성과 일대일 대응함을 증명함으로써, C₄·C₅ 금지 그래프에서도 관계 엣지 판별이 NP‑complete임을 확립한다. 두 번째 연구는 C₄와 C₆이 동시에 금지된 그래프에 초점을 맞춘다. 이러한 그래프는 구조적으로 트리와 유사한 성질을 가지며, 특히 각 정점의 2‑거리 이웃이 제한적이다. 저자들은 이 특성을 활용해 그래프를 레벨별로 분할하고, 각 레벨에서 가능한 독립 집합 후보를 동적 프로그래밍 방식으로 계산한다. 핵심 아이디어는 관계 엣지 후보 (x,y)에 대해, x와 y를 제외한 나머지 정점들을 두 집합 A와 B로 나누어 A∪{x}와 B∪{y}가 각각 최대 독립 집합이 되도록 하는지 여부를 선형 시간 안에 검증하는 것이다. 이를 위해 그래프의 차수 제한과 C₆ 부재가 보장하는 “사이클 없는 2‑거리 구조”를 이용해 충돌 검사를 효율적으로 수행한다. 최종 알고리즘은 O(n+m) 시간 복잡도를 가지며, 입력 그래프가 C₄·C₆ 금지 조건을 만족하는지 여부만 사전 검사하면 된다. 이러한 결과는 관계 엣지 문제의 복잡도가 그래프의 작은 사이클 존재 여부에 크게 의존한다는 중요한 통찰을 제공한다.