| Complexity Class |
Article Index for Complexity |
Articles about Complexity Class |
Website Links For Complexity |
Information AboutComplexity Class |
| CATEGORIES ABOUT COMPLEXITY CLASS | |
| complexity classes | |
| computational complexity theory | |
|
:the set of problems that can be solved by Abstract Machine M using O (f(''n'')) of resource R (''n'' is the size of the input) For example, the class NP is the set of Decision Problem s that can be solved by a Non-deterministic Turing Machine in Polynomial Time , while the class '''PSPACE''' is the set of decision problems that can be solved by a Deterministic Turing Machine in Polynomial Space . Some complexity classes are sets of Function Problem s, such as '''FP''' . Many complexity classes can be characterized in terms of the Mathematical Logic needed to express them; see Descriptive Complexity . The Blum Axioms can be used to define complexity classes without referring to a concrete Computational Model . RELATIONSHIPS BETWEEN COMPLEXITY CLASSES The following table shows some of the classes of problems (or languages, or grammars) that are considered in complexity theory. If class X is a strict Subset of '''Y''', then X is shown below '''Y''', with a dark line connecting them. If X is a subset, but it is unknown whether they are equal sets, then the line is lighter and is dotted. Technically, the breakdown into decidable and undecidable belongs more in Computability Theory but it helps put complexity classes in perspective. FURTHER READING
SEE ALSO |
|
|