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

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.

Short Answer

Expert verified

If EXPERIMENTAL CUISINE can be solved in polynomial time, then INDEPENDENT SET can also be solved in polynomial time. It is already known that INDEPENDENT SET is NP-complete.

Step by step solution

01

Statement

Remember the data:

For some high-quality regular languages, aset of rules have polynomial-timeif its strolling time is higher constrained by means of a polynomial expression within the length of the technique’s input.

The Boolean satisfiability problem, additionally known as the propositional satisfiability hassle that is abbreviated as SATISFIABILITY, SAT, or B-SAT. It is the task of finding if there may be a proof that fulfills a provided Boolean formula.

02

Step 2:Show that if EXPERIMENTAL CUISINE is solvable in polynomial time, then so is 3SAT

Consider that the EXPERIMENTAL CUISINE is a generalization of INDEPENDENT SET.

To identify an independent set whose sizeisin a graph G=(V,E),construct the following example of the EXPERIMENTAL CUISINE problem with n=|V|ingredients.

Consider penalty p=0and let the discord between ingredient iandjbe 1 if (i,j)Eand assume that it is zero otherwise.

ingredients can be selected with a total penaltyp=0 if there is an independent set of size s.

Hence, if EXPERIMENTAL CUISINE can be solved in polynomial time, then INDEPENDENT SET can also be solved in polynomial time. It is already known that INDEPENDENT SET is NP-complete.

Therefore, if INDEPENDENT SET can be solved in polynomial time, then every problem in NP can be solved in polynomial time including 3SAT.

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

In the EXACT-4SAT problem, the input is a set of clauses, each of which is a disjunction of exactly four literals, and such that each variable occurs at most once in each clause. The goal is to find a satisfying assignment, if one exists. Prove that EXACT-4SAT is NP-complete.

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.)

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.

STINGY SAT is the following problem: given a set of clauses (each a disjunction of literals) and an integer K , find a satisfying assignment in which at most K variables are true, if such an assignment exists. Prove that isNP -complete.

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.

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