图序列化
时间:2020-03-05 18:38:11 来源:igfitidea点击:
我正在寻找一种简单的算法来"序列化"有向图。特别是,我有一组文件,它们的执行顺序相互依赖,我想在编译时找到正确的顺序。我知道做编译器一直都这样做是很普遍的事情,但是今天我的google-fu很弱。什么是"去"算法?
解决方案
回答
我希望那些需要此工具的工具能够以深度优先的方式轻松地走到树上,当它们碰到叶子时,只需对其进行处理(例如编译)并将其从图形中删除(或者将其标记为已处理,并使用所有叶子来处理节点)处理为叶子)。
只要是DAG,这个基于堆栈的简单步行就很容易了。
回答
我想出了一个相当幼稚的递归算法(伪代码):
Map<Object, List<Object>> source; // map of each object to its dependency list List<Object> dest; // destination list function resolve(a): if (dest.contains(a)) return; foreach (b in source[a]): resolve(b); dest.add(a); foreach (a in source): resolve(a);
最大的问题是它无法检测循环依赖关系,因此可以进行无限递归(即堆栈溢出;-p)。我能看到的唯一方法是将递归算法转换为带有手动堆栈的交互式算法,并手动检查堆栈中是否存在重复的元素。
有人有更好的东西吗?
回答
拓扑排序(来自维基百科):
In graph theory, a topological sort or topological ordering of a directed acyclic graph (DAG) is a linear ordering of its nodes in which each node comes before all nodes to which it has outbound edges. Every DAG has one or more topological sorts.
伪代码:
L ← Empty list where we put the sorted elements Q ← Set of all nodes with no incoming edges while Q is non-empty do remove a node n from Q insert n into L for each node m with an edge e from n to m do remove edge e from the graph if m has no other incoming edges then insert m into Q if graph has edges then output error message (graph has a cycle) else output message (proposed topologically sorted order: L)
回答
如果图形包含循环,那么如何存在文件的允许执行顺序?
在我看来,如果图形包含周期,那么我们将没有解决方案,这
通过上述算法正确报告。