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

EXPTIME

+ Save concept

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. [1]

31 relations: Adjacency matrix, Algorithm, Alternating Turing machine, Aviezri Fraenkel, Big O notation, Chess, Complexity class, Computability theory, Computational complexity theory, Decision problem, Double exponential function, Draughts, DTIME, Exponential hierarchy, EXPTIME, Generalized game, Go (game), Halting problem, NEXPTIME, Non-deterministic Turing machine, P versus NP problem, P-complete, Polynomial-time reduction, PSPACE-complete, Set (mathematics), Space hierarchy theorem, Sparse language, Time complexity, Time hierarchy theorem, Turing machine, 2-EXPTIME.

Adjacency matrix

In graph theory and computer science, an adjacency matrix is a square matrix used to represent a finite graph.

New!!: EXPTIME and Adjacency matrix · See more »

Algorithm

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

New!!: EXPTIME 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!!: EXPTIME and Alternating Turing machine · See more »

Aviezri Fraenkel

Aviezri Siegmund Fraenkel (אביעזרי פרנקל) (born June 7, 1929) is an Israeli mathematician who has made notable contributions to combinatorial game theory.

New!!: EXPTIME and Aviezri Fraenkel · See more »

Big O notation

Big O notation is a mathematical notation that describes the limiting behaviour of a function when the argument tends towards a particular value or infinity.

New!!: EXPTIME and Big O notation · See more »

Chess

Chess is a two-player strategy board game played on a chessboard, a checkered gameboard with 64 squares arranged in an 8×8 grid.

New!!: EXPTIME and Chess · See more »

Christmas

Christmas is an annual festival commemorating the birth of Jesus Christ,Martindale, Cyril Charles.

New!!: EXPTIME and Christmas · See more »

Christmas and holiday season

The Christmas season, also called the festive season, or the holiday season (mainly in the U.S. and Canada; often simply called the holidays),, is an annually recurring period recognized in many Western and Western-influenced countries that is generally considered to run from late November to early January.

New!!: EXPTIME and Christmas and holiday season · See more »

Christmas Eve

Christmas Eve is the evening or entire day before Christmas Day, the festival commemorating the birth of Jesus.

New!!: EXPTIME and Christmas Eve · See more »

Christmas traditions

Christmas traditions vary from country to country.

New!!: EXPTIME and Christmas traditions · See more »

Complexity class

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

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

Computability theory

Computability theory, also known as recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.

New!!: EXPTIME and Computability theory · 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!!: EXPTIME and Computational complexity theory · 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!!: EXPTIME and Decision problem · See more »

Double exponential function

A double exponential function is a constant raised to the power of an exponential function.

New!!: EXPTIME and Double exponential function · See more »

Draughts

Draughts (British English) or checkers (American English) is a group of strategy board games for two players which involve diagonal moves of uniform game pieces and mandatory captures by jumping over opponent pieces.

New!!: EXPTIME and Draughts · See more »

DTIME

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

New!!: EXPTIME and DTIME · See more »

Exponential hierarchy

In computational complexity theory, the exponential hierarchy is a hierarchy of complexity classes, which is an exponential time analogue of the polynomial hierarchy.

New!!: EXPTIME and Exponential hierarchy · See more »

EXPTIME

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!!: EXPTIME and EXPTIME · See more »

Generalized game

In computational complexity theory, a generalized game is a game or puzzle that has been generalized so that it can be played on a board or grid of any size.

New!!: EXPTIME and Generalized game · See more »

Go (game)

Go is an abstract strategy board game for two players, in which the aim is to surround more territory than the opponent.

New!!: EXPTIME and Go (game) · See more »

Halting problem

In computability theory, the halting problem is the problem of determining, from a description of an arbitrary computer program and an input, whether the program will finish running (i.e., halt) or continue to run forever.

New!!: EXPTIME and Halting problem · See more »

NEXPTIME

In computational complexity theory, the complexity class NEXPTIME (sometimes called NEXP) is the set of decision problems that can be solved by a non-deterministic Turing machine using time 2n O(1).

New!!: EXPTIME and NEXPTIME · See more »

New Year

New Year is the time or day at which a new calendar year begins and the calendar's year count increments by one.

New!!: EXPTIME and New Year · See more »

New Year's Day

New Year's Day, also called simply New Year's or New Year, is observed on January 1, the first day of the year on the modern Gregorian calendar as well as the Julian calendar.

New!!: EXPTIME and New Year's Day · See more »

New Year's Eve

In the Gregorian calendar, New Year's Eve (also known as Old Year's Day or Saint Sylvester's Day in many countries), the last day of the year, is on 31 December which is the seventh day of Christmastide.

New!!: EXPTIME and New Year's Eve · 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!!: EXPTIME and Non-deterministic Turing machine · See more »

P versus NP problem

The P versus NP problem is a major unsolved problem in computer science.

New!!: EXPTIME and P versus NP problem · See more »

P-complete

In complexity theory, a decision problem is P-complete (complete for the complexity class '''P''') if it is in P and every problem in P can be reduced to it by an appropriate reduction.

New!!: EXPTIME and P-complete · See more »

Polynomial-time reduction

In computational complexity theory, a polynomial-time reduction is a method of solving one problem by means of a hypothetical subroutine for solving a different problem (that is, a reduction), that uses polynomial time excluding the time within the subroutine.

New!!: EXPTIME and Polynomial-time reduction · See more »

PSPACE-complete

In computational complexity theory, a decision problem is PSPACE-complete if it can be solved using an amount of memory that is polynomial in the input length (polynomial space) and if every other problem that can be solved in polynomial space can be transformed to it in polynomial time.

New!!: EXPTIME and PSPACE-complete · See more »

Set (mathematics)

In mathematics, a set is a collection of distinct objects, considered as an object in its own right.

New!!: EXPTIME and Set (mathematics) · See more »

Space hierarchy theorem

In computational complexity theory, the space hierarchy theorems are separation results that show that both deterministic and nondeterministic machines can solve more problems in (asymptotically) more space, subject to certain conditions.

New!!: EXPTIME and Space hierarchy theorem · See more »

Sparse language

In computational complexity theory, a sparse language is a formal language (a set of strings) such that the complexity function, counting the number of strings of length n in the language, is bounded by a polynomial function of n. They are used primarily in the study of the relationship of the complexity class NP with other classes.

New!!: EXPTIME and Sparse language · 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!!: EXPTIME 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!!: EXPTIME 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!!: EXPTIME and Turing machine · See more »

2-EXPTIME

In computational complexity theory, the complexity class 2-EXPTIME (sometimes called 2-EXP) is the set of all decision problems solvable by a deterministic Turing machine in O(22p(n)) time, where p(n) is a polynomial function of n. In terms of DTIME, We know 2-EXPTIME can also be reformulated as the space class AEXPSPACE, the problems that can be solved by an alternating Turing machine in exponential space.

New!!: EXPTIME and 2-EXPTIME · See more »

2018

2018 has been designated as the third International Year of the Reef by the International Coral Reef Initiative.

New!!: EXPTIME and 2018 · See more »

2019

2019 (MMXIX) will be a common year starting on Tuesday of the Gregorian calendar, the 2019th year of the Common Era (CE) and Anno Domini (AD) designations, the 19th year of the 3rd millennium, the 19th year of the 21st century, and the 10th and last year of the 2010s decade.

New!!: EXPTIME and 2019 · See more »

Redirects here:

APSPACE, DEXPTIME, EXP, EXPTIME-complete, Exponential running time, Exponential runtime.

References

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

OutgoingIncoming
Hey! We are on Facebook now! »