Als «polynomial-time» getaggte Fragen

10
P und beschreibende Komplexität

Im Complexity Zoo heißt es [ 1 ], dass PPP in der beschreibenden Komplexität durch drei verschiedene Arten von Formeln definiert werden kann: FO(LFP)FO(LFP)FO(LFP) das auch FO(nO(1))FO(nO(1))FO(n^{O(1)}) , und auch als SO(HORN)SO(HORN)SO(HORN) . Es gibt jedoch einige Ausnahmen sind zum Beispiel...