[논문 리뷰] The Computational Complexity of the Frobenius Problem

Shunichi Matsubara|arXiv (Cornell University)|2016. 02. 18.

Commutative Algebra and Its Applications참고 문헌 28인용 수 3

한 줄 요약

이 논문은 카프 감소를 통한 Karp 감소를 통해 결정 문제 버전의 프로베누스 문제의 계산 복잡도를 증명함으로써 $Σ_2^P$-완전성을 확립한다. 증명은 두 개의 카프 감소를 포함한다: $\Pi_2^P$-완전한 3차원 매칭의 변형에서 $\Pi_2^P$-완전한 정수 배낭 문제의 변형으로의 감소, 그리고 그 다음에는 프로베누스 결정 문제의 여집합으로의 감소로 이어지며, 이는 문제의 복잡도에 대해 처음으로 비트리비얼 상한과 하한을 확립한다.

ABSTRACT

In this paper, as a main theorem, we prove that the decision version of the Frobenius problem is Sigma_2^P-complete under Karp reductions.Given a finite set A of coprime positive integers, we call the greatest integer that cannot be represented as a nonnegative integer combination of A the Frobenius number, and we denote it as g(A). We call a problem of finding g(A) for a given A the Frobenius problem; moreover, we call a problem of determining whether g(A) >= k for a given pair (A, k) the decision version of the Frobenius problem, where A is a finite set of coprime positive integers and k is a positive integer. For the proof, we construct two Karp reductions. First, we reduce a 2-alternating version of the 3-dimensional matching problem, which is known to be Pi_2^P-complete, to a 2-alternating version of the integer knapsack problem. Then, we reduce the variant of the integer knapsack problem to the complement of the decision version of the Frobenius problem. As a corollary, we obtain the main theorem.

연구 동기 및 목표

• 집합 $A$의 서로소 정수들에 대한 프로베누스 수 $g(A)$가 주어진 $k$ 이상인지 여부를 묻는 결정 문제의 계산 복잡도를 규명하는 것.
• 라미레스-알포신이 제기한 열려 있던 질문, 즉 프로베누스 문제의 카프 감소에 의한 $Σ_2^P$-완전성 여부를 해결하는 것.
• 다항시간 계층 구조에 대한 복잡도 상대성에 기반하여, 프로베누스 문제의 함수 버전인 $F$ Frobenius에 대해 처음으로 비트리비얼 상한과 하한을 제공하는 것.
• 특히 2-교차하는 3차원 매칭 문제와 2-교차하는 정수 배낭 문제의 알려진 $\Pi_2^P$-완전 문제로부터의 감소를 통해 문제의 구조를 분석하는 것.

제안 방법

• 결정 문제 $\Pi_2$3D Matching에서 $\Pi_2^P$-완전한 정수 배낭 문제의 변형인 $\Pi_2$Assoc Integer Knapsack로의 카프 감소를 구성한다.
• $\Pi_2$Assoc Integer Knapsack를 정수 배낭 문제의 2-교차 버전으로 정의하며, 이는 프로베누스 문제와 관련된 존재적 및 전칭적 양화자들의 논리적 교차를 반영한다.
• $\Pi_2$Assoc Integer Knapsack에서 결합 프로베누스 결정 문제인 $\text{coFrobenius}$로의 카프 감소를 확립하여, $\text{coFrobenius}$가 $\Pi_2^P$-난이도를 가짐을 보인다.
• $\text{coFrobenius}$가 $\Pi_2^P$에 속함을 증명함으로써 $\text{coFrobenius} \in \Pi_2^P$임을 확립하고, $\text{coFrobenius}$가 $\Pi_2^P$-완전함을 증명한다.
• 쌍대성에 기반하여 $\text{Frobenius} = \neg \text{coFrobenius}$이므로 결정 프로베누스 문제의 $\Sigma_2^P$-완전성을 유도하고, 이를 통해 함수 버전 $F$ Frobenius의 복잡도를 묶는다.
• 단순 경로 계산을 통해 유도된 가중치가 부여된 방향 그래프 기반의 다항시간 알고리즘을 통해 알고리즘적 함의를 분석하며, 이는 문제의 약한 $\Sigma_2^P$-난이도를 시사한다.

실험 결과

연구 질문

• RQ1 결정 문제 버전의 프로베누스 문제, 즉 프로베누스 문제는 카프 감소에 의해 $\Sigma_2^P$-완전한가?
• RQ2 프로베누스 문제는 $\Pi_2$3D Matching나 $\Pi_2$Assoc Integer Knapsack와 같은 알려진 $\Pi_2^P$-완전 문제로 감소 가능하거나 그 반대일 수 있는가?
• RQ3 결정 문제의 복잡도를 고려할 때, 함수 문제 버전인 $F$ Frobenius에 대해 가장 날카로운 복잡도 클래스는 무엇인가?
• RQ4 프로베누스 문제에 대해 다항시간 알고리즘이 존재하는 것은 그것이 강한 $\Sigma_2^P$-난이도가 아니라는 것을 의미하는가?
• RQ5 프로베누스 문제는 $\mathsf{NP} = \Sigma_2^P$와 같은 복잡도 이론의 주요 열린 문제를 해결하는 데 후보가 될 수 있는가?

주요 결과

• 결정 문제 버전인 프로베누스 문제의 $\Sigma_2^P$-완전성이 카프 감소를 통해 증명되었으며, 이는 라미레스-알포신이 제기한 열린 문제를 해결한 것이다.
• 여집합 문제인 $\text{coFrobenius}$는 새로운 정의된 정수 배낭 문제의 2-교차 변형인 $\Pi_2$Assoc Integer Knapsack에서의 카프 감소를 통해 $\Pi_2^P$-완전성이 입증되었다.
• 함수 문제 버전인 $F$ Frobenius는 입력 집합 $A$로부터 유도된 가중치가 부여된 방향 그래프에서의 최단 경로 계산 기반의 다항시간 알고리즘에 의해 약한 $\Sigma_2^P$-난이도를 가짐을 보였다.
• 문제가 $\mathsf{D}_2^P$에 속해 있음을 입증하였으며, 논문은 정확한 프로베누스 문제가 $\mathsf{D}_2^P$-완전일 수 있다고 추측하지만, 이는 아직 열려 있다.
• 다항시간 알고리즘이 존재한다는 것은 문제가 강한 $\Sigma_2^P$-난이도가 아니라는 것을 시사하며, 이는 근사화 방법의 가능성과 관련이 있다. 다만 현재까지는 FPTAS가 알려져 있지 않다.
• 이 결과는 $F$ Frobenius에 대해 처음으로 비트리비얼 상한을 제공하며, $\mathsf{F}\Delta_3^P$ 내에 포함됨을 보여주며, 향후 근사화 및 구조적 복잡도 이론 연구의 길을 열어 놓았다.