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

Cobham's thesis

Index Cobham's thesis

Cobham's thesis, also known as Cobham–Edmonds thesis (named after Alan Cobham and Jack Edmonds), asserts that computational problems can be feasibly computed on some computational device only if they can be computed in polynomial time; that is, if they lie in the complexity class P (PTIME). [1]

11 relations: Analysis of algorithms, Big O notation, Complexity class, Computability theory, Computational complexity theory, Electronic design automation, Jack Edmonds, Operations research, P (complexity), Time complexity, Time hierarchy theorem.

Analysis of algorithms

In computer science, the analysis of algorithms is the determination of the computational complexity of algorithms, that is the amount of time, storage and/or other resources necessary to execute them.

New!!: Cobham's thesis and Analysis of algorithms · 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!!: Cobham's thesis and Big O notation · See more »

Complexity class

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

New!!: Cobham's thesis 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!!: Cobham's thesis 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!!: Cobham's thesis and Computational complexity theory · See more »

Electronic design automation

Electronic design automation (EDA), also referred to as electronic computer-aided design (ECAD), is a category of software tools for designing electronic systems such as integrated circuits and printed circuit boards.

New!!: Cobham's thesis and Electronic design automation · See more »

Jack Edmonds

Jack R. Edmonds (born April 5, 1934) is an American computer scientist, regarded as one of the most important contributors to the field of combinatorial optimization.

New!!: Cobham's thesis and Jack Edmonds · See more »

Operations research

Operations research, or operational research in British usage, is a discipline that deals with the application of advanced analytical methods to help make better decisions.

New!!: Cobham's thesis and Operations research · See more »

P (complexity)

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

New!!: Cobham's thesis and P (complexity) · 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!!: Cobham's thesis 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!!: Cobham's thesis and Time hierarchy theorem · See more »

Redirects here:

Cobham thesis, Cobham's Thesis, Cobham-Edmonds thesis, Cobham–Edmonds thesis.


[1] https://en.wikipedia.org/wiki/Cobham's_thesis

Hey! We are on Facebook now! »