Die Komplexität von Constraint-Satisfaction Problemen
约束满足问题的复杂性
基本信息
- 批准号:5432723
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2004
- 资助国家:德国
- 起止时间:2003-12-31 至 2008-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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 项目,是该项目中最突出的问题,也是解决问题的关键。 Es ist seit langem bekannt, dass CSP im Allgemeinen NP-vollständig und damit, zumindest theoretisch, nicht effizient lösbar sind.在实践中,我们在过去的几年里遇到了很多需要解决的问题。 Inzwischen werden in industriellen Anwendungen Instanzen mit mehr als 10.000 Variablenroutinemäßig gelöst。这也是“最坏情况”理论与实践中的德国Diskrepanz。 Als Grund für diese Diskrepanz wird oft genannt, dass in der Praxis auftretende Instanzen “strukturiert” sind. Allerdings ist es völlig unklar, welche structurellen Eigenschaften hier related sind and wie diese von den üblicherweise eingesetzten Algorithmen ausgenützt werden. Diese Fragen sollen im Mittelpunkt des Projekts stehen。 CSP 和 SAT 的核心问题是解决问题、解决问题、解决问题。
项目成果
期刊论文数量(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
Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen
图和结构的树状分解及其应用
- 批准号:
24838406 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Research Grants
Graph-Based Generative Machine Learning for Optimal Molecular Design
用于优化分子设计的基于图的生成机器学习
- 批准号:
466417970 - 财政年份:
- 资助金额:
-- - 项目类别:
Priority Programmes
Quantitative reasoning about database queries
数据库查询的定量推理
- 批准号:
412400621 - 财政年份:
- 资助金额:
-- - 项目类别:
DIP Programme














{{item.name}}会员




