Аннотация:
В работе изучается глубина деревьев решений для бинарных задач (задач с решениями $0$ или $1$) над системами проверок из некоторого класса. Показывается, что с ростом числа проверок в описании задачи минимальная глубина дерева решений, решающего задачу, в худшем случае либо ограничена сверху константой, либо растет почти как логарифмическая функция, либо растет как линейная функция.
Библиогр. 2.