그리드와 트리에서도 빠른 균형 분할은 불가능하다

초록

**
본 논문은 k‑균형 파티셔닝 문제에 대해, 실행 시간과 해의 품질 사이의 트레이드오프가 이론적으로 불가피함을 증명한다. 특히, 구멍이 없는 2차원 격자 그래프와 트리 구조에 대해, 근사 비율이 일정 수준 이하인 빠른 알고리즘이 존재하지 않으며, 근사 비율과 파티션 크기 균형을 동시에 만족시키는 전다항식 시간 알고리즘도 P≠NP 가정 하에 존재하지 않음을 3‑PARTITION 감소를 이용해 보여준다.

**

상세 분석

**
k‑균형 파티셔닝은 그래프의 정점을 k개의 집합으로 나누되 각 집합의 크기가 d·n/k ( d≥1 ) 이하가 되도록 하면서, 서로 다른 집합에 속한 정점을 연결하는 간선 수(컷 크기)를 최소화하는 문제이다. 기존 연구에서는 빠른 알고리즘이 낮은 근사 비율을 제공하지 못하고, 높은 근사 비율을 보장하는 알고리즘은 실행 시간이 급격히 증가한다는 경험적 사실이 알려져 있었다. 본 논문은 이러한 현상이 근본적인 복잡도 장벽에 의해 제한된다는 것을 증명한다.

핵심 기법은 강력한 NP‑hard 문제인 3‑PARTITION을 이용한 일반적인 감소 프레임워크를 설계하는 것이다. 3‑PARTITION 인스턴스의 각 정수 a_i 에 대해 크기가 p·a_i 인 “가젯” 그래프를 만든 뒤, 이 가젯들을 m 개의 간선으로 연결한다. 가젯의 구조와 연결 방식은 그래프 클래스(일반 그래프, 트리, 고정 격자)마다 달라지며, 각각에 대해 다음 두 가지 조건을 만족하도록 설계한다. 첫째, 제한된 수의 간선(α·m)만을 사용해 컷을 만들 경우 전체 정점 중 소수(민족) 정점의 비율이 p − ε·n 보다 작아야 한다. 둘째, 가젯 자체는 거의 절단할 수 없도록 하여, 컷 비용이 작을 때는 가젯 내부가 동일한 색(집합)으로 유지되게 만든다. 이러한 조건이 충족되면, 어떤 알고리즘이 (1+ε)·d·n/k 이하의 집합 크기와 α 배 이내의 컷 비용을 동시에 달성한다면, 그 알고리즘은 3‑PARTITION 인스턴스의 해를 판별할 수 있게 된다. 따라서 전다항식 시간에 이러한 bicriteria 근사를 제공하는 알고리즘이 존재한다면 P=NP 가 된다.

구체적인 결과는 두 가지 그래프 클래스에 대해 도출된다. 첫째, “솔리드 그리드 그래프”(구멍 없는 2차원 격자)의 경우, 가젯을 직사각형 형태의 작은 격자 조각으로 구성하고, 격자 자체의 등변성(isoperimetric) 성질을 이용해 위의 조건을 만족한다. 이를 통해 α가 n^{c}/ε^{d} ( c<½, d 상수 )인 경우 전다항식 시간 알고리즘이 존재하지 않음을 보인다. 둘째, 트리의 경우 가젯을 별 모양(높은 차수) 구조로 만들고, 트리의 높은 정점 차수가 컷 비용을 크게 만들게 함으로써 동일한 불가능성을 증명한다. 특히, 트리에서는 α가 n^{c}/ε^{d} ( c<1 )인 경우에도 전다항식 시간 알고리즘이 존재하지 않는다.

또한, 솔리드 그리드 그래프에 대해서는 기존 결과보다 강한 하드니스인 “어떠한 상수 c<½ 에 대해서도 α=n^{c}” 수준의 근사 불가능성을 보여준다. 이는 이전에 알려진 n^{c} ( c<1 ) 수준의 APX‑hardness를 개선한 것이다. 논문은 이러한 하드니스가 실제 알고리즘 설계에 미치는 함의를 논의하며, 현재 실무에서 널리 쓰이는 Metis·Scotch와 같은 휴리스틱이 이론적 보장을 받을 수 없음을 강조한다.

결론적으로, k‑균형 파티셔닝에서 실행 시간과 근사 비율, 그리고 파티션 크기 균형 사이의 삼중 트레이드오프는 근본적인 복잡도 장벽에 의해 제한되며, 특히 격자와 트리와 같은 구조적으로 단순한 그래프에서도 이 제한이 존재한다는 점을 최초로 입증한다.

**