Search results
Results from the WOW.Com Content Network
Introduction to the Theory of Computation (ISBN 0-534-95097-3) is a textbook in theoretical computer science, written by Michael Sipser and first published by PWS Publishing in 1997. [1] The third edition apppeared in July 2012.
Michael Fredric Sipser (born September 17, 1954) is an American theoretical computer scientist who has made early contributions to computational complexity theory. He is a professor of applied mathematics and was the dean of science at the Massachusetts Institute of Technology .
Download QR code; Print/export Download as PDF; Printable version; In other projects ... edition of Introduction to the Theory of Computation, by Michael Sipser.
In computational complexity theory, NP (nondeterministic polynomial time) is a complexity class used to classify decision problems. NP is the set of decision problems for which the problem instances , where the answer is "yes", have proofs verifiable in polynomial time by a deterministic Turing machine , or alternatively the set of problems ...
The interest in this problem in computational complexity concerns its complexity with respect to more limited forms of computation. For instance, the complexity class of problems that can be solved by a non-deterministic Turing machine using only a logarithmic amount of memory is called NL. The st-connectivity problem can be shown to be in NL ...
As Michael Sipser points out in Introduction to the Theory of Computation: "The reduction must be easy, relative to the complexity of typical problems in the class [...] If the reduction itself were difficult to compute, an easy solution to the complete problem wouldn't necessarily yield an easy solution to the problems reducing to it."
To show that NL is contained in C, we simply take an NL algorithm and choose a random computation path of length n, and execute this 2 n times. Because no computation path exceeds length n, and because there are 2 n computation paths in all, we have a good chance of hitting the accepting one (bounded below by a constant).
The theory of computation can be considered the creation of models of all kinds in the field of computer science. Therefore, mathematics and logic are used. In the last century, it separated from mathematics and became an independent academic discipline with its own conferences such as FOCS in 1960 and STOC in 1969, and its own awards such as the IMU Abacus Medal (established in 1981 as the ...