Данная, предлагаемая мной любознательному читателю, книга посвящена проблеме перебора в теории алгоритмов, рассматриваемой в дискретной математике.
Эта книга является составной частью серии книг, в которых описывается разработанная мною, согласно философии априоризма И. Канта, модель искусственного разума. Эта модель представляет, из себя имитатор человеческого разума, мышления и является моей авторской работой.
Вопрос о равенстве классов сложности P и NP задач, также известной как проблема перебора, является центральной открытой проблемой в теории алгоритмов уже более четырёх десятилетий.
Если на него будет дан положительный ответ, то это будет означать, что теоретически возможно решать многие сложные задачи значительно быстрее, чем сейчас,
Нерешённость центральной проблемы современной дискретной математики тормозит развитие не только дискретной математики, но тормозит развитие всей математики в целом.
Это касается многих её направлениях исследования математических структур в области алгебры, топологии, геометрии и др.
Отличительной чертой задачи коммивояжера, как и других переборных задач, является довольно простой способ получения их решения. Основной проблемой является доказательство оптимальности решения (нахождение наилучшего решения).
В данной книге рассматривается безпереборный метод точного решения комбинаторных оптимизационных задач (я называю его как эффективный метод комбинаторной оптимизации), который разработан на примере задачи коммивояжера, и которая относится классу NP задач комбинаторной оптимизации.
В настоящее время неизвестны точные эффективные методы решения задач класса NP.
Мне удалось найти, при применении моего эффективного метода комбинаторной оптимизации, косвенный признак оптимальности получаемого решения.
Доказано, что метод, с помощью которого можно эффективно решить одну из задач класса NP, можно применить для решения и других задач класса NP.
В результате моих исследований была найдена определённая зависимость для задачи коммивояжера. Эта зависимость является закономерной, объективной, и представляет найденную мной научную новизну.
Разработанный мной эффективный метод комбинаторной оптимизации, на основании этой зависимости, использующий найденный мной косвенный признак определения наилучшего решения, также может быть применим, для решения различных других задач класса NP.
