Gibt es eine Logik für PTIME? (Forschungssemester)

PTIME 有逻辑吗？

• 批准号: 61560798
• 负责人: Professor Dr. Martin Grohe
• 金额: --
• 依托单位: Informatik 7 - Lehrstuhl Logik und Theorie diskreter Systeme
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2007
• 资助国家: 德国
• 起止时间: 2006-12-31 至 2007-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/61560798?language=en
• 关键词: Gibt; es; eine; Logik; PTIME

Die deskriptive Komplexitätstheorie stellt eine Beziehung zwischen der Berechnungskomplexität von algorithmischen Problemen und ihrer sprachlichen Komplexität her; stark vereinfacht sind algorithmische Probleme, die schwer zu beschreiben sind, auch schwer zu lösen und umgekehrt. Der Wert solcher sprachlicher oder logischer Charakterisierungen von Komplexitätsklassen besteht darin, dass sie einen Zugang zur Komplexität liefern, der unabhängig von Maschinenmodellen sowie der konkreten Repräsentation der Eingabedaten ist. Während für viele Komplexitätsklassen logische Charakterisierungen bekannt sind, kennen wir ausgerechnet für die wichtige Klasse PTIME, dem gängigen mathematischen Modell der Klasse der “effizient lösbaren” Probleme, keine solche Charakterisierung. Die Frage nach einer logischen Charakterisierung von PTIME wurde zuerst 1982 von Chandra und Harel im 1 Rahmen der Datenbanktheorie gestellt und gilt seitdem als eine zentrale offene Frage der Datenbanktheorie und der deskriptiven Komplexitätstheorie. In diesem Projekt sollen verschiedene Aspekte der Frage untersucht werden. Insbesondere soll eine logische Charakterisierung für eine große Klasse von “kombinatorisch einfachen” Problemen in PTIME gegeben werden.

这是一种很有说服力的理论，它代表着问题和算法的问题，而不是简单的算法问题，而不是所有的问题。在达林的基础上，我们可以找到更好的解决方案，更好的解决这些问题，这是一种新的理念。这是一个很重要的问题，也是最重要的，也是最重要的问题。1982年，钱德拉和哈雷尔在数据银行理论的框架和镀金的基础上，建立了数据银行理论和商业银行理论的框架。在这项工程中，所有的东西都是不同的。在这一点上，每个人都有自己的特点。