Вариант 1447567034.
Гамильтонов цикл в графе:
Существует ли биекция между классами и ?
У языков L1-L4 доказаны следующие полиномиальные сводимости по Карпу: «L1→L2», «L3→L2→L4» Рассмотрим утверждения:
Множество S является разрешимым, тогда и только тогда, когда существует такая машина Тьюринга T, что:
Паросочетание, это подмножество...