Information Technology Reference
In-Depth Information
8.13.2 Uniform Circuits Are Equivalent to Turing Machines
We now show that the functions computed by log-space uniform families of circuits and by
polynomial-time DTMs are the same. Since the family of functions computed by one-tape
and multi-tape Turing machines are the same (see Theorem 5.2.1 ), we prove the result only
for the standard one-tape Turing machine and proper resource functions (see Section 8.3 ).
THEOREM 8.13.1 Let p ( n ) be a polynomial and a proper function. Then every total function
f :
B →B computed by a DTM in time p ( n ) on inputs of length n can be computed by a
log-space uniform circuit family
C
.
B
B computed by a DTM M in time p ( n ) . It follows that the number of bits in the word
f n ( w ) is at most p ( n ) . Since the function computed by a circuit has a fixed-length output
and the length of f n ( w ) may vary for different inputs w of length n , we show how to create
aDTM M , a modified version of M ,thatcomputes f n , a function that contains all the
information in the function f n . The value of f n has at most 2 p ( n ) bits on inputs of length
n . We show that M produces its output in time O ( p 2 ( n )) .
Let M place a mark in the 2 p ( n ) th cell on its tape (a cell beyond any reached during
a computation). Let it now simulate M , which is assumed to print its output in the first
k locations on the tape, k
n
→B be the restriction to inputs of length n of the function f :
Proof Let f n :
B
p ( n ) . M now recodes and expands this binary string into a
longer string. It does so by marking k cells to right of the output string (in at most k 2 steps),
after which it writes every letter in the output string twice. That is, 0 appears as 00 and 1
as 11. Finally, the remaining 2 ( p ( n )
k ) cells are filled with alternating 0s and 1s. Clearly,
the value of f n can be readily deduced from the output, but the length of the value f n
is the
same on all inputs of length n .
ATuringmachine M C that constructs the n th circuit from n represented in unary and a
description of M invokes a slightly revised version of the program of Fig. 3.27 to construct
the circuit computing f n . This revised circuit contains placeholders for the values of the
n letters representing the input to M . The program uses space O (log p 2 ( n )) ,whichis
logarithmic in n .
We now show that the function computed by a log-space uniform family of circuits can be
computed by a polynomial-time Turing machine.
THEOREM 8.13.2 Let C be a log-space uniform circuit family. Then there exists a polynomial-time
Tu r i n g ma c h i n e M that computes the same set of functions computed by the circuits in
C
.
Proof Let M C
C
.WedesigntheTM
M to compute the same set of functions on an input w of length n . M uses w to obtain a
unary representation for the input M C
be the log-space TM that computes the circuit family
to write down a description of the n th
circuit on its work tape. It then computes the outputs of this circuit in time quadratic in the
length of the circuit. Since the length of the circuit is a polynomial in n because the circuit
is generated by a log-space TM (see Theorem 8.5.8 ), the running time of M is polynomial
in the length of w .
.Ituses M C
These two results can be generalized to uniform circuit families and Turing machines that
use more than logarithmic space and polynomial time, respectively. (See Problem 8.32 .)
Search WWH ::




Custom Search