Легко убедиться, что данная процедура обхода позволяет посетить все вершины, функции фильтров которых принимают значение ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Гасанов Э.Э.
Теория хранения и поиска информации
Легко убедиться, что данная процедура обхода позволяет посетить все вершины, функции фильтров которых принимают значение 1 на запросе ж, и, следовательно, полученное на выходе процедуры множество У совпадает с ответом Ju ( x ] графа U на запрос ж, что говорит о корректности определения процедуры обхода.