Niech jest funkcją, która odwzorowuje s -gate obwód C w n bitów i jest n -bitowy ciąg X do C ( X ) . Załóżmy, że obwody są kodowane jako acykliczna sekwencja przypisań k : = g ( i , j ), gdzie i , j , k są etykietami przewodowymi.
Wiem, że to trochę zabawne pytanie, ale jaka jest najbardziej znana górna granica złożoności obwodu tego problemu? Istnieje taśma TM z pojedynczą taśmą oblicza tę funkcję, a zatem dzięki symulacji Fischera-Pippengera rozmiar O ( ( s + n ) 2 log ( s + n ) ) powinien wystarczyć. Kwadrat pochodzi z konieczności szukania tam iz powrotem. Czy można to zrobić lepiej? Czy można to zrobić w rozmiarze O ( s + n ) ?
źródło