[논문 리뷰] Approximating Dominating Set on Intersection Graphs of Rectangles and L-frames

Sayan Bandyapadhyay, Anil Maheshwari외 2명|arXiv (Cornell University)|2018. 03. 16.

Advanced Graph Theory Research인용 수 10

한 줄 요약

이 논문은 대각선 기준으로 고정된 직사각형과 L-프레임의 교차 그래프에 대해 최소 지배 집합(MDS) 문제에 대한 (2+ε)-근사 알고리즘을 제시한다. 이는 국소 검색 기반의 PTAS를 사용한 것으로, 이 문제의 비이상적인 기하 교차 그래프 하위클래스에 대해 처음으로 상수 요인 근사가 가능함을 보여주며, 이전까지 하위 로그 근사가 알려져 있지 않았던 고정된 직사각형 문제에 대한 열린 문제를 해결한다.

ABSTRACT

We consider the Minimum Dominating Set (MDS) problem on the intersection graphs of geometric objects. Even for simple and widely-used geometric objects such as rectangles, no sub-logarithmic approximation is known for the problem and (perhaps surprisingly) the problem is NP-hard even when all the rectangles are "anchored" at a diagonal line with slope -1 (Pandit, CCCG 2017). In this paper, we first show that for any $\\epsilon>0$, there exists a $(2+\\epsilon)$-approximation algorithm for the MDS problem on "diagonal-anchored" rectangles, providing the first $O(1)$-approximation for the problem on a non-trivial subclass of rectangles. It is not hard to see that the MDS problem on "diagonal-anchored" rectangles is the same as the MDS problem on "diagonal-anchored" L-frames: the union of a vertical and a horizontal line segment that share an endpoint. As such, we also obtain a $(2+\\epsilon)$-approximation for the problem with "diagonal-anchored" L-frames. On the other hand, we show that the problem is APX-hard in case the input L-frames intersect the diagonal, or the horizontal segments of the L-frames intersect a vertical line. However, as we show, the problem is linear-time solvable in case the L-frames intersect a vertical as well as a horizontal line. Finally, we consider the MDS problem in the so-called "edge intersection model" and obtain a number of results, answering two questions posed by Mehrabi (WAOA 2017).

연구 동기 및 목표

• 대각선 기준으로 고정된 직사각형의 교차 그래프에 대해 최소 지배 집합(MDS) 문제에 대한 상수 요인 근사 알고리즘을 개발하는 것. 이는 이전까지 하위 로그 근사가 알려져 있지 않은 비이상적인 하위클래스이다.
• 이러한 설정에서 대각선 기준으로 고정된 L-프레임에 대한 MDS 근사 알고리즘을 확장하여, 이 두 변형 간의 복잡도가 동일함을 보이는 것.
• 대각선 또는 수직선과 교차하는 L-프레임에 대한 MDS의 계산 복잡도를 조사하여, 특정 구성에서 APX-난이도를 입증하는 것.
• 특히 근사성과 난이도 갭에 관해 열린 문제를 해결하기 위해 L-프레임의 모서리 교차 모델에 대한 질문을 해결하는 것.

제안 방법

• 대각선 한쪽에 고정된 직사각형에 대해 국소 검색 기법을 사용한 (2+ε)-근사 알고리즘 설계를 통해 PTAS를 달성한다.
• 대각선 한쪽에 고정된 직사각형에 대한 문제를 두 개의 하위문제로 환원하며, 각각 국소 검색으로 해결 가능하다.
• 국소 검색 알고리즘 분석을 위해 평면 이분 그래프 표현을 구성함으로써 기하학적 관통 문제에도 불구하고 PTAS 보장을 가능하게 한다.
• 직사각형과 L-프레임 간의 교차 그래프가 동일함을 보여주는 변환 기법을 통해 MDS 문제의 등가성을 증명한다.
• 정점 커버 문제에서의 환원을 통해 대각선 또는 수직선과 교차하는 L-프레임에 대해 APX-난이도를 입증함으로써 근사 불가능성을 확립한다.
• 간격 유도 환원을 통해 간선 지배 집합에서 L-프레임 교차 그래프의 간선 교차 모델에서 상수 요인 근사 불가능성 갭을 입증한다.

실험 결과

연구 질문

• RQ1 MDS 문제에 대해 대각선 기준으로 고정된 직사각형에서 상수 요인 근사가 달성될 수 있는가? 이는 문제의 NP-난이도에도 불구하고 가능할까?
• RQ2 대각선 기준으로 고정된 L-프레임에 대한 MDS 문제의 복잡도는 대각선 기준으로 고정된 직사각형과 동일한가?
• RQ3 L-프레임이 대각선 또는 수직선과 교차할 경우 MDS 문제의 APX-난이도가 성립하는가?
• RQ4 수직선과 수평선 모두와 교차하는 L-프레임에 대해 MDS 문제의 최적 근사 비율은 무엇인가?
• RQ5 L-프레임 교차 그래프의 간선 교차 모델에서 상수 요인 근사 불가능성 갭을 확립할 수 있는가?

주요 결과

• 대각선 기준으로 고정된 직사각형에 대해 MDS 문제에 대한 (2+ε)-근사 알고리즘을 제시하며, 이는 이 비이상적인 하위클래스에 대해 처음으로 O(1)-근사가 가능한 것으로 기록된다.
• 동일한 (2+ε)-근사 알고리즘이 대각선 기준으로 고정된 L-프레임로도 확장되며, 이는 두 형태 간의 교차 그래프가 동일하기 때문이다.
• L-프레임이 대각선과 교차하거나 수평선이 수직선과 교차할 경우 MDS 문제가 APX-난이도임을 증명하였다.
• L-프레임이 수직선과 수평선 모두와 교차할 경우 문제는 선형 시간 내에 해결 가능하므로, 이는 다루기 쉬운 경우임을 나타낸다.
• 간선 지배 집합에서의 간격 유지 환원을 통해, 크기가 <(2−p+ε)n인 지배 집합과 >(2−q−ε)n인 지배 집합을 구분하는 것이 NP-난이도임을 입증하였으며, 최적의 p에서 갭은 약 ≈1.1377에 수렴한다.
• 논문은 메르바이(Mehrab)가 (WAOA 2017)에서 제기한 L-프레임의 간선 교차 모델에 관한 두 가지 열린 문제를 해결하였다.