This category lists computational problems, formal problems in theoretical computer science which are studied in computational complexity theory.