[논문 리뷰] Linear Shift-Register Synthesis for Multiple Sequences of Varying Length

G. Schmidt, Vladimir Sidorenko|ArXiv.org|2006. 05. 09.

Coding theory and cryptography참고 문헌 14인용 수 12

한 줄 요약

이 논문은 길이가 서로 다른 다수의 시퀀스에 대해 선형 이동등록기 합성에 대한 수정된 반복 알고리즘을 제안하며, 길이가 다른 시퀀스에서 최단 등록기를 생성하지 못하는 팡-즈ㄥ 알고리즘의 심각한 결함을 수정한다. 더 긴 시퀀스를 우선 처리하도록 처리 순서를 재정렬하고, 보조 다항식을 1이 아닌 0으로 초기화함으로써 새로운 알고리즘은 최적의 해를 보장하면서도 베르레크암–마스키 유사한 구조와 효율성을 유지한다.

ABSTRACT

The problem of finding the shortest linear shift-register capable of generating t finite length sequences over some field F is considered. A similar problem was already addressed by Feng and Tzeng. They presented an iterative algorithm for solving this multi-sequence shift-register synthesis problem, which can be considered as generalization of the well known Berlekamp-Massey algorithm. The Feng-Tzeng algorithm works indeed, if all t sequences have the same length. This paper focuses on multi-sequence shift-register synthesis for generating sequences of varying length. It is exposed, that the Feng-Tzeng algorithm does not always give the correct solution in this case. A modified algorithm is proposed and formally proved, which overcomes this problem.

연구 동기 및 목표

• 길이가 서로 다른 다수의 시퀀스에 대해 팡-즈ㄥ 알고리즘이 최단 선형 이동등록기를 생성하지 못하는 문제를 해결하기 위해.
• 길이가 다른 시퀀스에 적용했을 때 원래 기본 반복 알고리즘(FIA)이 잘못된 해를 도출하는 근본 원인을 규명하기 위해.
• 길이가 서로 다른 임의의 시퀀스 집합에 대해 최단 가능한 이동등록기를 보장하는 수정된 알고리즘을 개발하기 위해.
• 행렬 기반 원리에서 유도된 구성적이고 단계적인 유도 과정을 통해 신규 알고리즘의 정확성을 공식적으로 증명하기 위해.
• 길이가 서로 다른 시퀀스에 대해 조건부로도 안정적으로 작동하는 베르레크암–마스키 유사 알고리즘을 제공하기 위해.

제안 방법

• 시퀀스를 와일드카드로 모델링한 구조적 행렬에서 선형적으로 종속된 열의 최소 집합을 찾는 문제로 이동등록기 합성 문제를 재정의하기.
• 길이가 긴 시퀀스부터 처리함으로써 최적의 해가 조기 제거되는 것을 방지하는 수정된 FIA(SFIA) 도입하기.
• 보조 다항식 σ(h)(x)의 초기화를 1에서 0으로 변경하여, 행렬 기반 유도와의 등가성을 유지하고 길이가 다른 경우의 초기화 오류를 방지하기.
• 핵심 조건인 n − l > N − Nh 도입: 이 조건은 짧은 시퀀스가 오른쪽에 적절히 정렬되도록 하고, 근사적 처리 순서를 유지한다.
• SFIA의 데이터 흐름을 반영하는 중간 단계를 삽입함으로써 최소 반복 알고리즘(MIA)을 도출하고, 공식적인 정확성 증명을 가능하게 하기.
• MIA를 베르레크암–마스키 스타일의 반복 절차로 변환하고 효율적인 갱신 규칙을 적용함으로써 최종 알고리즘(Algorithm 4)을 구성하기.

실험 결과

연구 질문

• RQ1 왜 원래 팡-즈ㄥ 알고리즘이 길이가 다른 시퀀스에 대해 최단 이동등록기를 생성하지 못하는가?
• RQ2 FIA에서 길이가 다른 경우에 최적해가 아닌 해를 도출하는 구조적 또는 순서 문제의 근본 원인은 무엇인가?
• RQ3 시퀀스 처리 순서를 어떻게 수정하면 최단 해가 항상 제외되지 않도록 보장할 수 있는가?
• RQ4 보조 다항식의 초기화 전략은 어떤 것이면 모든 길이 조합에서 정확성이 보장되는가?
• RQ5 길이가 다른 다중 시퀀스 합성 문제에 대해 베르레크암–마스키 유사 알고리즘을 구성적으로 도출하고 정확성을 공식적으로 증명할 수 있는가?

주요 결과

• 원래 팡-즈ㄥ 알고리즘은 길이가 다른 시퀀스에 대해 항상 최단 선형 이동등록기를 생성하지 않으며, 반례를 통해 이를 입증하였다.
• 실패 원인은 FIA가 고정된 순서로 시퀀스를 처리하고 짧은 시퀀스를 왼쪽에 정렬함으로써 최적의 해가 제외될 수 있기 때문이다.
• 제안된 SFIA 알고리즘은 더 긴 시퀀스를 더 일찍 처리함으로써 정확성을 보장하며, 적절한 정렬을 유지하고 해의 제거를 방지한다.
• 보조 다항식 σ(h)(x)를 1이 아닌 0으로 초기화하는 것이, 행렬 기반 유도와의 등가성을 유지하고 길이가 다른 경우의 정확성을 확보하는 데 필수적이다.
• 최종 알고리즘(Algorithm 4)는 공식적으로 정확성이 증명되었으며, 베르레크암–마스키 알고리즘의 효율성과 구조를 유지하면서도 임의의 길이의 시퀀스에 적용 가능하다.
• 최대 선형 복잡도를 가진 시퀀스(행렬 A의 질서(rank(A)) = N)의 경우에도 알고리즘이 정확하게 작동한다. 이는 원래 GIAMS가 실패하는 경우이다.