topic:problem_reducibilities