200 likes | 301 Vues
Dive into Lecture 19 focusing on P-Complete Problems, log-space many-one reduction, definition, property, Circuit Value Problem, Planar Circuit Value, Monotone Circuit Value, Odd Maximum Flow, and proof theorems. Learn how to reduce fanout, add OR gate, and simulate DTM computation by a circuit.
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