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