Cs6515 Exam 3 Study Guide With 100% Correct Answers

What is a variable edge? {Ans: An edge between complimentary vertices - x and x' have a variable edge between them.}What vertices do we choose to be in the IS? {Ans: 1. No Clause Edges between vertices. -Vertices cannot be neighbors of each other. 2. No Variable Edges -Vertices cannot be compliment of each other - x and x' cannot both be in IS.}For the above implication, what is the forward proof? {Ans: Given the 3SAT input and a satisfying assignment, show that G has an independent set of size ≥ g. -For each clause C, take 1 of the satisfied literals and add to the set S -S has 1 vertex per clause.}What is a clause edge? {Ans: An edge between vertices in the same clause}What are NP-Complete Problems? {Ans: The hardest problems in the NP class. A problem is NP-Complete if it is in NP and in NP-Hard.}What problems are known NP-Hard? {Ans: 1. Max-Independent-Set problem.}For the above implication, what is the reverse proof? {Ans: Given an independent set of size ≥ g, show that f has a satisfying assignment. -IS has 1 vertex per clause. Each vertex is satisfying assignment.