Глава 9. Математика

Глава 9. Математика

9.1. Введение

Системная технология и ее модели, принципы и условия с большой пользой применялись для построения системных технологий решения ряда прикладных математических задач дискретной оптимизации, моделирования дискретных и непрерывных объектов управления, создания компьютерных систем имитационного моделирования, для проектирования схем соединений на печатных платах, для создания технологий тестирования и многих других задач. В данной главе описывается один из успешных опытов применения принципов построения технологий к построению технологии решения задач дискретной оптимизации на примере широко известной «задачи о коммивояжере» (ЗОК). Этот пример выбран по той простой причине, что в нем сочетается простота и понятность постановки задачи со сложностью нахождения точного или приемлемого для практики решения. ЗОК относится к трудноразрешимым задачам, которые называют еще «NP-полными».

Постановка ЗОК выглядит следующим образом. Имеется п пунктов, в одном из которых находится коммивояжер. Все эти пункты коммивояжер должен посетить и вернуться для отчета в исходный пункт. Расстояния между ними известны. Требуется найти маршрут коммивояжера, при котором суммарное расстояние, которое он пройдет, будет наименьшим из всех возможных. Эту задачу постоянно решает любой путешественник, собирающийся посетить несколько городов. Вместо расстояний между городами можно взять стоимости проезда теми видами транспорта, которыми можно воспользоваться при переезде из одного города в другой. Вместо городов могут присутствовать операции технологического цикла, а вместо расстояний – время, необходимое для перехода от одной операции к другой. К задаче коммивояжера в формальном виде сводятся многие задачи управления, экономики, планирования и организации. Решить ЗОК простым перебором для больших п практически невозможно, так как число возможных решений равно (п-1)! или «(n-1) факториал».

Применение принципа обогащения к решению ЗОК позволяет построить эффективную технологию. В этом случае технология решения состоит из двух основных алгоритмов. Первый алгоритм позволяет обогатить исходный массив данных, исключая из него те «расстояния», которые не могут участвовать в оптимальном маршруте. Второй алгоритм позволяет найти оптимальный (или близкий к оптимальному) маршрут коммивояжера.

Задача поставлена и решена, как известная задача теории графов о нахождении оптимального гамильтонова цикла в графе [3].