Dato è un male. Si desidera etichettare ciascun nodo in base al numero di nodi raggiungibili da esso. è un limite superiore banale; è un limite inferiore (penso). Esiste un algoritmo migliore? C'è motivo di credere che il limite inferiore possa essere migliorato (correlato: cosa si sa esattamente sui limiti inferiori per la chiusura transitiva)?Ω ( V + E )
Motivazione: ho dovuto farlo un paio di volte mentre rappresentavo le formule fol come un capriccio.
Modifica: Nota che semplicemente facendo conta i percorsi , non i nodi raggiungibili . (L'ho aggiunto perché apparentemente molte persone pensavano che questa semplice soluzione avrebbe funzionato con i voti che ho visto su una risposta ora cancellata.) In realtà, questo problema appare proprio quando vuoi fare qualcosa di interessante con parti 'condivise', nodi raggiungibili da più di un percorso. Inoltre, dico dag, perché se vengono risolti, allora risolvere digrafi è facile.