Eine Sprache ist in , wenn es eine logspace Turingmaschine vorhanden ist , der die Sprache mit Polynom Menge Rat entscheidet.
Weitere Informationen finden Sie hier: https://en.wikipedia.org/wiki/L/poly
Frage
Was sind die Konsequenzen von ?
cc.complexity-theory
circuit-complexity
polynomial-time
advice-and-nonuniformity
logspace
Michael Wehar
quelle
quelle
Antworten:
Eine einfache Folge ist . Beweis: Für jede Sprache A ∈ P / poly gibt es eine Sprache B ∈ P und eine Folge von polynomlangen Hinweiszeichenfolgen y 1 , y 2 , y 3 , …, so dass x ∈ AP/poly=L/poly A∈P/poly B∈P y1,y2,y3,… . Unter der Annahme gibt es eine Sprache C ∈ L und eine Folge von polynomlangen Hinweiszeichenfolgen z 1 , z 2 , z 3 , …, so dass ( x , y ) ∈ Bx∈A⟺(x,y|x|)∈B C∈L z1,z2,z3,… . Dies impliziert A ∈ L / poly ; die Hinweiszeichenfolge für x ist ( y | x | , z | ( x , y | x | ) | ) .(x,y)∈B⟺(x,y,z|(x,y)|)∈C A∈L/poly x (y|x|,z|(x,y|x|)|)
(Eine knappe Version des Beweises: )P⊆L/poly⟹P/poly⊆(L/poly)/poly=L/poly
quelle