Slide 1

Lecture 8-9 More examples

Slide 2

SAT 3SAT VCPlanar 3SAT Knapsack PartitionHC3DM Integer Programming TSP

Slide 3

Vertex-Cover is NP-complete Proof.

Slide 4

Slide 5

Slide 6

HC is NP-complete

Slide 7

Slide 8

Slide 9

3DM

Slide 10

Example of 3DM Messrs. Spinnaker, Buoy, Luff, Gybe, and Windward are yacht owners. Each has a daughter, and each has named his yacht after the daughter of one of the others. Mr. Spinnakers yacht, the Iris, is named after Mr. Buoys daughter. Mr. Buoys own yacht is the Daffodil; Mr. Windwards yacht is the Jonquil; Mr. Gybes, the Anthea. Daffodil is the daughter of the owner of the yacht which is named after Mr. Luffs daughter. Mr. Windwards daughter is named Lalage. Who is Jonquils father?

Slide 11

Slide 12

Slide 13

Slide 14

Trash Can ( )

Slide 15

Partition

Slide 16

Slide 17

S=33333333333333333333 1111111111111111111111 11

Slide 18

Slide 19

Puzzle Answer

Slide 20

Planar 3SAT

Slide 21

Planar CNF

Slide 22

Strongly Planar CNF

Slide 23

A strongly planar CNF must be a planar CNF!!!

Slide 24

2-3CNF

Slide 25

Planar 2-3SAT

Slide 26

Strongly Planar 2-3SAT

Slide 27

Planar 3SAT

Slide 28

Want to show

Slide 29

Slide 30

Slide 31

Slide 32

Slide 33

Slide 34

Slide 35

Slide 36

Slide 37

Slide 38

Slide 39