최단 길이 시프트 레지스터의 파라미터화 알고리즘

초록

본 논문은 유한환 Z_{p^r} 위에서 주어진 수열 S₁,…,S_N 에 대한 최단 피드백 시프트 레지스터(FSR)를 찾는 새로운 반복 알고리즘을 제시한다. 알고리즘은 각 원소를 순차적으로 처리하면서 최소 Gröbner 기저의 특수 형태를 구축하고, 이를 통해 모든 최단 FSR의 파라미터화를 효율적으로 얻는다. 또한 역수열 S_N,…,S₁ 에 대해서도 동일한 파라미터화를 동시에 계산한다는 특징을 가진다.

상세 분석

이 연구는 유한환 Z_{p^r} (p는 소수, r은 양의 정수) 위에서 피드백 시프트 레지스터(FSR)의 최소 차수를 찾는 문제를 다루며, 특히 “최단 길이”라는 제약 하에 모든 가능한 레지스터를 완전히 기술하는 파라미터화 방법을 제시한다는 점에서 의미가 크다. 기존 문헌에서는 단일 최단 레지스터를 구하는 알고리즘만이 알려져 있었으며, 모든 최단 해를 열거하거나 파라미터화하는 방법은 제시되지 않았다. 본 논문은 이러한 공백을 메우기 위해 Gröbner 기저 이론을 활용한다. 구체적으로, 입력 수열 S₁,…,S_N 을 다항식 형태로 표현하고, 해당 다항식 집합에 대한 모듈러 사상 아래 최소 Gröbner 기저를 구성한다. 여기서 “특수 형태”란 각 단계에서 기저의 선도항이 서로 다른 차수를 갖도록 정렬된 형태를 의미한다.

알고리즘은 다음과 같은 핵심 절차를 따른다. 첫 번째 원소 S₁ 로 초기화된 기저를 만든 뒤, i번째 원소 S_i 를 추가할 때마다 기존 기저에 새로운 다항식을 삽입하고, 선도항을 비교·교환하는 단순한 업데이트 규칙을 적용한다. 이 과정은 기존의 Buchberger 알고리즘에서 사용되는 S-다항식 계산을 대폭 간소화시켜, O(N·p^r) 수준의 시간 복잡도를 달성한다. 중요한 점은 업데이트가 선형 연산만으로 이루어지므로, 각 단계에서 기저의 차수와 계수 구조가 명확히 유지된다는 것이다.

또한, 알고리즘은 역수열 S_N,…,S₁ 에 대한 기저도 동시에 생성한다. 이는 기저의 대칭성에 기반한 것으로, 현재 단계에서 얻어진 기저를 뒤집어 적용함으로써 별도의 연산 없이 역방향 파라미터화를 얻는다. 결과적으로, 한 번의 실행으로 두 방향 모두에 대한 최단 FSR 파라미터 집합을 확보할 수 있다.

이론적 측면에서는, 제시된 기저가 실제로 최소 차수의 FSR를 완전히 기술한다는 증명을 제공한다. 특히, 기저의 각 원소가 선도항을 기준으로 독립적인 자유 변수를 포함하고, 이 자유 변수들의 조합이 모든 가능한 최단 레지스터를 생성함을 보인다. 따라서 파라미터화는 선형 대수적 구조를 갖는 모듈러 공간으로 해석될 수 있다.

실험적 검증에서는 p=2, r=3 등 다양한 파라미터 조합에 대해 무작위 수열을 생성하고, 기존 알고리즘과 비교하였다. 결과는 제안된 방법이 메모리 사용량과 실행 시간 모두에서 현저히 우수함을 보여준다. 특히, 수열 길이가 수천에 달할 경우에도 선형적인 성장률을 유지한다.

요약하면, 이 논문은 Gröbner 기저 기반의 반복 업데이트 메커니즘을 통해 유한환 위의 최단 FSR 파라미터화를 효율적으로 수행하는 새로운 알고리즘을 제시하고, 그 이론적 정당성과 실용적 효율성을 동시에 입증한다.