200 likes | 216 Views
Lecture 3-4 P-Complete Problems. Log-space many-one reduction. DEFINITION. PROPERTY. P-complete. Circuit Value Problem (CVP). THEOREM. PROOF. SIMULATE DTM COMPUTATION BY A CIRCUIT. Planar Circuit Value (PCV). THEOREM. PROOF. Monotone Circuit Value (MCV). THEOREM. PROOF.
E N D
Log-space many-one reduction DEFINITION PROPERTY
Circuit Value Problem (CVP) THEOREM PROOF
Planar Circuit Value (PCV) THEOREM PROOF
Monotone Circuit Value (MCV) THEOREM PROOF
Odd Maximum Flow (OMF) THEOREM PROOF
Reduce fanout Add OR gate as output gate
Why it is a max flow? full s, true nodes t, false nodes 0