布尔序集相邻逻辑对称的实现.pptVIP

布尔序集相邻逻辑对称的实现 整体结构 一、定义类 1.二元布尔函数逻辑相邻 n维布尔函数X1X2…Xn，其中Xi（i=1,2,…,n) ∈{0，1}，当其对应的每组中相邻布尔元素仅一个变元相异的情形，称为二元布尔函数逻辑相邻． 2.布尔序集 一类N维布尔逻辑空间所对应的顶点最小项集合称为布尔序集，如果其顶点最小项依次用自然数0，1，2，…，2n —1来表示的话． 3.布尔序集相邻逻辑对称轴 R以开环水平方向分布的链路，称布尔序集相邻逻辑对称轴。 从N维布尔序集张成的逻辑空间图，不难发现，实际上是一个正则图。各顶点对应的链数相同，而由正则图上存在着一条唯一相邻路径，其对应最小项顶点集合为2N个。 二、定理 定理1 任一由布尔序集张成的逻辑空间Q，其顶点集合U={v0，v1，…，v2n -1}依次相邻排列，必构成一条唯一相邻闭环链路 R． 如果从每一链ei始于vi-1，终于vi的角度出发，证明定理1的存在是显然的。(证明略)。 定理 2 闭环链路R按2N规则沿中心依次对折划分，各顶点子集映射成镜像相邻对称． 证明 为讨论方便，假设闭环链路 R呈开环链路分布(当然可认为开环的首尾依然相接)．若Ri,Rr 为按2N规则对折划分后的左右两单元链路，{Ri,Rr} ∈R。与其相对应的上所有连续存在的顶点子集{Vi}(i=0,1,i-1,i)和，{Vr}(r=j ,j+1,…,2n-2,2n-1),(i,j为对折处分离相邻点)。 定理 由开环链路{Vi} Ri R,{Vr} Rr R使得{Vi}与{Vr}中的各顶点子集一一对折映射，构成R={(Vi,Vr):Ri(Vi)=Rr(Vr)} 镜像对等。显然，闭环链路 R满足自反，对称，传递的关系。 对折映射的两两顶点子集中，必有一对布尔元素xi与xi’互为相异。当且仅当两两顶点子集异或结果只存在一个 1元素 (即xi xi’=1)， 其余为 0元素时 (即除xi， xi’外， ) 则表明二者存在相邻关系，否则，不存在。从而可以推论，任意对折划分后的各顶点子集，若满足上述关系，必一一映射成镜像相邻对称。定理 2证毕 三、轴的构成及作法 1、轴的构成 首先我们约定，0是独立集，{0)∈R，连接不可约，并定为R的左界。显然，R的右界为2N-1。这样构成的相邻逻辑对称轴必满足定理 1、2。 然后引入顶层，第一层，第二层，…第n层概念，根据二分树搜寻思想，以顶层为中心，按二分树生枝规则，寻找出各层情况，见图1。再通过各层顶点子集的集合，研究逻辑对称轴形成的一般规律。 轴的构成及作法 2、作法 以独立集{0}为顶层，沿二分树生枝，即得第一层顶点子集。照此继续分枝，得各层顶点子集，联结各层顶点子集，就是对应的2N层相邻布尔序集逻辑对称轴。 轴的构成及作法 具体作法是： 以独立集 {0}为中点划分，得左右两单元链。左单元链e0约定为偶链，右单元链e1约定为奇链。沿二分树继续分枝，链的划分也相应继续往右界延伸。 分别从左界开始， e0约定为偶链，e1 约定为奇链，e2为偶链，e3为奇链，…依此类推，偶奇交替。分别按“偶 ×2”与“奇 ×2+1”规则，生成下一层的两个顶点子集，所联结的两个新子集增加相同的倍数生成．例如一个六维的情形，如图2所示。 从所找到的布尔序集逻辑对称轴三角阵中可以发现： (1) 每一层第一个子集是0，最后一个子集是2N-1。(2) 同一层中的前子集与后子集，分别按先“偶链 × 2”或后“奇链 × 2 + 1”规则增加倍数，产生下一层新子集。(3) 高维数情形水平分布，是一个紧收敛过程。 四、限维内逻辑相邻子集的确定 具体实施：设Q是一个具有顶点子集U’=(v1,v2…vn) 和E’=(e1,e2,…em)链，且 mn的逻辑空间正则图。由三维布尔序集张成的逻辑空间图如图3所示。 限维内逻辑相邻子集的确定 任一顶点子集所联结的相邻点，通过相邻矩阵R*来表征。假定逻辑空间Q=(V，E) 的顶点集合U={v0，v1，…，v2n -1} ，则 R*=（aij)2n×2n 是Q的布尔序集相