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

De Berechnung wichTiger Zuverlässigkeitskenngröüen für Komomikationsnetze(Erreichbarkeit，Zusammenangwhrscheinlichkeit，Mittlere Bandbreite)是NP-Schwieriges算法失误问题的一部分，D.H.Ein Problem，für das der Rechenzeitaufwand Exponentiell MIT der Netzgröçe wächst.Das Ziel des Vorhabens besteht in der EntwickrungleistungsfäHigher and Schneller算法man für eine groçe Klasse von Netzen，Death in der Graphentheorie duch eine bechränkte Weg-BZW.Baumweite bechrieben en.这是一种基于图形理论的NP-Schwieriger问题自动求解算法。所有的算法都是这样的，它们的近似估计都是在网络上进行的。新的理论和算法在实践中被证明是正确的。

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.