иссл. опер. разрешающее правило (в динамическом программировании: формулы, определяющие правила доминирования, на основе которых на каждом шаге решения задачи производится сравнение вариантов будущего развития и заблаговременное отсеивание заведомо бесперспективных вариантов)