Die Komplexität von Constraint-Satisfaction Problemen

约束满足问题的复杂性

基本信息

项目摘要

Constraint-Satisfaction-Probleme (CSP) bilden eine natürliche Klasse von algorithmischen Problemen, die wichtige Anwendungen in ganz verschiedenen Bereichen wie künstliche Intelligenz, Datenbanken, automatische Verifikation und statistische Physik haben. Prominentestes Beispiel eines CSP, das auch in diesem Projekt eine wichtige Rolle spielen soll, ist das aussagenlogische Erfüllbarkeitsproblem. Es ist seit langem bekannt, dass CSP im Allgemeinen NP-vollständig und damit, zumindest theoretisch, nicht effizient lösbar sind. In der Praxis hat es in den letzten Jahren jedoch enorme Fortschritte bei der Lösung insbesondere des aussagenlogischen Erfüllbarkeitsproblems gegeben. Inzwischen werden in industriellen Anwendungen Instanzen mit mehr als 10.000 Variablen routinemäßig gelöst. Es liegt hier also eine deutliche Diskrepanz zwischen den theoretischen "worst-case" Vorhersagen und der Praxis vor. Als Grund für diese Diskrepanz wird oft genannt, dass in der Praxis auftretende Instanzen "strukturiert" sind. Allerdings ist es völlig unklar, welche strukturellen Eigenschaften hier relevant sind und wie diese von den üblicherweise eingesetzten Algorithmen ausgenützt werden. Diese Fragen sollen im Mittelpunkt des Projekts stehen. Neben CSP und SAT als zentralem Beispiel soll hier auch eine Reihe verwandter Probleme, etwa Zählprobleme, untersucht werden.
约束满足问题(CSP)是一个算法问题的本质问题,它与智能、数据库、自动验证和统计物理学等领域的研究有着密切的联系。突出的是CSP,在这个项目中也有一个很重要的角色,这是一个非常重要的问题。这是一个很好的语言,因为CSP在所有NP中都是很好的,而且在理论上是没有效率的。在实践中,在过去的几年里,勒松的堡垒被认为是产生了一些问题的根源。Inzwischen韦尔登在工业Anwendungen Instanzen mit梅尔als 10.000 Variablen Schemäßig gelöst.这也是一个德国人对理论上的“最坏情况”的理解和实践。Als Grund für diese rerepanz wird often genannt,dass in der Praxis auftretende Instanzen“strukturiert”sind. Allerdings ist es völlig unklar,welche strukturellen Eigenschaften relevant sind and wie diese von den üblicherweise eingesetzten ausgenützt韦尔登.这些碎片在项目的中间点上很难找到。Neben CSP and SAT als zentralem Beispiel soll auch eine Reihe verwandter Probleme,etwa Zählprobleme,untersucht韦尔登.

项目成果

期刊论文数量(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
Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen
图和结构的树状分解及其应用
  • 批准号:
    24838406
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    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 }}

知道了