• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Статья

Многоцветный граф как полный топологический инвариант для Ω-устойчивых потоков без периодических траекторий на поверхностях

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