This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: CS 473G: Combinatorial Algorithms, Fall 2005 Homework 1 Due Tuesday, September 13, 2005, by midnight (11:59:59pm CDT) Name: Net ID: Alias: Name: Net ID: Alias: Name: Net ID: Alias: Starting with Homework 1, homeworks may be done in teams of up to three people. Each team turns in just one solution, and every member of a team gets the same grade. Neatly print your name(s), NetID(s), and the alias(es) you used for Homework 0 in the boxes above. Staple this sheet to the top of your answer to problem 1. There are two steps required to prove NPcompleteness: (1) Prove that the problem is in NP, by describing a polynomialtime verification algorithm. (2) Prove that the problem is NPhard, by describing a polynomialtime reduction from some other NPhard problem. Showing that the reduction is correct requires proving an ifandonlyif statement; dont forget to prove both the if part and the only if part. Required Problems 1. Some NPComplete problems (a) Show that the problem of deciding whether one graph is a subgraph of another is NP complete. (b) Given a boolean circuit that embeds in the plane so that no 2 wires cross, PlanarCir cuitSat is the problem of determining if there is a boolean assignment to the inputs that makes the circuit output true. Prove that PlanarCircuitSat is NPComplete. (c) Given a set S with 3 n numbers, 3partition is the problem of determining if S can be partitioned into n disjoint subsets, each with 3 elements, so that every subset sums to the same value. Given a set S and a collection of three element subsets of S , X3M (or exact 3dimensional matching ) is the problem of determining whether there is a subcollection of n disjoint triples that exactly cover S ....
View
Full
Document
This note was uploaded on 10/14/2011 for the course ECON 101 taught by Professor Smith during the Spring '11 term at West Virginia University Institute of Technology.
 Spring '11
 Smith

Click to edit the document details