汉密尔顿回路存在性断定

/**
 * Hamilton Path Detection for DAG
 */
public class DAGHamiltonPath
{
    private boolean hamiltonPathPresent;
    private Digraph di;
    private KahnTopological kts;
    
    // 这里使用Kahn算法进行拓扑排序
    public DAGHamiltonPath(Digraph di, KahnTopological kts)
    {
        this.di = di;
        this.kts = kts;
        
        process();
    }
    
    private void process()
    {
        Integer[] topoResult = kts.getResultAsArray();
        
        // 依次检查每一对相邻顶点，若是两者之间没有路径，则不存在哈密顿路径
        for(int i = 0; i < topoResult.length - 1; i++)
        {
            if(!hasPath(topoResult[i], topoResult[i + 1]))
            {
                hamiltonPathPresent = false;
                return;
            }
        }
        hamiltonPathPresent = true;
    }
    
    private boolean hasPath(int start, int end)
    {
        for(int w : di.adj(start))
        {
            if(w == end)
            {
                return true;
            }
        }
        return false;
    }

    public boolean hasHamiltonPath()
    {
        return hamiltonPathPresent;
    }
}