Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen

图和结构的树状分解及其应用

基本信息

项目摘要

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年西摩·冯·罗伯逊和eingefuhrten Baumzerlegungen冯Graphen spielen一张wichtige罗尔sowohl在der modernen Graphentheorie als欧什贝der Entwicklung和分析冯Graphenalgorithmen。In den vergangen Jahren wurden neben Baumzerlegungen noch eine reien weterer:德国人,德国人,德国人。[3]理论研究:超音波理论与全音波理论的相互关系。音波理论与全音波理论。在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国,在德国。在Projekt中,有一种算法问题,称为同构问题(rgraphen和allgemeinerestruckturen)。在此基础上,我们提出了一种新的同构算法,并提出了一种新的同构算法。在weiteres wictiges中,由于Datenbank理论推荐了Problem ist die fragage,由于Datenbank理论推荐了Problem ist die fragage,由于Datenbank理论推荐了einespache (einelogik),由于genaudie efficient(在多项式时代中),由于Datenbank公式推荐了lassen(在多项式时代中)。柴司问题hängt是柴司的同构问题。柴司问题是柴司的同构问题。柴司问题是柴司的同构问题。

项目成果

期刊论文数量(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)}}的其他基金

Decompositions, Tangles, and Clusters
分解、缠结和簇
  • 批准号:
    414230410
  • 财政年份:
    2019
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Descriptive Complexity of Learning
学习的描述性复杂性
  • 批准号:
    389872375
  • 财政年份:
    2017
  • 资助金额:
    --
  • 项目类别:
    Research Grants
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
Reine Mathematik
纯数学
  • 批准号:
    5231308
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Heisenberg Fellowships
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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了