add description of digraph acyclic detect algorithm in doc