유한체 다항식 인수분해를 위한 균형 테스트

초록

본 논문은 ERH 가정 하에 다항식 인수분해 알고리즘을 개선한다. 기존 가오 알고리즘이 실패하는 ‘제곱 균형’ 조건을 넘어, ‘교차 균형’이라는 더 강한 대칭성을 정의하고, 이를 이용해 대부분의 입력에 대해 결정론적 다항식 시간으로 인수를 찾거나, 무작위 선택 시에도 다항식 시간으로 성공한다.

상세 분석

가오(2001)의 알고리즘은 입력 다항식 f 가 ‘제곱 균형(squared‑balanced)’일 때만 인수분해에 실패한다. 이 논문은 그 개념을 일반화하여 ‘k‑교차 균형(k‑cross‑balanced)’이라는 새로운 대칭성을 도입한다. 구체적으로, f 를 완전 분해된 단조 다항식으로 두고, 임의이지만 결정적으로 선택된 보조 다항식 p₁,…,p_k (deg p_l ≤ (poly (n log p))) 를 이용해 f_l = ∏_{i=1}^n (x − p_l(ξ_i)) 를 만든다. 각 f_l 에 대해 집합 Δ^{(l)}i 를 정의하고, 이를 교차적으로 교집합한 D_i^{(l)} 로부터 방향 그래프 G_l (V = {v₁,…,v_n}) 를 만든다. G_l 의 정점 i 에서 j 로 향하는 간선은 j ∈ D_i^{(l)} 인 경우이다. 중요한 관찰은 G_l 이 정규(t‑regular) 그래프이면, f_l 은 제곱‑균형 형태 ˜f_l^{d_l} 로 표현될 수밖에 없으며, 이는 f 가 k‑교차 균형임을 의미한다. 반대로 어느 단계 l 에서든 G_l 이 비정규이면, G_l 의 구조를 이용해 ˜f_l 의 영인자를 찾아 f 의 비자명 인수를 다항식 시간에 추출한다. 정리 1.1 은 “어떤 l 에서든 G_l 이 비정규이면 O(l·(n log p)^{O(1)}) 시간에 인수를 얻는다”는 것을 보이며, 모든 G_l 이 정규이면서 적어도 ⌈log₂ n⌉ 개가 서로 다른 경우에도 O(k·(n log p)^{O(1)}) 시간에 인수를 찾는다. 여기서 ‘서로 다름’은 G_l ≠ G{l‑1} 를 의미한다. 교차 균형이 성립하면 그래프들의 정규도가 매우 커야 하므로, 실제 대부분의 다항식은 이 조건을 위반한다. 따라서 제안된 알고리즘은 결정론적 상황에서 기존 최선의 복잡도보다 개선된 시간복잡도를 제공한다. 또한 p_l 을 무작위로 선택하면 G_l 이 정규가 될 확률이 매우 낮아, 무작위 버전은 전형적인 입력에 대해 다항식 시간으로 성공한다. 이와 같이 ‘균형 테스트’는 루트들의 비대칭성을 정량화하고, 이를 그래프 이론적 구조와 연결함으로써 인수분해 문제에 새로운 접근법을 제시한다.