Фокусированный поиск входной последовательности, различающей по реакции пару технических состояний цифровой схемы с памятью

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