로그 규모 불린 폭을 갖는 그래프 클래스와 다항식 알고리즘

초록

**
본 논문은 불린-폭(Boolean‑width)이 O(log n)인 그래프 클래스들을 체계적으로 조사하고, 해당 클래스들에 대해 다항식 시간에 구할 수 있는 불린-분해법을 제시한다. 트래페조이드 그래프, 원형 순열 그래프, 볼록 그래프, Dilworth‑k 그래프, 원형 호 그래프, 그리고 k‑퇴화 그래프의 보완 그래프 등에서 불린‑폭이 로그 수준임을 증명하고, 이를 이용해 최소 가중 지배 집합(MWDS) 및 Proskurowski‑Telle가 정의한 모든 정점 분할 문제를 다항식 시간에 해결한다.

**

상세 분석

**
불린‑폭은 cut‑bool 함수가 정의하는 이웃 관계의 등가 클래스 수의 로그를 취한 값으로, 기존의 트리‑폭, 클리크‑폭, 랭크‑폭과 달리 동적 프로그래밍 단계에서 필요한 상태 수를 직접적으로 제한한다. 논문은 먼저 불린‑폭이 O(log n)인 그래프 클래스가 존재하면, 불린‑분해가 다항식 시간에 구해질 경우 2^{O(k)}·poly(n) 형태의 FPT 알고리즘이 다항식 시간으로 전환된다는 일반적 메커니즘을 재정리한다. 이후 각 그래프 클래스에 대해 특수한 교차 모델(예: 선형 교차 모델, 원형 교차 모델, k‑트래페조이드 모델)을 활용해 ‘caterpillar’ 형태의 분해 트리를 구성한다. 핵심 아이디어는 cut‑bool 값이 중간 정점 집합 m(A)의 크기에 로그로 귀결된다는 점이다. 예를 들어 순열 그래프에서는 정점들을 상단 끝점 기준으로 정렬하고, 각 컷에서 가장 오른쪽에 위치한 하단 끝점만이 대표 이웃을 제공하므로 m(A)의 크기가 바로 불린‑폭을 제한한다. 원형 순열 그래프와 원형 k‑트래페조이드 그래프에서도 유사한 거리‑기반 정렬을 적용해 상수 배의 로그 상한을 얻는다. 볼록 그래프의 경우, 이분 그래프 형태에서 한 파티션을 연속 구간으로 정렬하고, 다른 파티션을 그 뒤에 삽입함으로써 중간 정점이 Y‑파티션에 존재하지 않게 만들고, 이로써 cut‑bool 값이 |m(A)|+1의 로그에 제한된다. Dilworth‑k 그래프와 k‑퇴화 그래프의 보완에서도 최대 독립 집합/클리크 크기와 퇴화 차수를 이용해 로그 상한을 도출한다. 논문은 또한 이러한 클래스들이 Θ(log n) 수준의 불린‑폭을 실제로 포함함을 보이며, 랭크‑폭이 Ω(√n)인 그래프를 내포함을 통해 하한을 확립한다. 마지막으로, Bui‑Xuan·Telle·Vatshelle가 제시한 (σ, ρ) 및 정점 분할 프레임워크를 불린‑폭 O(log n) 클래스에 적용해, 모든 (σ, ρ) 문제와 Proskurowski‑Telle의 정점 분할 문제를 O(n^{O(log n)})가 아닌 진정한 다항식 시간에 해결한다는 결론을 얻는다. 이 과정에서 최소 대표 집합의 크기가 상수임을 보이는 것이 핵심이며, 이는 동적 프로그래밍 테이블 크기를 다항식으로 제한한다. 전체적으로 논문은 불린‑폭을 중심으로 그래프 구조와 알고리즘 복잡도 사이의 깊은 연관성을 밝히며, 기존에 개별적으로 다루어졌던 여러 그래프 클래스들을 하나의 통일된 프레임워크 아래에 놓는다.

**