This is an instance of infCompl-01a, a course on computational complexity.