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