Warning: foreach() argument must be of type array|object, bool given in /var/www/html/web/app/themes/studypress-core-theme/template-parts/header/mobile-offcanvas.php on line 20

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

Determine which of the following problems are NP-complete and which are solvable in polynomial time. In each problem you are given an undirected graph G=(V,E), along with:

(a)A set of nodesLV , and you must find a spanning tree such that its set of leaves includes the set L.

(b)A set of nodes LV, and you must find a spanning tree such that its set of leaves is precisely the set L.

(c)A set of nodesLV , and you must find a spanning tree such that its set of leaves is included in the set L.

(d)An integer k, and you must find a spanning tree withk or fewer leaves.

(e)An integer k, and you must find a spanning tree withk or more leaves.

(f)An integer k, and you must find a spanning tree with exactlyk leaves.

Prove that the following problem is NP-complete: given an undirected graph

G=V,Eand an integer k, return a clique of size kas well as an independent set of size k, provided both exist.

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.

Question: In an undirected graph G=(V,E), we say DVis a dominating set if every vV is either in D or adjacent to at least one member of D. In the DOMINATING SET problem, the input is a graph and a budget , and the aim is to find a dominating set in the graph of size at most , if one exists. Prove that this problem is NP-complete.

Give a simple reduction from 3D MATCHING to SAT, and another from RUDRATA CYCLE to SAT.

(Hint: In the latter case you may use variables xijwhose intuitive meaning is “vertex i is the j th vertex of the Hamilton cycle”; you then need to write clauses that express the constraints of the problem.)

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