Algorithm
Mathematical logic
Color-coding
SL
Graph coloring
Analysis of algorithms
Theoretical computer science
Mathematics
Applied mathematics