Данная работа посвящена реализации программы для визуализации этапов трех выбранных сведений одних задач поиска (NP‑полных задач) к другим: сведение задачи о выполнимости к задаче о 3-выполнимости,сведение задачи о 3-выполнимости к задаче о независимом множестве, сведение задачи о независимом множестве к задаче о вершинном покрытии. В процессе выполнения данной работы решались следующие задачи: Изучение теоретической части сведений NP-полных задач. Реализация сведений задач поиска на языке программирования Java.Создание окон программы для визуализации сведения задач поиска. Сборка проекта для доставки конечному пользователю. В результате данной работы была разработана программа, производящая указанные выше сведения одной задачи поиска к другой. Была разработана визуализация результатов выполнения каждого из трех шагов сведений под номерами 1 и 2 одной задачи поиска к другой. Для сведения под номером 3 было спроектировано окно для пользователя, но взаимодействие с пользовательскими данными не настроено.

This work aimed to the implementation of a program for visualizing the stages of three selected reductions of some search problem (NP‑complete problem) to other: reduction of satisfiability problem into 3-satisfiability problem, reduction of 3-satisfiability problem into independent set problem, reduction of independent set problem into vertex cover problemIn the process of developing this work, the following tasks were solved: Research theoretical part of reductions of NP-complete problems. Develop Java program to complete the reductions. Design application windows for visualization of search problem reductions. Build project for delivery to final user. As a result, a program was developed that completes the above reductions of one search problem into another. A visualization of the results of performing each of the three steps of reductions from one search problem into another, under numbers 1 and 2, was developed. For reduction number 3, a window was designed for the user, but interaction with user data was not developed.