Научная статья на тему 'Шпернерово свойство для многоугольных графов'

Шпернерово свойство для многоугольных графов Текст научной статьи по специальности «Математика»

CC BY
197
70
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
УПОРЯДОЧЕННОЕ МНОЖЕСТВО / ШПЕРНЕРОВО СВОЙСТВО / МНОГОУГОЛЬНЫЙ ГРАФ / ЦЕПЬ / ЗИГЗАГ / PARTIALLY ORDERED SET / SPERNER PROPERTY / POLYGONAL GRAPH / PATH / ZIGZAG

Аннотация научной статьи по математике, автор научной работы — Салий Вячеслав Николаевич

Конечное упорядоченное множество называется шпернеровым, если среди его максимальных по длине антицепей хотя бы одна составлена из элементов одинаковой высоты. Под многоугольным графом понимается бесконтурный граф, полученный из цикла путём некоторой ориентации его рёбер. В многоугольном графе отношение достижимости вершин является отношением порядка. Таким образом, многоугольный граф можно рассматривать как упорядоченное множество. Найдено необходимое и достаточное условие шпернеровости таких упорядоченных множеств.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

The sperner property for polygonal graphs

A finite partially ordered set (poset) is said to have the Sperner property if at least one of its maximum antichains is formed from elements of the same hight. A polygonal graph is a directed acyclic graph derived from a circuit by some orientation of its edges. The reachability relation of a polygonal graph is a partial order. A criterion is presented for posets associated with polygonal graphs to have the Sperner property.

Текст научной работы на тему «Шпернерово свойство для многоугольных графов»

с ростом числа вершин количество контрпримеров будет возрастать, и такие графы можно выделить в некий подкласс сверхстройных деревьев.

Приведём решение задачи построения одного из ТНР для подкласса сверхстройных деревьев — равнолучевых звёзд [6].

Определение 5. Граф Sm = (V, а) называется равнолучевой звездой с m лучами, каждый из которых состоит из n вершин, если V = {v0, v},... , vln,... , vim,... , Vr}, a = {vj vj+1 : i = 1,... ,n — 1; j = 1,... , m} U {v0vj : j = 1,... , m}, где v0 — центр равнолучевой звезды.

Теорема 1. Единственным ТНР для графа , n ^ 2, является граф, полученный из тривиального расширения графа SГ удалением рёбер wvj_}, j = 1,... , m, где w — вершина, добавленная при построении тривиального расширения графа S^.

ЛИТЕРАТУРА

1. Богомолов А. М., Салий В. Н. Алгебраические основы теории дискретных систем. М.: Наука, 2009.

2. Абросимов М. Б. Минимальные расширения объединения некоторых графов // Теоретические проблемы информатики и её приложений. 2001. №4. С. 3-11.

3. Салий В. Н. Доказательства с нулевым разглашением в задачах о расширениях графов // Вестник Томского государственного университета. Приложение. 2003. №6. С. 63-65.

4. Harary F. and Khurum M. One node fault tolerance for caterpillars and starlike trees // Internet J. Comput. Math. 1995. V. 6. P. 135-143.

5. Абросимов М. Б., Комаров Д. Д. Об одном контрпримере для минимальных вершинных 1-расширений сверхстройных деревьев // Прикладная дискретная математика. Приложение. 2012. №5. С. 83-84.

6. Осипов Д. Ю. О Т-неприводимых расширениях сверхстройных деревьев // Прикладная дискретная математика. Приложение. 2013. №6. С. 85-86.

УДК 519.17

ШПЕРНЕРОВО СВОЙСТВО ДЛЯ МНОГОУГОЛЬНЫХ ГРАФОВ

В. Н. Салий

Конечное упорядоченное множество называется шпернеровым, если среди его максимальных по длине антицепей хотя бы одна составлена из элементов одинаковой высоты. Под многоугольным графом понимается бесконтурный граф, полученный из цикла путём некоторой ориентации его рёбер. В многоугольном графе отношение достижимости вершин является отношением порядка. Таким образом, многоугольный граф можно рассматривать как упорядоченное множество. Найдено необходимое и достаточное условие шпернеровости таких упорядоченных множеств.

