摘要
本文基于布尔序集相邻逻辑对称关系的二分枝树(T_(BOS))结构模型的研究,从中找出布尔序集相邻逻辑对称序列(S_(BOS))关系的内在规律,进而提出用S_(BOS)构造的新方法,来实现N维布尔序集唯一相邻的逻辑路径问题。文中介绍了“对跳定界搜索”方法,对工程应用有着实际意义。
A new method for che constr truction of the symmetrical sequence of Snos neighbouring logic is proposed. And the realization problem of sole neighbouring logic path for N dimensions Boolean ordered set is solved too. The method of 'the search of bounce bound' is given.
关键词
布尔代数
序集逻辑
SBOS序列
构造
Logical functor of Boolean ordered set
SBOS sequence
Mapping functor of image
Search of bounce bound