Prove a hamilton cycle decision problem

Assignment Help Theory of Computation
Reference no: EM132835668

Question 1. Prove that SAP ≤Pm TAUT and TQBF2Pm TAUT ≤P => means polynomial time reducible

Question 2. a) Prove a Hamilton cycle decision problem has a polynomial time algorithm

b) Prove Hamilton cycle search problem has a polynomial time algorithm.

Question 3. Let X ξ Y be 2 languages, X-Y = X ∩ BC = {z ∈{0, 1} *|x ∈ x ξ z ∈/ Y}

X - Y => Difference of X and Y

DP = Complexity class DP = {x - Y| x, y ∈ NP}
This can be rewritten as DP = {Xny | X∈NP, Y∈CoNP}

a) Show that UNIQUE - SAT ∈ DP; UNIQUE - SAT { Φ | Φ has exactly one satisfying Assignment}

b) Show that EXACT - CLIQUE ∈ DP; EXACT -CLIQUE = {G,B> | w(G) = k}
G = graph w(g) = sing of biggest clique in G

Prove that NP U CONP ⊆ DP ⊆ ΣPzP2

Prove That if NP = DP, Then NP = PH

Question 4. A function that can be computable in a polynomial time is known as preference function.

Let z : {0, 1} ^* × {0, 1} ^* → {0, 1} ^*.

For all pair of strings a,b∈ {0, 1} ^* , z(a, b) ∈ {a, b}. This means z outputs one of its two inputs, the string it "prefers" out of the two.

Let X ⊆ {0, 1} ∗ .z is known as a good preference function for X if for all z, b ∈ {0, 1} ^* , a ∈ X or b ∈ X ⇒ z(a, b) ∈ X.

This means that z always prefers strings that belong to X.

Question: Having all of this information, (a) prove that SAT has a good preference function.

(B) Prove that P=NP

Attachment:- Problems.rar

Reference no: EM132835668

Questions Cloud

What amount per unit should product be reported : What amount per unit should product 2005WSC be reported, applying lower-of-cost-or-market? Pharoah Company sells product 2005WSC for $115 per unit.
Accepting the opportunity to make presentation : Using what you have learned about writing emails, and compose in a Word document a message to your manager accepting the opportunity
What were the firms budgeted collections for May : If sales for April, May, and June were $60,000, $80,000, and $70,000, respectively, what were the firm's budgeted collections for May
How much are the equivalent units of production for material : Assuming that materials are added at the beginning of the process, how much are the equivalent units of production for Material Costs?
Prove a hamilton cycle decision problem : Prove a Hamilton cycle decision problem has a polynomial time algorithm and prove that SAT has a good preference function
How much will you pay in interest over the life of the loan : If you take the financing and make monthly payments of $100, how long will it take to pay the loan off? How much will you pay in interest over the life
Define burden of proof and burden of persuasion : Is the jury present when hearings on the admissibility of a confession are conducted? Cite the applicable rule that applies to this situation.
What triggers kroger purchasing system to ship goods : Does Kroger encourage its vendors to learn how to use its purchasing system? Explain. What triggers Kroger's purchasing system to ship goods to local Kroger
Devise a successful diversification strategy : How can companies devise a successful diversification strategy? Is it better to diversify into a related business or unrelated business?

Reviews

Write a Review

Theory of Computation Questions & Answers

  Finite-state machine design

Create a finite-state machine design to turn your FPGA development board into a simple programmable music box.

  Redundant sequence identi cation

Redundant sequence identi cation

  Compute a shortest superstring

Dynamic programming algorithm to compute a shortest superstring.

  Propositional and predicate logic

Write down a structural induction principle for the PlayTree free type

  Design a syntactic analyzer

Design a syntactic analyzer for the language specified by the grammar

  Design unambiguous grammar to parse expressions

Write a program would read two numbers and then print all numbers between the first and the second, inclusive. Design unambiguous grammar to parse expressions

  Consider a logic function with three outputs

Consider a logic function with three outputs,  A ,  B , and  C , and three inputs,  D ,  E , and  F . The function is defined as follows:  A  is true if at least one input is true,  B  is true

  Considering a single programmed operating system

Considering a single programmed operating system, what is the minimal total time required to complete executions of the two processes? You should explain your answer with a diagram.

  How to construct an nfa

Give a construction that assumes you are given a DFA for L and show how to construct an NFA (with or without ε-moves) to recognize sort(L).

  Equivalence classes to construct minimal dfa for language

How many equivalence classes does this relation have and what are they? Use these equivalence classes to construct the minimal DFA for the language.

  Impact of moore-s law on data center costs

Discuss the impact of Moore's law on data center costs on such things as servers and communications equipment. List at least 3 steps or recommendations your data center can take to offset some or all of the effect of Moore's law.

  Problem encountered in statements in predicate logic

How the problem would be encountered in attempting to represent the following statements in Predicate logic. it should be possible to: John only likes to see French movies.

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd