Branching Programs and BDDs: Complexity and Efficient Algorithms

分支程序和 BDD：复杂性和高效的算法

• 批准号: 5261496
• 负责人: Professor Dr. Ingo Wegener (†)
• 金额: --
• 依托单位: Informatik II - Lehrstuhl Effiziente Algorithmen und Komplexitätstheorie
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2000
• 资助国家: 德国
• 起止时间: 1999-12-31 至 2003-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5261496?language=en
• 关键词: Branching; Programs; BDDs; Complexity; Efficient

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.

分支程序与bdd的建立与应用。In ihrer allgemeinen Form sind sie seit langem In der Komplexitätstheorie behandelt worden, da ihre Größe ein masß f<e:1> rden Platzbedarf night uniformer Rechner ist und die Größe zwischen Schaltkreisgröße und Formelgröße liegt。Eingeschränkte Modelle haben zahlreiche Anwendungen als datenstrukturr f<e:1>, z.B. in verification, Model Checking and CAD-Anwendungen。Die theory zu Branchingprogrammen and bdd soll ausgebaut werden, indem fbr konkrete Funktionen and Modelle unterdet oberden between wiesen werden, destypische Verhalten von obdd untersucht wind, nichtdeterministische and randomisierte bdd - variantbetrachtet werden and bdd zur approximativen Darstellung von Funktionen verwendet werden。darber hinaus sollen bezbez<e:1>为verwandten Fragestellungen hergestellt werden。我的问题是：我的理论是：我的理论是：我的理论是：我的理论是：我的理论是：我的理论是：我的理论是：我的理论是：我的理论是：我的理论是：我的理论是：我的理论是。