Ключевые слова: упорядоченное множество, шпернерово свойство, многоугольный граф, цепь, зигзаг.

Пусть (A, ^) — конечное упорядоченное множество. Высота h(a) элемента а в (A, ^) определяется как максимальная из длин убывающих цепей, начинающихся с а.

Антицепь в упорядоченном множестве — это такое его подмножество, в котором любые два элемента несравнимы. Под длиной антицепи понимается количество элементов в ней. Антицепи максимальной длины будем называть главными. Антицепь в конечном

упорядоченном множестве называется правильной, если все её элементы имеют одинаковую высоту. Так, в упорядоченном множестве (N8, |) (первые 8 натуральных чисел с отношением делимости) среди главных антицепей {2, 3, 5, 7}, {3, 4, 5, 7}, {3,5, 7, 8} правильной является только первая. В (Р({а,Ь,с}), С) (совокупность всех подмножеств трёхэлементного множества с отношением включения) главных антицепей две: {а,Ь,с} и {аЬ, ас, Ьс}, и обе они — правильные.

Конечное упорядоченное множество назовём шпернеровым, если среди его главных антицепей есть по крайней мере одна правильная. Упорядоченные множества (N8, |) и (Р({а,Ь, с}), С) являются шпернеровыми. Один из минимальных примеров упорядоченного множества, не обладающего свойством шпернеровости, образуют по включению пять подмножеств множества Б = {а, Ь, с, ^}, а именно {а}, {Ь}, {Ь,с}, {Ь,^}, {а,Ь,с}. В нём всего одна главная антицепь — {а, Ьс, М}, и она не является правильной.

В 1928 г. Шпернер [1] доказал, что все конечные упорядоченные множества вида (Р(Б), С) обладают обнаруженным им свойством. Свойство шпернеровости для конечных упорядоченных множеств находит содержательные интерпретации в различных разделах математики (см., например, [2-4]), в том числе и в теории графов [5,6].

Под (ориентированным) графом понимается пара О = (V, а), где V — конечное непустое множество и а С V х V — отношение на нём. Элементы множества V называются вершинами графа, а пары, входящие в а, — его дугами.

Вершины и и V, по определению, связаны, если существуют ^і, г2,... , Є V, такие, что (и, г1) Є а и а-1, (г1, г2) Є а и а-1, ..., (гк, г) Є а и а-1, т. е. если и и г можно соединить последовательностью дуг без учёта их направлений. Граф, в котором любые две вершины связаны, называется связным.

Граф Н = (и, в) называется частью графа О = (V, а), если и С V и в С а, т. е. Н состоит из некоторых вершин графа О и некоторых дуг, соединяющих в О эти вершины.

Контур длины к ^ 2 в графе О определяется как последовательность С его дуг вида (г1, г2), (г2, г3),..., (гк-1 ,гк), (гк, г1), в которой все встречающиеся вершины различны. Граф, не содержащий контуров, называется бесконтурным.

Вершина г, по определению, достижима в графе О из вершины и, если существует последовательность примыкающих дуг (и, г1), (г1, г2),... , (гк, г), соединяющая и с г. Отношение достижимости в графе обозначим через $. В бесконтурном графе отношение достижимости является отношением порядка (о бесконтурных графах см. [7]). Очевидно, что минимальными элементами в упорядоченном множестве (V, ^) являются стоки графа О, т. е. те его вершины, из которых не исходит ни одна дуга в другие вершины. Максимальными элементами в (V, $) являются источники графа О, т. е. те его вершины, в которые не входит ни одна дуга из других вершин.

Связный бесконтурный граф О = (V, а) назовём шпернеровым, если упорядоченное множество (V, $) обладает шпернеровым свойством.

