Ordenação topológica: diferenças entre revisões

 

Mais formalmente, define-se a [[relação binária|relação]] [[acessibilidade]] ''R'' sobre os nós do DAG tal que ''xRy'' se e somente se existe um caminho dirigido de ''x'' para ''y''. Então, ''R'' é uma [[ordem parcial]], e uma ordenação topológica é uma [[extensão linear]] desta ordem parcial, isto é, uma [[ordem total]] compatível com a ordem parcial.