Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen
图和结构的树状分解及其应用
基本信息
- 批准号:24838406
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2006
- 资助国家:德国
- 起止时间:2005-12-31 至 2008-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Die 1984 von Robertson und Seymour eingeführten Baumzerlegungen von Graphen spielen eine wichtige Rolle sowohl in der modernen Graphentheorie als auch bei der Entwicklung und Analyse von Graphenalgorithmen. In den vergangen Jahren wurden neben Baumzerlegungen noch eine Reihe weiterer ¿baumartiger Zerlegungen von Graphen untersucht. Eine Theorie derartiger Zerlegungen von Hypergraphen und allgemeineren relationalen Strukturen steckt hingegen noch in den Kinderschuhen und soll ein zentraler Gegenstand dieses Projekts sein. Die Frage nach Zerlegungen allgemeiner Strukturen wurde bei der Untersuchung von bedeutenden algorithmischen Fragestellungen aus der künstlichen Intelligenz und der Datenbanktheorie aufgeworfen, die hier zu entwickelnde Theorie soll zur Lösung oder mindestens zu einem tieferen Verständnis dieser Fragen führen. Im Projekt soll auch ein konkretes algorithmisches Problem, das Isomorphieproblem für Graphen und allgemeinere Strukturen, untersucht werden. Wir wollen die oben beschriebene Zerlegungstheorie anwenden, um bessere Isomorphiealgorithmen für im weitesten Sinne baumartige Strukturen zu entwickeln. Ein weiteres wichtiges, aus der Datenbanktheorie kommendes Problem ist die Frage, ob es eine Sprache (eine ¿Logik ) gibt, in der sich gerade genau die effizient (in Polynomialzeit) beantwortbaren Anfragen an eine Datenbank formulieren lassen. Dieses Problem hängt eng mit dem Isomorphieproblem zusammen und soll ebenfalls in diesem Rahmen untersucht werden.
1984年,Robertson和Seymour对Graphen进行了一系列的研究,在现代Graphentheorie中也有一个重要的角色,就是对Graphenalgorithmen的开发和分析。在最后一年里,我们还需要一个来自石墨烯的新的建筑材料。一个关于Hypergraphen的理论和所有与结构相关的理论在幼儿园中仍然存在,并解决了这个项目的中心问题。Die Frage nach Zerlegungen allgemeiner Strukturen wurde bei der Untersuchung von bedeedden algorithmischen Fragestellungen aus der künstlichen Intelligenz und der Datenbanktheorie aufgeworfen,die extwickelnde Theorie soll zur Lösung oder mindestens zu einem tieferen Verständnis dieser Fragen führen. Im Projekt soll auch an konkretes algorithmisches Problem,das Isomorphie problem für Graphen und allgemeinere Strukturen,untersucht韦尔登.我们希望通过同构算法来改进Zerlegungstheorie anwenden,um bessere Isomorphiealgorithmen für im weitesten Sinne baumartige Strukturen zu entwickeln.另一个值得注意的是,从数据库理论的角度来看,问题是一个简单的Sprache(一个Logik)gibt,在这种情况下,有效的(在多项式时间内)是一个简单的数据库公式。这个问题必须与同构问题一起解决,才能在韦尔登问题中找到答案。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Professor Dr. Martin Grohe其他文献
Professor Dr. Martin Grohe的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr. Martin Grohe', 18)}}的其他基金
Logik, Struktur und das Graphenisomorphieproblem
逻辑、结构与图同构问题
- 批准号:
217526258 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Reinhart Koselleck Projects
Schaltkreiskomplexität, Parametrische Komplexität und logische Definierbarkeit
电路复杂性、参数复杂性和逻辑可定义性
- 批准号:
186219630 - 财政年份:2010
- 资助金额:
-- - 项目类别:
Research Grants
Deskriptive Komplexitätstheorie kleiner Komplexitätsklassen
小复杂度类的描述复杂度理论
- 批准号:
125951430 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Gibt es eine Logik für PTIME? (Forschungssemester)
PTIME 有逻辑吗?
- 批准号:
61560798 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Research Grants
Die Komplexität von Constraint-Satisfaction Problemen
约束满足问题的复杂性
- 批准号:
5432723 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Research Grants
Graph-Based Generative Machine Learning for Optimal Molecular Design
用于优化分子设计的基于图的生成机器学习
- 批准号:
466417970 - 财政年份:
- 资助金额:
-- - 项目类别:
Priority Programmes
Quantitative reasoning about database queries
数据库查询的定量推理
- 批准号:
412400621 - 财政年份:
- 资助金额:
-- - 项目类别:
DIP Programme
相似海外基金
Data Cleaning und Anfragen auf Zerlegungen von Datenbanken mit unvollständiger Information
数据清洗以及对信息不完整的数据库进行分解的请求
- 批准号:
25617221 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Research Grants
Adaptive Steuerungen für die p- und h-p Versionen von Randelementverfahren mit Hilfe von Zweilevel-Zerlegungen
使用两级分解对边界元方法的 p- 和 h-p 版本进行自适应控制
- 批准号:
5173614 - 财政年份:1999
- 资助金额:
-- - 项目类别:
Research Grants