Научная статья на тему 'Т-неприводимые расширения объединений некоторых типов орграфов'

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

CC BY
119
25
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
Т-НЕПРИВОДИМЫЕ РАСШИРЕНИЯ / МИНИМАЛЬНЫЕ Т-НЕПРИВОДИМЫЕ РАСШИРЕНИЯ / ТНР / ОБЪЕДИНЕНИЯ НЕКОТОРЫХ ТИПОВ ОРГРАФОВ / ОБЪЕДИНЕНИЯ ОРИЕНТИРОВАННЫХ ЦЕПЕЙ / НАПРАВЛЕННЫЕ ЗВЁЗДЫ / T-IRREDUCIBLE EXTENSION / TIE / MINIMAL T-IRREDUCIBLE EXTENSION / UNION OF SOME TYPES DIGRAPHS / UNION OF PATHS / TIE FOR DIRECTED STARS

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

Приведены алгоритмы построения Т-неприводимых расширений (ТНР) для объединения некоторых типов орграфов, а именно для объединения ориентированных цепей, объединения орграфа с его ТНР, а также ТНР для направленных звезд. Каждый из предложенных алгоритмов имеет полиномиальную асимптотическую сложность. Доказана корректность этих алгоритмов.

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

T-irreducible extension of unions of some types orgraphs

Algorithms constructing T-irreducible extensions (TIE) for unions of paths, for the union of an oriented graph and its TIE, and for directed stars are proposed.

Текст научной работы на тему «Т-неприводимые расширения объединений некоторых типов орграфов»

ПРИКЛАДНАЯ ДИСКРЕТНАЯ МАТЕМАТИКА

2013 Прикладная теория графов №4(22)

УДК 519.17

Т-НЕПРИВОДИМЫЕ РАСШИРЕНИЯ ОБЪЕДИНЕНИЙ НЕКОТОРЫХ ТИПОВ ОРГРАФОВ

А. В. Гавриков

Саратовский государственный университет, г. Саратов, Россия E-mail: alexandergavrikov1989@gmail.com

Приведены алгоритмы построения Т-неприводимых расширений (ТНР) для объединения некоторых типов орграфов, а именно для объединения ориентированных цепей, объединения орграфа с его ТНР, а также ТНР для направленных звезд. Каждый из предложенных алгоритмов имеет полиномиальную асимптотическую сложность. Доказана корректность этих алгоритмов.

Ключевые слова: Т-неприводимые расширения, минимальные Т-неприводимые расширения, ТНР, объединения некоторых типов орграфов, объединения ориентированных цепей, направленные звёзды.

Введение

Под ориентированным графом (или орграфом) понимается пара G = (V, а), где V — конечное непустое множество (вершины орграфа), а а — отношение на множестве V (дуги орграфа) [1]. Дуга в орграфе G = (V, а) называется инцидентной вершине v, если вершина v — конец или начало этой дуги. Вложение орграфа G = (V, а) в орграф H = (W, в) —взаимно однозначное отображение ^ : V ^ W, такое, что для всех u,v Е V из (u,v) Е а следует (^(u),^(v)) Е в. При этом говорят, что орграф G вкладывается в орграф H. Часть орграфа G = (V, а) —орграф H = (W, в), такой, что W С V и в ^ (W х W) П а. Часть орграфа G = (V, а) является подграфом орграфа H = (W, в), если в = (W х W) П а. Подграф H максимален, если он получается из исходного орграфа G удалением одной вершины и всех инцидентных ей дуг. Расширение орграфа G = (V, а) — орграф H = (W, в), такой, что |W| = | V| + 1 и орграф G вкладывается в каждый максимальный подграф орграфа H. Соединение орграфов G = (V, а) и H = (W, в), таких, что VП W = 0, — орграф G + H = (VU W, аUвU V х WU W х V). Изоморфизм орграфа G = (V, а) на орграф H = (W, в) —взаимно однозначное соответствие ^ : V ^ W, сохраняющее отношение смежности. Изоморфность орграфов G и H обозначается через G = H. Орграфы G и H в этом случае называются изоморфными.

