[논문 리뷰] How NP got a new definition: a survey of probabilistically checkable proofs

Sanjeev Arora|ArXiv.org|2003. 04. 28.

Complexity and Algorithms in Graphs참고 문헌 55인용 수 12

한 줄 요약

이 논문은 확률적 검증 가능 증명(PCP) 정리들을 조사한다. 이 정리는 NP를 읽는 데 상수 개의 비트만 사용하고 로그 수준의 난수를 사용하여 검증 가능한 증명을 가진 문제의 집합으로 재정의한다. 주요 기여는 NP 문제들이 올바른 증명은 항상 수락하고 잘못된 증명은 높은 확률로 기각하는 확률적 검증 가능 증명을 갖는다는 점으로, 이는 최적화 문제에 대한 강력한 근사 불가능성 결과를 가능하게 한다.

ABSTRACT

We survey a collective achievement of a group of researchers: the PCP Theorems. They give new definitions of the class p, and imply that computing approximate solutions to many p-hard problems is itself p-hard. Techniques developed to prove them have had many other consequences.

연구 동기 및 목표

• 복잡도 이론에서 PCP 정리의 발전과 영향을 조사하는 것.
• O(log n)의 난수 비트와 O(1)의 질의 비트를 사용하여 확률적 검증 가능 증명을 갖는 문제의 집합으로 NP를 재정의하는 방법을 설명하는 것.
• 이러한 정리들이 많은 NP-난이도 최적화 문제를 특정 비율 이내로 근사하는 것이 자체적으로 NP-난이도임을 보여주는 방식을 설명하는 것.
• 저차수 테스트와 장코드 인코딩을 포함한 대수 기법이 PCP 시스템을 구성하는 데 어떻게 기여하는지 설명하는 것.
• PCP 기법이 암호학, 코드 이론, 복잡도 클래스 특성화에 미치는 광범위한 영향을 탐색하는 것.

제안 방법

• NP = PCP(log n, 1)인 PCP 정리를 활용하여, O(1)개의 비트만 읽고 O(log n)의 난수를 사용하여 NP 증명을 검증할 수 있음을 보장한다.
• 함수가 낮은 차수 다항식이나 선형 함수에 가까운지 확인하기 위해 선형성 및 저차수 테스트와 같은 대수 기법을 사용한다.
• 푸리에 분석을 적용하여 선형성 테스트에서 기각 확률의 상한을 구하고, 기각 확률가 가장 가까운 선형 함수와의 거리의 최소 반 이상임을 보여준다.
• 일元다항식의 표를 사용하여 저차수 테스트를 개선함으로써 질의 복잡도를 줄이고 다항식 근접성 검증의 효율성을 높인다.
• GF(2)^n 위의 좌표 함수 집합에 속하는지 검증하기 위해 장코드 테스트를 사용하며, 난수 질의를 통해 선형성에서의 이탈을 탐지한다.
• 리스트 디코딩과 가까운 거리 테스트를 활용하여 함수가 작은 수의 코드워드에 가까운 경우를 다루며, 여러 개의 근접한 코드워드가 존재하는 경우에도 강력한 검증이 가능하게 한다.

실험 결과

연구 질문

• RQ1 NP 문제는 증명에서 상수 개의 비트만 읽고 로그 수준의 난수를 사용하여 검증할 수 있는가?
• RQ2 PCP 정리와 MAX-3SAT과 같은 NP-난이도 최적화 문제의 근사 불가능성 간의 관계는 무엇인가?
• RQ3 다항식과 오류 수정 코드의 대수적 성질을 어떻게 활용하여 효율적인 확률적 검증 가능 증명을 구성할 수 있는가?
• RQ4 PCP 기법은 PSPACE나 PH와 같은 복잡도 클래스의 정의에 어떤 영향을 미치는가?
• RQ5 PCP 구성 방식은 암호학, 코드 이론, 결정성 제거 등 다른 분야에 어떤 영향을 미치는가?

주요 결과

• PCP 정리는 NP = PCP(log n, 1)임을 확립하여, 어떤 NP 문장이라도 O(1)개의 비트를 읽고 O(log n)의 난수 비트를 사용하여 검증 가능한 증명을 갖는다는 것을 의미한다.
• 모든 NP 문제에 대해, 올바른 증명은 항상 수락되고, 잘못된 증명은 300비트를 검사할 때 최소 1 - 2^(-100)의 확률로 기각된다.
• PCP 정리는 MAX-3SAT을 8/7 - ε 이내로 근사하는 것이 NP-난이도임을 시사하며, 좋은 근사가 정확한 계산만큼 어렵다는 것을 보여준다.
• 선형성 테스트의 기각 확률 γ ≥ δ(f, C₁)/2이며, 여기서 δ(f, C₁)는 f와 가장 가까운 선형 함수 사이의 거리이다.
• 저차수 테스트는 함수 f가 어떤 차수-d 다항식에서도 멀리 떨어져 있을 경우, 최소 min{0.1, δ(f, C₂)/2}의 확률로 기각함을 보장한다.
• 장코드 테스트는 f가 좌표 함수에 가까울 경우에만 높은 확률로 수락되며, 이 테스트의 구조는 MAX-Cliq와 같은 문제에 대해 강력한 근사 불가능성 결과를 도출할 수 있게 한다.