Процесс моделирования, предложенный в доказательстве теоремы 12.1 можно в некоторой степени ускорить с помощью метода ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Косоруков О.А. Исследование операций


Процесс моделирования, предложенный в доказательстве теоремы 12.1 можно в некоторой степени ускорить с помощью метода ветвей и границ или с помощью более тщательного перебора, когда избегаются ненужные слова-догадки. Тем не менее несмотря на значительное сокращение перебора в этом случае неизвестен метод, который осуществляет такое моделирование быстрее, чем за экспоненциальное время.

(cкачать страницу)

Смотреть книгу на libgen

 Процесс моделирования,  предложенный в доказательстве теоремы 12.1 можно в некоторой степени ускорить с помощью метода ветвей и границ или с помощью более тщательного перебора,  когда избегаются ненужные слова-догадки.  Тем не менее несмотря на значительное сокращение перебора в этом случае неизвестен метод,  который осуществляет такое моделирование быстрее,  чем за экспоненциальное время.