Pages that link to "Decision problem"
The following pages link to Decision problem:
Displaying 49 items.
- Alan Turing (← links | edit)
- BPP (complexity) (← links | edit)
- Boolean satisfiability problem (← links | edit)
- P versus NP problem (← links | edit)
- Co-NP (← links | edit)
- Computable number (← links | edit)
- Context-sensitive grammar (← links | edit)
- Computational complexity theory (← links | edit)
- Formal language (← links | edit)
- First-order logic (← links | edit)
- Greatest common divisor (← links | edit)
- Graph theory (← links | edit)
- Integer factorization (← links | edit)
- Knapsack problem (← links | edit)
- Lambda calculus (← links | edit)
- Mathematical logic (← links | edit)
- NP (complexity) (← links | edit)
- NC (complexity) (← links | edit)
- Oracle machine (← links | edit)
- Regular language (← links | edit)
- ♯P (← links | edit)
- SameGame (← links | edit)
- Static program analysis (← links | edit)
- Square-free integer (← links | edit)
- Travelling salesman problem (← links | edit)
- Unary numeral system (← links | edit)
- Word problem for groups (← links | edit)
- Subset sum problem (← links | edit)
- PSPACE (← links | edit)
- Genetic algorithm (← links | edit)
- Minimum spanning tree (← links | edit)
- Saul Kripke (← links | edit)
- Co-NP-complete (← links | edit)
- NP-hardness (← links | edit)
- P-complete (← links | edit)
- PSPACE-complete (← links | edit)
- NP-easy (← links | edit)
- NP-equivalent (← links | edit)
- EXPTIME (← links | edit)
- EXPSPACE (← links | edit)
- Decidability (← links | edit)
- Gödel's incompleteness theorems (← links | edit)
- Wilhelm Ackermann (← links | edit)
- Post correspondence problem (← links | edit)
- Wang tile (← links | edit)
- Depth-first search (← links | edit)
- Hamiltonian path problem (← links | edit)
- Polynomial-time reduction (← links | edit)
- Metamathematics (← links | edit)