직교 직사각형 그래프에서 최소 정점 커버

초록

본 논문은 평면상의 축에 평행한 직사각형들의 교차 그래프에서 최소 정점 커버 문제를 다룬다. 비교차 직사각형 군에 대해 EPTAS를 제시하고, 일반 직사각형 군에 대해서는 (1.5 + ε) 근사 알고리즘을 제안한다. 두 알고리즘 모두 평면 기하학적 특성을 활용한다.

상세 요약

이 연구는 두 가지 주요 기여를 제공한다. 첫 번째는 “비교차(non‑crossing)” 직사각형 군에 대한 EPTAS(효율적 파라메트릭 근사 스키마)이다. 여기서 비교차란 임의의 두 직사각형 R₁, R₂에 대해 R₁∖R₂가 연결된 경우를 의미한다. 이 조건은 직사각형들이 서로 겹치더라도 한쪽이 완전히 다른 쪽 안에 포함되지 않으며, 교차점이 복잡한 형태를 만들지 않게 한다. 저자들은 이 구조적 제약을 이용해 문제를 작은 지역 문제로 분할하고, 각 지역에 대해 동적 계획법과 라운딩 기법을 결합한다. 특히, 평면을 그리드로 격자화하고, 격자 셀마다 발생할 수 있는 교차 패턴을 제한된 경우의 수로 압축함으로써 전체 탐색 공간을 지수적으로 감소시킨다. 이 과정에서 “pseudo‑disk” 개념을 확장해, 동일한 비교차 성질을 갖는 원, 타원 등에도 적용 가능함을 보였다. 복잡도 측면에서는 입력 크기 n에 대해 시간 복잡도가 f(ε)·n^{O(1)}인 EPTAS를 달성했으며, f는 ε에만 의존하는 함수이다.

두 번째 기여는 일반 직사각형 군에 대한 (1.5 + ε) 근사 알고리즘이다. 여기서는 비교차 제약이 없으므로 교차 구조가 매우 복잡해질 수 있다. 저자들은 먼저 최소 정점 커버 문제를 선형 프로그램(LP)으로 정형화하고, 그 듀얼인 최대 매칭 문제와의 관계를 이용한다. LP 해를 반올림(rounding)하는 과정에서 “가중치 기반 선택”과 “그리디 커버” 두 단계가 결합된다. 첫 단계에서는 각 직사각형에 대해 LP 해의 값이 ½ 이상인 경우를 우선 선택해 커버에 포함한다. 남은 그래프는 최대 매칭 크기가 전체 최적해의 2/3 이하임을 보이며, 이때 그리디 방식으로 추가 정점을 선택하면 전체 근사 비율이 1.5에 ε를 더한 수준으로 제한된다. 또한, 가중치가 부여된 경우에도 동일한 라운딩 전략을 적용해 가중치 최소화 목표를 만족한다. 이 알고리즘은 입력 크기에 대해 다항 시간 내에 실행 가능하며, ε는 고정 상수이므로 실용적인 성능을 기대할 수 있다.

핵심 통찰은 평면 기하학적 구조를 이용해 문제를 “지역화”하고, LP 라운딩과 그리디 선택을 적절히 조합함으로써 기존의 O(log n) 근사 한계를 크게 개선했다는 점이다. 특히, 비교차 군에 대한 EPTAS는 기존 연구에서 다루지 못했던 “연결성” 제약을 활용해 근사 비율을 임의로 낮출 수 있음을 보여준다. 또한, 일반 군에 대한 (1.5 + ε) 알고리즘은 무게가 있는 경우에도 동일한 비율을 유지함으로써 실무 적용 가능성을 높인다.