Пусть п ^ 2 — натуральное число. Под п-угольным графом будем понимать всякий граф, полученный из контура Сп переориентацией некоторого количества к его дуг. Будем считать, что 1 ^ к < п. Следовательно, контуры исключаются из числа многоугольных графов, которые, таким образом, попадают в класс связных бесконтурных графов [8].

Для шестиугольного графа М' : г1 ^ г2 ^ г3 ^ г4 ^ ^ ^ г1 ^-упорядочен-

ное множество его вершин содержит одну главную антицепь — {2, 4,6}. Она является правильной, так что М' — шпернеров граф. Аналогично, для шестиугольного графа

M'' : v1 ^ v2 ^ v3 ^ v4 ^ vs ^ v6 ^ v1 ^-упорядоченное множество вершин содержит тоже единственную главную антицепь — {2, 4, б}, но здесь она не является правильной, так что M'' — не шпернеров граф.

Под цепью в многоугольном графе будем понимать его максимальную собственную связную часть, в которой 1) есть хотя бы одна вершина, не являющаяся ни источником, ни стоком, и 2) любые две соседние дуги одинаково направлены. Например, цепями в графе M' являются v1 ^ v2 ^ v3 и v1 ^ v6 ^ vs, а в графе M'' — v1 ^ v2 ^ v3 и vs ^ v4 ^ v3. Всякая цепь начинается в источнике и завершается стоком. Зигзагом в многоугольном графе назовём его максимальную собственную связную часть, в которой 1) каждая вершина является источником или стоком и 2) любые две соседние дуги противоположно направлены. Зигзаги классифицируются по виду их концевых вершин: в ss-зигзаге оба конца являются источниками; в st-зигзаге один конец источник, другой сток; в tt-зигзаге оба конца стоки. Так, в графе M' есть tt-зигзаг v3 ^ v4 ^ vs, а в графе M'' имеется ss-зигзаг v1 ^ v6 ^ vs.

Теорема. Многоугольный граф тогда и только тогда является шпернеровым, когда в нём нет ss-зигзагов.

ЛИТЕРАТУРА

1. Sperner E. Ein Satz uber Untermengen einer endlichen Menge // Math. Zeitschrift. 1928. V. 27. No. 1. S. 544-548.

2. Мешалкин Л. Д. Обобщение теоремы Шпернера о числе подмножеств конечного множества // Теория вероятностей и её применения. 1963. Т. 8. №2. С. 219-220.

3. Stanley E. P. Weyl groups, the hard Lefschetz theorem and the Sperner property // SIAM J. Alg. Discr. Math. 1980. V. 1. No. 2. P. 168-184.

4. Wang J. Proof of a conjecture on the Sperner property of the subgroup lattice of an abelian p-group // Annals Comb. 1999. V. 2. No. 1. P. 85-101.

5. Jacobson M. S., Kezdy A. E., and Seif S. The poset of connected induced subgraphs of a graph need not be Sperner // Order. 1995. V. 12. No3. P. 315-318.

6. Maeno T. and Numata Y. Sperner property, matroids and finite-dimensional Gorenstein algebras // Contemp. Math. 2012. V. 280. No. 1. P. 73-83.

7. Богомолов А. М., Салий В. Н. Алгебраические основы теории дискретных систем. М.: Наука, 1997.

8. Салий В. Н. Упорядоченное множество связных частей многоугольного графа // Изв. Сарат. ун-та. Нов. cер. Сер. Математика. Механика. Информатика. 2013. Т. 13. №2(ч. 2).

С.44-51.

УДК 519.T

ОБ ОЦЕНКАХ ЭКСПОНЕНТОВ ОРГРАФОВ С ИСПОЛЬЗОВАНИЕМ

ЧИСЕЛ ФРОБЕНИУСА

В. М. Фомичев

Для частных классов сильносвязных орграфов получены достаточные условия примитивности и оценки экспонентов, которые выражены через числа Фробени-уса. Показано, что во многих случаях полученные оценки экспонента орграфа существенно лучше известных оценок.

Ключевые слова: число Фробениуса, примитивный граф, экспонент графа.

i Надоели баннеры? Вы всегда можете отключить рекламу.