?
Топологическая сопряженность градиентно-подобных потоков на поверхностях и эффективные алгоритмы ее различения
Градиентно-подобные потоки на поверхностях имеют простую динамику, что вдох-
новляло многих математиков на поиски инвариантов их топологической эквивалентности. В пред-
положениях различной общности на рассматриваемый класс градиентно-подобных потоков, были
получены такие классические инварианты, как схема Леонтович—Майера, граф Пейшото, осна-
щенный граф Пейшото, двуцветный граф Вонга, трехцветный граф Ошемкова—Шарко, круго-
вая схема Флейтас и др. Таким образом, проблема классификации градиентно-подобных пото-
ков на поверхностях с точки зрения топологической эквивалентности решена исчерпывающим
образом. В недавних работах В. Е. Круглова, Д. С. Малышева, О. В. Починки доказано, что для
градиентно-подобных потоков классы топологической эквивалентности совпадают с классами то-
пологической сопряженности. Полученный результат позволяет использовать для топологической
сопряженности градиентно-подобных потоков любые инварианты их эквивалентности. Настоя-
щее исследование является обзором результатов по топологической сопряженности градиентно-
подобных потоков на поверхностях и эффективным алгоритмам ее различения, т. е. алгоритмам,
время работы которых ограничено некоторым полиномом от длины входной информации.