[논문 리뷰] Extremal Combinatorics, Iterated Pigeonhole Arguments and Generalizations of PPP

Amol Pasarkar, Mihalis Yannakakis외 1명|arXiv (Cornell University)|2022. 09. 15.

Computability, Logic, AI Algorithms인용 수 2

한 줄 요약

이 논문은 극도의 조합론에서 유래한 반복적 낙관 원리에 뿌리를 둔 문제를 캡처하는 새로운 TFNP 복잡도 계열인 PLC(Polynomial Long Choice)를 소개한다. PLC가 PPP를 포함하고 있으며, 렘시의 정리와 선인장 레미마와 같은 자연스러운 문제들도 포함됨을 증명한다. 한편, 에르되시–코–라도 정리와 코르니히의 보조정리는 PPP-완전임을 보이며, 비효율적 인코딩을 통한 PPP를 초월하는 투란 유형 문제의 계층을 수립한다.

ABSTRACT

We study the complexity of computational problems arising from existence theorems in extremal combinatorics. For some of these problems, a solution is guaranteed to exist based on an iterated application of the Pigeonhole Principle. This results in the definition of a new complexity class within TFNP, which we call PLC (for "polynomial long choice"). PLC includes all of PPP, as well as numerous previously unclassified total problems, including search problems related to Ramsey's theorem, the Sunflower theorem, the Erdős-Ko-Rado lemma, and König's lemma. Whether the first two of these four problems are PLC-complete is an important open question which we pursue; in contrast, we show that the latter two are PPP-complete. Finally, we reframe PPP as an optimization problem, and define a hierarchy of such problems related to Turán's theorem.

연구 동기 및 목표

• 극도의 조합론에서 유래한 총합 검색 문제의 계산 복잡도를 체계화하고 분류하는 것, 특히 반복적 낙관 원리에 의존하는 문제들에 초점 맞추기.
• 전략적이고 순차적인 환경에서 낙관 원리를 반복 적용함으로써 해가 보장되는 문제를 캡처하는 새로운 복잡도 계열인 PLC(Polynomial Long Choice)를 정의하는 것.
• PLC와 기존의 TFNP 하위계열, 특히 PPP 간의 관계를 규명하고, 렘시, 선인장, 에르되시–코–라도 정리와 같은 잘 알려진 극도의 조합론 정리를 이 프레임워크 내에서 분류하는 것.
• 투란 유형 문제나 나쁜 색칠 문제에서와 같이 간접적이거나 비효율적인 조합 객체의 인코딩으로 인해 발생하는 계산 난이도를 탐색하는 것.
• 짧은 선택과 같은 쌍대 문제의 구조를 조사하고, PEPP 및 TFΣ₂P와 같은 TFNP 계층의 고차원 수준에 위치시키는 것.

제안 방법

• 장장 선택 문제를 두 명의 플레이어 간의 게임으로 정의: 플레이어 1이 낙오를 순서대로 구성하고, 플레이어 2는 매 단계에서 남은 낙오를 분할한다; 플레이어 1은 길이 n+1의 순서를 구성하면 승리한다.
• 플레이어 2의 분할 결정에 대해 다항시간 알고리즘을 사용하여, 장장 선택 문제에 다항시간으로 환원 가능한 모든 총합 검색 문제의 집합으로서 PLC를 체계화한다.
• 장장 선택 문제가 PPP-난이도임을 증명함으로써 PLC ⊇ PPP를 확립하고, 각 반복 단계에서 다수 예측과 선택을 동시에 효율적으로 처리할 수 있어야 하므로 PLC가 엄밀히 더 크다는 것을 논증한다.
• 기존의 극도의 조합론 문제들(렘시, 선인장, 에르되시–코–라도, 코르니히의 보조정리)을 장장 선택 문제 또는 PPP로 환원하여, 각각 PLC 또는 PPP에 속함을 보임.
• 투란의 정리와 나쁜 색칠 인스턴스를 바탕으로 한 문제 계층을 구성함. 여기서 간선 수나 클리크 수가 임계값을 초과할 경우, 이는 간접적이고 비효율적인 인코딩으로 인해 PPP-난이도임을 증명함.
• 플레이어 1이 조기 종료를 시도하는 쌍대 게임으로서의 짧은 선택 문제를 도입함. 이 문제의 해가 보장되지만 명백하게 NP에 속하지는 않으며, PEPP-난이도임을 증명하고 TFΣ₂P에 속함을 보임.

실험 결과

연구 질문

• RQ1 렘시의 정리에 의해 보장되는 단색 클리크를 찾는 문제는 PLC-완전인가?
• RQ2 선인장 문제와 에르되시–코–라도 문제의 복잡도는 PLC-완전인가, 아니면 PPP 내부에 엄밀히 속하는가?
• RQ3 투란의 정리에 의해 보장되는 (k+1)-클리크를 그래프에서 찾는 문제의 계산 복잡도는 무엇이며, 이는 PPP와 어떻게 관련되는가?
• RQ4 블랙박스 또는 상대화된 구성 방법을 통해 PLC와 PPP를 분리할 수 있는가?
• RQ5 비효율적 인코딩이 계산 난이도를 유도하는 역할는 무엇이며, 이는 나쁜 색칠 문제나 나쁜 k-집합 색칠 문제에서 어떻게 나타나는가?

주요 결과

• 장장 선택 문제가 PPP-난이도임을 증명함으로써, PLC가 PPP를 엄밀히 포함함을 입증함. PPP는 반복 설정에서 다수 예측과 선택을 동시에 효율적으로 처리할 수 없기 때문이다.
• 렘시의 정리와 선인장 정리로부터 유도되는 문제들은 PLC에 속하지만, 그 PLC-완전성 여부는 여전히 미해결 문제이다.
• 에르되시–코–라도 보조정리와 코르니히의 보조정리는 PPP-완전임을 증명함으로써, 이들은 고전적인 PPP 프레임워크 내에 존재함을 시사한다.
• 투란의 정리에 기반한 문제 계층을 정의함. 이 계층의 각 문제들은 간접적이고 비효율적인 간선 집합 및 색칠 제약 조건의 인코딩으로 인해 PPP-난이도임을 증명함.
• 나쁜 색칠 문제들은 낙관 원리에 기반하지만, 유효한 구멍(즉, 유효한 간선)의 집합이 암묵적으로 정의되어 있어 가용한 구멍 수를 계산하거나 인덱스를 효율적으로 매핑하기 어려워 PPP에 속하지 않는다.
• 쌍대 문제인 짧은 선택 문제는 총합이지만 명백하게 NP에 속하지 않음. 이 문제의 PEPP-난이도를 증명하고 TFΣ₂P에 속함을 보임으로써, TFNP 계층의 새로운 하위계열이 존재할 가능성을 시사한다.