CC BY
75
ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА
2011 Прикладная теория графов №2(12)
УДК 512.5
АТТРАКТОРЫ ДИНАМИЧЕСКИХ СИСТЕМ, АССОЦИИРОВАННЫХ С ЦИКЛАМИ
А. В. Власова
Саратовский государственный университет им. Н. Г. Чернышевского, г. Саратов, Россия
E-mail: VAnastasiyaV@gmail.com
Доказывается критерий принадлежности состояний аттракторам и описывается формирование аттракторов динамических систем, ассоциированных с циклами, состояниями которых являются двоичные векторы заданной размерности, а эволюционная функция преобразует вектор с помощью одновременного выполнения следующих действий: начальный 0 и последняя 1 заменяются на 1 и 0 соответственно, каждая диграмма 10 — на 01.
Ключевые слова: аттрактор, динамическая система, эволюционная функция.
Введение
В задачах, связанных с отказоустойчивостью компьютерных сетей, заметное место занимают графовые модели, в которых отказы процессоров интерпретируются как удаление соответствующих вершин, а отказы сетевых каналов — как удаление дуг. Здесь можно выделить следующую конструкцию, получившую самостоятельное значение в теории графов — бесконтурный граф с заданной структурой источников и стоков [1]. В модели [1] в качестве механизма восстановления работоспособности сети предлагается так называемая SER-динамика бесконтурных графов. Это позволяет использовать при изучении модельных графов идеи и методы теории конечных динамических систем и, в частности, динамических систем двоичных векторов (см., например, [2, 3]), когда имеется естественная двоичная кодировка графов рассматриваемого класса.
Под конечной динамической системой понимается пара (S, 8), где S — конечное непустое множество, элементы которого называются состояниями системы, 8 : S ^ S — отображение множества состояний в себя, называемое эволюционной функцией системы.
Каждой конечной динамической системе сопоставляется карта — ориентированный граф с множеством вершин S и дугами, проведенными из каждой вершины s Е S в вершину 8(s). Этот граф является функциональным, т. е. из каждой вершины выходит точно одна дуга. Компоненты связности графа, задающего динамическую систему, называются её бассейнами.
Каждый бассейн представляет собой контур с входящими в него деревьями. Контуры называются предельными циклами или аттракторами.
Основными проблемами теории конечных динамических систем являются задачи отыскания эволюционных параметров состояний системы без проведения динамики, таких, как индекс (расстояние до аттрактора того бассейна, которому принадлежит состояние), период (длина соответствующего аттрактора), ветвление (количество непосредственных предшественников) [4] и другие. Программа [5] позволяет исследовать некоторые из эволюционных параметров определенных систем. Одной из нерешенных
в общем случае задач является вопрос о том, принадлежит ли данное состояние аттрактору, что обозначено, например, в [1, 3].
В данной работе представлены критерий принадлежности состояний аттракторам и описание формирования аттракторов динамических систем двоичных векторов, порожденных такими графами, как циклы.
1. Описание динамической системы
Пусть имеется п-звенный цикл с. Выберем в нём какую-либо вершину в качестве начальной и обозначим её со, тогда цикл можно записать как с = с0с1..сга-1сга, где сп = со. Придадим каждому ребру цикла произвольную ориентацию. Дуги, имеющие направление по часовой стрелке, пометим символом 1, а дуги с противоположной ориентацией — символом 0.
Таким образом, каждой ориентации цикла сопоставляется п-мерный двоичный вектор. С другой стороны, каждый такой вектор однозначно определяет некоторую ориентацию цикла, так что между множеством Сп, п > 2, всевозможных ориентаций п-звенного цикла и множеством Вп всех двоичных векторов размерности п устанавливается взаимно однозначное соответствие.
Динамическая система (Сп, 0) вводится следующим образом: если дан некоторый граф с из Сп, то его динамическим образом 0(с) является граф, получаемый из с одновременным превращением всех стоков в источники (БЕЯ-динамика бесконтурных графов [1]).
Исходная динамическая система (Сп, 0) оказывается изоморфной динамической системе (Вп, 0), которая вводится следующим образом: пусть состоянием динамической системы (Вп, 0) в данный момент времени является вектор V Е Вп, тогда в следующий момент времени она окажется в состоянии 0^), описываемом правилами: 1) если первой компонентой в V является 0 и последней компонентой является 1, то первой компонентой в 0^) будет 1, а последней компонентой — 0; 2) если в составе V имеются диграммы вида 10, то в 0^) каждая из них заменяется на 01; 3) других отличий между V и 0^) нет. Вышеперечисленные правила применяются одновременно. Будем полагать по определению, что контуры представляют собой аттракторы единичной размерности. На рис. 1 показана карта динамической системы (В6, 0).
Рис. 1. Карта динамической системы (В6, 0)
2. Аттракторы динамической системы (Вп, 0)
Через Рс('у) обозначим циклическую плотность вектора V, т. е. количество пар совпадающих соседних компонент в нем с учётом циклического сдвига. Например, рс(111111) = 6, рс(101010) = 0, рс(111011) = 4, рс (0(111011)) = рс(110111) = 4. Очевидно, что для состояния V системы (Вп, 0) верно 0 ^ рс(гО ^ п. Циклический блок — это максимальное по включению множество подряд стоящих нулей (0-блок) или единиц (1-блок) в количестве ^ 2 с учетом циклического сдвига. При работе с динамической системой, ассоциированной с циклом, будем под понятием блок подразумевать понятие циклический блок. Длина блока — число нулей (единиц) в блоке, уменьшенное на 1. Обозначим через р0, суммы длин с учетом циклического сдвига рассматриваемых
0-блоков и 1-блоков соответственно.
Теорема 1 (критерий принадлежности состояния аттрактору). Вектор динамической системы (Вп, 0) тогда и только тогда принадлежит аттрактору, когда у него р0 = 0 или р1 =0. При этом периоды равны делителям числа п, и если р0 = 0, то аттрактор представляет собой цикл, в котором следующее состояние получается из предыдущего циклическом сдвигом влево на одну компоненту, а при р1 = 0 — вправо.
Доказательство. Рассмотрим состояния системы (Вп,0) в зависимости от наличия и количества 0- и 1-блоков.
I. Вектор не содержит ни 0-, ни 1-блоков, т. е. р0 = р1 = 0. Это состояние вида
п п п
(01)2, которое при динамике переходит в состояние (10)2, или вида (10)2, которое
п
при динамике переходит в состояние (01)2, где п — четное (при нечетном п состояние содержит хотя бы один блок, образуемый первой и последней компонентами). Таким образом, эти состояния образуют аттрактор длины 2.
II. Вектор содержит блоки, и все они состоят из 1. Рассмотрим эволюцию таких состояний в зависимости от количества 1-блоков.
1) Вектор имеет единственный 1-блок. Не теряя общности, рассмотрим эволюцию такого состояния при расположении 1-блока в начале вектора. В табл. 1 приведена его схематичная эволюция.
Таким образом, эти состояния образуют аттрактор длины п, причём в нем каждое следующее состояние получается из предыдущего циклическим сдвигом влево на одну компоненту. Можно заметить, что длина 1-блока на каждом очередном шаге остаётся прежней.
2) Вектор имеет несколько блоков, и все они состоят из 1. Из рассмотрения п. 11(1) можно заключить, что каждый 1-блок на очередном шаге смещается влево на одну компоненту с учётом циклического сдвига. Таким образом, такие состояния образуют аттракторы, причём в каждом аттракторе следующее состояние получается из предыдущего циклическим сдвигом влево на одну компоненту, и их периоды равны делителям числа п, отличным от 1 и 2.
III. Вектор содержит блоки, и все они состоят из 0. Рассмотрим эволюцию таких состояний в зависимости от количества 0-блоков.
1) Вектор имеет единственный 0-блок. Не теряя общности, рассмотрим эволюцию такого состояния при расположении 0-блока в начале вектора. В табл. 2 приведена его схематичная эволюция.
Таким образом, эти состояния образуют аттрактор длины п, причём в нем каждое следующее состояние получается из предыдущего циклическим сдвигом вправо на одну компоненту. Можно заметить, что длина 0-блока на каждом шаге остаётся прежней.
Таблица 1 Таблица 2
Эволюция вектора, содержащего Эволюция вектора, содержащего
единственный 1-блок единственный 0-блок
№ шага Состояние
0 1^01... 010
1 1Л-1010...101
2 1Л-20101...011
Н — 2 1 1 0 1 0 1 о 1 1
Н — 1 1 о 0 I—1 о I—1 о I—1 1
Н 010... 10101^
Н + 1 0 1 0 1 0 1. о 1
Н + 2 010... 101^01
п — 1 01^01... 01
п 1^010... 10
№ шага Состояние
0 1 0 1 0 1. 0 1 О
1 10^10... 1010
2 1 0 1 0 1. 0 1 о
п — Н 1010... 1010^
п — Н +1 0101...010101Л-1
п — Н + 2 0010...101010Л-2
п — 1 0Л-11010...1010
п 1 0 1 0 1. 0 1 о
2) Вектор имеет несколько блоков, и все они состоят из 0. Из рассмотрения п. 111(1) можно заключить, что каждый 0-блок на очередном шаге смещается вправо на одну компоненту с учётом циклического сдвига. Таким образом, эти состояния образуют аттракторы, причём в каждом аттракторе следующее состояние получается из предыдущего циклическим сдвигом вправо, и их периоды равны делителям числа п, отличным от 1 и 2.
IV. Вектор состоит из 0-блоков (1-блоков), после которых идут 1-блоки (0-блоки). Так как блоки в состоянии рассматриваются с учётом циклического сдвига, то не имеет значения, идут ли сначала 0-блоки или 1-блоки. Не теряя общности, будем считать, что сначала идут 0-блоки, потом 1-блоки.
1. Рассмотрим эволюцию данных состояний, включающих в себя по одному 0-блоку и 1-блоку, в зависимости от их значений р0 и р;.
Исходя из рассуждений предыдущих пунктов, можно заключить, что в данном случае на каждом шаге эволюции одновременно 0-блок начнет движение вправо, 1-блок — влево с учётом циклического сдвига, пока не окажутся стоящими рядом. Рассмотрим эволюцию с этого шага в зависимости от сумм длин 0- и 1-блоков.
а) Состояния, для которых р0 < р;.
В табл. 3 приведена схематичная эволюция таких состояний.
Таблица 3 Эволюция вектора, содержащего единственные 0-блок и 1-блок, с р0 <
№ шага Состояние
0 1 0 1. 0 1 0 1 о 0 1 О 1 0 1. 0
1 1 . 1 О I—1 о I—1 0 о 1 1 0 I—1 0 I—1 . 1 о
2 01... 0101010Ло-21Лі-2010101...10
Но — 2 01... 010101001Л1-Ло+2010101...10
Но — 1 10... 101010101Лі-Ло+10101010... 01
Таким образом, когда блоки оказываются стоящими рядом, то их длины начинают уменьшаться у каждого на единицу за счёт поглощения компонент друг друга, пока 0-блок полностью не поглотится. В результате остаётся 1-блок и чередующиеся
0 и 1; дальнейшая эволюция такого состояния описана в п. 11(1) и показано, что оно принадлежит аттрактору.
б) Состояния, для которых р0 = р;.
Покажем, что такая ситуация возможна только при четном п, независимо от количества и размерности 0- и 1-блоков. Докажем это индукцией по р0.
Базис индукции: р0 = 1. Здесь длины 0- и 1-блоков равны 1 и в сумме дают чётное число; количество компонент между этими блоками с учетом циклического сдвига также чётно, так как это чередующиеся 0 и 1, а после 0-блока обязательно стоит 1 и перед 1-блоком стоит 0. В итоге получаем чётное количество компонент вектора.
Шаг индукции. Предположим, что при любом р0 ^ т Е N количество компонент вектора чётно, и покажем, что это условие выполняется при р0 = т +1.
Рассмотрим несколько ситуаций.
1) Длины первого 0-блока и последнего 1-блока не равны 1. Тогда отсекаем у этих блоков по одному элементу, получаем случай р0 = т, для которого требуемое условие выполняется, а отсекли мы две компоненты, т. е. в итоге получаем чётное число и выполнение нужного условия.
2) Длина первого 0-блока или длина последнего 1-блока равна 1. Например, длина первого 0-блока равна 1. Тогда отсекаем у этих блоков по одной компоненте, получаем случай р0 = т, для которого требуемое условие выполняется. От 0-блока осталась одна компонента, до следующего 0-блока идёт нечетное количество компонент, а отсекли мы две компоненты, т. е. в итоге получаем чётное число и выполнение нужного условия.
3) Длины первого 0-блока и последнего 1-блока равны 1. Тогда отсекаем у этих блоков по одному элементу, получаем случай р0 = т, для которого требуемое условие выполняется. От 0-блока и 1-блока осталось по одной компоненте, до следующего
0-блока идёт нечетное количество компонент, от предыдущего 1-блока идёт нечетное количество компонент, а отсекли мы две компоненты, т. е. в итоге получаем чётное число и выполнение нужного условия.
Заключаем, что действительно ситуация р0 = р; возможна только для векторов четной размерности.
Из рассуждений п. ^(1,а) получаем, что блоки будут поглощать друг друга с каждым следующим шагом эволюции, пока от них не останется по одной компоненте, причём это уже будет вектор, полностью состоящий из чередующихся 0 и 1, а про его эволюцию было сказано в п. I, и это состояние принадлежит аттрактору.
в) Состояния, для которых р0 >р;.
Здесь ситуация аналогична п. ^(1,а), только в конце концов остаётся один 0-блок и чередующиеся 0 и 1, дальнейшая эволюция описана в п. 111(1).
2. Рассмотрим состояния, включающие в себя несколько 0-блоков, после которых идут 1-блоки, также в зависимости от значений р0 и р; в векторе.
а) Состояния, для которых р0 <р;.
Из п. ^(1,а) получаем, что здесь на каждом шаге эволюции 0-блоки начинают двигаться вправо, а 1-блоки — влево за счёт поглощения компонент, стоящих между блоками, с учетом циклического сдвига; когда они оказываются стоящими рядом, то блоки начинают уменьшаться на единицу каждый за счёт поглощения компонент друг друга, пока один из блоков полностью не поглотится, после чего опять продолжаются сдвиги блоков навстречу друг другу, пока не поглотится самый последний 0-блок. Таким образом, в состоянии останутся только 1-блоки и чередующиеся 0 и 1, дальнейшая эволюция описана в п. II, и это состояние принадлежит аттрактору.
б) Состояния, для которых р0 = р^.
В п. IV(1,6) было показано, что такая ситуация возможна только для четного n. Из рассуждений пп. IV(1,6) и IV(2,a) получаем, что при эволюции 0-блоки и 1-блоки начнут движение навстречу друг другу, пока не окажутся рядом, а затем начнут поглощать друг друга с каждым следующим шагом эволюции, пока не поглотится один из блоков, после чего продолжится аналогичное движение, пока рядом не окажутся последние оставшиеся 0-блок и 1-блок, которые начнут поглощать друг друга с каждым следующим шагом эволюции, пока от них не останутся по одной компоненте, причём это уже будет вектор, полностью состоящий из чередующихся 0 и 1, эволюция которого была описана в п. I, и он принадлежит аттрактору.
в) Состояния, для которых р0 >р<1.
Здесь ситуация аналогична п. IV(2,a), только в состоянии в конце концов остаётся один 0-блок и чередующиеся 0 и 1, дальнейшая эволюция состояния описана в п. II, и оно принадлежит аттрактору.
V. Вектор состоит из 0-блоков и 1-блоков в произвольном порядке.
Из доказательств предыдущих пунктов можно заключить, что при эволюции такого состояния 0-блоки будут циклически сдвигаться вправо, при этом если они будут встречаться с 1-блоками, то длина этого 0-блока будет уменьшаться с очередным шагом эволюции, т. е. если есть подряд стоящие 0-блоки, то они или все поглотятся, если следующие за ними подряд стоящие 1-блоки в сумме имеют равный или больший порядок, или поглотят сами следующие за ними подряд стоящие 1-блоки и продолжат сдвиг вправо, встречая очередные 1-блоки, если порядок 0-блоков будет больше порядка
1-блоков. С точки рассмотрения 1-блоков ситуация получается аналогичная. В итоге получим состояние, имеющее только 0-блоки, только 1-блоки или содержащее только чередующиеся нули и единицы, чьи эволюции описаны в пп. I—III, где показано, что они и только они (с учетом дальнейшего доказательства) принадлежат аттракторам.
Для полноты заметим, что контуры представляют собой аттракторы единичной длины; периоды равны делителям числа n. ■
Заключение
Для динамических систем, ассоциированных с циклами, решена задача выяснения принадлежности состояния аттрактору; приведено описание аттракторов этих систем.
ЛИТЕРАТУРА
1. Barbosa V. C. An atlas of edge-reversal dynamics. London: Chapman&Hall/CRC, 2001. 372 p.
2. Салий В. Н. Об одном классе конечных динамических систем // Вестник Томского госу-ниверситета. Приложение. 2005. №14. С. 23-26.
3. Colon-Reyes O., Laubenbacher R., and Pareigis B. Boolean monomial dynamical systems // Ann. Combinat. 2004. V. 8. P. 425-439.
4. Власова А. В. Ветвления в конечной динамической системе (Bn, в) // Научные исследования студентов Саратовского государственного университета: материалы итог. студ. науч. конф. Саратов: Изд-во Сарат. ун-та, 2008. С. 57-58.
5. Власова А. В. Исследование эволюционных параметров в динамических системах двоичных векторов // Свидетельство РОСПАТЕНТа №2009614409, зарегистрировано 20 августа 2009.
