Efficient Algorithms for problems on implicity defined networks with a focus on networks represented by BBDs

针对隐式定义网络问题的高效算法，重点关注以 BBD 为代表的网络

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

Bekannte Algorithmen zur Behandlung von Netzwerkproblemen stoßen bei großen Netzwerken an ihre Grenze. Dann können selbst Rechenzeiten, die Polynome kleinen Grades sind, zu groß sein. Darüber hinaus führt die Modellierung technischer Systeme, des Verkehrs und auch des WWW zu so großen Netzwerken, dass diese nicht mehr explizit, also durch Auflistung aller Knoten und Kanten, beschreibbar sind. Alternative Beschreibungsformen, in denen weder die Knoten noch die Kanten explizit genannt werden, heißen implizit. Die Behandlung der zentralen algorithmischen Probleme auf implizit beschriebenen Netzwerken stellt eine neue Herausforderung dar. In der ersten Phase werden BDD-basierte Netzwerkdarstellungen im Mittelpunkt der Untersuchungen stehen. Ziele sind die Entwicklung von BDD-basierten Netzwerkalgorithmen und ihre Analyse, Implementierung und Anwendung in anderen Projekten des Schwerpunktprogramms. Insbesondere sollen Eigenschaften von Netzwerken herausgefiltert werden, die bewirken, dass BDD-Darstellungen kompakt und BDD-basierte Algorithmen schnell sind.

贝坎特算法是一种解决问题的方法。您的位置：我也知道>教育/科学>教育/科学>科学与技术>。Darüber hinaus führt die Modellierung Technischer Systeme，des Verkehars and auch des WWW zu so groüen en Netzwerken，dass diese nese niht mehr explizit，and dass auflistung aller knoten and kanten，bechreibbar sind.另一种选择是，在我们不知道的情况下，从根本上解释它的存在，并将其实现。这是一个很难解决的问题，也是最好的解决办法。在过去的几年里，我们一直在努力实现这一目标。在此基础上，提出了一种新的算法，并对其进行了分析和实现。在这本书中，他的名字被写进了他的书中，他的名字被写进了他的名字里，他的名字就是他的名字，他的名字是他的名字。