摘要
根据本文作者之一(1991)提出的S_(BOS)相邻逻辑对称序列的性质,给出确定S_(BOS)对称序列左右界两顶点子集的一个通项公式。这对于利用“对跳定界搜索”法快速实现S_(BOS)对称序列,提供了一个选择定界范围和实用算法的依据。
According to the quality of symmetrical sequence for SBOS neighbouring logic, a general formula for determining the vertex subset of left and right bounds-of SBOS bound sequence is given. A foundation of practical algorithm which can be used to select the bound range is provided for fast realizing SBOS symmetrical sequence with the method of 'search of bounce bound'.
关键词
定界序列
辅助序列
通项公式
SBOS
S_BOS^B1 bound sequence
Supplementary sequence of S_BOS^I1 bound
General formula
