[논문 리뷰] Report on Generic Case Complexity

Robert H. Gilman, Alexei Myasnikov외 2명|ArXiv.org|2007. 07. 10.

Complexity and Algorithms in Graphs참고 문헌 20인용 수 9

한 줄 요약

이 논문은 점근 밀도 1을 가지는 '일반적인' 입력 집합에 초점을 맞추어 알고리즘의 행동을 분석함으로써 계산의 어려움을 평가하는 프레임워크로 일반적인 케이스 복잡도를 도입한다. 이는 희귀하고 특이한 케이스를 무시한다. 이 프레임워크는 허무한 문제, 포스트 대응 문제, 3-SAT와 같은 문제들이 일반적인 집합에서 다항 시간 내에 해결될 수 있음을 보여주며, 이는 최악의 경우에서 결정 불가능하거나 NP-완전한 문제들임에도 불구하고 실용적이고 더 넓은 측도를 제공한다.

ABSTRACT

This article is a short introduction to generic case complexity, which is a recently developed way of measuring the difficulty of a computational problem while ignoring atypical behavior on a small set of inputs. Generic case complexity applies to both recursively solvable and recursively unsolvable problems.

연구 동기 및 목표

• 최악의 경우나 평균의 경우 행동이 아닌 일반적인 입력에 초점을 맞춘 새로운 복잡도 측도로 일반적인 케이스 복잡도를 제안하는 것.
• 조합론적 군 이론에서 결정 불가능한 문제들, 예를 들어 단어 문제와 공轭 문제 등이 일반적인 집합에서 선형 시간 내에 해결될 수 있음을 보여주는 것.
• 일반적인 케이스 복잡도와 평균의 경우 복잡도를 비교하여, 더 넓은 범위와 직접적인 적용 가능성을 강조하는 것.
• 일반적인 다항 시간(GenP)과 평균의 다항 시간(AvP)이 상호 비교 불가능함을 증명하면서도, 평균의 경우 다항 함수의 큰 클래스가 동시에 일반적인 다항 시간임을 보여주는 것.
• 미래의 연구를 위한 기초를 마련하여, 일반적인 집합에서의 일반적인 케이스 완전성과 결정 불가능성에 대해 논의하는 것.

제안 방법

• 입력 집합 I와 그 양의 부분집합 L 또는 관계 R을 사용하여 결정 문제와 탐색 문제를 정의하고, 입력 길이를 측정하기 위해 σ: I → ℕ 함수를 정의한다.
• 점근 밀도 ρ(S) = limₙ→∞ |S ∩ Iₙ| / |Iₙ| 를 도입하여 점근 밀도 1을 가지는 일반적인 집합을 식별한다. 알고리즘의 평가가 이 집합에서 이루어진다.
• 점근 밀도 1을 가지는 집합에서 다항 시간 내에 작동하는 알고리즘으로 일반적인 다항 시간(GenP)을 정의한다.
• 구 Bₙ의 크기 n에 대해 구형 분포 μₙ을 사용하여 평균의 경우 복잡도를 정의하고, ∫f^ε dμ < ∞ 를 만족하는 어떤 ε > 0 이 존재하면 함수가 평균적으로 다항 시간임을 정의한다.
• AvP와 GenP 간의 비교를 통해, AvP와 GenP가 상호 비교 불가능하나, 구상에서 평균적으로 다항 시간인 함수는 일반적으로 다항 시간임을 보여주는 방식으로 일반적인 케이스 복잡도와 평균의 경우 복잡도를 비교한다.
• 알고리즘이 구형 분포 하에서 기대 시간이 다항식으로 유계이면, 그 알고리즘이 일반적인 다항 시간 내에 작동함을 증명한다.

실험 결과

연구 질문

• RQ1 최악의 경우에서 결정 불가능한 계산 문제들도 일반적인 입력 집합에서는 효율적으로 해결될 수 있는가?
• RQ2 범위, 적용 가능성, 기술적 요구사항 측면에서 일반적인 케이스 복잡도는 평균의 경우 복잡도와 어떻게 비교되는가?
• RQ3 최악의 경우나 평균의 경우 복잡도가 비효율적인 경우에도 일반적인 다항 시간 해결이 가능한 자연스러운 문제 클래스가 존재하는가?
• RQ4 일반적인 집합에서 결정 불가능한 문제들로 일반적인 케이스 복잡도 프레임워크를 확장할 수 있는가?
• RQ5 평균적으로 다항 시간인 함수들과 일반적으로 다항 시간인 함수들 사이의 관계는 무엇인가?

주요 결과

• 유한 생성 군에서의 단어 문제, 공轭 문제, 멤버십 문제는 일반적인 입력 집합에서 선형 시간 내에 해결될 수 있다. 이는 일반적으로 재귀적으로 해결 불가능한 문제임에도 불구하고 성립한다.
• 허무한 문제와 포스트 대응 문제는 최악의 경우에서 결정 불가능하지만, 일반적인 집합에서는 다항 시간 내에 해결될 수 있다.
• 3-만족성 문제(3-SAT)는 일반적인 입력 집합에서 다항 시간 내에 해결 가능함을 보여주며, 이는 NP-완전성이라는 점이 일반적인 인스턴스에서의 효율적 성능를 막지 못한다는 것을 시사한다.
• 일반적인 케이스 복잡도는 결정 가능하거나 결정 불가능한 문제 모두에 적용 가능하며 대부분의 입력에서의 성능를 직접 측정하므로, 평균의 경우 복잡도보다 더 넓고 단순한 측도이다.
• AvP(평균 다항 시간)에 속하지만 GenP(일반적인 다항 시간)에 속하지 않는 함수들이 존재하며, 그 반대의 경우도 존재하므로 AvP와 GenP는 상호 비교 불가능한 복잡도 클래스임을 보여준다.
• 함수 f가 구형 분포에 대해 평균적으로 다항 시간이면, 그 함수는 일반적으로 다항 시간임을 보여주며, 이는 두 프레임워크 간에 중요한 겹침이 있음을 확인한다.