Deskriptive Komplexitätstheorie kleiner Komplexitätsklassen

模型描述Komplexitätstheorie stellt eine Beziehung zwischen der Berechnungskomplexität von algorithmischen Problemen und irer sprachlichen Komplexität her；算法问题，算法问题，算法问题，算法问题，算法问题，算法问题，算法问题。德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国Logische Charakterisierungen von Komplexitätsklassen in der Datenbanktheorie von Relevanz, tatsächlich haben zentrale Fragen der deskritiven Komplexitätstheorie port iren Ursprung。Während f<s:1> r die Komplexitätsklasse NP und die meisten nat<s:1> rlichen Erweiterungen von NP logische Charakterisierungen bekant sind, kennen wir f<e:1> r Teilklassen von NP, insbesonere f<e:1> r die whichtige Klasse PTIME, dem gängigen mathematischen modelell der Klasse der efficient lösbaren¿problem, keine solchen Charakterisierungen。钱德拉和哈雷尔的数据分析与分析，1982年，苏黎世<e:1>。似乎项目sollen verschiedene aspekder deskritiven Komplexitätstheorie untersucht werden。Wir wollen ununim Wesentlichen auf die Klasse PTIME und Teilklassen (die kleinen Komplexitätsklassen¿im Titel) konzentrieren, fir die das technical Problem der Repräsentationsinvarianz von Algorithmen eine zentrale Rolle spielt。

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. Logische Charakterisierungen von Komplexitätsklassen sind auch in der Datenbanktheorie von Relevanz, tatsächlich haben zentrale Fragen der deskriptiven Komplexitätstheorie dort ihren Ursprung. Während für die Komplexitätsklasse NP und die meisten natürlichen Erweiterungen von NP logische Charakterisierungen bekannt sind, kennen wir für Teilklassen von NP, insbesondere für die wichtige Klasse PTIME, dem gängigen mathematischen Modell der Klasse der effizient lösbaren¿ Probleme, keine solchen Charakterisierungen. Die Frage nach einer logischen Charakterisierung von PTIME geht auf eine Arbeit über Datenbankanfragesprachen von Chandra und Harel aus dem Jahre 1982 zurück. In diesem Projekt sollen verschiedene Aspekte der deskriptiven Komplexitätstheorie untersucht werden. Wir wollen uns im Wesentlichen auf die Klasse PTIME und Teilklassen (die kleinen Komplexitätsklassen¿ im Titel) konzentrieren, für die das technische Problem der Repräsentationsinvarianz von Algorithmen eine zentrale Rolle spielt.