11 relations: Binary relation, Complexity class, Computational complexity theory, Decision problem, FP (complexity), Function problem, NP (complexity), NP-completeness, NP-hardness, P versus NP problem, TFNP.
Binary relation
In mathematics, a binary relation on a set A is a set of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2.
New!!: FNP (complexity) and Binary relation · See more »
Complexity class
In computational complexity theory, a complexity class is a set of problems of related resource-based complexity.
New!!: FNP (complexity) 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!!: FNP (complexity) 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!!: FNP (complexity) and Decision problem · See more »
FP (complexity)
In computational complexity theory, the complexity class FP is the set of function problems which can be solved by a deterministic Turing machine in polynomial time; it is the function problem version of the decision problem class P. Roughly speaking, it is the class of functions that can be efficiently computed on classical computers without randomization.
New!!: FNP (complexity) and FP (complexity) · See more »
Function problem
In computational complexity theory, a function problem is a computational problem where a single output (of a total function) is expected for every input, but the output is more complex than that of a decision problem.
New!!: FNP (complexity) and Function problem · See more »
NP (complexity)
In computational complexity theory, NP (for nondeterministic polynomial time) is a complexity class used to describe certain types of decision problems.
New!!: FNP (complexity) and NP (complexity) · See more »
NP-completeness
In computational complexity theory, an NP-complete decision problem is one belonging to both the NP and the NP-hard complexity classes.
New!!: FNP (complexity) and NP-completeness · See more »
NP-hardness
NP-hardness (''n''on-deterministic ''p''olynomial-time hardness), in computational complexity theory, is the defining property of a class of problems that are, informally, "at least as hard as the hardest problems in NP".
New!!: FNP (complexity) and NP-hardness · See more »
P versus NP problem
The P versus NP problem is a major unsolved problem in computer science.
New!!: FNP (complexity) and P versus NP problem · See more »
TFNP
In computational complexity theory, the complexity class TFNP is a subclass of FNP where a solution is guaranteed to exist.
New!!: FNP (complexity) and TFNP · See more »