[논문 리뷰] Computing Exact Solutions of Consensus Halving and the Borsuk-Ulam Theorem

Argyrios Deligkas, John Fearnley외 2명|arXiv (Cornell University)|2019. 03. 07.

Logic, Reasoning, and Knowledge인용 수 5

한 줄 요약

이 논문은 일致 분할 문제의 정확한 복잡도를 규명하여, $n$명의 참가자와 $n$번의 컷이 있는 정확한 해를 찾는 것이 $\texttt{FIXP}$-하드임을 보이고, $n$번 이하의 컷으로도 충분한지 여부를 판단하는 것은 $\texttt{ETR}$-완전함을 증명한다. 또한 정확히 보르수크-울람 정리를 해결하는 데로 환원 가능한 문제들을 포괄하는 새로운 복잡도 클래스 $\texttt{BU}$를 도입하며, $\texttt{LinearBU} = \texttt{PPA}$임을 증명하여 정확한 공정 분할 문제와 위상수학적 고정점 원리 사이의 연결고리를 확립한다.

ABSTRACT

We study the problem of finding an exact solution to the consensus halving problem. While recent work has shown that the approximate version of this problem is PPA-complete, we show that the exact version is much harder. Specifically, finding a solution with $n$ cuts is FIXP-hard, and deciding whether there exists a solution with fewer than $n$ cuts is ETR-complete. We also give a QPTAS for the case where each agent's valuation is a polynomial. Along the way, we define a new complexity class BU, which captures all problems that can be reduced to solving an instance of the Borsuk-Ulam problem exactly. We show that FIXP $\\subseteq$ BU $\\subseteq$ TFETR and that LinearBU $=$ PPA, where LinearBU is the subclass of BU in which the Borsuk-Ulam instance is specified by a linear arithmetic circuit.

연구 동기 및 목표

• 정확한 해를 찾는 데 $n$명의 참가자가 있는 일치 분할 문제의 계산 복잡도를 규명하는 것.
• 해가 $n$번 이하의 컷으로 존재하는지 여부를 판단하는 문제의 복잡도를 분석하는 것.
• 정확히 보르수크-울람 정리를 해결하는 데로 환원 가능한 문제들의 집합으로 정의된 새로운 복잡도 클래스 $\texttt{BU}$를 도입하고 특성화하는 것.
• 위상수학적 정리들과 계산 복잡도 클래스 사이의 관계를 설정하며, 특히 $\texttt{BU}$가 $\texttt{FIXP}$와 $\texttt{ETR}$와 어떻게 연결되는지 밝히는 것.

제안 방법

• 저자들은 참가자의 평가 함수에 산술 회로를 인코딩하여, 회로 평가 문제를 일치 분할 인스턴스로 환원한다.
• 특수한 회로를 구성하여 두 다항식 $q_1$과 $q_2$를 계산하고, $q_1 = q_2$ 조건을 통해 보르수크-울람 유형의 추론을 통해 해를 강제한다.
• 회로 값과 일치 분할 인스턴스의 컷 사이에 일대일 대응을 설정함으로써, 회로의 해가 존재하면 유효한 분할이 존재함을 보장한다.
• 회로에 $r$개의 게이트가 있을 때, $4r+1$명의 참가자와 $4r$개의 컷을 사용하여 이를 시뮬레이션하며, 최종 참가자의 평가에 회로의 출력을 통합한다.
• 일치 분할 인스턴스의 해가 존재하는 것은 회로가 0으로 평가되는 것과 동치임을 증명함으로써, 실수 대수계의 타당성 문제와 연결한다.
• 클래스 $\texttt{BU}$는 정확히 보르수크-울람 문제를 해결하는 데로 환원 가능한 문제들의 집합으로 정의되며, $\texttt{LinearBU}$는 선형 인스턴스를 포괄한다.

실험 결과

연구 질문

• RQ1 정확히 $n$명의 참가자와 $n$번의 컷이 있는 일치 분할 문제의 해를 계산하는 데 필요한 정확한 복잡도는 무엇인가?
• RQ2 해가 $n$번 이하의 컷으로 존재하는지 여부를 판단하는 문제는 근사 해를 찾는 문제보다 계산적으로 더 어려운가?
• RQ3 보르수크-울람 정리를 이용하여 정확한 공정 분할 문제를 포괄하는 새로운 복잡도 클래스를 정의할 수 있는가?
• RQ4 정확한 일치 분할 문제의 복잡도는 $\texttt{FIXP}$와 $\texttt{ETR}$와 어떻게 관련되어 있는가?
• RQ5 $\texttt{LinearBU}$와 $\texttt{PPA}$와 같은 알려진 클래스 사이의 관계는 무엇인가?

주요 결과

• $(n,n)$-일치 분할 문제는 $\texttt{FIXP}$-하드임을 보여, 정확한 해는 근사 해보다 훨씬 더 어렵다는 것을 시사한다.
• 해가 $n$번 이하의 컷으로 존재하는지 여부를 판단하는 문제는 $\texttt{ETR}$-완전함을 보여, $\texttt{PPA}$보다 더 높은 복잡도 클래스에 속함을 나타낸다.
• 저자들은 정확히 보르수크-울람 정리를 해결하는 데로 환원 가능한 문제들을 포괄하는 새로운 복잡도 클래스 $\texttt{BU}$를 정의한다.
• $\texttt{LinearBU} = \texttt{PPA}$임을 증명하여, 선형 인스턴스의 보르수크-울람 문제와 $\texttt{PPA}$ 클래스 사이의 엄밀한 연결고리를 확립한다.
• $\texttt{BU}$는 $\texttt{FIXP} \subseteq \texttt{BU} \subseteq \texttt{TFETR}$를 만족함을 보여, $\texttt{FIXP}$와 $\texttt{TFETR}$ 사이에 위치함을 시사한다.
• 논문은 $\texttt{BU}$-완전성은 보르수크-울람 정리에 의해 존재가 보장되는 문제들에 대해 자연스러운 복잡도 클래스일 수 있음을 강력한 증거로 제시한다. 이는 브라우어 고정점 정리보다 더 약한 정리에 의해 보장되지 않는 문제들이다.