Information Technology Reference
In-Depth Information
Monotone circuits are constructed of AND and OR gates. The functions computed by
monotone circuits form an asymptotically small subset of the set of Boolean functions. Also,
many important Boolean functions are not monotone, such as binary addition. But even
though monotone circuits are a very restricted class of circuits, the monotone version of CIR -
CUIT VALUE , defined below, is also P -complete.
MONOTONE CIRCUIT VALUE
Instance: A description for a monotone circuit with fixed values for its input variables and
a designated output gate.
Answer: “Yes” if the output of the circuit has value 1.
CIRCUIT VALUE is a starting point to show that many other problems are P -complete. We
begin by reducing it to MONOTONE CIRCUIT VALUE .
THEOREM 8.9.1 MONOTONE CIRCUIT VALUE is P -complete.
Proof As shown in Problem 2.12 , every Boolean function can be realized with just AND
and OR gates (this is known as dual-rail logic) if the values of input variables and their
complements are made available. We reduce an instance of CIRCUIT VALUE to an instance
of MONOTONE CIRCUIT VALUE by replacing each gate with the pair of monotone gates
described in Problem 2.12 . Such descriptions can be written out in log-space if the gates in
the monotone circuit are numbered properly. (See Problem 8.20 .) The reduction must also
write out the values of variables of the original circuit and their complements.
The class of P -complete problems is very rich. Space limitations require us to limit our
treatment of this subject to two more problems. We now show that LINEAR INEQUALITIES
described below is P -complete. LINEAR INEQUALITIES is important because it is directly re-
lated to LINEAR PROGRAMMING , which is widely used to characterize optimization problems.
The reader is asked to show that LINEAR PROGRAMMING is P -complete. (See Problem 8.21 .)
LINEAR INEQUALITIES
Instance: An integer-valued m
n matrix A and column m -vector b .
Answer: “Yes”ifthereisarationalcolumn n -vector x > 0 (all components are non-negative
and at least one is non-zero) such that A x
×
b .
We show tha t LINEAR INEQUALITIES is P -hard, that is, that every problem in P can be
reduced to it in log-space. The proof that LINEAR INEQUALITIES is in P , an important and
difficult result in its own right, is not given here. (See [ 165 ].)
THEOREM 8.9.2 LINEAR INEQUALITIES is P -hard.
Proof We give a log-space reduction of CIRCUIT VALUE to LINEAR INEQUALITIES .That
is, we show that in log-space an instance of CIRCUIT VALUE can be transformed to an in-
stance of LINEAR INEQUALITIES so that an instance of CIRCUIT VALUE is a “Yes” instance
if and only if the corresponding instance of LINEAR INEQUALITIES is a “Yes” instance.
The log-space reduction that we use converts each gate and input in an instance of a
circuit into a set of inequalities. The inequalities describing each gate are shown below. (An
equality relation a = b is equivalent to two inequality relations, a
a .) The
reduction also writes the equality z = 1fortheoutputgate z . Since each variable must
be non-negative, this last condition insures that the resulting vector of variables, x , satisfies
x > 0 .
b and b
Search WWH ::




Custom Search