Consider the CLIQUE problem restricted to graphs in which every vertex has degree at most v. Call this problem CLIQUE-3 .

(a) Prove that CLIQUE-3 is in NP .

(b) What is wrong with the following proof of NP-completeness for CLIQUE-3 ? We know that the CLIQUE problem in general graphs is NP-complete, so it is enough to present a reduction from CLIQUE-3 to CLIQUE . Given a graph G with vertices of degree 3, and a parameter g, the reduction leaves the graph and the parameter unchanged: clearly the output of the reduction is a possible input for the CLIQUE problem. Furthermore, the answer to both problems is identical. This proves the correctness of the reduction and, therefore, the NP-completeness of CLIQUE-3 .

(c) It is true that the VERTEX COVER problem remains NP-complete even when restricted to graphs in which every vertex has degree at most 3 . Call this problem VC-3 . What is wrong with the following proof of NP-completeness for CLIQUE ? We present a reduction from VC-3 to CLIQUE-3 . Given a graph G=(V,E) with node degrees bounded by 3 , and a parameter b , we create an instance of CLIQUE-3 by leaving the graph unchanged and switching the parameter to |V|-b. Now, a subset CVis a vertex cover in G if and only if the complementary set V-C is a clique in G. Therefore G has a vertex cover of sizebif and only if it has a clique of size |V|-b. This proves the correctness of the reduction and, consequently, the NP-completeness of CLIQUE-3 .

(4)Describe an O(V)algorithm for CLIQUE-3 .

Short Answer

Expert verified

(a) It is proved that the CLIQUE-3 problem is in NP.

(b) The given proof of CLIQUE-3 being an NP-complete problem does not prove anything.

(c) The proof using the vertex cover is incorrect.

(d) An algorithm for the CLIQUE-3 runs inOv4 is described.

Step by step solution

01

To prove CLIQUE-3 as NP-Complete Problem

(a)

Consider the information:

The problem is called NP if its solution can be obtained and verified in polynomial time.

The objective is to prove that a CLIQUE-3 problem in which every vertex has a degree at most 3 is in NP.

Proof:

The solution to the CLIQUE-3 problem requires identifying that if there is an edge between every pair of vertices.

Verify each node in the clique by visiting them and counting how many times the nodes are connected via edges.

This verification completes in polynomial time and the numbers of cliques are also polynomial due to the restriction of at most 3 edges.

So, the verifier runs in polynomial time.

Therefore, the CLIQUE-3 problem is in NP.

02

Given prove doesn’t justify CLIQUE-3 being NP-Complete Problem

(b)

Consider the information:

The computer system can solve only those problems whose polynomial time solution is available.

So, the problems that do not have an efficient solution are called the NP-complete problems.

If a problem is a polynomial-time reducible to an NP problem, then it is called an NP-complete problem.

Issue with the proof:

The given proof of the CLIQUE-3 problem of being NP-complete tells that the CLIQUE problem is at least as hard as the CLIQUE-3.

It says that the reduction of problem CLIQUE-3 to CLIQUE leaves the graph and the parameter unchanged, which is wrong.

Thus, the solution to both the problems is not the same. The reduction done in the proof is incorrect.

Therefore, the given proof of CLIQUE-3 being an NP-complete problem does not prove anything.

03

To prove vertex cover is incorrect

(c)

Consider the information:

The vertex cover problem is one of the NP-complete problems.

The vertex set of the vertex cover problem covers all the edges of the graph.

In other words, it is a vertex subset such that one of the vertices is in the vertex cover for every edge (u,v) in the graph.

Issue with the proof:

The given reduction of VC-3 to CLIQUE-3 leaves the graph unchanged.

But this does not prove that the subsetCV is a vertex cover if and only if the complementary set V-C is a clique in a graph.

Due to this, the correctness of the reduction cannot be proved.

Because, the problem CLIQUE-3 can be in NP-completeness only if the reduction is true, so it is not NP-complete.

Therefore, the proof using the vertex cover is incorrect.

04

Algorithm

(d)

Consider the information:

An algorithm is the steps used to solve the problem.

The time taken by the algorithm to solve the problem depending upon the input size is the algorithm’s time complexity.

The objective is to form an algorithm for the problem CLIQUE-3.

Algorithm description:

In the CLIQUE-3 problem, every vertex has a degree at most 3.

This means that all the vertices have at most 3 edges.

It can be concluded that the largest of the clique is in 4 vertices.

Therefore, brute force can be applied to all the possible solutions of the size 4 .

The algorithm recursively checks all the connected nodes via an edge for each node in the graph.

Each search in the algorithm isOV and the maximum possible connected nodes are .

