Es sei die Funktion, die eine Gate-Schaltung auf Bits und eine Bit-Zeichenfolge auf abbildet . Es sei angenommen, dass Schaltungen als eine azyklische Folge von Zuweisungen codiert sind, wobei sind. sCnnxC(x)k:=g(i,j)i,j,k
Ich weiß, dass dies eine witzige Frage ist, aber was ist die bekannteste Obergrenze für die Schaltungskomplexität dieses Problems? Es gibt ein Single-Tape TM, das diese Funktion berechnet, und so sollte nach der Fischer-Pippenger-Simulation Größe ausreichen . Das Quadrat entsteht, wenn man hin und her suchen muss. Kann man es besser machen? Ist es möglich, in Größe zu tun ?O ( ( s + n ) 2 log ( s + n ) ) O ( s + n )