Транзитивность редукций

Учебники: «Вычислительная сложность: современный подход» С. Ароры и Б. Барака. «Разработка алгоритмов» Дж. Клейнберга и Э. Тардоса. Слайды лекций К. Уэйна к последнему учебнику: https://www.cs.princeton.edu/~wayne/k...