20111025s - Theory of Computation Homework 2 Problem 1....

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
Theory of Computation Homework 2 Problem 1. Given a Boolean expression ϕ = (( a b ) ( c ( d e ))) ( a f ) . (a) Turn ϕ into a CNF. (b) Illustrate a Boolean circuit for CNF. Ans: (a) By implication, ϕ 1 ϕ 2 = ¬ ϕ 1 ϕ 2 , ϕ = ( ¬ ( a b ) ( c ( d e ))) ( a f ) = ( ¬ ( a b ) ( c ( ¬ d e ))) ( a f ) = ( ¬ ( a b ) ( c ( ¬ d e ))) ( ¬ a f ) . By De Morgan’s laws, ¬ ( ϕ 1 ϕ 2 ) ( ¬ ϕ 1 ∨ ¬ ϕ 2 ), ϕ = ( ¬ ( a b ) ( c ( ¬ d e ))) ( ¬ a f ) = ( ¬ a ∨ ¬ b ( c ( ¬ d e ))) ( ¬ a f ) . Finally, the CNF of ϕ is ϕ = ( ¬ a ∨ ¬ b c ∨ ¬ d e ) ( ¬ a f ) . (b) A Boolean circuit is as follows:
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Problem 2. If f ( n ) and g ( n ) are proper complexity functions, sketch proofs that show the following items are proper complexity functions: (a) f ( g ), (b) f + g , (c) f · g , (d) 2 g . Proof. Assume that f and g are computed by TMs M f and M g , respectively. (a) Simulate M g , storing the “output” on a work tape, and then simulate M f (using a different set of tapes), using that work tape as input. Note that f ( n ) n has to be satisfied. (b) Simulate M f , then simulate M g . The outputs will be concatenated to- gether, and so the output will be of length
Background image of page 2
Background image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 11/14/2011 for the course CSIE 7110 taught by Professor Yuh-dauhlyuu during the Fall '11 term at National Taiwan University.

Page1 / 3

20111025s - Theory of Computation Homework 2 Problem 1....

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online