Schaltkreiskomplexität, Parametrische Komplexität und logische Definierbarkeit

电路复杂性、参数复杂性和逻辑可定义性

基本信息

项目摘要

Fragen nach unteren Schranken für die Komplexität algorithmischer Probleme gehören zu den schwierigsten der theoretischen Informatik, beispielsweise ist das berühmte P vs. NP Problem von diesem Typ. Zumeist sind diese Fragen trotz großer Anstrengungen noch offen. Die bislang erzielten Ergebnisse sind eher bescheiden, aufgrund der fundamentalen Bedeutung des Begriffs der Komplexität für die Informatik aber dennoch wichtig. Erzielt werden konnten die meisten dieser Ergebnisse durch die kombinatorische Analyse von Schaltkreisen. Aus der deskriptiven Komplexitätstheorie ist ein enger Zusammenhang zwischen Logik und Komplexität bekannt; Fragen nach unteren Schranken übersetzen sich damit in Fragen nach der Ausdrucksstärke von Logiken. Der Zusammenhang zwischen Logik und Schaltkreiskomplexität soll auch im Mittelpunkt dieses Projekts stehen. Ein wesentlicher neuer Aspekt ist dabei die Einbeziehung von Sichtweisen und Resultaten der parametrischen Komplexitätstheorie, einem relativ neuen Zweig der Komplexitätstheorie, der eine verfeinerte Analyse von Problemen anhand mehrerer Parameter erlaubt. Konkret wollen wir versuchen, gewisse Hierarchien von Komplexitätsklassen in der Schaltkreiskomplexität zu etablieren sowie konkrete untere Schranken für parametrische Probleme anzugeben und damit eine parametrische Schaltkreiskomplexität einzuführen. Auf der logischen Seite wollen wir Ausdrucksstärke und Formellängen von Logiken mit endlich vielen Variablen untersuchen.
Fragen nach unteren Schranken für die Komplexität algorithmischer Probleme gehören zu den schwierigsten der theoretischen Informatik,beispielsweise ist das berühmte P vs. NP Problem von diesem Type.这是一个非常有趣的故事。Die bislang erzielten Ergebnisse sind eher bescheiden,aufgrund der fundamentalen Bedeutung des Begriffs der Komplexität für die Informatik aber dennoch wichtig.韦尔登可以通过对Schaltkreisen的综合分析来理解这一点。从描述复杂性理论看,逻辑和复杂性是两个共同的概念;在逻辑的符号系统中,Fragen nach unteren Schranken übersetzen damit in Fragen nach der Ausdrucksstärke von Logiken。在这些项目的中间点,逻辑和逻辑的组合也很复杂。一个新的方面是对参数化复杂性理论的分析和结果,一个相对于复杂性理论的新的Zweig,一个对问题和更多参数的精确分析。Konkret wollen wir versuchen,gewisse Hierarchien von Komplexitätsklassen in der Schaltkreiskomplexität zu etablieren sowie konkrete untere Schranken für parametrische Probleme anzugeben und damit eine parametrische Schaltkreiskomplexität einzuführen.在物流方面,我们将通过各种变量对Logiken进行包装和格式化。

项目成果

期刊论文数量(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
Deskriptive Komplexitätstheorie kleiner Komplexitätsklassen
小复杂度类的描述复杂度理论
  • 批准号:
    125951430
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    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

相似海外基金

Parametrische Ordnungsreduktion durch Interpolation
通过插值降低参数阶数
  • 批准号:
    191319493
  • 财政年份:
    2011
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Parametrische Variation in der Interpretationskomponente der Grammatik
语法解释部分的参数变化
  • 批准号:
    120196296
  • 财政年份:
    2009
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Flachheitsbasierte Folgeregelung für verteilt-parametrische Systeme in mehreren Ortsdimensionen
多空间维度分布式参数系统的基于平坦度的跟踪控制
  • 批准号:
    32992095
  • 财政年份:
    2007
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Entwicklung und Implementierung einer Kombifläche aus bikubischen NURBS und Unterteilungsflächen mit Schwerpunkt parametrische Flächen
开发和实现由双三次 NURBS 和细分曲面组成的组合曲面,重点关注参数曲面
  • 批准号:
    31189995
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Research Fellowships
Parametrische Modellbildung, Prognose und Optimierung von Prozess-Struktur-Wechselwirkungen mit Hilfe von Mehrkörpermodellen und Implicit Filtering
使用多体模型和隐式过滤对过程-结构相互作用进行参数化建模、预测和优化
  • 批准号:
    5449120
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Integriert optische Wellenlängenkonverter und parametrische Verstärker in periodisch gepoltem Lithiumniobat
将光学波长转换器和参量放大器集成在周期性极化铌酸锂中
  • 批准号:
    5455507
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Parametrische Modellbildung, Prognose und Optimierung von Prozess-Struktur-Wechselwirkungen mit Hilfe von Mehrkörpermodellen und Implicit Filtering
使用多体模型和隐式过滤对过程-结构相互作用进行参数化建模、预测和优化
  • 批准号:
    5449122
  • 财政年份:
    2005
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Parametrische Modulation thermischer und thermomagnetischer Konvektion in magnetischen Flüssigkeiten
磁性流体中热对流和热磁对流的参数调制
  • 批准号:
    5385397
  • 财政年份:
    2002
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Messung und parametrische Modellierung instationärer, richtungsaufgelöster Mobilfunkkanäle in komplizierter Umgebung
复杂环境中不稳定、方向分辨移动无线电信道的测量和参数化建模
  • 批准号:
    5255062
  • 财政年份:
    2000
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Parametrische Konstruktion (M 5)
参数化构造 (M 5)
  • 批准号:
    5170004
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Collaborative Research Centres
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了