[논문 리뷰] Convex Covering Using Collections of Convex Polygons and Set Cover

Guilherme D. da Fonseca|arXiv (Cornell University)|2023. 01. 01.

Computational Geometry and Mesh Generation인용 수 1

한 줄 요약

이 논문은 구멍이 있는 다각형을 최소 수의 볼록 다각형으로 덮는 볼록 덮개 문제를 위한 이단계 휴리스틱을 제시한다. 먼저 제약 조건이 있는 데라우니 삼각분할에서 수정된 브론-커보시 또는 랜덤화된 팽창을 통해 큰 수의 최대 볼록 다각형을 생성한 후, 반복적 제약 조건 생성을 사용한 정수계획법과 시뮬레이티드 어닐링을 활용해 집합 덮개 문제를 해결한다. 이 방법은 CG:SHOP 2023 챌린지에서 2등을 차지했으며, 다양한 다각형 인스턴스에서 고품질의 해를 생성하였다.

ABSTRACT

In the convex covering problem, we are given a convex polygon with holes $P$ and the goal is to cover $P$ using a small number of convex polygons that lie inside $P$. In this paper, we solve the problem using the following strategy. We find a big collection of large (often maximal) convex polygons inside $P$ and then solve several set cover problems to find a small subset of the collection that covers the whole polygon. The quality of our heuristics is confirmed by winning the second place in the CG:SHOP 2023 Challenge.

연구 동기 및 목표

• 구멍이 있는 다각형을 덮기 위해 필요한 볼록 다각형의 수를 최소화함으로써 NP-난이도의 볼록 덮개 문제를 해결하고자 한다.
• 입력 다각형 내부에 큰 수의 최대 볼록 다각형을 효율적으로 생성하는 방법을 개발하고자 한다.
• 반복적 제약 조건 생성과 하이브리드 최적화 기법을 활용해 결과 집합 덮개 문제를 효과적으로 해결하고자 한다.
• 특히 직각 다각형과 구멍이 많은 다각형을 포함한 다양한 다각형 인스턴스에서 경쟁적인 성능을 달성하고자 하며, 이는 CG:SHOP 2023 챌린지에서 입증되었다.

제안 방법

• 다각형의 꼭짓점들 간의 가시성 그래프에 수정된 브론-커보시 알고리즘을 적용하여 큰 볼록 다각형의 집합 C를 구성한다.
• 또한 제약 조건이 있는 데라우니 삼각분할의 랜덤화된 팽창을 통해 커버리지와 확장성을 확보하는 방식으로 집합을 생성한다.
• 미리 정의된 제약 조건을 동적으로 생성하여 반복적으로 덮히지 않은 영역을 덮을 수 있도록 정수계획법을 사용해 집합 덮개 문제를 해결한다.
• 온도 스케줄링을 적용한 시뮬레이티드 어닐링을 활용해 해 공간을 탐색하고, 특히 어려운 인스턴스에서 정수계획법 해를 향상시킨다.
• 독립적인 실행에서 도출된 해를 융합하여 더 포괄적인 후보 집합을 만드는 방식으로 집합을 반복적으로 개선한다.
• 꼭짓점 증거와 점 기반 제약 조건을 사용해 덮히지 않은 영역을 탐지하고, 해를 완전한 커버리지로 이끌도록 돕는다.

실험 결과

연구 질문

• RQ1 가시성 기반 추적을 통해 구멍이 있는 다각형에 대해 큰 다각형의 다양성이 높은 최대 볼록 다각형 집합을 효율적으로 열거할 수 있는가?
• RQ2 브론-커보시와 랜덤화된 팽창이라는 서로 다른 집합 생성 전략이 최종 해 품질과 확장성에 미치는 영향은 어떠한가?
• RQ3 반복적 제약 조건 생성과 하이브리드 최적화(정수계획법 + 시뮬레이티드 어닐링)는 볼록 덮개 문제의 집합 덮개 단계에서 얼마나 효과적인가?
• RQ4 u개의 꼭짓점을 가진 다각형에 대해 V-최대 볼록 다각형 집합에 포함된 선분 수에 하한선이 존재하는가? 특히 이차 이하의 bound가 존재하는가?
• RQ5 여러 개의 독립적 실행에서 도출된 해를 융합하면 최종 볼록 덮개의 품질을 크게 향상시킬 수 있는가?

주요 결과

• 이 방법은 CG:SHOP 2023 챌린지에서 2등을 차지했으며, 206개의 인스턴스 중 128개에서 21개의 다른 팀을 압도하였다.
• 제약 조건이 있는 데라우니 삼각형을 4번 반복하여 집합을 생성한 결과, 브론-커보시와 거의 동일한 해 품질을 달성했지만, 모든 인스턴스 크기에서 더 뛰어난 확장성을 보였다.
• 소규모 인스턴스에서는 시뮬레이티드 어닐링이 정수계획법 해와 거의 동일한 성능을 보였지만, 큰 치즈 유형 인스턴스에서는 훨씬 우수한 성능을 보였다.
• 여러 독립적 실행에서 도출된 고품질 해를 융합한 결과, 단일 실행 집합 대비 최대 10%까지 해의 크기를 줄일 수 있었다.
• 제약 조건 생성 과정의 반복 수가 종종 적었으며, 이는 증거 요구 조건에 대한 이론적 한계가 존재할 가능성이 있음을 시사한다.
• 구멍이 없는 다각형의 경우, V-최대 볼록 다각형의 열거는 가시성 그래프에서 최대 클리크 열거와 동일한데, 이 클래스에 대한 효율적인 열거 알고리즘은 아직 미해결 과제로 남아 있다.