Is there a useful definition of minors for digraphs? Posted by Thomas Klimpel, at math.stackexchange.com, 18 Aug 2011 For an undirected graph, my "intuitive" understanding of a minor is that I take a subgraph, partition it's vertex set into…