Automatische Generierung von Algorithmen für Entscheidungs-, Optimierungs- und Enumerationsprobleme auf Graphen

自动生成图上决策、优化和枚举问题的算法

• 批准号: 5319782
• 负责人: Professor Dr. Peter Tittmann
• 金额: --
• 依托单位: Fakultät Angewandte Computer- und Biowissenschaften
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2001
• 资助国家: 德国
• 起止时间: 2000-12-31 至 2003-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5319782?language=en
• 关键词: Automatische; Generierung; von; Algorithmen; Entscheidungs

Die Berechnung wichtiger Zuverlässigkeitskenngrößen für Kommunikationsnetze (Erreichbarkeit, Zusammenhangswahrscheinlichkeit, mittlere Bandbreite) ist ein NP-schwieriges algorithmisches Problem, d.h. ein Problem, für das der Rechenzeitaufwand exponentiell mit der Netzgröße wächst. Das Ziel des Vorhabens besteht in der Entwicklung leistungsfähiger und schneller Algorithmen für eine große Klasse von Netzen, die in der Graphentheorie durch eine beschränkte Weg- bzw. Baumweite beschrieben werden. Die vorgesehene Erweiterung der Theorie besteht in einer einheitlichen Beschreibung und einer automatischen Erzeugung solcher Algorithmen, die sich auch für die Berechnung weiterer NP-schwieriger Probleme der Graphentheorie eignen. Weiterhin soll gezeigt werden, dass diese Algorithmen auch für die approximative Bestimmung von Zuverlässigkeitskenngrößen in sehr großen Netzen geeignet sind. Neben theoretischen Ergebnissen bezüglich der Komplexität der Algorithmen soll die praktische Leistungsfähigkeit durch konkrete Implementationen demonstriert werden.

Die Berechnung whichtiger Zuverlässigkeitskenngrößen fr Kommunikationsnetze (Erreichbarkeit, Zusammenhangswahrscheinlichkeit, mittlere Bandbreite) ist in NP-schwieriges algorithmisches Problem, d.h.e inproblem, fr das der Rechenzeitaufwand exponentiell mit der Netzgröße wächst。Das Ziel des Vorhabens besteen in der Entwicklung leistungsfähiger and schneller Algorithmen f<e:1> r e grose ße Klasse von Netzen, die in der Graphentheorie durch eine beschränkte Weg- bzw。Baumweite beschrieben werden。Die vorgesehene Erweiterung der Theorie bebebechreibung and einer automatischen erzeeugung solcher Algorithmen, Die sich . () Die Berechnung weiterer NP-schwieriger problem der graphene theory eignen。Weiterhin soll gezeigt werden，在sehr großen Netzen geeignet sind中，使用了一种近似的算法（algorithm）。理论推导推导推导<s:1>算法推导推导Komplexität算法推导推导推导Leistungsfähigkeit算法推导推导推导推导推导推导。