Hence, an algorithm for the CLIQUE-3 runs inOV . And for all nodes, it becomesOV4 .

Unlock Step-by-Step Solutions & Ace Your Exams!

  • Full Textbook Solutions

    Get detailed explanations and key concepts

  • Unlimited Al creation

    Al flashcards, explanations, exams and more...

  • Ads-free access

    To over 500 millions flashcards

  • Money-back guarantee

    We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with Vaia!

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

Sequencing by hybridization. One experimental procedure for identifying a new DNA sequence repeatedly probes it to determine which k-mers(substrings of length ) it contains. Based on these, the full sequence must then be reconstructed.Let’s now formulate this as a combinatorial problem. For any string x (the DNA sequence), let Γ(x)denote the multiset of all of its localid="1658905204605" k-mers. In particular, localid="1658904556515" Γ(x)contains exactly |x|-k+1elements.The reconstruction problem is now easy to state: given a multiset of strings, find a string x such that Γ(x)is exactly this multiset.

(a)Show that the reconstruction problem reduces to RUDRATA PATH. (Hint: Construct a directed graph with one node for each localid="1658904858295" k-mers, and with an edge from a to b if the last k-1characters of match the first localid="1658905395287" k-1characters of b.)

(b)But in fact, there is much better news. Show that the same problem also reduces to EULER PATH. (Hint: This time, use one directed edge for each k-mer.)

In the HITTING SET problem, we are given a family of sets {S1,S2K,Sn}and budget , and we wish to find a set H of size b which intersects every Si, if such an exists. In other words, we want HSiϕfor all i.Show that HITTING SET is NP-complete.

Optimization versus search.Recall the traveling salesman problem:

TSP

Input: A matrix of distances; a budget b

Output: A tour which passes through all the cities and has lengthb, if such a tour exists.

The optimization version of this problem asks directly for the shortest tour.

TSP-OPT

Input:A matrix of distances

Output:The shortest tour which passes through all the cities.

Show that if TSP can be solved in polynomial time, then so can TSP-OPT.

Proving NP-completeness by generalization. For each of the problems below, prove that it is NP-complete by showing that it is a generalization of some NP-complete problem we have seen in this chapter.

  1. SUBGRAPH ISOMORPHISM: Given as input two undirected graphsG and H, determine whetherG is a subgraph of H (that is, whether by deleting certain vertices and edges ofH we obtain a graph that is, up to renaming of vertices, identical toG ), and if so, return the corresponding mapping ofV(G) intoV(H) .
  2. LONGEST PATH: Given a graph role="math" localid="1658141805147" Gand an integerg find inG a simple path of lengthg .
  3. MAX SAT: Given a CNF formula and an integer g, find a truth assignment that satisfies at least gclauses.
  4. DENSE SUBGRAPH: Given a graph and two integersa and b, find a set of a vertices ofG such that there are at leastb edges between them.
  5. SPARSE SUBGRAPH: Given a graph and two integersa andb , find a set of a vertices ofG such that there are at most bedges between them.
  6. SET COVER. (This problem generalizes two knownNP-complete problems.)
  7. RELIABLE NETWORK: We are given twon×n matrices, a distance matrixdij and a connectivity requirement matrixrij , as well as a budgetb ; we must find a graph G=({1,2,.....,n},E)such that (1) the total cost of all edges isb or less and (2) between any two distinct verticesi andj there arerij vertex-disjoint paths.

We are feeling experimental and want to create a new dish. There are various ingredients we can choose from and we’d like to use as many of them as possible, but some ingredients don’t go well with others. If there arepossible ingredients (numbered 1to n), we write down an matrix giving thediscordbetween any pair of ingredients. Thisdiscordis a real number between 0.0and 1.0, where means “they go together perfectly” and 1.0 means “they really don’t go together.” Here’s an example matrix when there are five possible ingredients.

In this case, ingredients 2and 3go together pretty well whereas1and5clash badly. Notice that this matrix is necessarily symmetric; and that the diagonal entries are always . 0.0Any set of ingredients incurs apenaltywhich isthe sum of all discord values between pairs of ingredients.For instance, the set of ingredients{1,3,5}incurs a penalty of 0.2+1.0+0.5=1.7

.We want this penalty to be small.

EXPERIMENTAL CUISINE

Input:, nthe number of ingredients to choose from D;,the n×n“ discord” matrix; some numberp0

OUTPUT:The maximum number of ingredients we can choose with penalty p.

Show that ifEXPERIMENTAL CUISINEis solvable in polynomial time, then so is 3SAT.

See all solutions

Recommended explanations on Computer Science Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.

Sign-up for free