Constraint-Satisfaction-Probleme: algebraische Struktur und komplexitätstheoretische Klassifikationen

约束满足问题：代数结构和复杂性理论分类

• 批准号: 5402405
• 负责人: Professor Dr. Heribert Vollmer
• 金额: --
• 依托单位: Institut für Theoretische Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2003
• 资助国家: 德国
• 起止时间: 2002-12-31 至 2007-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5402405?language=en
• 关键词: Constraint; Satisfaction; Probleme; algebraische; Struktur

Programmiersprachen aus dem Gebiet der künstlichen Intelligenz oder Anfragesprachen aus dem Gebiet der Datenbanken sind oft so aufgebaut, dass eine Reihe von Einschränkungen (Constraints) formuliert wird und die Ausführung des Programms nichts anderes ist als die Suche nach einer Lösung (etwa einem Datenbank-Eintrag), die alle Einschränkungen erfüllt. Die Frage, ob eine Lösung eines solchen sog. Constraint Satisfaction Problems existiert, ist im Allgemeinen NP-vollständig, also nach derzeitigem Wissensstand nicht mit vertretbarem Zeitaufwand durch einen Rechner lösbar. Im beantragten Projekt sollen verschiedene Typen von Anfragen aus komplexitätstheoretischer Sicht untersucht und nach ihrer Berechnungsschwierigkeit klassifiziert werden. Methodisch soll dabei auf Strukturuntersuchungen von Constraints mit Hilfsmitteln aus der universellen Algebra zurückgegriffen werden. Zunächst ist an eine Untersuchung des Spezialfalls der Booleschen Constraints, also der Constraints über einem zweielementigen Grundbereich, gedacht. Sodann sollen die dabei gewonnenen Erkenntnisse auf den Fall beliebiger endlicher Grundbereiche ausgedehnt werden.

Programmiersprachen aus dem Gebiet der künstlichen Intelligenz or der Anfragesprachen aus dem Gebiet der Datenbanken sind often so aufgebaut，dass eine Reihe von Einschränkungen（约束）formuliert wird and die Ausführung des Programms nichts and deres ist als die Suche nach einer Lösung（etwa einem Datenbank-Eintrag），die alle Einschränkungen erfüllt.法国人在一首歌里唱了一首歌。约束满足问题是一个普遍的NP问题，也是一个通过一个Rechner lösbar来解决的问题。我的设计项目完全基于复杂的理论体系，在韦尔登进行分类。方法论解决了约束与Hilfsmitteln的结构化问题，它是由韦尔登提出的。Zunächst is an eine Untersuchung des Spezialfalls der Booleschen Constraints，also der Constraints über einem zweielementigen Grundbereich，gedacht.因此，我们必须相信秋天的到来会给我们带来更大的韦尔登。