Аннотация:Предлагается адекватный (различающий) тестовый набор для простых программ над двоичными деревьями экспоненциального размера (что по порядку существенно меньше известного), и на его основе - алгоритм проверки эквивалентности меньшей сложности по сравнению с известным.