Задачи на сводимость

Задачи: - упражнения 3.3 (99 стр) номер 1 и 3 с ответами, доказательством и объяснением на языке математике в учебнике Гэри и Джонсон "вычислительные машины и труднорешаемые задачи"

Задачи на сводимость: доказать, что КНФ-выполнимость сводится к ЦЛП (целочисленному линейному программированию)

Гамильтонов цикл сводится (->) к гамильтинову пути (не полиномиальная сводимость, а программы и подпрограммы)

В ходе выполнения этих задач прошу решить их подробно и последовательно, с комментариями ( я попытаюсь понять и разобраться для защиты)

Необходимые литературы находятся в прикреплении.

Необходимо выполнить требования к выполнению задач и оформлению для этого нужно смотреть видео. Напишите мне в лс, я скину ссылку на Гугл диск, в котором находится видео о требовании.