Единичный тест замыкания для блочных схем

Рассматриваются единичные тесты замыкания для последователь ной блочной схемы (ПБС). В качестве блоков берутся схемы с двумя входами и двумя выходами, зависящие только от одной переменной. Выбираются 17 неэквивалентных блоков и рассматриваются схемы из этих блоков. Дается понятие существенного отрезка и доказывается следующая теорема о длине $|T|$ минимального теста:
$$ |T|\asymp\max\biggl(\biggl(n-\sum^t_{j=1}m_j\biggr), \sum^t_{j=1}\log_2m_j\biggr), $$
где $t$ – количество существенных отрезков, а $m_j$ – количество блоков некоторого типа в данном существенном отрезке. Библиогр. 5 назв.