CC BY
22
определены оптимальные диапазоны параметров первого варианта распараллеливания ГА, обеспечивающие небольшое время поиска глобального минимума ЦФ и высокую надёжность его нахождения при выполнении на параллельной ВС.
Тестирование второго варианта распараллеливания ГА, основанного на множественном запуске на параллельной ВС, показало значительное увеличение вероятности нахождения глобального экстремума за счёт более полного исследования области факторного пространства ЦФ. Время выполнения параллельного алгоритма при этом практически не зависело от числа узлов ВС и примерно равнялось времени выполнения алгоритма на одном узле ВС.
Таким образом, предложенные варианты распараллеливания генетического алгоритма оптимизации могут эффективно применяться для решения задач поиска как глобального минимума многоэкстремальной ЦФ при наличии ограничений на варьируемые параметры (первый вариант), так и его области (второй вариант).
Работа выполнена при финансовой поддержке программы Министерства образования и науки РФ «Подготовка и переподготовка профильных специалистов на базе центров образования и разработок в сфере информационных технологий в Южном и Северо-Кавказском федеральных округах» (государственный контракт № 07.Р20.11.0029).
Библиографический список
1. Орлянская И. В. Современные подходы к построению методов глобальной оптимизации // Электронный журнал «Исследовано в России». С. 2097-2108. URL : http://zhurnal.ape.relarn. ru/articles/2002/189.pdf (дата обращения : 2.12.2011). [Orlyanskaya I. V. Modern approaches to global optimization methods building // Online magazine «Issledovano v Rossii». P. 2097-2108. URL : http://zhurnal.ape.relarn.ru/articles/2002/189.pdf (last checked : 2.12.2012).]
2. Банди Б. Методы оптимизации. Вводный курс. М. : Радио и связь, 1988. 127 с. [Brian D. Bunday Basic Optimisation Methods. London : Edward Arnold, 1984. 128 p.]
3. Панченко Т. В. Генетические алгоритмы : учеб.-
Е. О. Фомина
Саратовский государственный университет E-mail: [email protected]
Показано, что главные идеалы, порождаемые однотипными конгруэнциями цепи, изоморфны как решетки. Подсчитано количество элементов, атомов и коатомов в главном идеале порождаемой данной конгруэнцией цепи.
Ключевые слова: цепь, конгруэнция, полурешетка, главный идеал, атом, коатом.
метод. пособие / под ред. Ю. Ю. Тарасевича / Аст-рахан. ун-т. Астрахань, 2007. 87 с. [Panchenko T. V. Genetic algorithms : the methodical manual / Ed. by Yu. Yu. Tarasevich / Astrakhan. Univer. Astrakhan, 2007. 87 p.]
4. Калиткин Н. Н. Численные методы. М. : Наука, 1978. 512 с. [Kalitkin N. N. Numerical methods. Moscow : Nauka, 1978. 512 p.]
5. Eroftiev A. A., Timofeeva N. E., Savin A. N. Parallel Computing in Application to Global Optimization Problem Solving // Grid and Visualization Systems : MIPRO, 2011 Proc. of the 34th Intern. Convention. Zagreb, Croatia : DENONA, 2011. P. 185-190.
Principal Ideals in the Congruence Semilattice of a Path E. O. Fomina
It is proven that principal ideals generated by congruences of a path having the same type are isomorphic lattices. The number of elements, atoms and coatoms is found for the principal ideal generated by a given congruence of a path.
Key words: path, congruence, semilattice, principal ideal, lattice, atom, coatom.
УДК 501.1
ГЛАВНЫЕ ИДЕАЛЫ
В ПОЛУРЕШЕТКЕ КОНГРУЭНЦИЙ ЦЕПИ
Ориентированным графом (далее орграфом) называется пара й = (V, а), где V — конечное непустое множество, а а — отношение на V. Множество V называется множеством вершин, отношение а — отношение смежности, а пары, входящие в а, — дуги орграфа й. Если (и, у) £ а, то говорят, что вершина у смежна с вершиной и. Основные понятия приводятся в соответствии с [1].
Пусть е — некоторое отношение эквивалентности на множестве вершин V. Факторграфом ор-
© Фомина Е. О., 2013
109
¡^rg^^pgja Изв. Сарат. ун-та. Нов. сер. 2013. Т. 13. Сер. Математика. Механика. Информатика, вып. 1, ч. 1
графа G по эквивалентности е называется орграф G/e = (V/e,ae), где V/e — множество классов эквивалентности е, а a£ = {(e(vi),e(v2)) : (3 u G e(vi), 3 u2 G e(v2))((u , u2) G a)}.
Пусть K — некоторый класс орграфов. Конгруэнцией K-графа G называется такое отношение эквивалентности 9 на V, что факторграф G/6 является K-графом.
В качестве класса K возьмем класс неориентированных графов.
Под неориентированным графом (или, для краткости, графом) понимается пара G = (V, a), где a — симметричное и антирефлексивное отношение на множестве вершин V. В неориентированном графе пара встречных дуг (u,v)(v, u) рассматривается как один элемент графа, называемый ребром {u,v}. Вершины u и v по определению инцидентны ребру {u,v}.
Известна следующая задача о факторизации: можно ли для заданного графа сказать, является ли он факторграфом другого заданного графа? Эта задача является NP-полной.
В [2] показано, что каждый связный граф является факторграфом подходящей цепи.
Множество вершин графа называется независимым, если любые две вершины из этого множества несмежны. Очевидно, что отношение эквивалентности 9 на множестве вершин графа G = (V, a) тогда и только тогда будет конгруэнцией этого графа, когда каждый 9-класс образует в G независимое подмножество.
Отношение и на множестве S называется отношением порядка, если оно рефлексивно, транзитивно и антисимметрично: и — порядок на S ^^ А С и & и о и С и & и П и-1 С Д, где Д — тождественное отношение на S.
Пусть S — непустое множество и и — отношение порядка на нем. Пара (S, и) называется упорядоченным множеством. В дальнейшем произвольное упорядоченное множество будем обозначать как (S, <).
Пусть Pm — неориентированная m-реберная цепь и пусть в цепи Pm вершины пронумерованы натуральными числами 0,1, 2,..., m. Обозначим совокупность всех конгруэнций цепи Pm через ConPm. Пара (Con Pm, С) будет упорядоченным множеством, так как множество всех конгруэнций цепи Pm упорядочено по включению.
Наименьшим элементом упорядоченного множества (S, <) называется элемент s, удовлетворяющий в (S, <) тождественному неравенству s < x. Наибольший элемент определяется в (S, <) тождественным неравенством: x < s.
Пусть S* — некоторое подмножество упорядоченного множества (S, <). Элемент а е S называется нижней гранью подмножества S*, если а < x для всех x е S* и верхней гранью для S*, если а > x для всех x е S*. Под наибольшей нижней гранью подмножества S* в упорядоченном множестве (S, <) понимается наибольший (если он существует) элемент в множестве всех нижних граней для S*. Аналогично определяется верхняя грань и наименьшая верхняя грань подмножества S*; это наименьший элемент (если он существует) в множестве всех верхних граней для S*. Очевидно, что любое подмножество S* С S имеет не более одной наибольшей нижней грани и не более одной наименьшей верхней грани. Эти элементы обозначают соответственно inf S* (инфимум) и sup S* (супремум) и называют также точными (нижней и верхней соответственно) гранями подмножества S*. Под нижней полурешеткой понимается упорядоченное множество, в котором для любых двух элементов x, y существует inf (x, y).
Упорядоченное множество (S, <) называется решеткой, если каждое его конечное подмножество имеет точную нижнюю и точную верхнюю грани. Известно, что конечная нижняя полурешетка с наибольшим элементом является решеткой.
Так как для любых двух элементов 91 и 92 в упорядоченном множестве (ConPm, С) существует inf (91, 92) = 91 П 92, то (Con Pm, С) — нижняя полурешетка.
Пусть u и v — любые две несмежные вершины цепи ConPm. Главной конгруэнцией, порожденной парой u, v, называется наименьшая конгруэнция 9(u, v), отождествляющая вершины u и v. Очевидно, что такие конгруэнции являются атомами в полурешетке (ConPm, С), так как не существует такой конгруэнции 9*, что А С 9* С 9(u,v).
Рассмотрим экстремальные элементы в полурешетке всех конгруэнций цепи Pm. Наименьшим элементом ее является тождественная конгруэнция А. Наибольшего элемента в (Con Pm, С) при m > 3 нет. Возьмем, например, главные конгруэнции 9(0, 2) и 9(0,3), которые есть у любой цепи Pm
при т > 3. У этих конгруэнций нет общей верхней грани: если 9 содержит 0(0, 2) и 0(0,3), то в силу транзитивности (2, 3) £ 9, что невозможно, так как вершины 2 и 3 смежные в Рт. В (СопРт, С) при т > 2 будет более одной максимальной конгруэнции. Таким образом, наибольшего элемента в таких упорядоченных множествах не будет.
Говорят, что в упорядоченном множестве (Б, <) элемент Ь является верхним соседом элемента а, если а < Ь и не существует х £ Б такого, что а < х < Ь, при этом говорят, что а — нижний сосед для Ь. Верхние соседи наименьшего элемента называются атомами упорядоченного множества Б. Нижние соседи наибольшего элемента называются коатомами упорядоченного множества Б.
Главным идеалом, порожденным конгруэнцией 9, называется подмножество полурешетки (СопРт, С), образуемое всеми конгруэнциями 9* такими, что 9* С 9. Очевидно, что главный идеал является решеткой.
Введем понятие «тип конгруэнции».
Типом конгруэнции называется последовательность мощностей классов конгруэнции, записанная в порядке убывания. Обозначим тип конгруэнции 9 как ¿(9).
Пример 1. Конгруэнции {0, 2,4}{1, 3}{5} и {0, 2, 5}{1,4}{3} цепи Р5 имеют один тип (3,2,1), а конгруэнция {0}{1}{2}{3}{4}{5} цепи Р5 имеет тип (1,1,1,1,1,1).
Изоморфизмом между двумя решетками Б и Т называется взаимно однозначное соответствие ^ : Б ^ Т между ними, которое удовлетворяет следующим двум условиям для любых х, у £ Б:
1) из х < у следует, что ^(х) < ^(у);
2) из ^(х) < ^(у) следует, что х < у.
Изоморфность решеток Б и Т будем обозначать как Б = Т.
Теорема 1. Главные идеалы, порожденные конгруэнциями одного типа в полурешетке (СопРт, С), являются изоморфными решетками.
Доказательство. Возьмем главные идеалы И91 и И92 в полурешетке (СопРт, С), порожденные однотипными конгруэнциями 91 и 92 соответственно. Покажем, что И91 = И 92.
Рассмотрим конгруэнции 91 и 92. Так как 91 и 92 — конгруэнции одного типа, то количество их классов будет одинаково. Запишем классы конгруэнций в порядке убывания по количеству элементов в каждом классе, а сами элементы в каждом классе запишем в порядке их возрастания. Таким способом выстроим последовательность вершин цепи в порядке их следования в каждой конгруэнции. Для 91 получим и0, и1,..., ит, а для 92 получим у0, уъ • • •, Ут. Очевидно, что каждая последовательность перечисляет в некотором порядке все вершины цепи Рт. Определим биекцию на множестве вершин цепи, полагая ^(иг) = уг, г = 0,1,..., т.
Возьмем конгруэнцию 9 £ И91, т.е. 9 С 91. Произведем замену каждого элемента иг в каждом классе конгруэнции 9 на ^(иг ),г = 0,1, ••• , т. Получим ^(9) — некоторый набор подмножеств множества вершин цепи Рт. Так как ^ — биекция ив 9 задействованы все вершины цепи Рт, то и ^(9) содержит все вершины цепи Рт, значит ^(9) — классы, образующие покрытие множества вершин V. Если классы перекрываются, то ^(и) = ^(у) для некоторых и, у £ V, но тогда и = у, что невозможно. Таким образом, ^(9) будет разбиением множества V. Из некоторого класса разбиения ^(9) возьмем вершины ^(и) и ^(у), тогда (^(и),^(у)) £ ^(9) ^ (и, у) £ 9 ^ (и, у) £ 91 ^ (^(и),^(у)) £ 92 ^ (^(и),^(у)) £ а (а — отношение смежности в цепи Рт). Следовательно, ^(9) — разбиение на множестве вершин цепи Рт, все классы которого будут независимыми, т.е. ^(9) — конгруэнция на множестве вершин цепи Рт.
Покажем, что ^(9) £ Ы 92, для этого установим тот факт, что любой класс конгруэнции ^(9) входит в состав некоторого класса конгруэнции 92. Ранее было показано, что любые ^(и) и ^(у), находящиеся в одном классе конгруэнции ^(9), попадут в один класс конгруэнции 92, т.е. (^(и),^(у)) £ ^(9) ^ (^(и),^(у)) £ 92. Таким образом, получаем, что любой класс ^(9) является подклассом некоторого класса конгруэнции 92, следовательно, ^(9) £ И92.
С помощью ^ установлено взаимно однозначное соответствие между главными идеалами И 91 и И 92. В дальнейшем под ^ будем понимать ^ : И 91 ^ И 92. Из приведенных выше рассуждений следует, что это соответствие сохраняет порядок, т.е. если 9* С 9, то ^(9*) С ^(9), и обратно. В результате получим, что ^ — изоморфизм. □
Изв. Сарат. ун-та. Нов. сер. 2013. Т. 13. Сер. Математика. Механика. Информатика, вып. 1, ч. 1
Пример 2. На рис. 1 и рис. 2 представлены изоморфные решетки, порожденные конгруэнциями {0,2,4}{1,3}{5} и {0,2,5}{1,4}{3} цепи Р5 одного типа (3,2,1). На рис. 3 изображена решетка, порожденная произвольной конгруэнцией типа (3,2,1).
{0,2,5} {1,4} {3}
{0,2,5}
{0,2}{1}{3
1,4} {2,5} {3}
2}{3}{5}
А
Рис. 1
{0,2,4} {1,3} {5}
{0,2} {1} {^4} {5}\Х
>4}{1}{2Ш}{5} / {0Ш}{2}{4}{5}
А
Рис. 2
{у№УгУ2} {У3,у4} {У5}
^0,у15У2}{У3}
Рис. 3
Определим числа Белла и числа Стирлинга. Числом Белла B(n) называется количество всех разбиений n-элементного множества. Числом Стирлинга второго рода s2 (n,k) называется количество всех разбиений с k классами на n-элементном множестве.
Подсчитаем общее количество элементов решетки Id 9, порожденной конгруэнцией 9. Пусть конгруэнция 9 имеет тип (ti,t2,...,tn). Элементами решетки Id9 будут всевозможные конгруэнции 9* такие, что любой класс конгруэнции 9* входит в состав некоторого класса конгруэнции 9.
Пусть 9* е Id 9. Так как любой класс конгруэнции 9* входит в состав некоторого класса конгруэнции 9, то конгруэнция 9* будет подразбиением конгруэнции 9.
Таким образом, необходимо подсчитать всевозможные разбиения классов конгруэнции 9. Так как нам известна мощность каждого класса конгруэнции 9, а количество разбиений n-элементного множества — это число Белла Bn, то общее количество элементов решетки Id 9, порожденной конгруэнцией 9 типа (t1 ,t2,... ,tn), можно подсчитать по формуле: B(t1) ■ B(t2) ■ ... ■ B(tn).
Найдем количество коатомов в главном идеале Id 9, порожденном конгруэнцией 9 типа (t1 ,t2,..., tn). Конгруэнция 9 имеет n классов и будет наибольшим элементом в решетке Id 9. Так как коатомы являются нижними соседями наибольшего элемента, то конгруэнция, являющаяся коатомом, имеет n +1 классов.
Возьмем произвольный класс конгруэнции 9, разобьем его на два класса. Получим новую конгруэнцию 9* с n + 1 классами. Найдем все возможные разбиения на два класса произвольного 9-класса мощности t, их количество будет s2(t, 2). Таким образом, возьмем каждый класс конгруэнции 9, и найдем его всевозможные разбиения на два класса, каждое такое разбиение будет коатомом. Таким образом, общее количество коатомов можно посчитать по формуле s2(ti5 2) + s2(t2, 2) + ... + s2(tn, 2).
Подсчитаем количество атомов в главном идеале Id 9, порожденном конгруэнцией 9 типа (t1 ,t2,...,tn). Атомами являются верхние соседи наименьшего элемента, т.е. это главные конгруэнции.
Пусть 9* е Id 9 будет главной конгруэнцией. Согласно определению главной конгруэнции, очевидно, что один из классов конгруэнции 9* будет иметь мощность 2, все остальные мощность 1. Так как 9* е Id 9, то любой класс конгруэнции 9* входит в состав некоторого класса конгруэнции 9, значит, конгруэнция 9* будет подразбиением конгруэнции 9. Таким образом, найдем всевозможные пары элементов каждого класса конгруэнции 9. Учитывая мощность каждого класса конгруэнции 9 количество всех атомов главного идеала Id 9 можно посчитать по формуле: Cf + Cf2 + ... + Cf .
Пример 3. Подсчитаем количество элементов, коатомов и атомов в главных идеалах Id({0, 2,4} {1,3}{5}) и Id ({0,2,5}{1,4}{3}) цепи P5 из примера 2. В силу их изоморфности достаточно подсчитать для одного главного идеала. Главный идеал Id ({0,2,4}{1,3}{5}) цепи P5 имеет тип (3,2,1). Найдем общее количество элементов решетки Id ({0,2,4}{1,3}{5}) для цепи P5: B(3) ■ B(2) ■ B(1) = 5 ■ 2 ■ 1 = 10. Подсчитаем общее количество коатомов главного идеала Id ({0, 2,4}{1, 3}{5}) для цепи P5: s2(3, 2) + s2(2, 2) + s2(1, 2) = 3 + 1+0 = 4. Найдем количество атомов в главном идеале Id ({0, 2,4}{1,3}{5}) для цепи P5: Cf + Cf + Cf = 3 + 1 + 0 = 4.
Библиографический список
1. Богомолов А. М, Салий В. Н. Алгебраические осно- 2. Карманова Е. О. О конгруэнциях цепей // Приклад-
вы теории дискретных систем. М. : Наука; Физмат- ная дискретная математика. 2011. № 2 (12). С. 96-
лит, 1997. [Bogomolov A. M, Salii V. N. Algebraic 100. [Karmanova E. O. On congruences of path // Prikl.
Foundations of the Theory of Discrete Systems. Moscow : Diskr. Mat. 2011. № 2 (12). P. 96-100.] Nauka; Fizmatlit, 1997.]
