유한체 방정식 해결을 위한 효율적 특성집합 알고리즘과 암호분석 응용

초록

본 논문은 유한체 위 다항식 방정식 시스템의 해를 구하기 위한 특성집합 방법을 개선한다. ‘적절한 삼각집합(proper triangular set)’ 개념을 도입하고, 단조(mon​ic) 혹은 정규(regular)인 경우 해의 개수를 정확히 계산하는 식을 제시한다. 또한, 일반 형태의 방정식 시스템을 단조 적절 삼각집합들의 해 집합 합으로 분해하는 개선된 영(零) 분해 알고리즘을 설계한다. Boolean 다항식에 대해서는 곱셈을 전혀 사용하지 않는 특성집합 방법을 제시해 다항식 크기를 효과적으로 제어하고, 비트 규모 복잡도와 실험 결과를 통해 기존 기법 대비 뛰어난 효율성을 입증한다.

상세 분석

이 논문은 유한체 ( \mathbb{F}_q ) 위에서 정의된 다항식 방정식 시스템을 해결하기 위한 특성집합(Characteristic Set) 이론을 심도 있게 확장한다. 기존 특성집합 방법은 삼각형 형태의 다항식 집합을 구성해 변수들을 순차적으로 제거하는 방식이었지만, 해의 존재 여부와 개수를 정확히 파악하기 위해서는 ‘정규성(regularity)’과 ‘단조성(monic)’ 조건이 필수적이었다. 저자들은 여기서 한 단계 더 나아가 ‘적절한 삼각집합(proper triangular set)’이라는 새로운 정의를 도입한다. 적절함은 각 다항식의 주다항식이 앞선 다항식들의 선형 결합으로 표현될 수 없으며, 동시에 모든 잔여식이 해당 삼각집합에 의해 완전히 소거될 수 있음을 의미한다. 이러한 구조적 제약은 삼각집합이 실제로 해 공간을 정확히 분할한다는 수학적 보장을 제공한다.

주요 정리 중 하나는 ‘단조·정규 삼각집합의 해 개수 공식’이다. 저자들은 각 변수 (x_i) 에 대해 해당 다항식의 차수 (d_i) 와 계수의 비영성(non‑zero) 여부를 이용해, 전체 해의 수를
\