[논문 리뷰] Independent and Hitting Sets of Rectangles Intersecting a Diagonal Line

José Correa, Laurent Feuilloley외 1명|arXiv (Cornell University)|2013. 09. 25.

Computational Geometry and Mesh Generation인용 수 1

한 줄 요약

이 논문은 축에 평행한 직사각형들이 대각선과 겹치는 가족에서 최대 독립 집합(MIS)을 찾는 것이 NP-완전임을 증명하며, 직사각형들이 대각선 아래에서 겹칠 경우 가중치가 부여된 MIS에 대해 O(n²) 시간 알고리즘을 제시하고, MIS와 최소 충족 집합(MHS) 사이의 이중성 간격이 2에서 4 사이에 있음을 증명한다. 이는 이전의 경계를 향상시키며, 이 설정에서 가중치가 부여된 MIS에 대한 2-근사 알고리즘을 도출한다.

ABSTRACT

Abstract. Finding a maximum independent set (MIS) of a given fam-ily of axis-parallel rectangles is a basic problem in computational geom-etry and combinatorics. This problem has attracted significant atten-tion since the sixties, when Wegner conjectured that the corresponding duality gap, i.e., the maximum possible ratio between the maximum independent set and the minimum hitting set (MHS), is bounded by a universal constant. An interesting special case, that may prove use-ful to tackling the general problem, is the diagonal-intersecting case, in which the given family of rectangles is intersected by a diagonal. Indeed, Chepoi and Felsner recently gave a factor 6 approximation algorithm for MHS in this setting, and showed that the duality gap is between 3/2 and 6. In this paper we improve upon these results. First we show that MIS in diagonal-intersecting families is NP-complete, providing one smallest subclass for which MIS is provably hard. Then, we derive an O(n2)-time algorithm for the maximum weight independent set when, in addition the rectangles intersect below the diagonal. This improves and extends a classic result of Lubiw, and amounts to obtain a 2-approximation algo-rithm for the maximum weight independent set of rectangles intersecting a diagonal. Finally, we prove that for diagonal-intersecting families the duality gap is between 2 and 4. The upper bound, which implies an approximation algorithm of the same factor, follows from a simple com-binatorial argument, while the lower bound represents the best known lower bound on the duality gap, even in the general case. An extended abstract of a preliminary version of this work appears in the proceedings

연구 동기 및 목표

• 대각선과 겹치는 직사각형 가족에서 최대 독립 집합(MIS) 문제의 계산 복잡도를 규명하는 것.
• 모든 직사각형이 대각선 아래에서 겹칠 경우 최대 가중치 독립 집합을 계산하는 효율적인 알고리즘을 개발하는 것.
• 대각선과 겹치는 직사각형 가족에서 MIS와 최소 충족 집합(MHS) 사이의 이중성 간격에 대한 경계를 좁히는 것.
• 이 기하 설정에서 가중치가 부여된 MIS에 대한 근사 인자의 개선

제안 방법

• 기존에 알려진 NP-완전 문제로의 환원을 통한, 대각선과 겹치는 직사각형 가족에서 MIS의 NP-완전성 증명.
• 모든 직사각형이 대각선 아래에서 겹치는 조건 하에 O(n²) 시간 동적 프로그래밍 알고리즘 설계.
• 간격의 구조와 중첩 성질에 기반한 조합적 추론을 통해 이중성 간격의 상한이 4임을 증명.
• 이중성 간격이 최소 2임을 보여주는 날카운 예시를 구성하여 하한을 확립.
• 대각선과 겹치는 직사각형의 구조적 성질을 활용해 Lubiw의 고전적 결과를 확장.
• 알고리즘 결과와 이중성 간격 경계를 조합하여, 대각선과 겹치는 가족에서 가중치가 부여된 MIS에 대한 2-근사 알고리즘 도출.

실험 결과

연구 질문

• RQ1 대각선과 겹치는 직사각형 가족에서 최대 독립 집합 문제는 NP-완전인가?
• RQ2 모든 직사각형이 대각선 아래에서 겹칠 경우 최대 가중치 독립 집합에 대한 효율적인 알고리즘이 설계될 수 있는가?
• RQ3 대각선과 겹치는 직사각형 가족에서 이중성 간격(MIS/MHS 비율)에 대한 가장 날카운 상한은 무엇인가?
• RQ4 이 기하 설정에서 가중치가 부여된 MIS에 대한 근사 인자를 이전 결과를 초월해 향상시킬 수 있는가?
• RQ5 이 기하 설정에서 이중성 간격에 대한 최고의 알려진 하한은 무엇인가?

주요 결과

• 축에 평행한 직사각형들이 대각선과 겹치는 가족에서 최대 독립 집합 문제(MIS)는 NP-완전이며, 이는 이 맥락에서 알려진 가장 작은 NP-완전 부분클래스임을 규명한다.
• 모든 직사각형이 대각선 아래에서 겹칠 경우 최대 가중치 독립 집합을 계산하는 O(n²) 알고리즘이 제시되며, 이는 Lubiw의 결과를 확장한다.
• 대각선과 겹치는 직사각형 가족에서 이중성 간격이 최대 4임을 증명하여, 가중치가 부여된 MIS에 대한 2-근사 알고리즘을 도출한다.
• 이중성 간격이 최소 2임을 증명하여, 일반적인 임의의 직사각형의 경우조차도 알려진 최고의 하한을 제공한다.
• 상한 4는 교차하는 직사각형의 구조적 분해에 기반한 단순한 조합적 추론을 통해 유도된다.
• 논문은 이중성 간격 경계를 이전의 [3/2, 6]에서 [2, 4]로 좁힘으로써 기존 결과를 향상시키며, 이 설정에서 가중치가 부여된 MIS에 대한 다항식 시간 2-근사 알고리즘을 제공한다.