Тривиальное расширение (ТР) орграфа G = (V, а) —соединение G + w исходного орграфа G с вершиной w Е V [2]. В силу того, что тривиальное расширение орграфа G единственно с точностью до изоморфизма, возможно ввести функцию ТР^). Т-неприводимое расширение (ТНР) орграфа G — расширение исходного орграфа G, полученное удалением максимального множества дуг из ТР^). Минимальное Т-неприводимое расширение орграфа G — расширение орграфа G, полученное удалением максимального количества дуг из ТР^). Другими словами, минимальное ТНР орграфа G — это ТНР с минимальным количеством дуг среди всех остальных ТНР орграфа G.

Т-неприводимые расширения являются одним из видов оптимальных расширений для орграфов. Конструкции оптимальных расширений применяются в диагностике

дискретных систем и криптографии [3]. В общем случае задача поиска ТНР по заданному орграфу является вычислительно сложной [4].

Путь в орграфе — последовательность дуг вида (^2,^3), ••• , ^п-1^п), где

(^г,^г+1) Е а, 1 ^ г ^ п — 1, и никакая дуга не встречается более одного раза. Путь в орграфе является простым, если каждая его вершина принадлежит не более чем двум его дугам. Длина пути — количество входящих в него дуг. Простой путь в орграфе из п вершин, у которого начальная и конечная вершины не совпадают, является ориентированной цепью и обозначается через Рп.

Путь является циклическим, если ^1 = г>п. Контур в орграфе — простой циклический путь. Контур из п вершин обозначается через Сп.

Для ТНР орграфов известен следующий критерий [5], на который опирается доказательство процедуры их построения.

Теорема 1 (критерий ТНР для орграфов). Орграф Н = (Ж,в) является ТНР для орграфа О = (V, а) тогда и только тогда, когда одновременно выполнены следующие условия:

1) |Ж| = IV| + 1;

2) в орграфе Н существует вершина т, такая, что Н — т = О;

3) орграф О вкладывает в каждый максимальный подграф Н — и орграфа Н, где и = т;

4) (свойство неприводимости). При удалении из орграфа Н любой дуги, инцидентной вершине т, то есть (и,т) или (т,и), получается орграф, не являющийся расширением для О.

1. ТНР для объединения ориентированных цепей

Перед тем как рассмотреть задачу поиска ТНР для объединения ориентированных цепей, покажем, как устроены Т-неприводимые расширения некоторой ориентированной цепи. Степень исхода вершины V — количество дуг в орграфе О = (V, а), имеющих своим началом вершину V. Степень исхода вершины V обозначают через ^+^), ^+^) = |а^)|. Степень захода вершины V — количество дуг в орграфе О = (V, а), имеющих своим концом вершину V. Степень захода вершины V обозначают через ^_^), ^_^) = |а-1 (V)|. Вершина V называется источником, если её степень захода равна 0, т. е. ^_^) = 0. Вершина V называется стоком, если её степень исхода равна 0, т. е. ^+^) = 0. Введём следующие обозначения для вершин, из которых состоит ориентированная цепь Рп. Вершину V ориентированной цепи Рп, являющуюся источником, обозначим через Vo. Остальные вершины пометим номерами от 1 до п — 1 в порядке их прохождения по дугам цепи из вершины v0. Очевидным ТНР для ориентированной цепи Рп является контур Сп+1 (рис. 1).

к

Рис. 1. ТНР ориентированной цепи

Ясно, что контур Сга+1 является минимальным ТНР для ориентированной цепи Рп. Однако контур С'га+1 не является единственным ТНР для Рп. Покажем это. Для ориентированной цепи Р2 ещё одним ТНР является транзитивный турнир, состоящий из трёх вершин; для ориентированной цепи Р3 — орграф, изображенный на рис. 2, б.

w

а б

Рис. 2. ТНР ориентированных цепей Р2 (а) и Р3 (б)

Следующий алгоритм позволяет построить ТНР, не изоморфное контуру С'га+1, для ориентированной цепи Рп.

Алгоритм 1

Дана ориентированная цепь Рп, п ^ 4. Построим одно из её ТНР Н = (Ж, в), такое, что Н ^ Сп+1, следующим образом:

1) добавим к Рп вершину ш;

2) добавим дуги (у0,ш) и (уьш);

3) добавим дуги (ш,уп-2) и (ш,уп-1);

4) для каждой вершины уі Є V, 2 ^ і ^ п — 3, добавим дуги (уі, ш) и (ш,Уі).

Количество дуг |в| в Н = (Ж, в) равно п + 3 + 2(п — 4) = 3п — 5.

Асимптотическая сложность алгоритма 1

