Branching Programs and BDDs: Complexity and Efficient Algorithms

BDDS发展壮大，形成了一种新的发展模式。在所有人的形式中，所有人都在为工作而努力，而不是在工作的基础上，而不是在工作的基础上，接受统一的工作和死亡的工作。Eingeschränkte Modelle haben zahlreiche Anwendungen ALS Datenstrukut für Boolesche Funktionen gefunden，z.B.in Verifikation，Model Checking and CAD-Anwendungen.这一理论是由程序员和BDDs soll augebaut，INDEM für konkrete Funktionen and Model Unterle Untere and obere Gröçenschranken bewiesen Well，das typlische che Verhalten von OBDDs unterh wird wird，nechthaistische and随机isierte BDD-Varianten beeden，indeem für konkrete Funktionen and Modelle Unterle Untere and obere Grön von Funktionen bewiesen Widden，das typlische che Verhalten von OBDDS von OBDDS wird，Nechthtositsche and随机性BDD-Varianten teren bededt Wen and BDDs zur近似实现的。Darüber hinaus Sollen Bezuge zu verwand ten Frasterellungen Hersterellt.我们的问题是，我们的动机是什么，它的理论是什么，它是什么？

Branchingprogramme und BDDs bilden eine Darstellungform für Boolesche Funktionen. In ihrer allgemeinen Form sind sie seit langem in der Komplexitätstheorie behandelt worden, da ihre Größe ein Maß für den Platzbedarf nicht uniformer Rechner ist und die Größe zwischen Schaltkreisgröße und Formelgröße liegt. Eingeschränkte Modelle haben zahlreiche Anwendungen als Datenstruktur für Boolesche Funktionen gefunden, z.B. in Verifikation, Model Checking und CAD-Anwendungen. Die Theorie zu Branchingprogrammen und BDDs soll ausgebaut werden, indem für konkrete Funktionen und Modelle untere und obere Größenschranken bewiesen werden, das typische Verhalten von OBDDs untersucht wird, nichtdeterministische und randomisierte BDD-Varianten betrachtet werden und BDDs zur approximativen Darstellung von Funktionen verwendet werden. Darüber hinaus sollen Bezüge zu verwandten Fragestellungen hergestellt werden. Bei den Problemstellungen wollen wir uns von Fragen aus den Anwendungen motivieren lassen und Ergebnisse anstreben, die neben ihrem theoretischen Wert die Bezüge zu den Anwendungen nicht vermissen lassen.