Computational Complexity Theory Decision Problems