임계값 너비 그래프 연구

초록

이 논문은 임계값 그래프(Threshold Graph) 클래스에 대한 새로운 폭 개념인 TH‑width를 정의하고, 그 계산이 NP‑완전임을 증명한다. 또한 파라미터 k에 대해 고정‑파라미터 알고리즘을 제시하고, TH‑width가 k 이하인 그래프들을 제한된 수의 금지된 유도 부분그래프로 특징짓는 결과를 얻는다.

상세 분석

GG‑width는 임의의 그래프 클래스 GG에 대해 정의되는 일반화된 폭 개념이다. 구체적으로, 그래프 G가 GG‑width k 를 가진다는 것은 G 안에 서로 독립인 집합 N₁,…,N_k 가 존재하여, G를 GG에 속하는 어떤 그래프 H에 삽입(embedding)할 수 있고, H의 G에 없는 모든 추가 간선 e에 대해 그 양 끝점이 동일한 N_i 안에 포함된다는 뜻이다. 이 정의는 기존의 트리폭, 클리크폭 등과는 달리 “보조 독립 집합”을 이용해 외부 간선을 제어한다는 점에서 독창적이다.

임계값 그래프는 순차적으로 정점들을 완전 그래프와 독립 집합으로 교대로 추가하는 방식으로 생성되며, 완전 그래프와 독립 집합의 합집합 구조를 갖는다. 이러한 특성 때문에 임계값 그래프는 차수 순서, 순서 그래프, 그리고 차수 분할과 밀접한 관계가 있다. 논문은 이러한 구조적 특성을 활용해 TH‑width 문제를 분석한다.

NP‑완전성 증명은 기존의 NP‑완전 문제인 3‑SAT 혹은 Vertex Cover와의 다항식 환원을 이용한다. 핵심 아이디어는 임계값 그래프의 특수한 생성 규칙을 이용해 논리식의 변수와 절을 각각 독립 집합 N_i 로 매핑하고, 만족 가능한 할당이 존재하면 추가 간선을 모두 N_i 내부에 배치할 수 있게 설계한다. 반대로, TH‑width k 로 표현 가능한 그래프는 원래 논리식이 만족 가능함을 보인다. 이 과정에서 k는 입력 크기에 비례하지 않는 상수이므로, 문제는 NP‑hard이며, 검증 절차가 다항식 시간에 가능하므로 NP‑complete임을 확정한다.

고정‑파라미터 알고리즘(FPT) 부분에서는 파라미터 k 를 기준으로 탐색 트리를 구성한다. 각 단계에서 아직 배정되지 않은 정점을 하나 선택하고, 그 정점을 어느 독립 집합 N_i 에 넣을지 결정한다. 선택지의 수는 k 개뿐이므로 깊이 제한이 k·n 에서 O(k·log n) 로 감소한다. 또한, 커널화 기법을 적용해 불필요한 정점을 제거하고, 그래프 크기를 O(k²) 로 압축한다. 이렇게 얻어진 커널에 대해 완전 탐색을 수행하면 전체 복잡도는 f(k)·poly(n) 형태가 되며, 이는 FPT임을 의미한다.

마지막으로, 각 고정된 k 에 대해 TH‑width ≤ k 인 그래프들의 특성을 금지된 유도 부분그래프 집합으로 기술한다. 논문은 “유한 금지 집합 정리”를 증명하는데, 이는 임계값 그래프가 구조적으로 제한된 패턴만을 허용한다는 사실에 기반한다. 구체적으로, k 개의 독립 집합이 존재하지 못하게 만드는 최소한의 반례들을 모두 열거하고, 그 집합이 유한함을 보인다. 따라서 임계값 그래프의 TH‑width 를 판별하는 알고리즘은 금지 집합을 사전 계산한 뒤, 입력 그래프에 해당 집합이 유도 부분그래프로 포함되는지를 검사함으로써 다항식 시간에 수행될 수 있다. 이 결과는 폭 기반 그래프 이론에서 중요한 위치를 차지하며, 다른 그래프 클래스에 대한 유사한 폭 개념을 확장하는 데도 활용 가능성을 제시한다.