[논문 리뷰] Hardness Results for Consensus-Halving

Aris Filos-Ratsikas, Søren Kristoffer Stiil Frederiksen외 2명|arXiv (Cornell University)|2016. 09. 16.

Auction Theory and Applications참고 문헌 30인용 수 6

한 줄 요약

이 논문은 근사 오차 ǫ 이 상수일 때도 공감 분할 문제의 PPAD-난이도가 유지되며, 추가 자르기 수가 상수일 때에도 이 난이도가 지속된다는 것을 입증한다. 또한, 단지 n−1번의 자르기만을 사용할 때 ǫ-근사해가 존재하는지 여부를 판단하는 것은 NP-난이도임을 증명하며, 문제의 계산 복잡도에 대한 이해를 정밀도 수준에 따라 크게 강화한다.

ABSTRACT

The Consensus-halving problem is the problem of dividing an object into two portions, such that each of n agents has equal valuation for the two portions. We study the epsilon-approximate version, which allows each agent to have an epsilon discrepancy on the values of the portions. It was recently proven in [Filos-Ratsikas and Goldberg, 2018] that the problem of computing an epsilon-approximate Consensus-halving solution (for n agents and n cuts) is PPA-complete when epsilon is inverse-exponential. In this paper, we prove that when epsilon is constant, the problem is PPAD-hard and the problem remains PPAD-hard when we allow a constant number of additional cuts. Additionally, we prove that deciding whether a solution with n-1 cuts exists for the problem is NP-hard.

연구 동기 및 목표

• ǫ 이 에이전트 수에 관계없이 상수일 때 ǫ-근사 공감 분할 해를 찾는 데 필요한 계산 복잡도를 규명하는 것.
• 최소 n번의 자르기 외에 상수 개의 추가 자르기를 허용할 경우 문제의 난이도가 유지되는지 조사하는 것.
• 단지 n−1번의 자르기만을 사용할 때 ǫ-근사해가 존재하는지 여부를 판단하는 문제의 복잡도를 분석하는 것.
• 공감 분할 문제와 다른 알려진 복잡도 클래스, 특히 PPAD와 PPA 사이의 관계를 명확히 하는 것.

제안 방법

• 일반화된 회로 문제의 근사판으로부터의 축소를 통해, 상수 ǫ과 상수 개의 추가 자르기를 가진 공감 분할 문제의 PPAD-난이도를 증명한다.
• 3SAT로의 축소를 통해, 단지 n−1번의 자르기만을 사용할 때 ǫ-근사해가 존재하는지 여부를 판단하는 문제의 NP-난이도를 입증한다.
• Simmons와 Su [30]의 알고리즘 및 Fan의 Tucker의 보조정리 버전을 형식화하여 문제의 PPA에 속해 있음을 보여준다.
• Tucker의 보조정리와 그 계산적 변형을 활용하여, 위상적 고정점 정리에 기반해 PPA에 포함됨을 증명한다.
• 단체 유형(교대형, 거의 교대형)과 그 부호를 기반으로 한 그래프를 구성하여 해로 이르는 경로를 모델링하며, End-of-Line 문제와 유사하게 다룬다.
• 축소 과정에서 메쉬 크기의 독립성을 활용하여, 반구에 맞춰진 임의의 충분히 미세한 삼등분에 대해 결과가 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 상수 근사 오차 ǫ을 가진 공감 분할 문제의 PPAD-난이도는 존재하는가?
• RQ2 최소 n번의 자르기 외에 상수 개의 추가 자르기를 허용할 경우 공감 분할 문제의 PPAD-난이도가 유지되는가?
• RQ3 단지 n−1번의 자르기만을 사용할 때 ǫ-근사 공감 분할 해가 존재하는지 여부를 판단하는 것은 NP-난이도인가?
• RQ4 ǫ 이 역지수적에서 상수로 증가함에 따라 공감 분할 문제의 복잡도는 어떻게 변화하는가?

주요 결과

• n명의 에이전트에게 n번의 자르기를 사용해 ǫ-근사 공감 분할 해를 계산하는 문제는, 상수 개의 추가 자르기를 허용하더라도 PPAD-난이도이다.
• 단지 n−1번의 자르기만을 사용할 때 ǫ-근사해가 존재하는지 여부를 판단하는 문제의 NP-난이도는 3SAT로의 축소를 통해 입증되었다.
• n번의 자르기를 사용해 ǫ-근사해를 찾는 문제의 복잡도는 Tucker의 보조정리로의 축소를 통해 PPA에 포함된다.
• PPAD-난이도 결과는 표준 계산 복잡도 가정 하에 성립하며, 이는 PPAD-난이도 문제들이 다항 시간 알고리즘을 갖지 못한다는 것을 의미한다.
• 이 결과들은 이전 연구에서의 핵심 격차를 메우며, 특히 실제 적용 사례인 토지 분할과 같은 분야에서 더 관련성이 높은 상수 ǫ에서도 난이도가 지속됨을 보여준다.
• 이러한 발견들은 상수 ǫ 하에서 공감 분할 문제와 목걸이 분할 문제 사이의 계산적 동치성을 뒷받침하며, 후자의 PPAD-난이도 결과를 이끌어내는 데 기여한다.