Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!

In computational complexity theory, DTIME (or TIME) is the computational resource of computation time for a deterministic Turing machine. [1]

23 relations: Algorithm, Alternating Turing machine, American Mathematical Society, Asymptotic analysis, Avi Wigderson, Complexity class, Computational complexity theory, Computational problem, Computational resource, Decision problem, Endre Szemerédi, EXPTIME, Institute for Advanced Study, Multitape Turing machine, Nick Pippenger, Non-deterministic Turing machine, NTIME, P (complexity), Proper complexity function, Steven Rudich, Time complexity, Time hierarchy theorem, Turing machine.


In mathematics and computer science, an algorithm is an unambiguous specification of how to solve a class of problems.

New!!: DTIME and Algorithm · See more »

Alternating Turing machine

In computational complexity theory, an alternating Turing machine (ATM) is a non-deterministic Turing machine (NTM) with a rule for accepting computations that generalizes the rules used in the definition of the complexity classes NP and co-NP.

New!!: DTIME and Alternating Turing machine · See more »

American Mathematical Society

The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs.

New!!: DTIME and American Mathematical Society · See more »

Asymptotic analysis

In mathematical analysis, asymptotic analysis, also known as asymptotics, is a method of describing limiting behavior.

New!!: DTIME and Asymptotic analysis · See more »

Avi Wigderson

Avi Wigderson (אבי ויגדרזון; born 9 September 1956) is an Israeli mathematician and computer scientist.

New!!: DTIME and Avi Wigderson · See more »

Complexity class

In computational complexity theory, a complexity class is a set of problems of related resource-based complexity.

New!!: DTIME and Complexity class · See more »

Computational complexity theory

Computational complexity theory is a branch of the theory of computation in theoretical computer science that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other.

New!!: DTIME and Computational complexity theory · See more »

Computational problem

In theoretical computer science, a computational problem is a mathematical object representing a collection of questions that computers might be able to solve.

New!!: DTIME and Computational problem · See more »

Computational resource

In computational complexity theory, a computational resource is a resource used by some computational models in the solution of computational problems.

New!!: DTIME and Computational resource · See more »

Decision problem

In computability theory and computational complexity theory, a decision problem is a problem that can be posed as a yes-no question of the input values.

New!!: DTIME and Decision problem · See more »

Endre Szemerédi

Endre Szemerédi (born August 21, 1940) is a Hungarian-American mathematician, working in the field of combinatorics and theoretical computer science.

New!!: DTIME and Endre Szemerédi · See more »


In computational complexity theory, the complexity class EXPTIME (sometimes called EXP or DEXPTIME) is the set of all decision problems that have exponential runtime, i.e., that are solvable by a deterministic Turing machine in O(2p(n)) time, where p(n) is a polynomial function of n. In terms of DTIME, We know and also, by the time hierarchy theorem and the space hierarchy theorem, that so at least one of the first three inclusions and at least one of the last three inclusions must be proper, but it is not known which ones are.

New!!: DTIME and EXPTIME · See more »

Institute for Advanced Study

The Institute for Advanced Study (IAS) in Princeton, New Jersey, in the United States, is an independent, postdoctoral research center for theoretical research and intellectual inquiry founded in 1930 by American educator Abraham Flexner, together with philanthropists Louis Bamberger and Caroline Bamberger Fuld.

New!!: DTIME and Institute for Advanced Study · See more »

Multitape Turing machine

A multi-tape Turing machine is like an ordinary Turing machine with several tapes.

New!!: DTIME and Multitape Turing machine · See more »

Nick Pippenger

Nicholas John Pippenger is a researcher in computer science.

New!!: DTIME and Nick Pippenger · See more »

Non-deterministic Turing machine

In theoretical computer science, a Turing machine is a theoretical machine that is used in thought experiments to examine the abilities and limitations of computers.

New!!: DTIME and Non-deterministic Turing machine · See more »


In computational complexity theory, the complexity class NTIME(f(n)) is the set of decision problems that can be solved by a non-deterministic Turing machine which runs in time O(f(n)).

New!!: DTIME and NTIME · See more »

P (complexity)

In computational complexity theory, P, also known as PTIME or DTIME(nO(1)), is a fundamental complexity class.

New!!: DTIME and P (complexity) · See more »

Proper complexity function

A proper complexity function is a function f mapping a natural number to a natural number such that.

New!!: DTIME and Proper complexity function · See more »

Steven Rudich

Steven Rudich (born October 4, 1961) is a professor in the Carnegie Mellon School of Computer Science.

New!!: DTIME and Steven Rudich · See more »

Time complexity

In computer science, the time complexity is the computational complexity that describes the amount of time it takes to run an algorithm.

New!!: DTIME and Time complexity · See more »

Time hierarchy theorem

In computational complexity theory, the time hierarchy theorems are important statements about time-bounded computation on Turing machines.

New!!: DTIME and Time hierarchy theorem · See more »

Turing machine

A Turing machine is a mathematical model of computation that defines an abstract machine, which manipulates symbols on a strip of tape according to a table of rules.

New!!: DTIME and Turing machine · See more »

Redirects here:

DTIME(f(n)), Deterministic time, TIME(f(n)).


[1] https://en.wikipedia.org/wiki/DTIME

Hey! We are on Facebook now! »