Theoretical computer science
Algorithm
Mathematical logic
Algorithms
Robot
Parametric search
Algorithm characterizations