Branching Programs and BDDs: Complexity and Efficient Algorithms

分支方案和工商发展机构为布尔什职能提供了一个良好的条件。在他的总体形式中，她在复杂性理论中使用了沃登的语言，他的Größe是一个主要的平台驱动器，不是均匀的Rechner，而Größe是Schaltkreisgröße和Formelgröße之和。Eingeschränkte Model haben zahlreiche Anwendungen als Datenstruktur für Boolesche Funktionen gefunden，z.B.在Verifikation，Model Checking和CAD中的应用。分支程序和BDD的理论也可以用韦尔登来解释，即对于一个已知的函数和一个已知的Größenschranken韦尔登模型来说，OBDD的典型分布是不确定的和随机的，BDD-变量的分布是韦尔登的，而BDD的近似分布是韦尔登的。我们必须把它放在韦尔登上。在我们从动机和结果出发来讨论这个问题时，他们的理论是不会被证明是正确的。

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.