Category:Computational complexity theory

A

• ► Analysis of algorithms‎ (3 C, 43 P)

C

• ► Circuit complexity‎ (19 P)
• ► Complexity classes‎ (1 C, 88 P)
• ► Computational hardness assumptions‎ (20 P)
• ► Computational problems‎ (11 C, 30 P)
• ► Computational resources‎ (11 P)

D

• ► Descriptive complexity‎ (9 P)

N

• ► NP-complete problems‎ (8 C, 83 P)

P

• ► Parameterized complexity‎ (1 C, 6 P)

Q

• ► Quantum complexity theory‎ (10 P)
• ► Quantum computing‎ (2 C, 36 P)

S

• ► Strongly NP-complete problems‎ (1 C, 4 P)
• ► Structural complexity theory‎ (1 C, 17 P)

T

• ► Theorems in computational complexity theory‎ (21 P)

• Computational complexity theory

*

• Complexity class
• Padding argument

A

• Aanderaa–Karp–Rosenberg conjecture
• Advice (complexity)
• Analysis of algorithms
• Approximation algorithm
• Approximation-preserving reduction
• Asymptotic computational complexity
• Averaging argument

B

• Best, worst and average case
• Boolean circuit

C

• Certificate (complexity)
• Circuit complexity
• Circuits over sets of natural numbers
• Cobham's thesis
• Combinatorial optimization
• Combinatorial search
• Communication complexity
• Complement (complexity)
• Complete (complexity)
• Complexity index
• The Complexity of Songs
• Compression theorem
• Computable topology
• Computation tree
• Computational complexity
• Computational complexity of mathematical operations
• Configuration graph
• Computational resource
• Computational topology
• Computationally bounded adversary
• Computing the permanent
• Constructible function
• Context of computational complexity

D

• Decision tree model
• Descriptive complexity theory
• Dynamic problem (algorithms)

E

• Effective complexity
• Electronic Colloquium on Computational Complexity
• Exact algorithm
• Existential theory of the reals

F

• Folded Reed–Solomon code

G

• Gadget (computer science)
• Generalized game
• Generic-case complexity
• Geometric complexity theory

H

• Half-exponential function
• Hardness of approximation

I

• Implicit computational complexity
• Information-based complexity
• Integer circuit
• Interactive proof system
• Introduction to the Theory of Computation

K

• Klee–Minty cube

L

• L-notation
• L-reduction
• Leaf language
• List decoding
• Log-space computable function
• Log-space reduction
• Log-space transducer
• Logical depth
• Low (complexity)
• Low-complexity art

M

• Mahaney's theorem
• Many-one reduction
• Model of computation

N

• Natural proof
• Non-constructive algorithm existence proofs
• Nondeterministic algorithm

P

• Parameterized complexity
• Parsimonious reduction
• Pebble game
• Polynomial-time reduction
• Proof (truth)
• Proof complexity
• Proof of knowledge
• Proper complexity function
• Propositional proof system
• Pseudo-polynomial time
• PTAS reduction

Q

• Quantum capacity
• Quantum complexity theory
• Quantum computing
• Quantum supremacy

R

• Randomness extractor
• Randomness merger
• Reduction (complexity)

S

• Semi-membership
• Smoothed analysis
• Sparse language
• Strong NP-completeness
• Switching lemma
• Symmetric Turing machine

T

• Time complexity
• Tractable problem
• Transcomputational problem
• Transdichotomous model
• Truth-table reduction
• Turing reduction

U

• Unary language
• Unique games conjecture
• Universal hashing

W

• Weak NP-completeness

Y

• Yao's principle