В работе обобщается понятие тестовой таблицы с целью моделирования деревьев решения задач, у которых имеется несколько решений и требуется найти хотя бы одно из них. К числу таких задач относятся, например, многие задачи дискретной оптимизации. Изучаются верхние оценки временной сложности и алгоритмы построения детерминированных условных тестов тестовых таблиц.

Деревья решений, дискретная оптимизация, тестовые таблицы, детерминированные условные тесты

Математические вопросы и теория численных методов