权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Erfüllbarkeitsprobleme

满意度问题

基本信息

批准号：
33177530
负责人：
Professor Dr. Heribert Vollmer
金额：
--
依托单位：
Institut für Theoretische Informatik
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2007
资助国家：
德国
起止时间：
2006-12-31 至 2014-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/33177530?language=en
关键词：
Erf llbarkeitsprobleme

项目摘要

Das Erfüllbarkeitsproblem, also das Berechnungsproblem, von einer gegebenen aussagenlogischen Formel zu entscheiden, ob sie erfüllbar ist, ist das klassische NP-vollständige Problem, dessen Studium die Entwicklung der Komplexitätstheorie in nicht zu unterschätzendem Ausmaß geprägt hat. Bekannterweise erlauben eingeschränkte Formelklassen effiziente Entscheidungsalgorithmen, z. B. die bekannten Horn-Formeln. In diesem Projekt soll die Grenze zwischen algorithmischer Nicht- Handhabbarkeit und effizienter Lösbarkeit für Erfüllbarkeitsprobleme und verwandte algorithmische Fragestellungen in verschiedenen logischen Formalismen genau bestimmt werden unter besonderer Berücksichtigung einer möglichst genauen komplexitätstheoretischen Klassifizierung der effizienten Fälle, etwa im Hinblick auf Speicherbedarf oder Parallelisierbarkeit. Einen besonderen Schwerpunkt bei unseren Untersuchungen sollen sog. nichtmonotone Logiken spielen, die Verwendung vor allem in Bereichen wie Wissensrepräsentation, Semantic Web, Expertensysteme, etc. finden. Methodisch sollen die Untersuchungen auf Mittel der universellen Algebra, insbesondere den Post¿schen Graphen abgeschlossener Klassen von Boole¿schen Funktionen, zurückgreifen.

作为一个经典的NP-问题，复杂性理论的发展研究并不完全是一个复杂的问题。Bekannterweise erlauben eingeschränkte Formelklassen effiziente Entscheidungsaltishmen，z. B。他们被霍恩·福尔梅恩打败了。在这个项目中，Grenze zwischen algorithmischer Nicht-Handabbarkeit und effizienter Lösbarkeit für Erfüllbarkeitsprobleme und verwandte algorithmische Fragestellungen in verdedenen logischen Formalismen genau bestimmt韦尔登unter besonderer Berücksichtigung einer möglichst genauen komplexitätstheoretischen Klassifizierung der effizienten Fälle，etwa im Hinblick auf Speicherbedarf or der Elisierbarkeit.一个最好的音符在我们的下一个音符上。不是单调的Logiken spielen，die Verwendung vor allem in Bereichen wie Wissensrepräsentation，Semantic Web，Expertensysteme，etc. finden.方法论解决了普遍代数中的一些问题，包括布尔函数的后处理图和后处理图。