3
Funktionsprobleme und
Es fällt mir schwer, formale Definitionen von Funktionskomplexitätsklassen zu finden. Hier sind zwei aus Wikipedia. Eine binäre Beziehung ist genau dann in FP, wenn es einen deterministischen Polynomzeitalgorithmus gibt, der bei gegebenem etwas finden kann, so dass gilt.P.( x , y)P(x,y)P(x,y)xxxyyyP.( x , y)P(x,y)P(x,y) Die obige Definition scheint zu implizieren, …