论文部分内容阅读
首先给出无冲突可重复网的定义,并证明无冲突可重复网是结构活的。然后将无冲突可重复网的极小活标识的配置化为强连通-T图极小活标识的配置。文[2]虽然给出-T图极小活标识的判断方法,但是对于一个比较复杂的-T图的极小活标识的配置是无法实现的。本文通过求解强连通-T图的1+-nm个线性无关的极小-S不变量的支集,找出1+-nm个线性无关的有向回路组,然后给出构造强连通-T图以任一变迁为根的有向生成树,最后给出配置强连通-T图极小活标识的有效算法。