Deixe- ser a função que mapeia um s circuito -gate C em n bits e um n cadeia de bits de . Suponha que os circuitos sejam codificados como uma sequência acíclica de atribuições onde são etiquetas de arame.C ( x ) k : = g ( i , j ) i , j , k
Sei que essa é uma pergunta meio engraçada, mas qual é o limite superior mais conhecido na complexidade do circuito desse problema? Existe uma TM única calcula essa função e, portanto, pela simulação Fischer-Pippenger, o tamanho O ( ( s + n ) 2 log ( s + n ) ) deve ser suficiente. O quadrático vem de ter que procurar para frente e para trás. É possível fazer melhor? É possível fazer no tamanho O ( s + n ) ?