그리디가 답이다: 무작위 직사각형 그래프의 최소 클리크 커버와 최대 독립 집합 실험 연구

초록

본 논문은 2차원 평면에 무작위로 배치된 축에 평행한 직사각형 집합 𝑅 의 교차 그래프 G(𝑅) 에 대해 최소 클리크 커버(MCC)와 최대 독립 집합(MIS) 문제를 다룬다. 두 문제 모두 NP‑hard이며, 현재 알려진 다항식 시간 상수‑근사 알고리즘은 존재하지 않는다. 저자들은 간단한 그리디 알고리즘을 적용해 실험적으로 최적해와 매우 근접한 해를 얻었으며, 특히 MIS와 MCC의 크기가 각각 2√𝑛 ~ 3√𝑛 범위에 머무른다는 것을 확인했다. 이를 통해 그리디 알고리즘의 근사비율이 MIS에 대해 최대 3/2, MCC에 대해 최소 2/3임을 추정한다. 또한 ‘단순 직사각형(simplicial rectangle)’ 개념을 이용한 개선형 그리디 알고리즘을 제안하고, 이 아이디어가 무작위 인스턴스에 대한 상수‑근사 증명에 활용될 가능성을 논의한다.

상세 분석

이 연구는 직사각형 교차 그래프라는 특수한 기하학적 그래프 모델을 대상으로 두 가지 전형적인 NP‑hard 문제, 즉 최소 클리크 커버(MCC)와 최대 독립 집합(MIS)을 실험적으로 분석한다. 먼저, 직사각형 집합 𝑅 을 무작위로 생성하는 방법론을 명시한다. 각 직사각형은 x‑축과 y‑축에 평행하며, 좌표와 크기는 독립적인 균등 분포를 따르는 것으로 가정한다. 이렇게 생성된 인스턴스는 교차 관계에 따라 그래프 G(𝑅) 를 형성한다. G(𝑅) 는 두 직사각형이 겹치면 간선이 존재하는 일반적인 교차 그래프이며, 이는 구간 그래프(1‑차원 경우)의 확장판으로 볼 수 있다.

문제 정의 측면에서, MCC는 그래프의 모든 정점을 최소 개수의 클리크(완전 그래프)로 덮는 집합을 찾는 것이고, MIS는 서로 인접하지 않은 정점들의 최대 집합을 찾는 것이다. 기존 이론에 따르면, MCC는 다항식 시간 상수‑근사 자체가 불가능함이 증명되었고(Papadimitriou & Yannakakis, 2011), MIS에 대해서도 현재까지 상수‑근사 알고리즘이 알려지지 않았다. 따라서 실험적 접근이 의미 있는데, 특히 무작위 인스턴스에 한정하면 평균‑케이스 복잡도와 근사 성능이 최악‑케이스와 크게 다를 수 있다.

저자들은 두 가지 그리디 전략을 제시한다. MCC에 대해서는 “가장 큰 클리크(즉, 가장 많이 겹치는 직사각형 집합)를 반복적으로 선택하고, 해당 클리크에 포함된 정점을 그래프에서 제거”하는 방식이다. 이는 직사각형 교차 그래프에서 클리크가 곧 겹치는 직사각형들의 집합이므로, 가장 큰 클리크를 찾는 것이 핵심이다. 실제 구현에서는 각 직사각형의 교차 수(정도)를 계산하고, 교차 수가 최대인 직사각형을 중심으로 클리크를 형성한다.

MIS에 대해서는 “가장 적은 교차를 가진 직사각형을 선택하고, 그와 인접한 모든 정점을 제거”하는 전형적인 그리디 독립 집합 알고리즘을 사용한다. 여기서도 교차 수가 최소인 정점을 우선 선택함으로써 독립 집합의 크기를 최대화하려는 의도가 반영된다.

실험 결과는 놀라울 정도로 일관된다. n개의 직사각형에 대해, MIS의 크기는 최소 2√n 이상, 최대 3√n 이하이며, MCC의 클리크 수 역시 동일한 구간에 존재한다. 이는 Scheinerman(1980)의 1‑차원 구간 그래프에 대한 결과(최대 독립 집합 크기가 Θ(√n))를 2‑차원으로 확장한 형태로 해석될 수 있다. 따라서 그리디 알고리즘의 근사비율은 MIS에 대해 3/2 (=3√n / 2√n) 이하, MCC에 대해서는 2/3 (=2√n / 3√n) 이상으로 추정된다.

특히 논문은 “단순 직사각형(simplicial rectangle)” 개념을 도입한다. 이는 해당 직사각형이 포함된 클리크가 그래프의 다른 클리크와 교차하지 않는, 즉 주변 정점들과의 교차 관계가 완전히 포함되는 경우를 의미한다. 이러한 직사각형을 우선적으로 처리하면, 그리디 선택 과정에서 발생할 수 있는 “과도한 제거”를 방지하고, 보다 효율적인 클리크 커버와 독립 집합을 얻을 수 있다. 저자들은 이 아이디어를 기반으로 개선된 그리디 알고리즘을 제시하고, 실험적으로 기존 그리디보다 약간의 성능 향상을 보였으며, 이론적 분석을 통해 상수‑근사 비율을 증명할 가능성을 제시한다.

마지막으로, 논문은 2‑차원을 넘어 k‑차원 직사각형(또는 하이퍼박스)에도 동일한 현상이 나타날 것이라는 가설을 제시한다. 고차원에서도 교차 그래프의 밀도가 √n 수준으로 유지된다면, 그리디 기반 접근법이 동일한 근사 비율을 유지할 수 있을 것으로 기대한다. 이러한 관점은 무작위 기하학적 그래프에 대한 평균‑케이스 복잡도 연구에 새로운 방향을 제시한다.