Deskriptive Komplexitätstheorie kleiner Komplexitätsklassen

小复杂度类的描述复杂度理论

基本信息

项目摘要

Die deskriptive Komplexitätstheorie stellt eine Beziehung zwischen der Berechnungskomplexität von algorithmischen Problemen und ihrer sprachlichen Komplexität her; stark vereinfacht sind algorithmische Probleme, die schwer zu beschreiben sind, auch schwer zu lösen und umgekehrt. Der Wert solcher sprachlicher oder logischer Charakterisierungen von Komplexitätsklassen besteht darin, dass sie einen Zugang zur Komplexität liefern, der unabhängig von Maschinenmodellen sowie der konkreten Repräsentation der Eingabedaten ist. Logische Charakterisierungen von Komplexitätsklassen sind auch in der Datenbanktheorie von Relevanz, tatsächlich haben zentrale Fragen der deskriptiven Komplexitätstheorie dort ihren Ursprung. Während für die Komplexitätsklasse NP und die meisten natürlichen Erweiterungen von NP logische Charakterisierungen bekannt sind, kennen wir für Teilklassen von NP, insbesondere für die wichtige Klasse PTIME, dem gängigen mathematischen Modell der Klasse der effizient lösbaren¿ Probleme, keine solchen Charakterisierungen. Die Frage nach einer logischen Charakterisierung von PTIME geht auf eine Arbeit über Datenbankanfragesprachen von Chandra und Harel aus dem Jahre 1982 zurück. In diesem Projekt sollen verschiedene Aspekte der deskriptiven Komplexitätstheorie untersucht werden. Wir wollen uns im Wesentlichen auf die Klasse PTIME und Teilklassen (die kleinen Komplexitätsklassen¿ im Titel) konzentrieren, für die das technische Problem der Repräsentationsinvarianz von Algorithmen eine zentrale Rolle spielt.
Die deskriptive Complexitätstheorie stelt eine Beziehung zwischen der Berechnungskomplexität von algorithmischen Problemen und irrer sprachlichen Complexität her; stark vereinfacht sind algorithmische Probleme,die schwer zu beschreiben sind,auch schwer zu lösen und umgekehrt. Der Wert solcher sprachlicher or logischer Charakterisierungen von Komplexitätsklassen besteht darin,dass sie einen Zugang zur Komplexität liefern,der unabhängig von Maschinenmodellen sowie der konkreten Repräsentation der Eingabedaten ist.复杂性的逻辑特征也存在于相关数据库理论中,但它也存在于原始复杂性理论的核心框架中。对于NP复杂性和NP逻辑特性的最大自然有效性研究,我们可以从NP的Teilklassen出发,考虑到最小的类PTIME,从求解有效性问题的类的数学模型出发,并没有解决任何特性问题。这一具有PTIME逻辑特征的法国人在1982年开始从事钱德拉和哈雷尔的数据银行业务。在这个项目中,我们将讨论韦尔登理论。我们希望我们能在Klasse PTIME和Teilklassen(Titel中的小复合体)上进行协商,以解决代表性变化的技术问题。

项目成果

期刊论文数量(3)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Capturing Polynomial Time on Interval Graphs
捕获区间图上的多项式时间
Structure theorem and isomorphism test for graphs with excluded topological subgraphs
排除拓扑子图的图的结构定理和同构检验
  • DOI:
    10.1145/2213977.2213996
  • 发表时间:
    2012
  • 期刊:
  • 影响因子:
    0
  • 作者:
    M. Grohe;D. Marx
  • 通讯作者:
    D. Marx
L-Recursion and a new Logic for Logarithmic Space
L-递归和对数空间的新逻辑
  • DOI:
    10.2168/lmcs-9(1:11)2013
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    M. Grohe;B. Gruien;A. Hernich;B. Laubner
  • 通讯作者:
    B. Laubner
{{ 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
Gibt es eine Logik für PTIME? (Forschungssemester)
PTIME 有逻辑吗?
  • 批准号:
    61560798
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen
图和结构的树状分解及其应用
  • 批准号:
    24838406
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了