[논문 리뷰] Algorithmic aspects of Tverberg's Theorem

David Rolnick, Pablo Soberón|arXiv (Cornell University)|2016. 01. 04.

Topological and Geometric Data Analysis참고 문헌 21인용 수 4

한 줄 요약

이 논문은 다양한 볼록성 공간에서 Tverberg 분할을 찾는 알고리즘 복잡도를 조사하며, 기하학적 및 정수 버전의 Tverberg 정리에 대해 약한 다항식 시간 확률적 알고리즘을 제시한다. 또한 일반 그래프에서 지오데식 볼록성에서 Radon 분할을 찾는 것이 NP-난이도임을 입증하면서, 특정 그래프 클래스에 대해서는 효율적인 해법을 제공한다.

ABSTRACT

We study the complexity of finding Tverberg partitions within various convexity spaces. For the classic geometric version of Tverberg's theorem, we obtain probabilistic algorithms that are weakly polynomial in both the dimension and the number of points. These algorithms extend to other variations, such as the integer version of Tverberg's theorem. For geodetic convexity on graphs, we show that the general problem of finding Radon partitions is NP-hard, and present efficient algorithms for certain special classes of graphs.

연구 동기 및 목표

• 다양한 볼록성 공간에서 Tverberg 분할을 찾는 계산 복잡도를 분석하는 것.
• 기하학적 및 정수 버전의 Tverberg 정리에 대해 약한 다항식 시간 확률적 알고리즘을 개발하는 것.
• 그래프에서 지오데식 볼록성에서 Radon 분할 문제의 복잡도를 조사하는 것.
• Radon 분할을 위한 효율적 알고리즘을 구성할 수 있는 다루기 쉬운 그래프 클래스를 식별하는 것.

제안 방법

• 기하학적 Tverberg 문제에 대해 차원과 점의 수에 대해 약한 다항식 시간 내에 실행되는 확률적 알고리즘을 설계하는 것.
• 기하적 접근 방식을 격자 제약 조건에 맞게 조정하여, 이 알고리즘들을 정수 버전의 Tverberg 정리로 확장하는 것.
• 감소 기법을 사용하여 일반 그래프에서 지오데식 볼록성에서 Radon 분할 문제의 NP-난이도를 증명하는 것.
• 나무 또는 시리즈-패러럴 그래프와 같이 효율적인 Radon 분할 계산을 가능하게 하는 그래프의 구조적 특성을 식별하는 것.
• 유클리드 공간 외의 볼록성 공간에 대해 계산 기하학과 조합 최적화 기법을 적용하는 것.
• 특정 그래프 클래스에 맞는 전용 알고리즘을 설계하기 위해 볼록 집합의 그래프 이론적 특성화를 사용하는 것.

실험 결과

연구 질문

• RQ1 표준 기하학적 설정에서 Tverberg 분할을 계산하는 데 필요한 계산 복잡도는 무엇인가?
• RQ2 정수 Tverberg 문제에 대해 약한 다항식 시간 확률적 알고리즘을 개발할 수 있는가?
• RQ3 임의의 그래프에서 지오데식 볼록성에서 Radon 분할을 찾는 문제는 NP-난이도인가?
• RQ4 지오데식 볼록성 하에서 Radon 분할을 계산하기 위한 효율적 알고리즘이 존재하는 그래프 클래스는 무엇인가?
• RQ5 그래프의 어떤 구조적 특성이 Radon 분할의 다항식 시간 계산을 가능하게 하는가?

주요 결과

• 기하학적 Tverberg 문제에 대한 확률적 알고리즘은 차원과 점의 수에 대해 약한 다항식 시간 내에 실행된다.
• 동일한 알고리즘 프레임워크는 유사한 시간 복잡도로 정수 버전의 Tverberg 정리로도 확장된다.
• 지오데식 볼록성에서 그래프에서 Radon 분할을 찾는 일반 문제는 NP-난이도이다.
• 나무나 시리즈-패러럴 그래프와 같은 특정 그래프 클래스에서는 Radon 분할 계산을 위한 효율적 알고리즘이 존재한다.
• NP-난이도 결과는 지오데식 볼록성 하에서 비교적 단순한 그래프 구조에서도 성립한다.
• 본 연구는 명확한 복잡도 이분화를 확립한다: 일반 그래프에서는 난이도 높고, 특정 구조적 클래스에서는 다루기 쉬운 경우가 있다.