Для реализации алгоритма 1 достаточно для каждой вершины уі Є V исходной ориентированной цепи Рп добавить одну или две (в зависимости от её номера) инцидентные ей и вершине ш дуги. Таким образом, асимптотическая сложность алгоритма не превосходит количества вершин и равна О(п).

Общий вид орграфа, построенного по алгоритму 1, показан на рис. 3.

Рис. 3. ТНР ориентированной цепи Рп Теорема 2. Алгоритм 1 корректен.

Доказательство. Необходимо и достаточно показать выполнение всех пунктов теоремы 1 (критерия ТНР для ориентированных графов).

1. Очевидно, |Ш| = IV| + 1, так как Ш = V и {ад}.

2. Очевидно, что Рп = Н — ,ш в силу построения в алгоритме.

3. Докажем, что для любой вершины V, Е Ш, не совпадающей с вершиной ад, исходная ориентированная цепь Рп вкладывается в орграф Н — vi. При удалении источника Vo в орграфе Н — Vo существует ориентированная цепь VI, ад, V2, Vз,... , длины п. При удалении стока vn-l в орграфе Н — существует ориентированная цепь v0, ад, v1, v2,..., vn-2 длины п. При удалении вершины V,, которая не является ни источником, ни стоком, в орграфе Н — vi существует ориентированная цепь v0, v1,... , vi-1, ад, vi+1,... , vn-2, ^^ длины п. Таким образом, ориентированная цепь Рп вкладывается в каждый максимальный подграф орграфа Н.

4. Свойство неприводимости. Докажем, что при удалении из орграфа Н = (Ш, в) любой дуги, инцидентной вершине ад, получится орграф, не являющийся расширением для исходной ориентированной цепи Рп.

В случае удаления дуги ^0, ад) максимальный подграф Н — V! будет содержать изолированную вершину зд, т. е. вложение ориентированной цепи Рп в один из максимальных подграфов орграфа Н невозможно. В случае удаления дуги ^, ад) максимальный подграф Н — v2 будет содержать два стока v1 и ^-:1, в то время как цепь Рп — только один. Таким образом, при удалении дуг, добавленных в п. 2 алгоритма 1, получится орграф, который не является расширением для ориентированной цепи Рп.

В случае удаления дуги (ад^п-1) максимальный подграф Н — vn-2 будет содержать изолированную вершину ^^, т. е. вложение ориентированной цепи Рп в один из максимальных подграфов орграфа Н невозможно. В случае удаления дуги (ад^п-2) максимальный подграф Н — vn-3 будет содержать два источника v0 и ^-2, в то время как цепь Рп — только один. Таким образом, при удалении дуг, добавленных в п. 3 алгоритма 1, получим орграф, не являющийся расширением для Рп.

Рассмотрим ситуацию, возникающую при удалении дуг, добавленных в п. 4 алгоритма 1. Пусть удалена дуга ^,ад), где 2 ^ г ^ п — 3. Тогда максимальный подграф Н — vi+1 будет содержать два стока V, и ^^, в то время как цепь Рп — только один. Если удалена дуга (ад^), где 2 ^ г ^ п — 3, то максимальный подграф Н — будет содержать два источника v0 и V,, в то время как цепь Рп — только один. Свойство неприводимости доказано.

Очевидно, что Н ^ Сп+1, так как Н имеет п + 3 + 2(п — 4) = 3п — 5 дуг, а контур Сп+1 — п +1 дуг. ■

Далее рассмотрим задачу нахождения ТНР для объединения ориентированных цепей. Аналогичная задача, но для случая неориентированных графов, рассматривалась в [2].

Дан орграф О = (V, а), являющийся объединением ориентированных цепей: О =

к к к

= Рп1 и Рп2 и ... и Рпй. В орграфе О существует ^ п, вершин и ^ (п, — 1) = ^ п, — к

,= 1 ,= 1 ,= 1

к

дуг. Обозначим ^ п, через п. При этом к вершин являются источниками (начальные

i=1

вершины каждой из к ориентированных цепей) и к вершин — стоками (конечные вершины каждой из к ориентированных цепей). Остальные п — 2к вершин имеют степени исхода и захода равные 1.

Следующий алгоритм позволяет построить ТНР для объединения ориентированных цепей.

Алгоритм 2

Дан орграф О = Рп1 и Рп2 и ... и Рпй. Построим одно из его ТНР Н = (Ш, в) следующим образом:

1) добавим в орграф О = (V, а) вершину ад;

