Diese Eigenschaft ist beispielsweise wichtig bei Binären Entscheidungsdiagrammen (BDDs), deren Grundlage die Shannon-Zerlegung bildet: … Beispiel: png | Darstellung eines BDDs Dieses Bild stellt ein freies, geordnetes und reduziertes Binäres Entscheidungsdiagramm dar. … eingestellte Artikel scheint mir kein gültiges Lemma zu haben (was man daran merkt, dass ein Definitionssatz unmöglich ist: "Bdds ist ein ..."). … Außerdem kann man mit BDDs µ-Calculus benutzen (was deutlich stärker als CTL ist). Momentan fehlt mir die Zeit den Artikel zu verbessern, … BDDs) klein halten, so dass Breitensuche sehr wohl ein geeignetes Verfahren für größere Probleme, z.B. in der Verifikation von Programmen …