非对称阵的偏序变换

大系统里,具有一类指定关系的系统结构常常表现为十分复杂的有向网络,它对应着一个模糊的非对称阵.本文给出了一组满足于计算机搜索算法的命题,以使纷乱的逻辑结构在偏序决策链的前提下相对地清晰化.设二元序偶 G=(X,(?))是一个有实际背景的系统结构.X={x_1,x_2,…,x_m;m<∞} 为有限节点集,(?)=(a_(ij))_((?)x(?)),a_(ij)=(x_i,x_j) 为从 x_i 到 x_j 的赋权,{(x_i,x_j)}(?)X×X.有以下命题:1.设(?)是一个自反的非对称模糊矩阵.令 A~((0))=(?),(?)~((k))=(?)~(k-1)_。(?)~(k-1),“。”:(?)k,a_(ij)~(k)=(?)(a_(il)~(k-1)∧a_(li)~(k-1)).则只要(?),(?)即为(?)的传递闭包.