[论文解读] 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算法在该情况下无法生成最短寄存器的严重缺陷。通过优先处理更长序列并将其辅助多项式初始化为零而非一，新算法在保持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的迭代过程，并采用高效的更新规则，最终构建出算法（算法4）。

实验结果

研究问题

• RQ1 为何原始Feng–Tzeng算法在序列长度不同时无法生成最短移位寄存器？
• RQ2 FIA中何种结构或排序问题导致在长度不等情况下产生次优解？
• RQ3 如何修改序列的处理顺序，以确保最优解不会被排除？
• RQ4 辅助多项式采用何种初始化策略，可确保在所有序列长度组合下均保持正确性？
• RQ5 能否为长度各异的多序列合成问题，形式化推导并证明一个类似Berlekamp–Massey算法的正确性？

主要发现

• 原始Feng–Tzeng算法在序列长度不同时并不总能生成最短线性移位寄存器，反例已证明此问题存在。
• 该缺陷源于FIA以固定顺序处理序列，并将较短序列左对齐，可能导致最优解被排除。
• 所提出的SFIA算法通过优先处理更长序列，保持正确对齐并防止解被排除，从而确保正确性。
• 将辅助多项式σ(h)(x)初始化为零而非一，是保持与基于矩阵推导等价性、确保长度不等情况下正确性的关键。
• 最终算法（算法4）已形式化证明正确，同时保持Berlekamp–Massey算法的效率与结构特征，适用于任意长度的序列。
• 该算法在序列具有最大线性复杂度（rank(A) = N）的情况下仍能正确运行，而原始GIAMS在此情况下会失效。