370 likes | 502 Vues
Explore integer programming, traveling salesman problem, knapsack, vertex cover, Hamiltonian cycle, 3-dimensional matching, planar partition, and 3-SAT through yacht owner puzzle. Discover NP-completeness proofs and examples.
E N D
Integer Programming TSP Knapsack VC HC 3DM Partition Planar 3SAT 3SAT SAT
Vertex-Cover is NP-complete Proof.
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. Spinnaker’s yacht, the Iris, is named after Mr. Buoy’s daughter. Mr. Buoy’s own yacht is the Daffodil; Mr. Windward’s yacht is the Jonquil; Mr. Gybe’s, the Anthea. • Daffodil is the daughter of the owner of the yacht which is named after Mr. Luff’s daughter. Mr. Windward’s daughter is named Lalage. • Who is Jonquil’s father?
Puzzle Answer