generate-and-test computations

Вычисления с порождением и проверкой вариантов или гипотез