Transitieve afsluiting: verschil tussen versies

1 byte toegevoegd ,  10 jaar geleden
k
 
==Berekenen van de transitieve sluiting==
De transitieve sluiting van een relatie of graaf kan men bepalen met behulp van het algoritme van Warshall, dat een speciaal geval is van het [[Floyd-Warshall-algoritme]]. Dit algoritme bepaalt de kortste afstand tussen alle knopenparen in een gewogen gerichte graaf met een [[dynamische programmering]]smethode. In het algoritme van Warshall beschouwt men een niet-gewogen gerichte graaf; men kan ook zeggen dat alle bogen een gewicht hebben dat gelijk is aan 1. Men werkt dan met de [[binaire matrix|binaire]] [[bogenmatrix]]; in plaats van het optellen van afstanden gebruikt men de [[logische conjuctieconjunctie]] EN en in plaats van het minimum de [[logische disjunctie]] OF.
 
==Toepassing==
29.082

bewerkingen