Профиль » Публикация

Аннотация Приведены нетрадиционная графо-комбинаторная модель представления классической трудноразрешимой задачи 3-Выполнимость и полиномиальный алгоритм построения модели. В основу модели положен уникальный способ представления данных – структуры компактных троек. Метод анализа и классификации булевых формул средствами модели определен как принцип тождественного отображения множеств компонент несогласо-ванных структур на базисное множество. Алгоритм прошел тестирование в большом диапазоне параметров, определяющих "размер входа" задачи, в том числе при значениях параметров, исключающих результа-тивное применение переборных процедур. Сформулированный принцип раскрывает новые возможности конструктивного подхо-да к исследованию класса трудноразрешимых задач.