3트랙 구간 그래프에서 클리크 문제의 APX 난이도

초록

본 논문은 기존에 알려진 t‑interval 그래프( t≥3 )에서 클리크 문제의 NP‑hardness 결과를 한 단계 끌어올려, 3‑track 구간 그래프에서도 근사 알고리즘의 한계인 APX‑hard임을 증명한다. 이를 위해 bounded‑degree 그래프의 최대 독립집합 문제로부터 L‑감축을 구성하고, 3‑track 구간 표현을 정밀하게 설계한다.

상세 분석

논문은 먼저 t‑interval 그래프와 그 변형인 t‑track 구간 그래프의 정의를 명확히 한다. t‑interval 그래프는 각 정점이 t개의 구간(또는 구간 집합)으로 표현되는 교차 그래프이며, t‑track 구간 그래프는 t개의 서로 평행한 직선(트랙) 위에 구간을 배치해 교차 관계를 정의한다. 기존 연구에서는 t≥3인 경우 클리크 문제의 NP‑hardness를 보였지만, 근사 복잡도에 대한 결과는 부족했다.

본 연구는 APX‑hardness를 입증하기 위해 두 단계의 감축을 설계한다. 첫 번째 단계는 MAX‑3‑SAT 혹은 bounded‑degree Vertex Cover와 같은 APX‑hard 문제를 이용해, 최대 독립집합(Maximum Independent Set, MIS) 문제로 변환한다. 특히, 3‑regular 그래프에서 MIS가 APX‑hard임을 이용한다. 두 번째 단계는 이 MIS 인스턴스를 3‑track 구간 그래프의 클리크 인스턴스로 변환한다. 여기서 핵심은 각 정점을 세 개의 구간(각 트랙에 하나씩)으로 매핑하고, 인접 정점 사이에 교차가 발생하도록 구간의 시작·끝 좌표를 정교하게 조정하는 것이다.

감축 과정은 L‑감축(L-reduction)의 두 조건을 모두 만족한다. 첫째, 원본 인스턴스의 최적 해와 변환된 인스턴스의 최적 해 사이에 상수 비례 관계가 존재한다(α‑factor). 둘째, 근사 해의 품질 차이가 변환 후에도 상수 배만큼 확대되지 않는다(β‑factor). 논문은 구체적인 좌표 설정을 통해 α와 β를 각각 2와 3 이하로 제한함으로써, MIS의 (1‑ε)‑근사 해가 3‑track 구간 그래프의 클리크 문제에서도 (1‑c·ε)‑근사 해로 유지됨을 보인다.

또한, 3‑track 구간 그래프가 일반 t‑interval 그래프보다 구조적으로 제한적임에도 불구하고, 이러한 제한이 근사 난이도를 낮추지 못한다는 점을 강조한다. 즉, 트랙 수가 3으로 고정되어도 교차 구조가 충분히 복잡해 APX‑hardness가 유지된다. 논문은 기존의 NP‑hardness 증명에서 사용된 “겹치는 구간” 기법을 확장해, 트랙 간 간격을 최소화하면서도 교차 관계를 보존하는 새로운 “트랙 배치 기법”을 제안한다.

결과적으로, 3‑track 구간 그래프에서 클리크 문제는 다항식 시간 근사 알고리즘이 존재하더라도 일정 비율 이하의 근사 비율을 보장할 수 없으며, 이는 APX‑complete 클래스에 속함을 의미한다. 이와 같은 강력한 근사 난이도 결과는 구간 기반 그래프 모델을 활용하는 스케줄링, 생물정보학, 통신 네트워크 등 다양한 응용 분야에서 최적화 한계에 대한 중요한 이론적 근거를 제공한다.