Réfutation
Tout d'abord, la règle de tri topologique échoue, c'est-à-dire
A: {… -> Ak} Pour les nœuds restants B: {a, b, c, d…} ne peut pas être enchaîné à l'arrière.
En supposant que cette chaîne de les nœuds peuvent réussir Pour le tri, le résultat du tri est enregistré comme Y {...}
Ensuite, le nœud de l'ensemble B qui apparaît le plus tôt dans Y est enregistré comme nœud, nous pouvons être sûrs que tous les nœuds avant le nœud doivent être dans l'ensemble A, alors nous pouvons trouver ce nœud Il peut être classé derrière Ak, contradictoire! Complété