关于有向图的强符号可解性

摘要

Hansen已提出一个判别强符号可解有向图的一般算法,其时间复杂性为O(mn).仔细分析算法,尚存在很多重复过程而耗费时间。从图论的观点看,最有效的算法应当是O(m)。本文进一步研究强符号可解有向图的一些基本性质,在此基础上发现这类图存在一种嵌套结构。结合有向图的DFS纵深搜索法,我们找到一个最有效的递推算法,其时间复杂性恰为O(m)。从而,使符号有向图的判别问题满意地获得解决。