Graph coloring
Tree decomposition
Symbol
Dynamic programming
Tree
Decomposition method
Graph theory
Mathematics
Theoretical computer science