Explain the phase transition phenomenon

Assignment Help Theory of Computation
Reference no: EM131034351

Part -1:

1. Suppose you are studying the computational complexity of a given problem X. It is known that the boolean [4] satishability problem can be reduced to X in polynomial time. In addition, it is known that problem X is in class PSPACE, as somebody has developed an algorithm for X that is guaranteed to consume no more than polynomial amount of space. How would you prove that:

(a) X is NP-COMPLETE.

(b) X is PSPACE-Complete.

Observe that you do not need to develop any proof, but just explain briefly what task would you do.

2. Let X1 and X2 be two decision problems. Suppose it is known that X1 is NP-COMPLETE. Suppose further that there exists an exponential reduction of problem X1 into problem X2, that is, there exists a function f :X1 → X2, whose implementation runs in exponential time, such that for any given instance x1 of X1 the answer to x1 is "Yes" for problem X1 if and only if the answer to f(x1) is "Yes" for problem X2. 'What can be said about the computation complexity of the problem X2. Is X2 NP-HARD? Explain in one or two paragraphs.

Part -2:

2. Explain the phase transition phenomenon observed in 3-SAT.

You're expected to submit between 400 and 500 words (excluding references).

Think of it, as if you were hired to write a textbook for Computer Science undergraduates who are taking Computing Theory.

Besides providing enough technical information, your text needs to be enjoyable to read (or else the book will not sell well!). Make sure you use multiple paragraphs, correct English grammar and spelling, and language of appropriate formality with an adequate flow.

You must not copy and paste a single sentence from the web (this includes Wikipedia). Note that copied sentences are trivial to identify, so you should re-phrase in your own words whatever you read. You should also reference the material you used for your research.

Filially, we strongly recommend you proof-read your text, reflect on whether the reader (e.g.. a fellow student) would be satisfied with what you wrote and revise accordingly.

Verified Expert

Questions Cloud

 Briefly describe the nibr : Discuss two (2) of these reasons. Do you believe that the government has the obligation to provide victim compensation? Provide two (2) supporting facts to justify your position. The united states from lower slovenia : Ernest Rasche and his wife, Estelle, immigrated to the United States from Lower Slovenia in 1921, settling in Muncie Indiana. Rasche had been a talented plumber in the old country; he quickly found work at the XYZ Plumbing Supply Company. What is the partial pressure of n2 in the mixture : A rigid tank is divided into two compartments by a partition. One compartment contains 3 kmol of N2 at 600 kPa and the other compartment contains 7 kmol of CO2 at 200 kPa. What technologies are responsible for the recent increases : What technologies are responsible for the recent increases in transmission rates, both for fiber-optic cable and wifi? 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 Use a wrapper class to convert : The BufferReader class's readLine method returns a line from a file as a String. If you need to perform calculations, you will need to convert the String object into a number. You can use a wrapper class to convert. Identify the ordering systems that was adapted : Identify the Ordering Systems that was adapted. Track the sales performance of the company for one year and summarize the Forecast Accuracy. Write a report on one major law that the epa administers : Write a research report on one major law (Act) that the Environmental Protection Agency (EPA) administers through its regulations. Write a program to determine the entropy change of a mixture : Using EES (or other) software, write a program to determine the entropy change of a mixture of three ideal gases when the mass fractions and other properties of the constituent gases are given. Run the program for a sample case, and give the resul..

Write a Review

Describe the behavior of the turing machine

For questions 3 to 5, remember that a Turing machine starts in state 1, reading the leftmost nonblank cell.

Redundant sequence identi cation

Redundant sequence identi cation

Can validation and verification methods be found that tiein

Can validation and verification methods be found that tiein with the requirements definition process

Design mealy fsm with the input a and output z

Design a Mealy FSM with the input A and an output Z. If 10101 shows up on A, then in same cycle 1 must show up on Z, else Z is 0.

Create and monitor accountability through performance

create and monitor accountability through performance management measurement at hod level for effectiveness and

Part-1farmers friend ff started as a mail-order company

part-1farmers friend ff started as a mail-order company providing a clothing and personal items supply service to

Give english descriptions of the languages

Give English descriptions of the languages represented by the subsequent regular expressions. Example: "languages of binary strings containing 0 in even positions. . ."

The latest entry into the snack food industry

The latest entry into the snack food industry is a health-conscious offering named Hooks, Wheels, and Ladders. Each box mixes several flavors, such as ranch, cheddar, and salsa. The snack is designed to appeal to kids based on the snack shapes

Single-row and group functions

Lab #6 will introduce the various aspects of the Single-Row and Group Functions available in the Oracle Database. Most functions can be used in either the SELECT statement or the WHERE clause, but more commonly are used in the SELECT.

Company a which has been acquired by company b company a

company a which has been acquired by company b. company a was founded in 1956 in mobile alabama. the average age of its

Show the memory snapshot of the each statement

Give a memory snapshot each statement is executed. Assuming that x is equal to 4 and that y is equal to 6 before the statement is executed. Also, assume that all the variables are integers.

Collapse of greek banking system with emergency funding

Articles can be from English-language local or international newspapers, electronic/on-line or printed/hard  - ECB staves off collapse of Greek banking system with emergency funding