평면 그래프 풀기와 정점 고정 문제

초록

이 논문은 평면 그래프의 직선 그리기에서 교차를 없애기 위해 최소 몇 개의 정점을 이동시켜야 하는지를 연구한다. 정점 이동 최소값을 shift(G,δ)라 정의하고, 이를 계산하는 문제가 NP‑hard이며 근사조차 어려움을 보인다. 또한 이동하지 않고 고정할 수 있는 최대 정점 수인 fix(G,δ)를 분석하여, 일반 평면 그래프에서는 √((log n‑1)/log log n)개의 정점을, 외부 평면 그래프에서는 √(n/2)개의 정점을 항상 고정할 수 있는 알고리즘을 제시한다. 마지막으로, 이러한 하한이 최악의 경우에도 거의 맞춰짐을 보이는 하위 예시를 구성한다.

상세 분석

본 연구는 평면 그래프 G의 직선 그리기 δ가 교차를 포함할 때, 이를 평면(plane) 형태로 바꾸기 위해 이동해야 하는 정점의 최소 개수를 함수 shift(G,δ)로 정의한다. 이 문제는 기존의 그래프 재배치 문제와 유사하지만, 정점 위치를 자유롭게 재배치하는 것이 아니라 기존 위치를 유지하면서 최소한의 정점만을 이동시키는 제약이 추가된다. 저자들은 먼저 shift(G,δ)의 계산이 NP‑hard임을 증명한다. 이를 위해, 알려진 NP‑hard 문제인 Vertex Cover와의 다항식 환원을 구성하고, 교차를 제거하기 위해 반드시 이동해야 하는 정점 집합이 최소 정점 커버와 일대일 대응함을 보인다. 이와 더불어, 근사 알고리즘조차 존재하지 않음을 보여주기 위해 Gap‑Reduction 기법을 적용해, 어떤 상수 ε>0에 대해서도 shift(G,δ)의 (1‑ε)‑근사 해를 구하는 것이 NP‑hard임을 증명한다. 이러한 난이도 결과는 1BendPointSetEmbeddability 문제에도 확장된다. 즉, 점 집합에 한 번 굽은 선분을 허용하는 임베딩 문제에서도 정점 이동 최소화와 동일한 복잡도 구조가 나타난다.

다음으로 저자들은 fix(G,δ)=|V(G)|‑shift(G,δ)라는 관점을 도입한다. 이는 그래프를 풀 때 고정할 수 있는 정점의 최대 개수를 의미한다. 일반 평면 그래프에 대해, 무작위 혹은 최악의 경우에도 최소 √((log n‑1)/log log n)개의 정점을 고정할 수 있는 다항식 시간 알고리즘을 설계한다. 핵심 아이디어는 그래프를 트리와 사이클 구조로 분해하고, 각 구성 요소에 대해 독립적인 고정 정점 집합을 선택한 뒤, 전체 정점 집합에 대해 조합 최적화를 수행하는 것이다. 특히, 로그‑로그 항을 이용해 정점 수가 급격히 증가할 때도 고정 가능한 정점 비율이 서서히 감소하지만, 여전히 다항식 시간 내에 보장된다.

외부 평면 그래프(outerplanar graph)의 경우, 구조가 보다 제한적이므로 더 강력한 하한을 얻는다. 저자들은 외부 평면 그래프를 이중 트리 구조로 모델링하고, 각 레벨에서 최대 독립 집합을 찾는 방법을 적용한다. 그 결과, 최소 √(n/2)개의 정점을 언제든지 고정할 수 있음을 증명한다. 이는 외부 평면 그래프가 갖는 트리‑같은 성질과, 모든 정점이 외부 면에 위치한다는 사실을 활용한 것이다.

마지막으로, 제시된 알고리즘이 최악의 경우에도 거의 최적임을 보이기 위해, 두 가지 하위 예시를 구성한다. 첫 번째는 일반 평면 그래프에 대해 fix(G,δ) ≤ √(n‑2)+1인 경우를 만들며, 두 번째는 외부 평면 그래프에 대해 fix(H,δ) ≤ 2√(n‑1)+1인 경우를 만든다. 이 예시들은 정점 수가 커질수록 고정 가능한 정점 수가 √n 수준으로 제한됨을 보여준다. 따라서 외부 평면 그래프에 대한 √(n/2) 하한은 상수 계수를 제외하고는 최적임을 의미한다. 전체적으로, 이 논문은 평면 그래프 풀기 문제의 복잡도와 근사 한계를 명확히 규정하고, 실용적인 고정 정점 알고리즘을 제공함으로써 그래프 그리기 이론에 중요한 기여를 한다.