Teori kompleksitas komputasi. Teori kompleksitas komputasi adalah cabang dari teori komputasi dalam ilmu komputer teoretis yang berfokus pada pengklasifikasian masalah komputasi menurut kesulitan yang melekat, dan menghubungkan kelas-kelas itu satu sama lain.