Um idioma está em se existir uma máquina de Turing de espaço de log que decida o idioma com uma quantidade de conselhos polinomiais.
Veja aqui para mais informações: https://en.wikipedia.org/wiki/L/poly
Questão
Quais são as consequências de ?
cc.complexity-theory
circuit-complexity
polynomial-time
advice-and-nonuniformity
logspace
Michael Wehar
fonte
fonte
Respostas:
Uma consequência simples é . Prova: para qualquer idioma A ∈ P / poli , existe um idioma B ∈ P e uma sequência de strings de aconselhamento de comprimento polinomial y 1 , y 2 , y 3 , … de modo que x ∈ AP/poly=L/poly A∈P/poly B∈P y1,y2,y3,… . Por suposição, existe uma linguagem C ∈ L e uma sequência de cadeias de aconselhamento de comprimento polinomial z 1 , z 2 , z 3 , … tal que ( x , y ) ∈ Bx∈A⟺(x,y|x|)∈B C∈L z1,z2,z3,… . Isso implica A ∈ L / poli ; a sequência de conselhos para x é ( 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|)|)
(Uma versão concisa da prova:P⊆L/poly⟹P/poly⊆(L/poly)/poly=L/poly
fonte