padic 유리근 검출의 거의 NP 완전성

초록

희소한 일변량 다항식이 p‑adic 유리근을 갖는지를 판정하는 문제는 대부분의 입력에 대해 NP에 속함을 보였으며, 일반 삼항식에 대해서는 뉴턴 다각형이 일반적인 경우 다항식 시간 알고리즘을 제시한다. 또한 무작위 감소에 의해 NP‑hard임을 무조건적으로 증명해 기존의 EXPTIME 상한을 크게 개선한다.

상세 분석

본 논문은 p‑adic 체 ℚₚ 위에서 일변량 희소 다항식 f(x)=∑_{i=1}^t c_i x^{a_i} (t는 입력 크기에 비해 작음)의 유리근 존재 여부를 결정하는 복잡도 문제를 체계적으로 분석한다. 먼저 입력을 계수 c_i와 지수 a_i의 2진 표현 길이로 측정하고, 이러한 “희소 인코딩” 하에서 기존 알고리즘이 EXPTIME을 필요로 함을 상기한다. 저자들은 p‑adic 뉴턴 다각형을 이용해 가능한 근의 p‑진법 평가값(vₚ(x))을 제한한다. 구체적으로, 다각형의 각 변은 하나의 기울기 s를 정의하고, 해당 기울기에 대응하는 “주된 부분다항식”은 이항식 형태 c·x^{k} 혹은 이항식의 곱으로 환원된다. 이때 Hensel 보조정리를 적용하면, 주된 부분다항식이 ℤ/p^{ℓ}ℤ에서 해를 갖는지 여부만 검사하면 전체 다항식의 ℚₚ 근 존재를 판정할 수 있다.

주요 기술은 다음과 같다. (1) 뉴턴 다각형의 기울기가 서로 다르면 가능한 평가값의 개수가 t−1 이하로 제한되므로, 각 기울기에 대해 다항식 시간 내에 해 존재 여부를 검증한다. (2) 기울기가 중복되는 경우, 추가적인 “일반성 조건”(예: 해당 변 위의 계수들이 p와 서로소) 하에서 여전히 다항식 시간 알고리즘을 설계한다. 특히 삼항식 f(x)=c₁x^{a}+c₂x^{b}+c₃ (a<b)에 대해, 뉴턴 다각형이 두 개의 서로 다른 기울기를 가질 때, 각 기울기에 대한 이항식 해를 찾는 과정이 O(log p·poly(log |c_i|,log a,b)) 시간에 수행된다.

복잡도 상한 측면에서, 저자들은 “대다수 입력”을 정의하여, 입력이 위의 일반성 조건을 만족하지 않을 확률이 2^{-Ω(n)} 이하임을 보인다. 따라서 무작위 알고리즘이 아닌 결정적 비결정적 기계가 다항식 길이의 증거(즉, 근의 p‑진법 전개와 필요한 Hensel 단계)를 검증할 수 있음을 증명해, 문제는 NP에 포함된다.

하위 복잡도 측면에서는, 일반 일변량 희소 다항식에 대해 무작위 다항식 시간 감소를 이용해 SAT을 변환함으로써 NP‑hard임을 보인다. 이 증명은 이전에 필요했던 “소수의 등차수열 분포에 관한 가설”(예: GRH) 없이 완전히 결정론적이며, 무작위 감소만을 가정한다.

결과적으로, 본 연구는 p‑adic 근 검출 문제의 복잡도 지형을 크게 재구성한다. 기존 EXPTIME 상한을 NP 상한으로 낮추고, 삼항식에 대한 다항식 시간 알고리즘을 제공함으로써 실용적인 계산 가능성을 열었다. 또한 실수 체에서의 유사 결과와 비교해, p‑adic 체에서도 비슷한 복잡도 현상이 나타남을 확인한다.