Lukas' Notes
Search
Search
Dark mode
Light mode
Home
❯
tags
❯
Tag: computation
Tag: computation
226 items with this tag.
May 01, 2026
The Bitter Lesson
computation
artificial-intelligence
May 01, 2026
On Computable Numbers, with an Application to the Entscheidungsproblem
computation
May 01, 2026
n-Queens
games
computation
May 01, 2026
k-Colouring Problem
computation
May 01, 2026
k-Satisfiability Problem
computation
logic
sat
May 01, 2026
bff
computation
complexity
evolution
May 01, 2026
Word (Computing)
computation
May 01, 2026
Work Tape (Turing Machine)
computation
May 01, 2026
Weighted Independent Set Problem
computation
May 01, 2026
Wagner–Fischer algorithm
computation
May 01, 2026
Vertex Cover Problem
computation
May 01, 2026
Vector Subset Sum Problem
computation
May 01, 2026
Universal Turing Machine
computation
May 01, 2026
Unsatisfiability Problem
computation
May 01, 2026
Unit Propagation
logic
computation
sat-solving
May 01, 2026
Undecidable Decision Problem
computation
May 01, 2026
Undecidable Function Property
computation
May 01, 2026
Undecidable Language Property
computation
May 01, 2026
Unary Encoding
computation
May 01, 2026
Turing Gas
computation
complexity
evolution
May 01, 2026
Turing Machine
computation
May 01, 2026
Turing Reduction
computation
May 01, 2026
Turing-Computable Arithmetic Function
computation
May 01, 2026
Turing-complete
computation
May 01, 2026
Travelling Salesman Problem
computation
May 01, 2026
Tree-width
computation
May 01, 2026
Totally Recursive Function
computation
May 01, 2026
Tractable Problem
computation
May 01, 2026
Tape (Turing Machine)
computation
May 01, 2026
Symbolic Computation
computation
logic
May 01, 2026
Symmetric Travelling Salesman Problem
computation
May 01, 2026
Subset Sum Problem
computation
May 01, 2026
Successor Function (Recursion)
computation
May 01, 2026
State of Mind
computation
May 01, 2026
Standard Description
computation
May 01, 2026
Star Sum Problem
computation
graph-theory
May 01, 2026
Stable Matching Problem
computation
May 01, 2026
Solution
computation
May 01, 2026
Shortest Path Problem
computation
graph-theory
May 01, 2026
Set Cover Problem
computation
May 01, 2026
Self-Replicating Program
computation
May 01, 2026
Semi-Decidable Decision Problem
computation
May 01, 2026
Segmented Least Squares Problem
computation
May 01, 2026
Search Problem
computation
May 01, 2026
Satisfiability Problem
computation
May 01, 2026
SIMPLE Programming Language
computation
May 01, 2026
Same Output Problem
computation
May 01, 2026
Ruliad
computation
philosophy
May 01, 2026
Rice's Theorem
computation
languages
May 01, 2026
Register Machine Program
computation
May 01, 2026
Register Machine
computation
May 01, 2026
Reduction
computation
May 01, 2026
Reachable Code Problem
computation
May 01, 2026
Randomised Algorithm
computation
probability-theory
May 01, 2026
Quiescence Search
computation
May 01, 2026
Quine
computation
May 01, 2026
Pushdown Automaton
computation
May 01, 2026
Program
computation
May 01, 2026
Projection Function (Recursion)
computation
May 01, 2026
Processor Time
operating-systems
computation
May 01, 2026
Problem Instance
computation
May 01, 2026
Problem
computation
May 01, 2026
Procedure
computation
May 01, 2026
Primitive Recursion
computation
May 01, 2026
Primitive-Recursive Function
computation
May 01, 2026
Prim's Algorithm
computation
graph-theory
algorithms
May 01, 2026
Positive Problem Instance
computation
May 01, 2026
Polynomial-time Algorithm
computation
May 01, 2026
Polynomial-time Approximation Algorithm
computation
approximation
May 01, 2026
Polynomial-time Approximation Scheme
computation
May 01, 2026
Pi Calculus
computation
May 01, 2026
Permutation Space
computation
May 01, 2026
Partition Problem
computation
May 01, 2026
Parse Tree
trees
computation
compilers
May 01, 2026
P vs NP Problem
computation
May 01, 2026
Oracle Turing Machine
computation
May 01, 2026
Optimal Objective Function
computation
May 01, 2026
Optimal Solution
computation
May 01, 2026
Optimisation Problem
computation
May 01, 2026
Open-Endedness
evolution
computation
May 01, 2026
Objective Function
computation
May 01, 2026
Normal Form (Turing Machine)
computation
May 01, 2026
Nondeterministic Polynomial Problem
computation
May 01, 2026
Non-Trivial Function Property
computation
May 01, 2026
Non-trivial Extensional Language Property
computation
May 01, 2026
NP-Hard Optimisation Problem
computation
May 01, 2026
NP-Optimisation Problem
computation
May 01, 2026
NP-complete Problem
computation
May 01, 2026
NP-hard Problem
computation
May 01, 2026
Multitape Turing Machine
computation
May 01, 2026
Mu Recursion
computation
May 01, 2026
Mu-Recursive Function
computation
May 01, 2026
MuBar Operator
computation
May 01, 2026
MuZero Operator
computation
May 01, 2026
Morphogenesis
biology
computation
May 01, 2026
Molecular Computing
computation
May 01, 2026
Model-Checking Problem
computation
logic
May 01, 2026
Minimal Set Cover Problem
computation
May 01, 2026
Minimal Vertex Cover Problem
computation
May 01, 2026
Minimisation Problem
computation
May 01, 2026
Minimum Vertex Cover Problem
graph-theory
computation
May 01, 2026
Metric Travelling Salesman Problem
computation
May 01, 2026
Maximum Non-Blocker Problem
computation
May 01, 2026
Maximum Satisfiability Problem
computation
May 01, 2026
Max-Value Knapsack Problem
computation
May 01, 2026
Max-Value Knapsack
computation
May 01, 2026
Maximisation Problem
computation
May 01, 2026
Maximum Independent Set Problem
computation
May 01, 2026
Many-One Reduction
computation
May 01, 2026
Longest Common Subsequence Problem
computation
May 01, 2026
Load Balancing Problem
computation
May 01, 2026
Linear Bounded Automaton
computation
May 01, 2026
Life
biology
evolution
computation
philosophy
May 01, 2026
Language of a Decision Problem
computation
May 01, 2026
Last In First Out
computation
May 01, 2026
Lambda Calculus
computation
lambda-calculus
May 01, 2026
Kolmogorov Machine
computation
May 01, 2026
Krom Formula
logic
computation
May 01, 2026
Kruskal's Algorithm
computation
graph-theory
algorithms
May 01, 2026
Knapsack Problem
computation
May 01, 2026
Karp Reduction
computation
May 01, 2026
Iterative Improvement Algorithm
computation
May 01, 2026
Intractable Problem
computation
May 01, 2026
Interval Scheduling Problem
computation
May 01, 2026
Interaction Net
computation
May 01, 2026
Intensional Function Property
computation
May 01, 2026
Integer Linear Programming
computation
May 01, 2026
Input Tape (Turing Machine)
computation
May 01, 2026
Independent Set Problem
computation
May 01, 2026
Implication Graph
computation
May 01, 2026
In-Place Algorithm
computation
May 01, 2026
Horn Formula
logic
computation
May 01, 2026
Heuristic
computation
May 01, 2026
Hierholzer's Algorithm
computation
May 01, 2026
Hamiltonian Path Problem
computation
graph-theory
May 01, 2026
Halting Problem
computation
May 01, 2026
Gödel Numbering
logic
computation
May 01, 2026
Graph-Reachability Problem
computation
May 01, 2026
Greedy Algorithm
computation
May 01, 2026
Gale–Shapley Algorithm
computation
May 01, 2026
Function Property
computation
May 01, 2026
Functional Problem
computation
May 01, 2026
Fully Polynomial-time Approximation Scheme
computation
May 01, 2026
Finite Turing Machine
computation
May 01, 2026
First In First Out
computation
May 01, 2026
Fibonacci Number
computation
May 01, 2026
Feasible Solution
computation
May 01, 2026
Ferranti Mark 1
computation
history
May 01, 2026
Ferranti Mark 2
computation
history
May 01, 2026
Factor-Delta Approximate Solution
computation
approximation
May 01, 2026
Factor-Delta Approximation Algorithm
computation
May 01, 2026
Extensional Function Property
computation
May 01, 2026
Exponential Search Space
computation
May 01, 2026
Extended Church-Turing Thesis
computation
May 01, 2026
Exact Algorithm
computation
May 01, 2026
Exact Cover Problem
computation
May 01, 2026
Exactly One of Two Reachable Code Problem
computation
May 01, 2026
Encoding of a Turing Machine
computation
May 01, 2026
Electronic Discrete Variable Automatic Computer
computation
May 01, 2026
Electronic Numerical Integrator and Computer
computation
May 01, 2026
Efficient Polynomial-time Approximation Scheme
computation
May 01, 2026
Dynamic Programming Algorithm
computation
May 01, 2026
Dynamic Programming
computation
May 01, 2026
Dual Heuristic
computation
heuristics
May 01, 2026
Dominating Set Problem
computation
graph-theory
May 01, 2026
Deterministic Turing Machine
computation
May 01, 2026
Delta-Approximable NP-Hard Optimisation Problem
computation
approximation
May 01, 2026
Decidable Function Property
computation
May 01, 2026
Decidable Language Property
computation
May 01, 2026
Decision Algorithm
computation
May 01, 2026
Decision Problem
computation
May 01, 2026
Decidable Decision Problem
computation
May 01, 2026
Darwinism
evolution
biology
computation
May 01, 2026
Currying
computation
May 01, 2026
Counting Problem
complexity-theory
computation
May 01, 2026
Correct Many-One Reduction
computation
May 01, 2026
Correct Reduction
computation
May 01, 2026
Correctness Problem
computation
May 01, 2026
Cook Reduction
computation
May 01, 2026
Control Problem
computation
May 01, 2026
Context-Sensitive Language
computation
May 01, 2026
Constant Function (Recursion)
computation
May 01, 2026
Constrainted Longest Common Subsequence Problem
computation
May 01, 2026
Configuration (Turing Machine)
computation
May 01, 2026
Computronium
computation
physics
complexity
May 01, 2026
Computable Encoding
computation
May 01, 2026
Computable Function
computation
May 01, 2026
Computable Partial Function
computation
May 01, 2026
Computable Total Function
computation
May 01, 2026
Computation
computation
May 01, 2026
Computational Irreducibility
philosophy
computation
May 01, 2026
Combinatorial Search Space
computation
May 01, 2026
Combinatoric Optimisation Problem
computation
May 01, 2026
Coin Problem
computation
algorithms
optimisation
May 01, 2026
Code Language of a Language Property
computation
May 01, 2026
Co Decision Problem
computation
May 01, 2026
Co Halting Problem
computation
May 01, 2026
Code Language of a Function Property
computation
May 01, 2026
Clique Problem
computation
graph-theory
May 01, 2026
Church-Turing Thesis
computation
May 01, 2026
Centre Selection Problem
computation
algorithms
optimisation
May 01, 2026
Brute-force
computation
May 01, 2026
Busy-Beaver Function
computation
May 01, 2026
Branch and Bound
computation
May 01, 2026
Brent's Hashing Algorithm
computation
May 01, 2026
Brute-force Search Space
computation
May 01, 2026
Blank Symbol (Turing Machine)
computation
May 01, 2026
Biological Computation
biology
computation
May 01, 2026
Bin Packing Problem
computation
May 01, 2026
Binary Encoding
computation
May 01, 2026
Best Feasible Solution
computation
approximation
May 01, 2026
Bellman's Principle of Optimality
computation
May 01, 2026
Approximation Algorithm
computation
approximation
May 01, 2026
Approximation Problem
computation
approximation
May 01, 2026
Approximation Ratio
computation
approximation
May 01, 2026
Approximation Scheme
computation
May 01, 2026
Amortised Time Complexity
computation
May 01, 2026
Algorithmica
computation
May 01, 2026
Algorithm
computation
May 01, 2026
Ackermann Function
computation
May 01, 2026
Abiogenesis
evolution
biology
computation
May 01, 2026
2-Colouring Problem
computation
May 01, 2026
2-Satisfiability Problem
computation
May 01, 2026
3-Colouring Problem
computation
May 01, 2026
3-Partition Problem
computation
May 01, 2026
3-Satisfiability Problem
computation