在有向图中找出所有可能路径之间的公共路径

Question

我正在尝试找到循环有向图中每个可能路径始终访问的公共节点。我的想法是计算所有可能的路径，然后搜索公共元素。但是， a）似乎效率不高，而 b）则不考虑周期。

目标：是实施oblivious hashing perimeter作为防篡改方法。为此，我需要识别一组在控制流图中输入不可知的公共基本块。换句话说，我想找到将为任何给定输入执行的程序（基本块集）的确定性块。

Answer 1

要执行您想要执行的操作，您需要为路径提供一组起始顶点和结束顶点。所以你的陈述是：

  

查找从集合S中的任何顶点遍历到集合E中的任何顶点时始终传递的所有顶点。

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