2) для каждого источника V Е V добавим дугу (ад^);

3) для каждого стока V Е V добавим дугу ^,ад).

Количество дуг |в| в Н = (Ш, в) равно п + к.

Асимптотическая сложность алгоритма 2

Для реализации алгоритма 2 достаточно знать степени исхода и захода каждой вершины исходного орграфа О. Для данного типа орграфов эту информацию можно вычислить за линейное от количества вершин время. Таким образом, асимптотическая сложность алгоритма оценивается как О(п).

Теорема 3. Алгоритм 2 корректен.

Доказательство. Необходимо и достаточно показать выполнение всех пунктов теоремы 1 (критерия ТНР для ориентированных графов).

1. Очевидно, |Ш| = IV| + 1, так как Ш = V и {ад}.

2. Очевидно, что О = Н — w в силу построения в алгоритме.

3. Докажем, что для любой вершины V, Е Ш, не совпадающей с вершиной ад,

исходный орграф О = Рп1 и Рп2 и ... и Рпй вкладывается в орграф Н — V,. Удалим вершину V, из орграфа Н. Вершина V, входит в одну из ориентированных цепей Pnj, 1 ^ ^ к, исходного орграфа О. Вложение орграфа О в орграф Н — V,

построим следующим образом. Ориентированную цепь Рп., состоящую из вершин v1, v2,... , ^^, V,, vi+1,... , vnj, вложим в ориентированную цепь, образованную вершинами vi+1, vi+2,..., vnj, ад, v1,..., vi-1. Это возможно сделать, так как ^п.,ад) Е в и (ад^) Е в по построению. Остальные вершины при вложении переведём сами в себя.

4. Свойство неприводимости. Докажем, что орграф, полученный при удалении из орграфа Н = (Ш, в) любой дуги, инцидентной вершине ад, не будет расширением для исходного орграфа О = (V, а).

Покажем, что при удалении любой дуги (ад, V), которая была добавлена в п. 2 алгоритма 2, орграф Н — (ад, V) не будет расширением для О = Рп1 и Рп2 и ... и Рпй. В этом случае вершина V является источником и началом одной из к ориентированных цепей исходного орграфа О. Из вершины V исходит дуга ^,и) Е а. Тогда в максимальном подграфе Н — и вершина V будет изолированной вершиной в силу того, что дуги (ад, V) нет в орграфе Н. Ясно, что в таком случае орграф О не вкладывается в орграф Н — и, в котором существует изолированная вершина.

Покажем, что при удалении любой дуги (V, ад), которая была добавлена в п. 3 алгоритма 2, орграф Н — ^,ад) не будет расширением для О = Рп1 и Рп2 и ... и Рпй. В этом случае вершина V является стоком и концом одной из к ориентированных цепей исходного орграфа О. В вершину V входит дуга (и, V) Е а. Тогда в максимальном подграфе Н — и вершина V будет изолированной вершиной в силу того, что дуги (V, ад) нет в орграфе Н. Ясно, что в таком случае орграф О не вкладывается в орграф Н — и, в котором существует изолированная вершина.

Свойство неприводимости выполнено. ■

На рис. 4 изображены орграф, являющийся объединением ориентированных цепей, и его ТНР, построенное по алгоритму 2.

1

*

1

Р2 Рп

а б

Рис. 4. Орграф С = Р1 и Р2 и ... и Рп (а) и его ТНР (б)

Теорема 4. Для орграфов О = Рп1 и Рп2 и ... и Рпй, где п, > 2, 1 ^ г ^ к, являющихся объединением ориентированных цепей, состоящих более чем из двух вершин, существует с точностью до изоморфизма только одно минимальное ТНР.

Доказательство. Покажем, что любое минимальное ТНР для орграфа О изоморфно ТНР, построенному по алгоритму 2.

Сначала докажем, что в произвольном минимальном ТНР для рассматриваемого класса орграфов должно быть п + к дуг, где к — количество ориентированных цепей. Ровно столько дуг содержится в минимальном ТНР, построенном по алгоритму 2.

