실수근 존재 판정 새로운 접근과 3‑SAT 다변량 다항식 변환

본 논문은 “정수계수 일변량 다항식의 실수근 존재 여부를 결정하는 새로운 방법”과 “3‑SAT 문제를 다변량 실수다항식으로 변환하는 기법”을 제시한다. 1. **문제 정의와 기본 개념** 저자는 정수계수 일변량 다항식 \(P(x)=a_0+a_1x+\dots +a_Nx^N\)을 대상으로, 실수근이 존재하는지 여부를 판단하고자 한다. 기존에는 Sturm 체인, Descartes 부호법칙, 혹은 근사적 수치 방법이 사용되었으며, 이들은 모두 다항식 차수와 계수 크기에 대해 다항시간 알고리즘을 제공한다. 2. **여섯 가지 정리** - **정리 1**: 양의 실수 \(p,q\)에 대해 \(((x-p)^2+q^2)\)와 곱해지는 다항식 \(R(x)\)가 존재하며, 그 차수는 \(1+\lfloor\pi p/q\rfloor\)이다. 증명은 두 개의 레마(1.1, 1.2)를 통해 \(p:q\) 비율만이 차수를 결정한다는 결론을 끌어낸다. 그러나 증명 과정은 삼각함수와 원주율 근사에 기반한 경험적 관찰에 머물며, 일반적인 경우에 대한 형식적 증명이 결여돼 있다. - **정리 2**: \(Q(x)\)의 실근 존재 여부는 \(Q(x)^2\)를 \(\prod_i ((x-p_i)^2+q_i^2)\) 형태로 분해하는 문제와 동등하다고 주장한다. 이는 복소근이 쌍을 이루는 기본적인 사실을 재진술한 것에 불과하다. - **정리 3**: 각 복소근의 실·허수 비율 \(|p_i/q_i|\)에 대한 하한을 \((2\beta-1)(MN)^2\)로 제시한다. 여기서 \(\beta\)는 최소 비영 imag 부분 혹은 실·허수 비율을 의미한다. 증명은 “표현 정밀도”라는 비공식적 개념과 레마 3.1·3.2에 의존한다. 실제로는 근의 크기와 계수의 최대값 사이에 이런 단순한 곱셈 관계가 성립한다는 근거가 부족하다. - **정리 4**: 양의 실근이 없으면 \(P(x)\)는 양계수 실수다항식의 인수이다. 이는 Descartes 부호법칙과 Polya의 정리를 일변량에 적용한 형태이며, 이미 알려진 결과다. - **정리 5**: 정리 4와 동등하게, 양의 실근이 없을 경우 양계수 다항식 \(U(x)\)와 곱해 모든 계수가 양수가 되는 다항식이 존재한다는 것을 주장한다. - **정리 6**: 양의 실근이 \(k\)개이면, 적절한 양계수 다항식 \(U(x)\)와 곱했을 때 결과 다항식의 계수 부호가 정확히 \(k\)번 바뀐다고 한다. 이는 근의 다중도와 부호 변화를 연결하려는 시도지만, 일반적인 경우에 대한 엄밀한 증명이 제공되지 않는다. 3. **알고리즘 설계** 저자는 위 정리들을 이용해 다음과 같은 절차를 제안한다. - 입력 다항식 \(P(x)\)를 제곱해 복소근 쌍 형태로 분해한다. - 각 쌍 \(((x-p_i)^2+q_i^2)\)에 대해 정리 1에 의해 차수 \(\approx \pi p_i/q_i\)인 양계수 다항식 \(R_i(x)\)를 만든다. - 모든 \(R_i(x)\)를 곱해 전체 다항식 \(T(x)\)를 얻고, 최종적으로 \(P(x)^2 T(x)\)가 양계수 다항식이 되는지 확인한다. - 만약 양계수 다항식이 된다면 \(P(x)\)는 양의 실근이 없다고 판단한다. 이 알고리즘의 핵심은 차수가 \(\pi p_i/q_i\)인 \(R_i(x)\)를 구성하는데, \(p_i/q_i\)가 입력 계수에 비해 매우 크게 될 경우 차수가 지수적으로 커진다. 따라서 전체 알고리즘은 입력 크기에 대해 다항시간을 보장하지 못한다. 실제로 기존 Sturm 체인 알고리즘이 \(O(N^2)\) 정도의 시간에 실근 존재 여부를 판단할 수 있는 반면, 제안된 방법은 차수와 계수 크기가 급증해 실용성이 떨어진다. 4. **3‑SAT 다변량 변환** 논문은 3‑SAT 인스턴스를 다음과 같이 변환한다. - 각 변수 \(x_j\)를 실수 변수 \(y_j\)로 치환하고, 리터럴을 \((y_j-1)^2\) 혹은 \(y_j^2\) 형태의 제곱항으로 표현한다. - 각 절을 곱셈 형태로 결합해 전체 식 \(F(y_1,\dots,y_m)\)를 만든다. - 모든 계수를 양수로 만들기 위해 추가적인 양계수 다항식 \(G\)를 곱한다. 저자는 “\(F\cdot G\)가 양계수를 유지할 경우에만 원 3‑SAT 인스턴스가 만족 불가능”이라고 주장한다. 이는 SAT을 다항식 형태로 인코딩하는 기존 연구와 유사하지만, 양계수 유지와 불만족성 사이의 정확한 논리적 대응을 증명하지 않는다. 또한, 변환 후 다항식의 차수와 계수는 입력 절 수에 대해 지수적으로 증가하므로, 변환 자체가 이미 co‑NP‑hard인 문제를 다항시간에 해결하려는 시도로 보인다. 5. **비판 및 결론** - **정리들의 엄밀성**: 정리 1·3·6은 비형식적 증명에 의존하고, 핵심적인 수학적 논증이 결여돼 있다. 특히 정리 1의 차수 상한은 실험적 관찰에 기반한 추정이며, 일반적인 경우에 대한 증명이 없다. - **알고리즘 복잡도**: 차수와 계수가 입력 크기에 대해 지수적으로 커지는 구조이므로, 실제로는 다항시간 알고리즘이 아니다. 기존 Sturm 체인이나 실근 구간 탐색 알고리즘보다 효율성이 떨어진다. - **3‑SAT 변환의 실용성**: 변환 후 양계수 여부를 판단하는 문제 자체가 이미 co‑NP‑hard이며, 논문은 이를 회피하는 방법을 제시하지 않는다. 따라서 제안된 변환이 복잡도 이론에 새로운 통찰을 제공한다는 주장은 설득력이 부족하다. 전반적으로 논문은 알려진 사실을 복잡한 언어와 비형식적 증명으로 포장했으며, 제안된 알고리즘과 변환이 실제로 효율적이거나 새로운 복잡도 경계를 제시한다는 증거가 부족하다. 향후 연구에서는 정리들의 엄밀한 증명, 차수·계수 폭에 대한 명확한 상한, 그리고 실제 구현 가능한 다항시간 알고리즘 설계가 필요하다.