Главное внимание уделено общему представлению об операциях параллельной специализированной гибридной вычислительной машины при решении задач класса NP.
Функциональная схема параллельной специализированной гибридной вычислительной машины подчинена схеме метода точного мгновенного решения задач класса NP.
В данной работе предлагается эффективный безпереборный метод точного решения на МПСГВМ следующих комбинаторных оптимизационных задач:
• задача коммивояжера;
• задача Штейнера;
• задача о ранце;
• задача о назначениях;
• задача о назначении целей;
• задача теории расписаний;
• транспортная задача.
Этот метод мной разработан на примере задачи коммивояжера (ЗК), которая относится к классу NP и изложен мной в книге «Искусственный разум Задача коммивояжера Проблема перебора P=NP».
Данный метод вместо перебора осуществляет поиск оптимального решения на основе закономерности, присущей задачам класса NP.
Принципиальная новизна данной работы состоит в том, что она является первой и единственной, раскрывающей сущность почти мгновенного точного решения задач класса NP практически любого размера.
Модель параллельной специализированной гибридной вычислительной машины
Как известно, специализированные гибридные вычислительные машины предназначены для эффективного решения узкого класса задач.
К такому классу можно отнести и задачи класса NP комбинаторной оптимизации (КО). Комбинаторная оптимизация заключается в поиске оптимального решения в конечном множестве решений, то есть комбинаторные задачи можно решить методом полного перебора.
Во многих задачах КО полный перебор нереален. В настоящее время построение точных эффективных методов для так называемых труднорешаемых задач КО считается проблематичным и маловероятным.
К таким задачам относятся:
• задача коммивояжера;
• задача Штейнера;
• задача о ранце;
• задача о назначениях;
• задача о назначении целей;
• транспортная задача.
Доказано что они являются труднорешаемыми и относятся к классу NP. Для данного класса задач существующая проблема перебора в теории алгоритмов является открытой. Утверждается, что если будет решена эта проблема, то задачи класса NP можно будет решать с помощью одного единственного эффективного метода, так как эти задачи можно свести друг к другу.
В настоящее время разработанные точные методы решения задач КО являются, по сути, методами неявного перебора с экспоненциальной временной сложностью.
К ним относятся:
• метод ветвей и границ;
• метод динамического программирования.
Данные методы являются неэффективными по определению, так как требуют для решения задач КО экспоненциально зависящее от размера задачи время решения. Поэтому для решения задач КО разработаны приближённые эффективные методы.
К ним относятся:
• приближённые алгоритмы с гарантированными оценками качества получаемого решения;
• вероятностные алгоритмы.
В данной работе предлагается эффективный безпереборный метод точного решения комбинаторных оптимизационных задач.
Этот метод разработан на примере задачи коммивояжера (ЗК), которая относится к классу NP и изложен мной в книге «Искусственный разум Задача коммивояжера Проблема перебора P=NP».
Данный метод вместо перебора осуществляет поиск оптимального решения на основе закономерности, присущей задачам комбинаторной оптимизации (ЗКО).
Задача о ранце
Введение
Задача о ранце одна из труднорешаемых задач дискретной математики.
Название своё получила от максимизационной задачи укладки как можно большего числа ценных вещей в ранец при условии, что общий вес (или объём) всех предметов способных поместиться в ранец, ограничен.
Следовательно, эта задача является двухкритериальной.
На первом этапе решения необходимо найти множество подмножеств грузов с максимальной мощностью числа ценных вещей помещаемых в рюкзак, с учётом ограничения для ранца по весу W, а затем выявить максимальную суммарную ценность грузов в результате перебора конечного числа этих подмножеств с целью получить глобальное оптимальное решение.
На втором этапе решения нужно определить локальный оптимум решения задачи о ранце, уменьшая мощность подмножеств грузов.
В настоящее время не найдено эффективного метода точного решения задачи о ранце.
Постановка задачи о ранце
Пусть для задачи о ранце