课题基金 / 基金详情

Strukturelle Graphtheorie und parametrisierte Komplexität

Strukturelle Graphtheorie und parametrisierte Komplexität
结构图理论和参数化复杂性
批准号:
100452017
负责人:
Professor Dr. Peter Rossmanith
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2008
资助国家:
德国
项目状态:
已结题
起止时间:
2007-12-31 至 2012-12-31

项目摘要

项目成果

Professor Dr. Peter Rossmanith的其他基金

相关文献

中文摘要
翻译
VIELE算法在Voller Allgmeinheit komplexitätsoretisch schwer中存在问题。参数理论是一个新的理论,它是一个新的分析问题,也是一种新的分析方法和算法,它的效率是L。我是Gegensatz zu Heuristiken liefert dieser Anatz garantierte Laufzeitschranken。在此基础上,提出了一种新的优化方案。这是一种新的图论,它包含了许多参数算法。这是一个很重要的问题,也是最好的选择。L先生是我们的客户。我们计划,并有结构特征von Graphen auzunutten,z.b.ihre分支宽度,DAG-宽度,等级宽度和它的拓扑特征。在此基础上,提出了一种新的图论和参数算法,并在此基础上提出了一种新的算法。
英文摘要
Viele algorithmische Probleme aus der realen Welt sind in voller Allgemeinheit komplexitätstheoretisch schwer. Die Theorie der parametrisierten Komplexität ist ein neues Konzept, solche schweren Probleme feiner zu analysieren, und für den Entwurf neuartiger Algorithmen, die solche Probleme auf praktischen Instanzen effizient lösen können. Im Gegensatz zu Heuristiken liefert dieser Ansatz garantierte Laufzeitschranken. Graphen sind kombinatorische Strukturen, die sich für die Modellierung diskreter Entscheidungs- und Optimierungsprobleme eignen. Strukturelle Graphtheorie hat sich beim Entwurf parametrisierter Algorithmen bereits als nützlich erwiesen. Die meisten schweren Probleme sind beispielsweise auf Graphen mit beschränkter Baumweite effizient lösbar. Wir planen, andere strukturelle Eigenschaften von Graphen auszunutzen, z.B. ihre branch-width, DAG-width, rank-width und ihre topologischen Eigenschaften. Unser Ziel besteht darin, neue Anwendungsgebiete der strukturellen Graphtheorie für den Entwurf parametrisierter Algorithmen zu entdecken, indem zwei Arbeitsgruppen aus beiden Gebieten eng zusammenarbeiten.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Foundations of Efficient Model Checking for Counting Logics on Structurally Sparse Graph Classes
Pragmatic Parameterized Algorithms
Theoretical and Practical Aspects of Kernelization
Entscheidungs- und Optimierungsprobleme für Graphen mit gegebener Baumzerlegung