Lukas' Notes
Search
Search
Dark mode
Light mode
Tag: computation
284 items with this tag.
Jul 23, 2026
The Bitter Lesson
computation
artificial-intelligence
Jul 23, 2026
On Computable Numbers, with an Application to the Entscheidungsproblem
computation
Jul 23, 2026
n-Queens
games
computation
Jul 23, 2026
k-Colouring Problem
computation
Jul 23, 2026
k-Partition Problem
computation
scheduling
Jul 23, 2026
k-Satisfiability Problem
computation
logic
sat
Jul 23, 2026
bff
computation
complexity
evolution
Jul 23, 2026
Work Tape (Turing Machine)
computation
Jul 23, 2026
Word (Computing)
computation
Jul 23, 2026
Weighted Independent Set Problem
computation
Jul 23, 2026
Wagner–Fischer algorithm
computation
Jul 23, 2026
Vertex Cover Problem
computation
Jul 23, 2026
Vector Subset Sum Problem
computation
Jul 23, 2026
Unsatisfiability Problem
computation
Jul 23, 2026
Universal Turing Machine
computation
Jul 23, 2026
Unit Penalty U_j (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Unit Propagation
logic
computation
sat-solving
Jul 23, 2026
Undecidable Decision Problem
computation
Jul 23, 2026
Undecidable Function Property
computation
Jul 23, 2026
Undecidable Language Property
computation
Jul 23, 2026
Unary Encoding
computation
Jul 23, 2026
Turing Completeness
computation
Jul 23, 2026
Turing Gas
computation
complexity
evolution
Jul 23, 2026
Turing Machine
computation
Jul 23, 2026
Turing Reduction
computation
Jul 23, 2026
Turing-Computable Arithmetic Function
computation
Jul 23, 2026
Travelling Salesman Problem
computation
Jul 23, 2026
Tree-width
computation
Jul 23, 2026
Totally Recursive Function
computation
Jul 23, 2026
Tractable Problem
computation
Jul 23, 2026
Total Completion Time (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Tape (Turing Machine)
computation
Jul 23, 2026
Symmetric Travelling Salesman Problem
computation
Jul 23, 2026
Switching Theory
digital-logic
computation
Jul 23, 2026
Symbolic Computation
computation
logic
Jul 23, 2026
Successor Function (Recursion)
computation
Jul 23, 2026
Suffix Tree
data-structures
computation
Jul 23, 2026
Subset Sum Problem
computation
Jul 23, 2026
Sub-exponential Algorithm
computation
complexity
Jul 23, 2026
Strong Exponential Time Hypothesis
computation
complexity
Jul 23, 2026
Strict Deadline (Interval Scheduling)
computation
scheduling
Jul 23, 2026
String Border
computation
Jul 23, 2026
String Matching Problem
computation
Jul 23, 2026
State of Mind
computation
Jul 23, 2026
Standard Description
computation
Jul 23, 2026
Star Sum Problem
computation
graph-theory
Jul 23, 2026
Stable Matching Problem
computation
Jul 23, 2026
Solution
computation
Jul 23, 2026
Single-exponential Time Algorithm
computation
complexity
Jul 23, 2026
Shortest Path Problem
computation
graph-theory
Jul 23, 2026
Set Cover Problem
computation
Jul 23, 2026
Self-Replicating Program
computation
Jul 23, 2026
Semi-Decidable Decision Problem
computation
Jul 23, 2026
Segmented Least Squares Problem
computation
Jul 23, 2026
Search Problem
computation
Jul 23, 2026
Schedule (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Scheduling Notation
computation
scheduling
Jul 23, 2026
Scheduling Problem
computation
scheduling
Jul 23, 2026
Satisfiability Problem
computation
Jul 23, 2026
SIMPLE Programming Language
computation
Jul 23, 2026
Same Output Problem
computation
Jul 23, 2026
Ruliad
computation
philosophy
Jul 23, 2026
Rosenblatt Perceptron
neuroscience
computation
Jul 23, 2026
Rice's Theorem
computation
languages
Jul 23, 2026
Release Time (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Register Machine Program
computation
Jul 23, 2026
Register Machine
computation
Jul 23, 2026
Reduction
computation
Jul 23, 2026
Reachable Code Problem
computation
Jul 23, 2026
Randomised Algorithm
computation
probability-theory
Jul 23, 2026
Quiescence Search
computation
Jul 23, 2026
Quine
computation
Jul 23, 2026
Pushdown Automaton
computation
Jul 23, 2026
Program
computation
Jul 23, 2026
Projection Function (Recursion)
computation
Jul 23, 2026
Processing Time (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Processor Time
operating-systems
computation
Jul 23, 2026
Procedure
computation
Jul 23, 2026
Problem Instance
computation
Jul 23, 2026
Problem
computation
Jul 23, 2026
Primitive Recursion
computation
Jul 23, 2026
Primitive-Recursive Function
computation
Jul 23, 2026
Prim's Algorithm
computation
graph-theory
algorithms
Jul 23, 2026
Preemption (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Prefix Function
computation
Jul 23, 2026
Precedence Constraint (Scheduling)
computation
scheduling
Jul 23, 2026
Positive Problem Instance
computation
Jul 23, 2026
Polynomial-time Approximation Scheme
computation
Jul 23, 2026
Polynomial-time Algorithm
computation
Jul 23, 2026
Polynomial-time Approximation Algorithm
computation
approximation
Jul 23, 2026
Planar Dominating Set Problem
computation
graph-theory
Jul 23, 2026
Planar Independent Set Problem
computation
graph-theory
Jul 23, 2026
Planar Vertex Cover Problem
computation
graph-theory
Jul 23, 2026
Pi Calculus
computation
Jul 23, 2026
Perfect Matching Lemma (Matroid Exchange Graph)
combinatorics
computation
Jul 23, 2026
Perfect Matching
computation
Jul 23, 2026
Permutation Space
computation
Jul 23, 2026
Partition Problem
computation
Jul 23, 2026
Parse Tree
trees
computation
compilers
Jul 23, 2026
P vs NP Problem
computation
Jul 23, 2026
Oracle Turing Machine
computation
Jul 23, 2026
Optimal Greedy Algorithm
computation
Jul 23, 2026
Optimal Objective Function
computation
Jul 23, 2026
Optimal Schedule
scheduling
computation
Jul 23, 2026
Optimal Solution
computation
Jul 23, 2026
Optimisation Problem
computation
Jul 23, 2026
Open-Endedness
evolution
computation
Jul 23, 2026
Objective Function
computation
Jul 23, 2026
Nondeterministic Polynomial Problem
computation
Jul 23, 2026
Normal Form (Turing Machine)
computation
Jul 23, 2026
Non-Trivial Function Property
computation
Jul 23, 2026
Non-Trivial String Border
computation
Jul 23, 2026
Non-trivial Extensional Language Property
computation
Jul 23, 2026
NP-Hard Optimisation Problem
computation
Jul 23, 2026
NP-Optimisation Problem
computation
Jul 23, 2026
NP-complete Problem
computation
Jul 23, 2026
NP-hard Problem
computation
Jul 23, 2026
Naive Algorithm
computation
Jul 23, 2026
Multitape Turing Machine
computation
Jul 23, 2026
Morphogenesis
biology
computation
Jul 23, 2026
Mu Recursion
computation
Jul 23, 2026
Mu-Recursive Function
computation
Jul 23, 2026
MuBar Operator
computation
Jul 23, 2026
MuZero Operator
computation
Jul 23, 2026
Molecular Computing
computation
Jul 23, 2026
Model-Checking Problem
computation
logic
Jul 23, 2026
Minimum Vertex Cover Problem
graph-theory
computation
Jul 23, 2026
Minimal NP-hard Problem
computation
Jul 23, 2026
Minimal Set Cover Problem
computation
Jul 23, 2026
Minimal Vertex Cover Problem
computation
Jul 23, 2026
Minimisation Problem
computation
Jul 23, 2026
Metric Travelling Salesman Problem
computation
Jul 23, 2026
Maximum-Weight Spanning Tree
computation
graph-theory
Jul 23, 2026
McCulloch–Pitts Model
neuroscience
computation
Jul 23, 2026
Max-Value Knapsack
computation
Jul 23, 2026
Maximal Non-Trivial String Border
computation
Jul 23, 2026
Maximal String Border
computation
Jul 23, 2026
Maximisation Problem
computation
Jul 23, 2026
Maximum Independent Set Problem
computation
Jul 23, 2026
Maximum Matroid Problem
computation
Jul 23, 2026
Maximum Non-Blocker Problem
computation
graph-theory
Jul 23, 2026
Maximum Satisfiability Problem
computation
Jul 23, 2026
Matroid
combinatorics
computation
Jul 23, 2026
Max-Value Knapsack Problem
computation
Jul 23, 2026
Makespan (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Many-One Reduction
computation
Jul 23, 2026
Machine (Scheduling)
computation
scheduling
Jul 23, 2026
Longest Common Subsequence Problem
computation
Jul 23, 2026
Load Balancing Problem
computation
Jul 23, 2026
Linear Bounded Automaton
computation
Jul 23, 2026
Life
biology
evolution
computation
philosophy
Jul 23, 2026
Last In First Out
computation
Jul 23, 2026
Lateness (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Lambda Calculus
computation
lambda-calculus
Jul 23, 2026
Language of a Decision Problem
computation
Jul 23, 2026
Kolmogorov Machine
computation
Jul 23, 2026
Krom Formula
logic
computation
Jul 23, 2026
Kruskal's Algorithm
computation
graph-theory
algorithms
Jul 23, 2026
Knapsack Problem
computation
Jul 23, 2026
Knuth-Morris-Pratt Algorithm
computation
Jul 23, 2026
Kendall Tau Distance
computation
Jul 23, 2026
Job (Scheduling)
computation
scheduling
Jul 23, 2026
Karp Reduction
computation
Jul 23, 2026
Iterative Improvement Algorithm
computation
Jul 23, 2026
Interval (Scheduling)
computation
scheduling
Jul 23, 2026
Interval Partitioning Problem
computation
scheduling
Jul 23, 2026
Interval Scheduling Problem
computation
scheduling
Jul 23, 2026
Intractable Problem
computation
Jul 23, 2026
Intensional Function Property
computation
Jul 23, 2026
Interaction Net
computation
Jul 23, 2026
Integer Linear Programming
computation
Jul 23, 2026
Input Tape (Turing Machine)
computation
Jul 23, 2026
Independent Set Problem
computation
Jul 23, 2026
In-Place Algorithm
computation
Jul 23, 2026
Implication Graph
computation
Jul 23, 2026
Horn Formula
logic
computation
Jul 23, 2026
Hierholzer's Algorithm
computation
Jul 23, 2026
Heuristic
computation
Jul 23, 2026
Halting Problem
computation
Jul 23, 2026
Hamiltonian Path Problem
computation
graph-theory
Jul 23, 2026
Gödel Numbering
logic
computation
Jul 23, 2026
Graph-Reachability Problem
computation
Jul 23, 2026
Greedy Algorithm
computation
Jul 23, 2026
Graham's List Scheduling Algorithm
computation
scheduling
Jul 23, 2026
Gale–Shapley Algorithm
computation
Jul 23, 2026
Functional Problem
computation
Jul 23, 2026
Fully Polynomial-time Approximation Scheme
computation
Jul 23, 2026
Function Property
computation
Jul 23, 2026
Finite Turing Machine
computation
Jul 23, 2026
First In First Out
computation
Jul 23, 2026
Fibonacci Number
computation
Jul 23, 2026
Ferranti Mark 1
computation
history
Jul 23, 2026
Ferranti Mark 2
computation
history
Jul 23, 2026
Feasible Schedule (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Feasible Solution
computation
Jul 23, 2026
Factor-Delta Approximate Solution
computation
approximation
Jul 23, 2026
Factor-Delta Approximation Algorithm
computation
Jul 23, 2026
Extended Church-Turing Thesis
computation
Jul 23, 2026
Extensional Function Property
computation
Jul 23, 2026
Exponential Search Space
computation
Jul 23, 2026
Exponential Time Hypothesis
computation
complexity
Jul 23, 2026
Exact Algorithm
computation
Jul 23, 2026
Exact Cover Problem
computation
Jul 23, 2026
Exactly One of Two Reachable Code Problem
computation
Jul 23, 2026
Exchange Graph
combinatorics
computation
Jul 23, 2026
Encoding of a Turing Machine
computation
Jul 23, 2026
Electronic Discrete Variable Automatic Computer
computation
Jul 23, 2026
Electronic Numerical Integrator and Computer
computation
Jul 23, 2026
Efficient Polynomial-time Approximation Scheme
computation
Jul 23, 2026
Earliest Due Date First Algorithm
computation
scheduling
Jul 23, 2026
Earliest Start Time First Algorithm
computation
scheduling
Jul 23, 2026
Dynamic Programming Algorithm
computation
Jul 23, 2026
Dynamic Programming
computation
Jul 23, 2026
Dual Heuristic
computation
heuristics
Jul 23, 2026
Due Date (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Dominating Set Problem
computation
graph-theory
Jul 23, 2026
Deterministic Turing Machine
computation
Jul 23, 2026
Depth (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Delta-Approximable NP-Hard Optimisation Problem
computation
approximation
Jul 23, 2026
Decidable Decision Problem
computation
Jul 23, 2026
Decidable Function Property
computation
Jul 23, 2026
Decidable Language Property
computation
Jul 23, 2026
Decision Algorithm
computation
Jul 23, 2026
Decision Problem
computation
Jul 23, 2026
Deadline (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Darwinism
evolution
biology
computation
Jul 23, 2026
Currying
computation
Jul 23, 2026
Counting Problem
complexity-theory
computation
Jul 23, 2026
Correct Reduction
computation
Jul 23, 2026
Correctness Problem
computation
Jul 23, 2026
Correct Many-One Reduction
computation
Jul 23, 2026
Cook Reduction
computation
Jul 23, 2026
Control Problem
computation
Jul 23, 2026
Constant Function (Recursion)
computation
Jul 23, 2026
Constrainted Longest Common Subsequence Problem
computation
Jul 23, 2026
Context-Sensitive Language
computation
Jul 23, 2026
Configuration (Turing Machine)
computation
Jul 23, 2026
Computronium
computation
physics
complexity
Jul 23, 2026
Computable Encoding
computation
Jul 23, 2026
Computable Function
computation
Jul 23, 2026
Computable Partial Function
computation
Jul 23, 2026
Computable Total Function
computation
Jul 23, 2026
Computation
computation
Jul 23, 2026
Computational Irreducibility
philosophy
computation
Jul 23, 2026
Completion Time (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Combinatorial Search Space
computation
Jul 23, 2026
Combinatoric Optimisation Problem
computation
Jul 23, 2026
Coin Problem
computation
algorithms
optimisation
Jul 23, 2026
Code Language of a Function Property
computation
Jul 23, 2026
Code Language of a Language Property
computation
Jul 23, 2026
Co Decision Problem
computation
Jul 23, 2026
Co Halting Problem
computation
Jul 23, 2026
Clique Problem
computation
graph-theory
Jul 23, 2026
Church-Turing Thesis
computation
Jul 23, 2026
Centre Selection Problem
computation
algorithms
optimisation
Jul 23, 2026
Busy-Beaver Function
computation
Jul 23, 2026
Brent's Hashing Algorithm
computation
Jul 23, 2026
Brute-force Search Space
computation
Jul 23, 2026
Brute-force
computation
Jul 23, 2026
Branch and Bound
computation
Jul 23, 2026
Blank Symbol (Turing Machine)
computation
Jul 23, 2026
Biological Computation
biology
computation
Jul 23, 2026
Big-O-Star Notation
computation
complexity
Jul 23, 2026
Bin Packing Problem
computation
Jul 23, 2026
Binary Encoding
computation
Jul 23, 2026
Bellman's Principle of Optimality
computation
Jul 23, 2026
Best Feasible Solution
computation
approximation
Jul 23, 2026
Average Completion Time (Interval Scheduling)
computation
scheduling
Jul 23, 2026
Approximation Algorithm
computation
approximation
Jul 23, 2026
Approximation Problem
computation
approximation
Jul 23, 2026
Approximation Ratio
computation
approximation
Jul 23, 2026
Approximation Scheme
computation
Jul 23, 2026
Amortised Time Complexity
computation
Jul 23, 2026
Algorithm
computation
Jul 23, 2026
Algorithmica
computation
Jul 23, 2026
Ackermann Function
computation
Jul 23, 2026
Abiogenesis
evolution
biology
computation
Jul 23, 2026
2-Colouring Problem
computation
Jul 23, 2026
2-Partition Problem
computation
scheduling
Jul 23, 2026
2-Satisfiability Problem
computation
Jul 23, 2026
3-Colouring Problem
computation
Jul 23, 2026
3-Partition Problem
computation
scheduling
Jul 23, 2026
3-Satisfiability Problem
computation
Jul 23, 2026
4-Colouring Problem
computation
graph-theory
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
Page 1 of 29