Question

In: Statistics and Probability

Problem: Clique In this problem IS stands for Independent Set. The usual IS problem, that we...

Problem: Clique

In this problem IS stands for Independent Set.

The usual IS problem, that we showed in class in NP-complete is as follows:

Input: Unidrected graph G(V, E) and number k, with 1 ≤ k ≤ n.
Output: YES if G has an independent set of containing at least k vertices.
  NO if all independent sets of G contain strictly less than k vertices.

Definition: Let G(V, E) be an undirected graph and let V ′ be a proper subset of vertives of V : V ′ ⊂ V . We sat thay V is a clique of size k=|V′| if and only if, for all u∈V′ and for all u != v in V′ the edge{u,v}∈E.

Now define the Clique problem as follows:

Input: Unidrected graph G(V, E) and number k, with 1⌉ ≤ k ≤ n.
Output: YES if G has a clique containing at least k vertices.
  NO if cliques of G contain strictly less than k vertices.

Show that IS≤ pCLIQUE.

Solutions

Expert Solution

We use a reduction from VERTEX COVER. Given an instance (G = (V, E), k) of VC we transform it to an instance (G′ = (V ′, E′), k) of DS as follows. First we remove all isolated vertices from G (clearly, they are not necessary in any VC since they have no edges). G′ is similar to G, with a vertex added for each edge, and connected to both sides of the original edge. Formally, V ′consists of all the non-isolated vertices in V and a vertex ve ∀e ∈ E, and E′ consists of E, and the new edges (ve,u) and (ve,w) ∀e = (u,w) ∈ E. The reduction can clearly be done in polynomial time.

⇒ LetU beavertexcoverofG. WeshowthatitisalsoadominatingsetinG′. For∀v∈V′\Uthere are two possibilities

1. If v ∈ V then, since it is not an isolated vertex, there is an edge (u,v) ∈ E. Since U is a vertex cover and v ∈/ U, we have u ∈ U, so v has a neighbour in U.

2. v = ve for some edge e = (u,w) ∈ E. Since U is a vertex cover, u ∈ U or w ∈ U, so vhas a neighbour in U.

⇐ Suppose that U is a dominating set in G′ of size ≤ k. We first get rid of vertices in Ucorresponding to edges of G. If ve ∈ U for some edge e = (u, w) ∈ E, then we replace it withu. Note that:

1. Note that the size of U does not increase in this process.

2. The neighbours of a vertex ve for e = (u,w) are only u and w. Thus, by removing vefrom U, the only vertices that might become uncovered are ve, u and w, but they are covered by u. Therefore U remains a dominating set.

∀e = (u,w) ∈ E, U must contain u or w (otherwise ve has no neighbour in U). Thus, U is a dominating set in G.


Related Solutions

In this problem we consider a data structure for maintaining a multi-set M. We want to...
In this problem we consider a data structure for maintaining a multi-set M. We want to support the following operations: • Init(M): create an empty data structure M. • Insert(M, i): insert (one copy of) i in M. • Remove(M, i): remove (one copy of) i from M. • F requency(M, i): return the number of copies of i in M. • Select(M, k): return the kth element in the sorted order of elements in M.
Q1. An ANOVA analysis is performed with six independent samples of equal size, testing as usual...
Q1. An ANOVA analysis is performed with six independent samples of equal size, testing as usual for a difference in the corresponding population means. The total degrees of freedom is 35. What is the degrees of freedom for the within sum of squares? Q2. We are conducting an ANOVA on 4 groups with the following sample sizes: We wish to calculate a 95% confidence interval for the difference between   and  (ie the difference in the means between groups 1 and 3). The...
Consider an earnings function with the dependent variable y monthly usual earnings and as independent variables...
Consider an earnings function with the dependent variable y monthly usual earnings and as independent variables years of education x1, gender x2 coded as 1 if female and 0 if male, and work experience in years x3. We are interested in the partial effect of years of education on earnings. We consider the following possible relations (that are assumed to be exact) y =β0 + β1x1 + β2x2 + β3x3 (1) y =β0 + β1x1 + β2x2 + β3x3 +...
Problem Set 2: The Two-factor ANOVA for Independent Measures Research Scenario: In response to media reports...
Problem Set 2: The Two-factor ANOVA for Independent Measures Research Scenario: In response to media reports of violence on college campuses, a psychologist who works at a local community college decides to study students’ perceptions of campus safety. He hopes to use these results to help develop an on-campus violence prevention program. The administration has asked him additionally to look at whether perceptions of safety differ depending on students’ year in school and gender. The psychologist administers a questionnaire with...
What will happen to the world of 2050, if we follow a “business as usual” scenario...
What will happen to the world of 2050, if we follow a “business as usual” scenario in terms of fossil fuel consumption? Why does David Wallace Wells think “it's time to panic.”
Below is the pseudocode for Quicksort and Partition that we talked about in class. As usual...
Below is the pseudocode for Quicksort and Partition that we talked about in class. As usual with recursive functions on arrays, we see the array indices s and e as arguments. Quicksort(A, s, e) sorts the part of the array between s and e inclusively. The initial call (that is, to sort the entire array) is Quicksort(A, 0, n − 1) QuickSort(A, s, e)   if s < e p = Partition (A, s, e) // Partition the array and return...
Calculate the relative (sub-space) topology with respect to the usual (metric) topology in R (the set...
Calculate the relative (sub-space) topology with respect to the usual (metric) topology in R (the set of real numbers), for the following sub-sets of R: X = Z, where Z represents the set of integers Y = {0} U {1 / n | n is an integer such that n> 0} Calculate (establish who are) the closed (relative) sets for the X and Y sub-spaces defined above. Is {0} open relative to X? Is {0} open relative to Y?
To solve the bid price problem presented in the text, we set the project NPV equal...
To solve the bid price problem presented in the text, we set the project NPV equal to zero and found the required price using the definition of OCF. Thus the bid price represents a financial break-even level for the project. This type of analysis can be extended to many other types of problems.       Romo Enterprises needs someone to supply it with 115,000 cartons of machine screws per year to support its manufacturing needs over the next five years, and you’ve...
To solve the bid price problem presented in the text, we set the project NPV equal...
To solve the bid price problem presented in the text, we set the project NPV equal to zero and found the required price using the definition of OCF. Thus the bid price represents a financial break-even level for the project. This type of analysis can be extended to many other types of problems.       Martin Enterprises needs someone to supply it with 141,000 cartons of machine screws per year to support its manufacturing needs over the next five years, and you’ve...
To solve the bid price problem presented in the text, we set the project NPV equal...
To solve the bid price problem presented in the text, we set the project NPV equal to zero and found the required price using the definition of OCF. Thus the bid price represents a financial break-even level for the project. This type of analysis can be extended to many other types of problems. Romo Enterprises needs someone to supply it with 111,000 cartons of machine screws per year to support its manufacturing needs over the next five years, and you’ve...
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT