20 likes | 217 Views
Types of Proofs. Proofs by restriction Proofs by local replacement Proofs by component design . Proofs covered. SAT 3-SAT (Cormen) 3-SAT CLIQUE (Cormen) CLIQUE VC (Garey) VC HAM-CYCLE (Cormen) 3-SAT 3DM (Garey) 3DM X3C (Garey) 3DM PARTITION (Garey)
E N D
Types of Proofs • Proofs by restriction • Proofs by local replacement • Proofs by component design
Proofs covered • SAT 3-SAT (Cormen) • 3-SAT CLIQUE (Cormen) • CLIQUE VC (Garey) • VC HAM-CYCLE (Cormen) • 3-SAT 3DM (Garey) • 3DM X3C (Garey) • 3DM PARTITION (Garey) • Proofs by restriction (Garey)