트리폭과 일회성 페블링 및 레이아웃 문제의 근사 불가능성

초록

이 논문은 Small Set Expansion(SSE) 추측을 전제로 트리폭, 경로폭, 일회성 흑·백 페블링, 최소 절단 선형 배열, 구간 그래프 완성 등 여러 그래프 레이아웃 문제들이 상수 배 이하로 근사화될 수 없음을 증명한다. 기존에 알려진 근사 알고리즘은 로그·제곱근 로그 수준이지만, 이 결과는 어떤 상수 비율도 달성할 수 없다는 강력한 하드니스 결과를 제공한다.

상세 분석

본 연구는 그래프 이론과 복잡도 이론의 교차점에 위치한 여러 최적화 문제에 대해 새로운 하드니스 경계를 설정한다. 핵심은 최근 제안된 Small Set Expansion(SSE) 추측을 이용해 다양한 문제를 동일한 어려움 수준으로 귀환시키는 것이다. 먼저 트리폭과 경로폭 문제는 기존에 NP‑hard 수준의 절대적 오류 하드니스만 알려졌으며, 상수 배 근사 가능성은 열려 있었다. 저자들은 트리폭(tw)과 경로폭(pw)을 각각 작은 값과 큰 값으로 구분하는 인스턴스를 구성함으로써, “pw ≤ c·|V|”와 “tw ≥ α·c·|V|”인 경우를 구별하는 것이 SSE‑hard임을 보인다. 이는 트리폭·경로폭 모두 상수 배 근사 불가능성을 의미한다.

다음으로 일회성 페블링 문제를 다룬다. 흑 페블링과 흑·백 페블링은 각각 DAG의 정점에 한 번만 페블을 놓는 제약 하에 최소 페블 수를 구하는 문제이다. 기존에는 이들 문제에 대해 O(√log n·log n) 정도의 근사 알고리즘만 알려졌으며, 하드니스는 거의 없었다. 논문은 단일 싱크, 최대 진입 차수가 2인 DAG에서도 상수 배 근사가 불가능함을 증명한다. 이는 일회성 페블링이 본질적으로 레이아웃 문제와 동형임을 이용한 것으로, 정점 순서를 결정하는 것이 곧 페블링 전략을 정의한다는 점을 활용한다.

레이아웃 문제군에서는 최소 절단 선형 배열(MCLA)과 구간 그래프 완성(IGC)을 중심으로 분석한다. MCLA는 정점 순열에 대해 어느 절단점에서도 교차하는 간선 수의 최댓값을 최소화하는 문제이며, IGC는 그래프를 최소한의 추가 간선으로 구간 그래프로 변환하는 문제이다. 두 문제 모두 기존에 O(log n·√log n) 수준의 근사 알고리즘이 존재하지만, 하드니스 결과는 부재했다. 저자들은 SSE 추측을 이용해 MCLA와 IGC 모두 상수 배 근사 불가능성을 보이며, 이는 MLA에 대한 기존 SSE‑hard 결과를 확장한 것이다.

전체적으로 저자들은 8가지 레이아웃 변형을 정의하고, 이들 모두에 대해 “super‑constant” SSE‑hardness를 통합적으로 증명한다. 핵심 기술은 그래프의 전역 확장성(Expansion) 특성을 보존하면서 문제를 서로 귀환(reduction)하는 새로운 gadget 설계와, 이를 통해 SSE 인스턴스와 목표 문제 사이의 정밀한 매핑을 구축하는 데 있다. 또한, 트리폭·경로폭과 페블링 문제를 기존 레이아웃 문제와 연결함으로써, 서로 다른 문제군이 동일한 복잡도 장벽을 공유한다는 통찰을 제공한다.

이러한 결과는 현재 알려진 근사 알고리즘이 로그·제곱근 로그 수준에 머무는 이유를 이론적으로 정당화하며, SSE 추측이 사실이라면 상수 배 근사 알고리즘의 존재 가능성을 완전히 배제한다는 점에서 의미가 크다.