Организация перебора в дискретных задачах с монотонными функционалами при анализе эмпирических данных

Излагаются способы сокращения перебора, возникающего при решении дискретных задач, которые можно свести к поиску нулей монотонной функции, определенной на элементах конечной решетки, принимающей лишь три значения: -1, 0 и 1 и обладающей свойством изолированности нулей. Решетка отображается в упорядоченный рекурсивный лес, и перебор производится путем поэтапного построения этого леса с отсечением бесперспективных поддеревьев. Отсечения сказываются на строении всего леса и в том числе на структуре еще не построенной его части. Перебор организуется так, чтобы на каждом его этапе в возможно большей степени использовалась информация об отсечениях, сделанных на более ранних этапах. Приводятся способы экономного представления промежуточной информации. Показывается, как к поставленной переборной задаче сводится обучение логических алгоритмов распознавания образцов типа «кора».