В орграфе О = Рп1 и Рп2 и ... и Р^ существует к вершин, являющихся стоками, и к вершин, являющихся источниками. Количество дуг в О равно п — к. Для каждого стока V необходимо добавить исходящую дугу ^,ад), иначе в некоторых максимальных подграфах расширения орграфа О будут присутствовать изолированные вершины (для этого будет достаточно удалить вершину и, которая является началом дуги (и^)). Для каждого источника V необходимо добавить входящую дугу (ад^), иначе в некоторых максимальных подграфах расширения орграфа О будут присутствовать изолированные вершины (для этого будет достаточно удалить вершину и, которая является концом дуги ^,и)). Количество добавленных дуг в этом случае равно 2к, а общее количество дуг в минимальном ТНР — п + к. Итак, необходимо добавить к дуг, входящих в вершину ад, и к дуг, исходящих из вершины ад. Каждая из 2к добавленных дуг будет инцидентна либо одному из к источников, либо одному из к стоков исходного орграфа О. При этом так как п, > 2, 1 ^ г ^ к, для выполнения вложения, показанного в п. 3, единственным способом добавления 2к дуг, инцидентных вершине ад, является алгоритм 2. ■

Примечание. Если одна из ориентированных цепей Рп, 1 ^ г ^ п, орграфа О состоит из двух вершин, то добавление 2к дуг в исходный орграф можно выполнить четырьмя способами (рис. 5).

1

а

б

Рис. 5. Граф С = Р3 и Р2 (а) и четыре его ТНР (б)

2. ТНР для направленных звезд

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

Прежде чем дать алгоритм построения одного из ТНР для произвольной направленной звезды, докажем следующую лемму.

Лемма 1. Пусть — направленная звезда, а Н = (Ж, в) —одно из её ТНР. При любом вложении ^ : V ^ Ш направленной звезды в максимальный подграф Н — с, полученный удалением корня с, имеет место <^(с) = ад, т. е. корень с звезды отображается в вершину ад орграфа Н — с.

Доказательство. Корень с направленной звезды имеет к инцидентных дуг, при этом вершина с соединена дугой с каждым листом , 0 ^ г ^ k — 1. В любом максимальном подграфе любого ТНР для направленной звезды лист может быть соединён дугой не более чем с двумя вершинами: с вершиной с и с вершиной ад. Следовательно, так как корень с должен быть соединен дугами не менее чем с к вершинами, где к > 2, то единственной вершиной, в которую может отображаться центр с, в максимальном подграфе Н — с является вершина ад. Это возможно, разумеется, при достаточном количестве добавленных дуг в ТНР, инцидентных вершине ад. Таким образом, при любом вложении ^ : V ^ Ш направленной звезды в максимальный подграф Н — с имеет место <^(с) = ад. ■

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

w

б

Рис. 6. Направленная звезда £3 (а) и её ТНР (б)

Следствие 1. В любом ТНР для направленной звезды выполняется

^+(с) ^ ^+(ш), ^-(с) ^ ^-(ш), и вершина ш соединена хотя бы одной дугой с каждым листом г*, 0 ^ г ^ к — 1.

Следующий алгоритм позволяет построить ТНР для направленной звезды .

Алгоритм 3

1) Добавим к направленной звезде вершину ш;

2) для каждого листа г*, такого, что ^+(г*) = 1, добавим дугу (г*,ш);

3) для каждого листа г*, такого, что ^-(г*) = 1, добавим дугу (ш,г*);

4) добавим дугу (с, ш).

Асимптотическая сложность алгоритма 3 равна О(к), так как за 0(1) можно проанализировать каждую из к + 1 вершин.

ТНР, которое строит алгоритм 3, содержит 2к + 1 дуг, так как к направленной звезде добавляется к + 1 дуга.

ТНР для направленной звезды 53, построенное по алгоритму 3, показано на рис. 6.

Теорема 5. Алгоритм 3 корректен.

Доказательство. Рассмотрим орграф Н = (Ш, в), полученный алгоритмом 3. Для доказательства корректности предложенного алгоритма необходимо и достаточно показать выполнение всех пунктов теоремы 1 (критерия ТНР для ориентированных графов).

1. |Ш| = IV| + 1, так как V = {г1; г2,..., гп}, Ш = {г1; г2,..., гп, ш}.

2. Очевидно, что = Н — ш в силу построения в алгоритме 3.

3. Покажем, что направленная звезда вкладывается в каждый максимальный подграф Н = (Ш, в).

Рассмотрим максимальный подграф Н — с, полученный удалением корня с. Тогда существует вложение <р : V ^ Ш, такое, что <^(с) = ш и ^(г*) = г*, 0 ^ г ^ к — 1. Действительно, в орграфе Н — с по построению ^+(с) = ^+(ш) и ^-(с) = ^-(ш), орграф Н — с является направленной звездой и Н — с = .

