[논문 리뷰] Sharing a pizza: bisecting masses with two cuts

Luis Barba, Alexander Pilz외 1명|arXiv (Cornell University)|2019. 04. 04.

Computational Geometry and Mesh Generation참고 문헌 24인용 수 8

한 줄 요약

이 논문은 평면상의 네 개의 질량 분포를 단 두 직선을 사용하여 동시에 이등분할할 수 있음을 증명한다. 이는 허먼샌드위치 정리의 일반화로, 해법을 제공하는 구조적 알고리즘이 수반되어 있다. 핵심 결과는 두 개의 방향을 가진 직선이 평면을 네 개의 영역으로 나누며, 양의 반평면을 합친 영역이 각 질량 분포의 정확히 절반을 포함하도록 할 수 있음을 보여준다.

ABSTRACT

Assume you have a pizza consisting of four ingredients (e.g., bread, tomatoes, cheese and olives) that you want to share with your friend. You want to do this fairly, meaning that you and your friend should get the same amount of each ingredient. How many times do you need to cut the pizza so that this is possible? We will show that two straight cuts always suffice. More formally, we will show the following extension of the well-known Ham-sandwich theorem: Given four mass distributions in the plane, they can be simultaneously bisected with two lines. That is, there exist two oriented lines with the following property: let $R^+_1$ be the region of the plane that lies to the positive side of both lines and let $R^+_2$ be the region of the plane that lies to the negative side of both lines. Then $R^+=R^+_1\cup R^+_2$ contains exactly half of each mass distribution.

연구 동기 및 목표

• 두 번의 자르기로 평면상의 네 개 질량 분포를 동시에 이등분할할 수 있도록 허먼샌드위치 정리를 일반화한다.
• 두 직선이 R² 내의 네 개 연속적인 질량 분포를 동시에 이등분할할 수 있는지 여부를 규명한다.
• 두 직선을 사용한 이러한 이등분을 계산하는 구조적 알고리즘을 제공한다.
• 특정 제약 조건(예: 직선이 특정 점을 통과하거나 특정 방향에 평행해야 함)을 부여할 경우, 세 개 또는 네 개의 질량 분포를 동시에 이등분할할 수 있는지 탐색한다.
• 이 문제를 고차원 공간과 더 많은 초평면으로 일반화하여, 동시에 이등분할할 수 있는 질량 분포의 최대 수에 대한 추측을 도출한다.

제안 방법

• 두 직선이 네 개 질량 분포를 동시에 이등분할할 수 있음을 보이기 위해, 특히 보르수크-울람 정리를 활용한 위상수학적 방법을 사용한다.
• 두 방향을 가진 직선의 구성 공간을 고차원 구로 모델링하고, 이등분 조건을 반대점 사상으로 표현한다.
• 다항식 허먼샌드위치 정리의 일반화된 형태를 적용하여, 두 직선을 차수 2의 특수한 대수적 표면으로 간주한다.
• 제약 조건이 있는 경우(예: 고정된 점을 통과하는 직선)에 대한 감소 기법을 도입한다: 점들을 해당 점을 기준으로 반사하여 문제를 반경 순서 문제로 변환한다.
• 고정된 점을 중심으로 점들을 반경 순서로 정렬하고, 정렬 후 O(n) 시간 내에 정확히 각 질량 분포의 절반을 포함하는 연속된 간격을 탐색한다.
• 모든 경우에 대해 다항식 시간 알고리즘을 제공하며, 시간 복잡도는 n개 점에 대해 정렬에 의해 지배되며 O(n log n) 시간이다.

실험 결과

연구 질문

• RQ1 평면상의 네 개 질량 분포는 항상 두 직선으로 동시에 이등분할할 수 있는가?
• RQ2 두 직선에 대해 특정 제약 조건(예: 특정 점을 통과하거나 특정 방향에 평행)을 가할 경우, 세 개 또는 네 개의 질량 분포를 동시에 이등분할할 수 있는가?
• RQ3 d차원 공간에서 n개 초평면이 동시에 이등분할할 수 있는 질량 분포의 수에 대해 날카로운 상한이 존재하는가?
• RQ4 이 문제는 다항식 제약 조건이나 대수적 표면을 사용해 고차원으로 일반화할 수 있는가?
• RQ5 n·d개 질량 분포가 R^d에서 n개 초평면에 의해 동시에 이등분될 수 있다는 추측은 참이며, 이를 증명하기 위한 위상수학적 조건은 무엇인가?

주요 결과

• 두 직선이 항상 평면상의 네 개 질량 분포를 동시에 이등분할할 수 있으며, 두 직선의 양의 반평면을 합친 영역이 각 질량 분포의 정확히 절반을 포함한다.
• 결과는 날카로운 경계이다: R^d에서 nd+1개의 질량 분포는 n개 초평면에 의해 동시에 이등분될 수 없다는 예가 존재한다.
• 제약 조건이 있는 경우(예: 한 직선이 주어진 점을 통과하거나 주어진 방향에 평행해야 함)에도 여전히 세 개의 질량 분포를 두 직선으로 동시에 이등분할할 수 있다.
• 이러한 이등분을 계산하는 다항식 시간 알고리즘을 제공하며, 정렬에 의해 시간 복잡도가 O(n log n)로 지배되며, 반사 후 간격 탐색에는 O(n) 시간이 소요된다.
• n·d개 질량 분포가 R^d에서 n개 초평면에 의해 동시에 이등분될 수 있다는 일반 추측은 d=n=2인 경우에 성립하며, 후속 연구에서 추가 값에 대해 검증되었다.
• 계수 공간에서의 반대점 사상에 기반한 잠재적 증명 전략을 제안하며, 이러한 사상의 영함수화 조건이 선형 형태로 분해되는 것과 관련된 추측을 제기한다.