Lemmas
NP-complete problems
Coding theory
Error detection and correction
Expander code
Kernelization
Mathematics
Graph theory
Theoretical computer science