Рассмотрим максимальный подграф Н — /, полученный удалением одного листа /. Если ^-(/) = 1, то существует вложение ^ : V ^ Ш, такое, что <^(с) = с, ^(/) = ш и

^(г*) = г*, 0 ^ г ^ к — 1, г* = /; если же ^+(/) = 1, то существует вложение ^ : V ^ Ш,

такое, что <^(с) = ш, <^(/) = с и ^(г*) = г*, 0 ^ г ^ к — 1, г* = /.

4. Свойство неприводимости. Докажем, что при удалении из орграфа Н = (Ш, в) любой дуги, инцидентной вершине ш, получится орграф, не являющийся расширением для направленной звезды .

Пусть из Н удалена дуга между вершиной ш и некоторым листом г*, 0 ^ г ^ к — 1. Тогда в орграфе Н — с вершина г* является изолированной. Вложение невозможно.

Пусть из Н удалена дуга (с, ш), добавленная в п. 4 алгоритма 3. Тогда в орграфе Н — г*, где г* — некоторый лист, имеет место ^+(ш) + ^-(ш) < к и ^+(с) + ^-(с) < к, то есть корень с направленной звезды также не отображается в вершину ш. ■

ТНР для направленной звезды , построенное по алгоритму 3, не единственное. Например, для направленной звезды 53 (см. рис. 6) существует другое ТНР (рис. 7).

н>

Рис. 7. ТНР для направленной звезды £3

3. Т-неприводимое расширение для объединения орграфа и его Т-неприводимого расширения

Аналогичная задача, но для неориентированных графов, рассмотрена в [2]. Теорема 6 (ТНР для объединения орграфа и его ТНР). Пусть С = (V, а) — орграф и Н = (Ж, в) —одно из его ТНР. Тогда одним из ТНР для орграфа С и Н является орграф Н и Н', где Н' = (Ж', в') — изоморфная копия орграфа Н = (Ж, в).

Доказательство. Необходимо показать выполнение всех пунктов критерия ТНР для орграфов.

1. |Ж и Ж'| = |Ж| + |Ж'| = |Ж| + (IV| + 1)| = (|Ж| + IV|) + 1 = |Ж и V| + 1.

2. Так как орграф Н' = (Ж',в') является изоморфной копией одного из ТНР для орграфа С = (V, а), то в нём по критерию ТНР существует вершина ад, такая, что Н' — ,ш = С. Следовательно, (Н и Н') — w = Н и (Н' — ад) = Н и С.

3. Так как Н = (Ж, в) является одним из ТНР для орграфа С = (V, а), то С = (V, а) вкладывается в любой максимальный подграф Н — и орграфа Н = (Ж, в), где и = ад. При удалении любой вершины и, такой, что и = ад, получим орграф Ни (Н' — и). Тогда исходный орграф С и Н вкладывается в орграф Н и (Н' — и) следующим образом: орграф С вкладывается в орграф Н' — и, а орграф Н вкладывается сам в себя.

4. Удалим произвольную дугу (и, ад) из орграфа Н и Н'. Получим орграф Н и Н' — (и,ад) = Н и (Н' — (и,ад)). Рассмотрим его максимальный подграф (Н — ад) и (Н' — (и, ад)) = С и (Н' — (и, ад)). Очевидно, что часть Н исходного орграфа С и Н не вкладывается ни в орграф С, ни в орграф Н' — (и, ад). Таким образом, существует максимальный подграф орграфа Н и Н' — (и,ад), в который не вкладывается исходный орграф С и Н. ■

ЛИТЕРАТУРА

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

2. Курносова С. Г. Т-неприводимые расширения для некоторых классов графов // Теоретические проблемы информатики и её приложений: сб. науч. тр. / под ред. проф. А. А. Сытника. Саратов: Изд-во Сарат. ун-та, 2004. С. 113-125.

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

4. Абросимов М. Б. О сложности некоторых задач, связанных с расширениями графов // Матем. заметки. 2010. Т. 88. №5. С. 643-650.

5. Курносова С. Г. Т-неприводимое расширение для симметричных ориентаций цепей // Теоретические проблемы информатики и ее приложений: сб. науч. тр. / под ред. проф. А. А. Сытника. Саратов: Изд-во Сарат. ун-та, 2006. С. 76-81.

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