Топологическая сопряженность градиентно-подобных потоков на поверхностях и эффективные алгоритмы ее различения

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