Комбинаторный взрыв (TkbQnugmkjudw f[jdf)
Комбинаторный взрыв — термин, используемый для описания эффекта резкого («взрывного») роста временной сложности алгоритма при увеличении размера входных данных задачи[1].
Более точно это означает, что рассматриваемый алгоритм не является полиномиальным, то есть время решения задачи не ограничено никаким многочленом от длины входа. Обычно такие задачи имеют экспоненциальную или даже сверхэкспоненциальную сложность.
Для обхода проблемы комбинаторного взрыва ищут специальные методы решения, в частности, применяют эвристические алгоритмы.
Примеры
[править | править код]Комбинаторный взрыв возникает во многих задачах поиска[2], в задачах просчёта последовательностей, решаемых методами прямого перебора.[3][4]
Задача коммивояжера
[править | править код]В классической задаче коммивояжёра требуется найти оптимальную последовательность посещения коммивояжером городов. Единственный точный способ решения задачи состоит в том, чтобы перебрать все возможные маршруты и выбрать тот, который занимает наименьшее количество времени. Тем самым сложность решения задачи коммивояжера оказывается пропорциональной числу всех возможных последовательностей городов, которое дается формулой перестановок:
Шахматы
[править | править код]Так, например, гипотетически возможно просчитать все варианты ходов в настольной игре шахматы от начала игры до конца методом полного перебора всех комбинаций. Однако в настоящее время и в ближайшем будущем[2] решить такую задачу практически невозможно. Например, для вычислительной машины, способной просчитать миллион игровых комбинаций в секунду с отсевом заведомо неоптимальных ветвей, на просчёт 6 ходов вперёд потребуется 1 секунда, на 12 ходов — 11 дней, а на 18 ходов — около 32000 лет.[2]
Примечания
[править | править код]- ↑ Web Dictionary of Cybernetics and Systems . Дата обращения: 29 мая 2010. Архивировано 6 августа 2010 года.
- ↑ 1 2 3 A Dictionary of Computing . Дата обращения: 29 мая 2010. Архивировано 8 июня 2013 года.
- ↑ Articles on Artificial Intelligence . Дата обращения: 29 мая 2010. Архивировано 23 августа 2011 года.
- ↑ Denys Duchier, Claire Gardent and Joachim Niehren. Concurrent Constraint Programming in Oz for Natural Language Processing . Дата обращения: 29 мая 2010. Архивировано 12 августа 2011 года.
Это заготовка статьи по информатике. Помогите Википедии, дополнив её. |
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |