[논문 리뷰] CLS: New Problems and Completeness

John Fearnley, Spencer Gordon외 2명|arXiv (Cornell University)|2017. 02. 20.

Semantic Web and Ontologies참고 문헌 5인용 수 8

한 줄 요약

이 논문은 PPAD와 PLS의 요소를 통합하는 새로운 문제인 EndOfPotentialLine을 제안하며, 단조적이고 잠재력 기반 경로를 캡처함으로써 CLS에 속함을 입증한다. 이는 EndOfMeteredLine으로의 이방향 감소를 통해 이루어지며, P-LCP에서 EndOfPotentialLine으로의 감소를 통해 CLS-완전성에 대한 강력한 후보로 자리매김하고, 복잡도 이론에서 오랫동안 열려있던 문제를 해결한다.

ABSTRACT

The complexity class CLS was introduced by Daskalakis and Papadimitriou with the goal of capturing the complexity of some well-known problems in PPAD$~\cap~$PLS that have resisted, in some cases for decades, attempts to put them in polynomial time. No complete problem was known for CLS, and in previous work, the problems ContractionMap, i.e., the problem of finding an approximate fixpoint of a contraction map, and PLCP, i.e., the problem of solving a P-matrix Linear Complementarity Problem, were identified as prime candidates. First, we present a new CLS-complete problem MetaMetricContractionMap, which is closely related to the ContractionMap. Second, we introduce EndOfPotentialLine, which captures aspects of PPAD and PLS directly via a monotonic directed path, and show that EndOfPotentialLine is in CLS via a two-way reduction to EndOfMeteredLine. The latter was defined to keep track of how far a vertex is on the PPAD path via a restricted potential function. Third, we reduce PLCP to EndOfPotentialLine, thus making EndOfPotentialLine and EndOfMeteredLine at least as likely to be hard for CLS as PLCP. This last result leverages the monotonic structure of Lemke paths for PLCP problems, making EndOfPotentialLine a likely candidate to capture the exact complexity of PLCP; we note that the structure of Lemke-Howson paths for finding a Nash equilibrium in a two-player game very directly motivated the definition of the complexity class PPAD, which eventually ended up capturing this problem's complexity exactly.

연구 동기 및 목표

• 복잡도 클래스 CLS에 대해 알려진 완전 문제의 부재를 해결하기 위해, 연속 최적화 구조를 지닌 PPAD ∩ PLS 문제들을 포괄하는 CLS의 복잡도 클래스에 대해 연구한다.
• P-행렬 LCP에서 레이크 경로의 단조적 경로 구조를 자연스럽게 캡처하는 새로운 문제인 EndOfPotentialLine을 정의하고 형식화한다.
• EndOfPotentialLine이 EndOfMeteredLine으로의 다항시간 이방향 감소를 통해 CLS에 속함을 입증한다. 이는 이전에 연구된 쿼리 복잡도 하한이 존재하는 문제이다.
• P-LCP를 EndOfPotentialLine으로 감소시킴으로써, P-LCP가 EndOfPotentialLine만큼 어렵지 않음을 보이고, 이는 P-LCP가 CLS-완전일 수 있음을 시사한다.
• PPAD와 PLS의 회로 기반 시각을 잠재력 함수를 통해 통합함으로써, CLS-완전성에 대한 더 자연스러운 후보를 제공한다.

제안 방법

• EndOfPotentialLine을 총 탐색 문제로 정의한다. 여기서 잠재력 함수가 감소하는 방향의 유한한 방향 경로가 보장되며, 해는 싱크 또는 잠재력 단조성 위반점이 된다.
• 잠재력 값을 경로 거리에 인코딩하여 EndOfPotentialLine에서 EndOfMeteredLine으로의 다항시간 감소를 구성함으로써, 경로 구조와 단조성을 유지한다.
• EndOfMeteredLine에서 EndOfPotentialLine으로의 역방향 감소를 증명하기 위해, 진행도를 추적하는 잠재력 함수를 사용하여 메터드 경로 이동을 시뮬레이션한다.
• 레이크 알고리즘의 단조성에 기반하여, 레이크 경로 단계를 잠재력 감소 이동으로 인코딩함으로써 P-LCP를 EndOfPotentialLine으로 감소시킨다.
• EndOfPotentialLine과 EndOfMeteredLine 사이의 이방향 감소를 통해, EndOfMeteredLine이 이미 CLS에 속해 있음을 고려하여 EndOfPotentialLine이 CLS에 속함을 입증한다.
• MetametricContraction을 새로운 CLS-완전 문제로 도입한다. 이는 Contraction으로의 다항시간 감소를 증명함으로써 Contraction과 관련이 깊으며, Contraction으로부터의 감소도 증명한다.

실험 결과

연구 질문

• RQ1 P-행렬 LCP에서의 레이크 경로의 단조적 경로 구조를 자연스럽게 캡처할 수 있는 새로운 문제를 정의할 수 있으며, 이 문제가 CLS에 속하는가?
• RQ2 EndOfPotentialLine이 EndOfMeteredLine으로 다항시간 감소 가능한가? 그 반대도 가능한가? 이는 다항시간 감소 하에 두 문제가 동치임을 의미한다.
• RQ3 P-LCP를 EndOfPotentialLine으로 감소시킬 수 있는가? 이는 P-LCP가 이 새로운 문제만큼 어렵지 않음을 보이고, CLS-완전일 가능성을 시사한다.
• RQ4 PPAD 스타일의 경로를 따라 감소하는 잠재력 함수의 존재가 이전의 구성보다 CLS에 더 자연스러운 프레임워크를 제공하는가?
• RQ5 MetametricContraction이 CLS-완전함을 입증할 수 있는가? 이는 클래스에 대한 새로운 표준 문제를 제공할 수 있다.

주요 결과

• EndOfPotentialLine은 이미 CLS에 속해 있는 EndOfMeteredLine으로의 이방향 다항시간 감소를 갖기 때문에 CLS에 속한다.
• P-LCP에서 EndOfPotentialLine으로의 감소는 P-LCP가 EndOfPotentialLine만큼 어렵지 않음을 보여주며, 이는 EndOfPotentialLine이 CLS-완전성에 대한 강력한 후보가 됨을 시사한다.
• MetametricContraction은 CLS-완전함이 증명되었으며, Contraction과 P-LCP 이외의 첫 번째 알려진 CLS-완전 문제를 제공한다.
• EndOfPotentialLine과 EndOfMeteredLine 사이의 이방향 감소는, EndOfPotentialLine이 더 일반적이지만 다항시간 감소 하에 동치임을 보여준다.
• 논문은 레이크 경로의 잠재력 함수 구조를 활용한 새로운 증명 경로를 통해 P-LCP가 CLS에 속함을 입증하였다. 이는 이전에 이 맥락에서 활용되지 않았던 접근 방식이다.
• 결과적으로, EndOfPotentialLine은 나슈 균형이 PPAD가 포괄하는 것과 유사하게 P-LCP의 정확한 복잡도를 캡처하는 데 적합한 복잡도 클래스일 수 있음을 시사한다.