Graphstrukturtheorie und algorithmische Anwendungen

图结构理论与算法应用

• 批准号: 203684084
• 负责人: Professorin Dr. Isolde Adler
• 金额: --
• 依托单位: Professur für Angewandte Informatik / Kognitive Systeme
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2011
• 资助国家: 德国
• 起止时间: 2010-12-31 至 2014-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/203684084?language=en
• 关键词: Graphstrukturtheorie; und; algorithmische; Anwendungen

Ein Durchbruch in der modernen Graphentheorie ist Robertsons und Seymours Beweis von Wagners Vermutung. Der in über 20 Veröffentlichungen publizierte Beweis liefert, neben zahlreichen Erkenntnissen über die Struktur von Graphen, die Existenz vieler überraschender Polynomialzeitalgorithmen. Allerdings sind die meisten dieser Algorithmen in der Praxis nicht verwendbar: Bei einigen führen viel zu große Konstanten zu impraktikablen Rechenzeiten, von anderen (den nicht-konstruktiven Algorithmen) wissen wir zwar, dass sie existieren, es ist aber nicht bekannt wie man sie formulieren kann.Im Projekt GalA sollen diese Konstanten genau untersucht und Algorithmen verbessert bzw. konstruktiv gemacht werden. Dazu sollen Methoden von Robertson und Seymour verfeinert und weiter entwickelt werden. Die Rechenzeit steht hier in engem Zusammenhang mit der Größe bestimmter in Graphen vorkommender Strukturen. Es sollen die kritischen Strukturen gefunden bzw. möglichst genau bestimmt werden. Damit sollen Routing-Algorithmen verbessert, Algorithmen für Compiler entwickelt und implementiert, sowie (in Kombination mit Methoden der Logik) Probleme der Anfrageauswertung auf Datenbanken klassifiziert werden.

《现代图形理论家罗伯逊和西摩》中的Ein Durchbruch，Beweis von Wagners Vermuung。在20Veröffentlichungen出版了Beweis liefert，neben zahlreichen erkenntnissenüber die StrukTurn von Graphen，die Existenz Vielerüberraschender Polynomialzeit算法。所有的人都知道这是一种非常好的算法。我是一名工程师，我是一名优秀的演算法专家，我是一名演算人员。在罗伯逊和西摩的帮助下，我们的生活变得更加美好。你可以在这里找到你，你可以在Gröçe Bstimter中找到你的位置。他说：“这是一项重大的任务。”DAMIT SOLEN ROUTING-ALGULATIONS MERVERSET，ALGULATIONS Für COMPILER Entwickelt and Implementiert，Sowie(In Kombination MIT Methoden Der Logik)Probleme der Anfrageoswertung auf Datenbanken Kallassifiziert(在Kombination MIT Methoden der Logik中)Probleme der Anfrageoswertung auf Datenbanken Craassifiziert。

项目成果

Obstructions for linear rank-width at most 1

线性等级宽度的障碍最多 1

• DOI: 10.1016/j.dam.2013.05.001
• 发表时间: 2014
• 期刊: Discret. Appl. Math.
• 作者: Isolde Adler;Arthur Farley;Andrzej Proskurowski
• 通讯作者: Andrzej Proskurowski

The complexity of register allocation

寄存器分配的复杂性

• DOI: 10.1016/j.dam.2013.03.015
• 发表时间: 2014
• 期刊: Discret. Appl. Math.
• 作者: Philipp Krause