짧은 프레스버거 산술 문장의 예상치 못한 계산 난해성

초록

이 논문은 변수, 양화자, 부등식의 개수가 고정된 ‘짧은’ 프레스버거 산술 문장의 만족도 판정 문제를 연구합니다. 주요 결과로, 3개 이상의 교대 양화자를 가진 짧은 문장의 결정 문제는 다항 시간 위계(Polynomial Hierarchy)의 해당 단계에서 완전함을 증명하며, 이는 해당 문제가 다항 시간에 풀릴 것이라는 기존 추측을 반증합니다. 또한 정수 계획법의 두 자연스러운 문제에 대한 적용을 통해 그 계산적 난해성을 보여줍니다.

상세 분석

이 논문의 핵심 기술적 통찰은 유한 연속 분수(Continued Fraction)의 기하학적 성질을 활용하여 복잡한 논리적 문장을 저차원 정수 격자 점과 다면체 제약 조건으로 인코딩하는 데 있습니다. 구체적으로, NP-완전한 문제인 AP-COVER(구간을 등차수열로 덮기)를 출발점으로 삼아, 각 등차수열을 하나의 유리수(연속 분수 표현)로 인코딩합니다. 이후 이 연속 분수 표현에서 파생된 수렴수(Convergents)의 기하학적 특성(예: 볼록성, 원시 벡터 성질)을 이용하여, 원래의 논리적 조건 “∃z ∀y ∃x: Φ(x,y,z)“를 5차원 공간에서 최대 10개의 선형 부등식의 논리 조합으로 표현할 수 있음을 보입니다. 이 변환은 파서모니어스(Parsimonious)하여 계수 문제(#P-완전성)로도 확장됩니다.

이 저차원 구성은 이후 9차원과 6차원의 볼록 다면체로 추가적으로 ‘리프팅’되어, 선형 부등식 시스템만을 사용한 정수 계획법 문제(GIP) 형태로도 동일한 난해성이 유지됨을 증명합니다. 특히 6차원의 경우, 다면체의 면 수를 맥뮬렌 상한 정리로 유도할 수 있는 8400개로 제한하면서도 NP-완전성을 유지하는 강력한 결과를 얻습니다. 이러한 접근법은 교대 양화자가 m+2개인 일반적인 경우로 확장되어, 해당 문제가 Σ_P^m-완전 또는 Π_P^m-완전임을 보여주며, 기존 Kannan의 분할 정리(KPT)와 모순되는 정량적 하한을 유도합니다. 이는 고정 차원에서 매개변수화된 정수 계획법의 효율적 분할 가능성에 대한 근본적인 재검토를 촉구합니다.