#theoretical computer science #algorithms #complexity theory #research #mathematics #logic #proofs #computer science theory #problem solving