Lukas' Notes
Search
Search
Dark mode
Light mode
Home
❯
tags
❯
Tag: computation
Tag: computation
87 items with this tag.
Oct 27, 2025
n-Queens
games
computation
Oct 27, 2025
Weighted Independent Set Problem
computation
Oct 27, 2025
Word (Computing)
computation
Oct 27, 2025
Vertex Cover Problem
computation
Oct 27, 2025
Unsatisfiability Problem
computation
Oct 27, 2025
Turing Machine
computation
Oct 27, 2025
Turing Reduction
computation
Oct 27, 2025
Undecidable Decision Problem
computation
Oct 27, 2025
Tree-width
computation
Oct 27, 2025
Travelling Salesman Problem
computation
Oct 27, 2025
Tractable Problem
computation
Oct 27, 2025
Symmetric Travelling Salesman Problem
computation
Oct 27, 2025
Stable Matching Problem
computation
Oct 27, 2025
Shortest Path Problem
computation
graph-theory
Oct 27, 2025
Semi-Decidable Decision Problem
computation
Oct 27, 2025
Set Cover Problem
computation
Oct 27, 2025
Search Problem
computation
Oct 27, 2025
Segmented Least Squares Problem
computation
Oct 27, 2025
Satisfiability Problem
computation
Oct 27, 2025
Reduced Instruction Set Computing
computation
computer-architecture
Oct 27, 2025
Reduction
computation
Oct 27, 2025
Reachable Code Problem
computation
Oct 27, 2025
Problem
computation
Oct 27, 2025
Problem Instance
computation
Oct 27, 2025
Prim's Algorithm
computation
graph-theory
Oct 27, 2025
Optimisation Problem
computation
Oct 27, 2025
Oracle Turing Machine
computation
Oct 27, 2025
Nondeterministic Polynomial Problem
computation
Oct 27, 2025
Multitape Turing Machine
computation
Oct 27, 2025
NP-complete Problem
computation
Oct 27, 2025
NP-hard Problem
computation
Oct 27, 2025
Minimal Set Cover Problem
computation
Oct 27, 2025
Minimal Vertex Cover Problem
computation
Oct 27, 2025
Minimisation Problem
computation
Oct 27, 2025
Metric Travelling Salesman Problem
computation
Oct 27, 2025
Maximisation Problem
computation
Oct 27, 2025
Maximum Independent Set Problem
computation
Oct 27, 2025
Maximum Non-Blocker Problem
computation
Oct 27, 2025
Maximum Satisfiability Problem
computation
Oct 27, 2025
Many-One Reduction
computation
Oct 27, 2025
Longest Common Subsequence Problem
computation
Oct 27, 2025
Load Balancing Problem
computation
Oct 27, 2025
Lambda Calculus
computation
lambda-calculus
Oct 27, 2025
Last In First Out
computation
Oct 27, 2025
Karp Reduction
computation
Oct 27, 2025
Knapsack Problem
computation
Oct 27, 2025
Interval Scheduling Problem
computation
Oct 27, 2025
Intractable Problem
computation
Oct 27, 2025
Iterative Improvement Algorithm
computation
Oct 27, 2025
Interaction Net
computation
Oct 27, 2025
Independent Set Problem
computation
Oct 27, 2025
In-Place Algorithm
computation
Oct 27, 2025
Hierholzer's Algorithm
computation
Oct 27, 2025
Greedy Algorithm
computation
Oct 27, 2025
Halting Problem
computation
Oct 27, 2025
Gale–Shapley Algorithm
computation
Oct 27, 2025
Functional Problem
computation
Oct 27, 2025
Fibonacci Number
computation
Oct 27, 2025
First In First Out
computation
Oct 27, 2025
Exact Cover Problem
computation
Oct 27, 2025
Dual Heuristic
computation
heuristics
Oct 27, 2025
Dynamic Programming
computation
Oct 27, 2025
Decidable Decision Problem
computation
Oct 27, 2025
Decision Problem
computation
Oct 27, 2025
Correctness Problem
computation
Oct 27, 2025
Counting Problem
computation
Oct 27, 2025
Control Problem
computation
Oct 27, 2025
Cook Reduction
computation
Oct 27, 2025
Constrainted Longest Common Subsequence Problem
computation
Oct 27, 2025
Computable Function
computation
Oct 27, 2025
Computable Partial Function
computation
Oct 27, 2025
Computable Total Function
computation
Oct 27, 2025
Combinatoric Optimisation Problem
computation
Oct 27, 2025
Co Decision Problem
computation
Oct 27, 2025
Center Selection Problem
computation
Oct 27, 2025
Branch and Bound
computation
Oct 27, 2025
Brent's Hashing Algorithm
computation
Oct 27, 2025
Brute-force
computation
Oct 27, 2025
Bellman's Principle of Optimality
computation
Oct 27, 2025
Amortised Time Complexity
computation
Oct 27, 2025
Approximation Algorithm
computation
Oct 27, 2025
Algorithm
computation
Oct 27, 2025
Algorithmica
computation
Oct 27, 2025
3-Colouring Problem
computation
Oct 27, 2025
3-Satisfiability Problem
computation
Oct 27, 2025
ARM
computation
Oct 27, 2025
The Bitter Lesson
computation
artificial-intelligence