于卡恩算法在内的部分拓扑排序算法，通过在算法终止时判断是否满足一定条件即可知道图是否有环。如果有环，卡恩算法最终获得的中节点个数会与图的节点总数不同。
从其他图构建.任意无向图都可以被转化为有向无环图。构造方法是选定一个顶点的全序关系，并将无向图中所有边从全序关系中较前的顶点指向较后的顶点。这种方法是方法中的。不同的全序关系可能推出相同的无环定向，因此一个包含个顶点的图的无环定向数量小于。如果定义为给定图的色多项式，无环定向数量等于。任意有环有向图都可以被转化为有向无环图。只要