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

Programmiersprachen aus dem Gebiet der kstlichen intelligenten oder Anfragesprachen aus Gebiet der Datenbanken sind oft so aufgebaut, pass eine Reihe von Einschränkungen (Constraints) formululiert wnd and die ausf<s:1> hrung des Programms nichts anderes ist als die Suche nach einer Lösung (etwa einem datenbank - eintrg), die alle Einschränkungen erf<e:1> lt。Die fragage, ob eine Lösung eines solchen sog。约束满足问题存在于Allgemeinen NP-vollständig，也存在于derzeetigem Wissensstand nicht mit vertretbarem Zeitaufwand durch einen Rechner lösbar。我正在研究一个项目，这个项目是solkt verschiedene Typen von Anfragen as komplexitätstheoretischer see untersucht and nach irer Berechnungsschwierigkeit klassifiiert werden。方法：基于通用代数理论的Hilfsmitteln约束方法。Zunächst ist and eine Untersuchung des Spezialfalls der boleschen Constraints，又称Constraints ber einem zweielementigen Grundbereich， gedacht。我相信我的祖国会更伟大，我的祖国会更伟大。

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.