[논문 리뷰] A Simple Polynomial Time Algorithm for Max Cut on Laminar Geometric Intersection Graphs

Celina M.H. de Figueiredo, Alexsander A. de Melo외 2명|arXiv (Cornell University)|2021. 01. 01.

Advanced Graph Theory Research인용 수 1

한 줄 요약

이 논문은 삼차 무다중 그래프에서의 보다 정교한 감소를 통해, 간격 수가 4인 간격 그래프에서 MaxCut 문제의 NP-완전성 증명을 처음으로 제시한다. 이는 일반 간격 그래프와 단위 간격 그래프 사이의 복잡도 갭을 좁히며, 오랫동안 미해결이었던 열린 문제를 해결한다.

ABSTRACT

In a geometric intersection graph, given a collection of n geometric objects as input, each object corresponds to a vertex and there is an edge between two vertices if and only if the corresponding objects intersect. In this work, we present a somewhat surprising result: a polynomial time algorithm for max cut on laminar geometric intersection graphs. In a laminar geometric intersection graph, if two objects intersect, then one of them will completely lie inside the other. To the best of our knowledge, for max cut this is the first class of (non-trivial) geometric intersection graphs with an exact solution in polynomial time. Our algorithm uses a simple greedy strategy. However, proving its correctness requires non-trivial ideas. Next, we design almost-linear time algorithms (in terms of n) for laminar axis-aligned boxes by combining the properties of laminar objects with vertical ray shooting data structures. Note that the edge-set of the graph is not explicitly given as input; only the n geometric objects are given as input.

연구 동기 및 목표

• 간격 수가 유한한 간격 그래프에서 MaxCut를 분류하여 일반 간격 그래프와 단위 간격 그래ph 사이의 복잡도 갭을 좁히는 것.
• 1980년대 이래로 해결되지 않았던 간격 수가 4인 간격 그래프에서 MaxCut의 복잡도 문제를 해결하는 것.
• 이전의 잘못된 다항식 시간 알고리즘 주장(간격 수가 1인 단위 간격 그래프에서의 MaxCut에 대해)을 넘어서, 더 일반적인 클래스에서 NP-완전성을 증명하는 것.
• 감소 과정에서 서로 다른 간격 길이의 수를 5개에서 4개로 줄여, 간격 수에 대한 더 강한 경계를 제공하는 것.
• 간격 수가 유한한 간격 그래프의 식별 문제에 기여하는 것 — 이 분야에 이전에 진전이 거의 없었음.

제안 방법

• 삼차 그래프에서의 원래 NP-완전성 감소를 간격 수가 제어된 간격 모델을 얻도록 수정한다.
• Petersen의 정리를 사용해 삼차 다중 그래프가 아닌 그래프를 완벽한 매칭 M과 2-정규 부분그래프 H(사이클의 분리된 합집합)로 분해한다.
• 정점의 순서 πV와 간선의 순서 πE를 정의하여 유도된 간격 모델 M의 구조를 제어한다.
• 일부 연결 간격을 제거한 모델 M′을 구성하고, 남은 간격들이 최대 3개의 서로 다른 길이를 가질 수 있음을 보여준다.
• 모델 M의 전체 간격 수가 최대 4n/3 + 3임을 증명하고, 그래프가 하노니안이 아닐 경우 최소 5개의 간격 수를 가짐을 보여, 비하노니안 케이스에 대해 최소 4의 하한을 확보한다.
• 다양한 정점 및 간선 순서에 대해 간격 수가 변하지 않음을 보장하기 위해 모델에 표준 구조를 강제하여, 최종 구성에서 ic(M) = 4임을 확보한다.

실험 결과

연구 질문

• RQ1 간격 수가 4인 간격 그래프에서 MaxCut는 NP-완전한가?
• RQ2 MaxCut 감소 과정에서 간격 수를 상수로 제한할 수 있으며, 만약 가능하면 그 최소 값은 무엇인가?
• RQ3 MaxCut가 단위 간격 그래프에서 쉽게 풀 수 있음에도 불구하고, 간격 수가 4인 간격 그래프로 제한된 경우에도 NP-완전성은 유지되는가?
• RQ4 간격 수가 1인 단위 간격 그래프에서 MaxCut에 대한 다항식 시간 알고리즘이 존재할 수 없음을, 간격 수가 4일 때의 난이도를 보여줌으로써 배제할 수 있는가?
• RQ5 MaxCut가 여전히 NP-완전한 최소 간격 수는 무엇이며, 이는 간격 모델의 구조와 어떻게 관련되는가?

주요 결과

• 간격 수가 4인 간격 그래프로 제한된 MaxCut는 NP-완전하며, 오랫동안 남아있던 열린 문제를 해결한다.
• 구성된 간격 모델의 간격 수는 4n/3 + 3 이하이며, 모든 이러한 모델에 대해 ic(M) = 4임을 보장한다.
• 입력 그래프가 하노니안이 아닐 경우 모델의 간격 수가 최소 5 이상임을 증명했지만, 정교한 구성으로 이 하한을 4로 낮춘다.
• 다양한 정점 및 간선 순서에 대해 감소가 간격 수에 영향을 주지 않으며, 간격 수가 항상 4로 유지됨을 보여준다.
• 이 결과는 더 일반적인 클래스인 4-내포 간격 그래프에서도 NP-완전성을 함의한다.
• 이전 작업에 비해 서로 다른 간격 길이의 수를 5개에서 4개로 줄여 감소 과정에서 간격 수에 대한 더 강한 경계를 제공한다.