How to efficiently find a loop between two nodes in a directed graph?
This problem has been shown to be NP-complete in the following paper:


  S. Fortune, J. Hopcroft, J. Wyllie:
  "The directed subgraph homeomorphism problem"
  Theoretical Computer Science 10 (1980), pp. 111-121