在有向图中找到所有可能路径中的公共路径

Find the common path among all possible paths in a directed graph

我试图找到循环有向图中每条可能路径总是访问的公共节点。我的想法是计算所有可能的路径,然后搜索公共元素。但是,a) 似乎效率不高,b) 不考虑周期。

目标:将oblivious hashing perimeter实现为防篡改方法。为此,我需要确定一组在控制流图中输入不可知的通用基本块。换句话说,我想找到将针对任何给定输入执行的程序的确定性块(一组基本块)。

为了做你想做的事,你需要为路径提供一组起始顶点和结束顶点。所以你的陈述将是:

Find all vertices that are always passed when traversing from any vertex in set S to any vertex in set E.

然后你会注意到你正在搜索的顶点是顶点分隔符。存在计算最小顶点分隔符的算法。