Подстановки, сохраняющие изоморфизм. Оптимизационные алгоритмы презентация онл