Cтраница 2
Рассмотренные до сих пор методы ставили своей целью ограничение, а не предотвращение экспоненциального роста. По этой причине они были удачно названы слабыми методами - методами, которые следует применять, когда знания символьной системы или степень структурированности проблемного пространства недостаточны для того, чтобы полностью исключить поиск. Поучительно сравнить высокоструктурированную ситуацию, которая может быть выражена, скажем, как задача линейного программирования, с менее структурированными ситуациями комбинаторных задач вроде задачи о коммивояжере или составления расписаний. Менее структурированная здесь означает недостаточность или отсутствие теории, описывающей структуру проблемного пространства. [16]