[論文レビュー] Linear Shift-Register Synthesis for Multiple Sequences of Varying Length

G. Schmidt, Vladimir Sidorenko|ArXiv.org|May 9, 2006

Coding theory and cryptography参考文献 14被引用数 12

ひとこと要約

本稿では、長さが異なる複数のシーケンスに対する線形シフトレジスタ合成のための修正版反復アルゴリズムを提案する。Feng–Tzengアルゴリズムには、このような状況で最短レジスタを生成しないという深刻な欠陥があるが、それを是正する。処理順序を長さの降順に変更し、補助多項式を1ではなく0に初期化することで、新しいアルゴリズムは最適解の回復を保証する。同時に、Berlekamp–Masseyに類似した構造と効率性を維持する。

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.

研究の動機と目的

• 長さが異なる複数のシーケンスに対して、Feng–Tzengアルゴリズムが最短の線形シフトレジスタを生成しないという問題を解決すること。
• 長さが異なるシーケンスに適用した際、元の基本的反復アルゴリズム（FIA）が誤った解を生成する根本的原因を特定すること。
• 任意の長さのシーケンス集合に対して、最短のシフトレジスタを保証する修正版アルゴリズムを開発すること。
• 行列に基づく原理からの構成的で段階的な導出を用いて、新しいアルゴリズムの正しさを形式的に証明すること。
• 長さが任意の長さであるシーケンスに対しても信頼性高く動作する、Berlekamp–Masseyに類似した強固なアルゴリズムを提供すること。

提案手法

• シーケンスにワイルドカードを用いてモデル化した構造的行列における、線形従属な列の最小集合を求める問題として、シフトレジスタ合成問題を再定式化する。
• 処理順序を長さの降順にすることで、最適解が事前に除外されないよう変更した修正FIA（SFIA）を導入する。
• 補助多項式 σ(h)(x) の初期化を1から0に変更することで、行列に基づく導出と同等の関係を維持し、長さが異なる場合の初期化エラーを回避する。
• 重要な条件として、n − l > N − Nh を導入し、短いシーケンスを右に適切にアラインメントすることで、グリーディー処理順序を維持する。
• SFIAのデータフローを模倣する中間ステップを挿入することで、最小の反復アルゴリズム（MIA）を導出する。これにより、形式的な正しさ証明が可能になる。
• MIAをBerlekamp–Massey風の反復手続きに翻訳し、効率的な更新ルールを備えた最終アルゴリズム（Algorithm 4）を構築する。

実験結果

リサーチクエスチョン

• RQ1 なぜ元のFeng–Tzengアルゴリズムは、長さが異なるシーケンスに対して最短のシフトレジスタを生成しないのか？
• RQ2 FIAに内在する、構造的または順序的な問題は何か？ それが長さが異なる場合に最適でない解を生じる原因となっている。
• RQ3 シーケンスの処理順序をどのように変更すれば、最短解が常に除外されないか？
• RQ4 補助多項式の初期化戦略は、どのようなものであれば、すべての長さの組み合わせに対して正しく保証されるか？
• RQ5 長さが異なる複数シーケンス合成問題に対して、Berlekamp–Masseyに類似したアルゴリズムを形式的に導出し、正しさを証明できるか？

主な発見

• 元のFeng–Tzengアルゴリズムは、長さが異なるシーケンスに対して最短の線形シフトレジスタを常に生成しないことが、反例によって示された。
• 失敗の原因は、FIAが固定順序でシーケンスを処理し、短いシーケンスを左にアラインメントするため、最適解が事前に除外される可能性があることにある。
• 提案されたSFIAアルゴリズムは、長くないシーケンスを先に処理することで、正しい解を保証する。これにより、適切なアラインメントが維持され、解の除外が防がれる。
• 補助多項式 σ(h)(x) を1ではなく0に初期化することが、行列に基づく導出と同等性を維持し、長さが異なる場合の正しさを実現するために不可欠である。
• 最終的なアルゴリズム（Algorithm 4）は、形式的に正しさが証明されており、Berlekamp–Masseyアルゴリズムの効率性と構造を保ちながら、任意の長さのシーケンスに適用可能である。
• このアルゴリズムは、最大線形複雑度（rank(A) = N）を持つシーケンスに対しても正しく動作する。これは、元のGIAMSが失敗するケースである。