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

  Proving language to be pumping lemma

Show that the language F = {a^i b^j c^k | i, j, k greater than or equal to 0 and if i = 1 then j = k} is not regular. Show, however, that it satisfies the statement of the pumping lemma

  Implementation of both the algorithms using cc code 1

implementation of both the algorithms using cc code 1. roommates problem 2. intern problem1. the roommate problemthe

  An atsp optimal solution which is a hamiltonian tour

Show that if the costs associated to the arcs of a complete directed graph G satisfy the triangle inequality property, then there exists in G' an ATSP optimal solution which is a Hamiltonian tour.

  Explain the phase transition phenomenon

Explain the phase transition phenomenon observed in 3-SAT - 'What can be said about the computation complexity of the problem X2. Is X2 NP-HARD

  Describe applications of the internet of things in the field

COIT 20246 - ICT services management-Central Queensland University-Australia-Describe applications of the Internet of things in the field of Smart Farming.

  Determine using propositional logic where diamond is

Write in propositional logic, outside Prover9, the knowledge basis and describe the methodology you will use. Show a concrete finite ER on a finite set, including the proof that it is an ER.

  Research poster for mealy machine

You need to prepare Research poster - RESEARCH POSTER FOR MEALY MACHINE

  Create a recursive java method maximum

Create a recursive java method maximum that calculate the maximum element of a linked list of integers.The solution must be simplified and should not use class Node or head

  Traditional and agile systems analysis methodologies

System Analysis and Design - Analysis Methodologies - Higher National Diploma in Computing - systems analyst for a business consultancy company

  Redundant sequence identi cation

Redundant sequence identi cation

  Explain declarative knowledge and procedural knowledge

Write some examples of declarative knowledge. Write some examples of procedural knowledge. Then, compare examples, highlighting the similarities & differences.

  What is the GNFA that results from ripping state

CS 5700 Computability, Automata, and Formal Languages Assignment, University of Colorado Colorado Springs, USA. What is the GNFA that results from ripping state

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