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



ИНФОРМАТИКА

УДК 519.713

КРИТЕРИИ УНИВЕРСАЛЬНОСТИ КОНЕЧНОГО

ДЕТЕРМИНИРОВАННОГО АВТОМАТА

ДЛЯ КЛАССА КДА БЕЗ ПОТЕРИ ИНФОРМАЦИИ

Н.С. Вагарина

Саратовский государственный университет,

кафедра теоретических основ информатики и информационных технологий E-mail: [email protected]

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

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

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

Criteria of universality Finite determined machine for machines without loss of informating class

N.S. Vagarina

Finite determined machine is one of the most popular mathematical models of complex discrete systems. In this article possibilities of the application generable set of automate transformation groups are investigated. It is considered relatively to the decision of denumerability problem. Approach to a organization goal-directed behavior problem decision in class of complex discrete systems described by one-to-one transformations (without loss of information) is offer in this scientific work. The main result of this work is definition the form of automate substitutions and conditions of automate universality for complex systems without loss of information.

Введение

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

У V

НАУЧНЫМ ОТДЕЛ

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

Содержательная постановка задачи восстановления поведения дискретных систем с памятью выглядит следующим образом. Реальное поведение системы отличается от заданного, определено текущее поведение, требуется:

1) определить возможность восстановления исходного поведения;

2) найти совокупность преобразований системы, позволяющих восстановить исходное поведение;

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

Фундаментальной основой для решения задачи восстановления поведения служит теория универсальных автоматов. Универсальный автомат описывает поведение устройства, способного настраиваться на моделирование законов функционирования автоматов из некоторого семейства. В терминах универсальных автоматов основные задачи теории восстановления поведения конечных детерминированных автоматов (КДА) выглядят следующим образом.

Пусть задан конечный детерминированный автомат А и класс возможных неисправностей I. Каждой неисправности / е / сопоставим конечный детерминированный автомат Аг Таким образом, задано семейство {Л,}, / е / (класс возможных неисправностей). Можно выделить следующие задачи восстановления поведения.

Задача 1 (возможность восстановления поведения относительно заданного класса неисправностей).

Для каждого конечного детерминированного автомата Аь г е / проверить, является ли он универсальным для А, то есть проверить справедливость утверждения

А, е 1/пА, г е I,

где 1/пА — множество всех универсальных автоматов для А.

Задача 2 (конструирование метода восстановления поведения относительно заданного класса неисправностей).

Для каждого автомата А„ г е /, построить множество отображений {<ру}, г е I, таких, что (р0(А)=Аь ] е /,, г" е I).

Задача 3 (выбор решения задачи восстановления поведения).

Для каждого множества отображений {(р^}, г е I выбрать допустимое, желательно оптимальное (р.

Задача построения универсального автомата относительно произвольного семейства КДА алгоритмически неразрешима. Однако задача построения универсального конечного детерминированного автомата относительно конечного семейства конечных детерминированных автоматов алгоритмически разрешима. Таким образом, возможность восстановления поведения относительно заданного класса неисправностей предполагает нахождение критерия возможности синтеза универсального автомата для заданного класса. Решение задачи синтеза — универсальный автомат. С содержательной точки зрения он способен заменить любой автомат заданного класса при возникновении неисправностей.

Критерии, приведенные в статье, определяют вид пары автоматных подстановок, образующих функцию переходов автомата, универсального для класса конечных детерминированных автоматов без потери информации.

1. Основные понятия и определения

Пусть дан автомат М = (5, X, У, 5, Л). Обозначим его внутренние состояния символами от О до л-1, то есть 5 = {0, ... я- 1}. При фиксированном х е X функцию переходов 5 данного автомата можно полагать как объединение подстановок вида

=

'п-1

Л'

, то есть 3={3Х}, х е X.

(1)

Всевозможные подстановки на множестве 5, представимые в виде Зх ($)= х), где х е X*, являются элементами полугруппы автомата М. В качестве умножения подстановок выступает их последовательное применение, нейтральным элементом является тождественная подстановка.

В этом случае множество х е X, является порождающим множеством полугруппы преобразований См автомата М. Исследование поведения автомата М так или иначе связано с изучением элементов полугруппы См.

В теории автоматов рассмотрение различных отношений между последовательностями входных и выходных сигналов приводит к возможности выделения нескольких типов поведений КДА. Будем рассматривать конечный детерминированный автомат М как перечислитель.

Возможность восстановления поведения относительно заданного класса неисправностей предполагает нахождение критерия возможности синтеза универсального автомата для заданного класса. Решение задачи синтеза — универсальный автомат - с содержательной точки зрения способен заменить любой автомат заданного класса при возникновении неисправностей.

В данной работе рассматривается класс систем, описываемых взаимнооднозначными преобразованиями (системы без потери информации). В этом случае полугруппа автоматных преобразований становится группой.

Конечный детерминированный автомат М называется автоматом без потери информации, если для каждого состояния $ е 5 функция Я5(х) = 1(5, х) определяет взаимно однозначное отображение множества X на множество У. Автоматы без потери информации имеют следующее свойство: при заданном начальном состоянии по выходной последовательности можно всегда определить входную последовательность.

Введем несколько обозначений:

1. Пусть 3„ — класс автоматов с п состояниями, моделирующих поведение систем без потери информации.

2. Пусть — подкласс автоматов из 3„ таких, что их функция переходов реализуется только четными автоматными подстановками.

3. Пусть дана автоматная подстановка 8У =

1... 2...

-П

1

являющаяся циклом, 11уи2- но-

мера двух различных состояний из этого цикла. Обозначим г,г2 и назовем расстоянием между состояниями 5,- и в исходном цикле наименьшее целое число между 0 и п-2, такое, что

^ +г,г2= г'2(шо<1 (п)).

Более общий случай: пусть к > 1, т1г т2,... тк— последовательность из к целых чисел, таких, что 1 <т1<т2^ ...<тки по крайней мере одно из чисел т, (г - 0,... к-1, т0 = 0)

больше 1. Пусть 8Х -

О 1 ...77?,

12... О

т] +1. т,+ 2.

. т, ,т1 +1

у

1

т,

утн +2...тк_1 +1 ^

— автоматная подстановка

и пусть

с =

m, +1... т.

7+1

т. + 2 ...т, +1

, 0 <i <k-l — какой-либо цикл порядка больше 1 в ней. Пусть il и

¿2 — номера двух различных состояний из цикла С. Назовем расстоянием и обозначим г',/2

наименьшее положительное целое число, такое, что г\ + ¿¿2 г/2(тос1 (тм - т,))

Иными словами, считаем «расстоянием между состояниями» в автоматной подстановке, являющейся циклом, число шагов в этом цикле, необходимое для перехода КДА из одного рассматриваемого состояния в другое под воздействием входного символа, индуцирующего эту подстановку.

Пример 1. Дан конечный детерминированный автомат М =■ (Б, X, 8) с множеством входных символовХ~ (х1; ...,х„__1) и множеством состояний 5 = (0,..., и-1). Пусть п = 5 и 3/, г е {1,

и-1}такое, что 5х =

ГО 1 2 3 4 1 2 3 4 5

а) если = 3, s2 = 5, то = 2;

. Тогда

b) если = 5, s2 =3, то s]s2 = 4, так как 5 + 4 = 3 (mod 6);

c) если 5] =5, s2 =4, то ^ = 5, так как 5 + 5=4 (mod 6).

4. Наибольший общий делитель целых чисел аъа\,..., аь (к > 2) обозначим через 0(аьаъ..., ак).

5. Обозначим М3„ симметрическую группу автоматных преобразований автомата Men состояниями.

6. Обозначим M~s'n знакопеременную группу автоматных преобразований автомата Men состояниями.

В дальнейшем примем следующие положения:

1. Так как наблюдаемая выходная реакция является по существу информацией о внутренних изменениях системы и ее состояниях, а неисправности в автоматах — это ошибки в переходах состояний, то без ограничений на общность рассуждений будем рассматривать конечные детерминированные автоматы с и - состояниями без потери информации с выходным множеством, равным множеству состояний, и функцией выхода, равной функции переходов, т. е. М - (S. X, 8).

2. Для удобства изложения наряду с фразой «функция переходов, реализуемая автоматными подстановками 8, (где i принадлежит некоторому множеству индексов)» будем применять выражение «функция переходов вида 8, ».

3. Состояния автомата будем отождествлять с их порядковыми номерами.

Итак, пусть дан автомат M-{S,X,8) с множеством состояний S — {0,..., n-1}. При фиксированном х е X функцию переходов 8 данного автомата можно считать обобщенной подстановкой вида

8 =

S:

■ "п-1

•V,

, то есть ¿>={4}, х & X.

В этом случае всевозможные подстановки на множестве которые можно представить в виде 8Х (л-) = 8 (х, 5), где х е X*, являются элементами группы преобразований автомата М Множество подстановок {8Х}, реализующих функцию переходов автомата М, является порождающим множеством группы преобразований автомата М.

Итак, пусть М - автомат с п > 3 состояниями, и подстановки, реализующие его функцию переходов, порождают симметрическую группу преобразований М7„ этого автомата степени я и порядка и/. Тогда очевидно М является универсальным для автоматов из класса Зи

Замечания:

1) поскольку группы автоматных преобразований автоматов из класса 3„ транзитивны, то необходимым условием того, чтобы две автоматные подстановки порождали универсальный для автоматов из класса 3„ автомат, является их связанность;

2) поскольку группы автоматных преобразований автоматов из класса 3„ примитивны, то необходимым условием того, чтобы две автоматные подстановки порождали универсальный для автоматов из класса 3„ автомат, является их примитивность.

Приведем без доказательства следующие вспомогательные факты.

Теорема 1.1. Пусть дан КДА М= (5, X, 8) с множеством состояний 5 = (0,я-1), где я > 3, и множеством входных символов X — (х0, ..., хр), р > 1. Тогда если Зхь х2 такие, что

<5,. =

0 1...Л-1

1 2... О

<5,. =

m ...m + k-1

m +1...

m

где 0 < к < я-1, 0 < m < п—1, и числа большие я-1

берутся по модулю я-1, то М является универсальным перечислителем для автоматов из класса 3„(3;,), если хотя бы одно из чисел я, к четно (оба нечетны).

Лемма 1.1. Пусть дан КДА М= (5, Х,5) с множеством состояний £ = (0,..., я-1) и множе-

ством входных символов X = (х0, ..., хр). Пусть Vxe X 5Х-

о * ■

. . S:

••S,

•5.

»-1

г = 1, ..., к> 1. Тогда, если множества {5,, 5, , s,', s2, s2', s2', ..., s,, s,., si } и {s,+], , } имеют по крайней мере один общий элемент, то M является универсальным перечислителем для

всех автоматов, множества состояний которых есть {.s,}^, U js, j U js, J .

2. Критерии универсальности конечного детерминированного автомата для автоматов без потери информации

Теорема 2.1. Пусть дан КДА А/= (S, X, 5) с множеством состояний (0,..., я-1), где я >4, множеством входных символов Х= (х0, ..., хр) и три его различных состояния sit sh, siy Необходимым и достаточным условием того, чтобы автомат M с функцией переходов, реализуемой

подстановками вида <5, =

0 1...Я-1

1 2... О

и<52 =

J S S ç

■ ». •••h •■■ h •••'V

я-1

S„...S; ...S,, ...S,

n-1

был универсальным для

автоматов из класса 3„ (если я - четное) или 3|,(если я - нечетное), является равенство

0(г'1г2,г2г3,я-1) = 1.

Доказательство. Ограничимся случаем г"; < ¿2 < Это всегда можно сделать за счет выбора обозначений. Тогда г 1 г2 = 12 - г2г3 = 13— 12.

Необходимость. Пусть 5\ и реализуют функцию переходов автомата М, универсального для автоматов из класса 3„(если я - четное) или 3^ (если я - нечетное ). В этом случае данные автоматные подстановки примитивны, то есть невозможно множество состояний {0, ..., я-1} представить в виде суммы попарно не пересекающихся множеств {Е,} одинакового порядка

таким образом, чтобы <51 и преобразовывали каждое из этих множеств Et в некоторое множество Ej.

ПустьZ)(z2-/i, /3- i2, n-1) = г > 1, i2-i\ = kr, i3-i2 = г, n = n'r и пустьMj = {j,j + r,j + 2г,..., j + («' - 1 )r},j = 0, г.

Автоматная подстановка <5, преобразует все множества Mj в Mj+] (где j + 1 надо заменить на О, если j = г).

Функция переходов, выраженная подстановкой <%, преобразует все множества My в себя. Таким образом, получили, что <51 и <% примитивны, то есть пришли к противоречию.

Достаточность. Пусть выполнено условие теоремы. Предположим сначала, что i2 - i\ = = ¿з —i2 = к. Если k = 1, то теорема верна в силу теоремы 1.1. Пусть k > 1. Тогда к взаимно просто с n-1. Следовательно, существует целое число m такое, что mk = 1 (mod (n— 1)). В этом случае

«52 =

Si

Si + к s, +2 к

Si +к s. +2к

Рассмотрим автоматные подстановки следующего вида: tj = S^kS2S] jk, j = 1, 2, ..., 2m-2. Получим:

si+(m-2)k s^ +{m-\)k s^+mk N st + (m-\)k si +mk si + (m-2)k

hm-2 ~~

'st + (2m - 2)k sk + (2m - Y)k s. + 2mk si +(2m-\)k st +2 mk s; +(2m-2)k

Здесь числа большие и-1 берутся по mod (и-1). В силу сказанного выше s,- + mk = 5()+1 (mod (и-1)), 5,-j + 2mk = Si+2 (mod (и-1)) и в силу леммы 1.1 автоматные подстановки <%, tb ..., t2m_2 -функция переходов универсального перечислителя для тех автоматов из 3J,, у которых множества состояний содержат только те состояния, которые данные автоматные подстановки пере-

(

ставляют. А следовательно, они порождают и подстановку

S, +1 Si +2

Si +1 Si +2

которая вмес-

те с <5] в силу теоремы 1.1 дает функцию переходов универсального перечислителя для автоматов из класса 3„(если и - четное) или 3^, (если и - нечетное ). Это же относится ик^и^.

Предположим теперь, что /2 - г^ 13 - г2. Пусть И (г2 - г'ь г'з - г2) = г > 1. Так как О (г2- II, 13-12, п - I) = то О (г, и-1) = 1. Имеем, что И (г2- ц, г3- г2) = Б (г2- ц, 13 — 11) = г, и в

силу леммы 7

( е

S. +Г Si +2 Г

'\ 'I

с и, то

Si +Г Si +2 Г

S: +Г S, +2 Г

Si

может быть получена из и <%. Так как г взаимно просто

Si +Г Si + 2 Г

вместе с <51 дают функцию переходов универсального перечис-

лителя для автоматов из 3„ (если и - четное) или 3^ (если п - нечетное ). Следовательно, условие достаточно. □

Теорема 2.2. Пусть дан КДА М = (S, X, 8) с множеством состояний S = (0,..., л-1), где п > 3 и множеством входных символов X— (х0,..., хр). Пусть Sm — некоторое состояние автомата Ми h, h, и-г'з - номера состояний автомата М такие, что по крайней мере одно из них меньше или равно m и одно больше т.

Необходимым и достаточным условием того, чтобы автомат М с функцией переходов, pea-

0 l...sm

1 2... О

í. +1... п-1

и 5 2 -

■•Л ••■Vi

sn...s, ...s, ...s, ...s,

n-1

лизуемой подстановками вида <3, =

[l 2... 0 ){Sm+2...sm+\

был универсальным перечислителем для автоматов из класса 3„ (если п четно) или Zs'n (если п нечетно), является равенство

D (т, п — 1 — т, d) — 1,

где d — абсолютное значение разности номеров тех состояний из st s^ и s^, которые содержатся в одном и том же цикле автоматной подстановки 5\.

Доказательство. Ограничимся рассмотрением случая, когда два из трех номеров состояний ¿2. и /3, например, ^ и i2 не превосходят т. Кроме того, ограничимся случаем, когда /] < i2. Тогда имеем d= i2 - i\.

Необходимость. Пусть условие не выполняется, то есть D (т, п-\-т, d) = к> I. Пусть т -= т'к, п- 1 - т = п'к, d = d'k. Рассмотрим к множеств:

Щ = {/! +j, i 1 +j + к, ..., ц +j + (т' - 1 )к, /3 +J, /3 +j + к, ..., г3 +J + (п' - l)/t>, j = 0,... к- 1,

где числа, предшествующие i3+j должны быть взяты по mod (т), а остальные по mod (и - 1 - т). Из вида Sy и S2 следует, что <5j преобразует каждое Mj в MJ+l (i = 0,..., к - 2) и множество Мк_\ в М0, а 82 преобразует каждое Mj в себя. То есть и <5j являются по определению непримитивными подстановками. Таким образом, пришли к противоречию. Достаточность. Пусть D (т, п - 1 - т, d) = 1.

Допустим сначала, что и-1=/и+1и, следовательно, § =

0

1 2... О

И <52 =

5.

Jm+1

m+1

Рассмотрим автоматные подстановки вида <5, = ' =

ySi2+i Sm+1 íl+' у

, z = 0, ..., т - 1.

Здесь числа берутся по mod (m). Эти подстановки вместе с переставляют все состояния О,..., m + 1, они удовлетворяют условию леммы 1.1 и, следовательно, дают функцию переходов универсального перечислителя для тех автоматов из 3' у которых множества состояний содержат состояния 0, ..., т + 1.

S.

Пусть теперь п > т + 1. Пусть Dim, d) = к. Автоматная подстановка 5 =

может быть получена суперпозицией S\ и 81.

Так как D(m, п - 1 - т, d) = 1, то D(k, п - 1 - т) = 1. Рассмотрим последовательность автоматных подстановок

¿Г = 8(k828~jk =

Si,+U+Dk

S,

S;

i}+jk

¡¡Hj+Dk Si,+jk

>il+jk

j= 1, ...,n-m-í.

Так как кип-] - т взаимно просты, то последовательность ц + к, ..., ц + (п - т - 2)к содержит все числа из последовательности т+ 1, ...,п- 1.

Автоматные подстановки 8'и 8^ в силу леммы 1.1 дают функцию переходов универсального перечислителя для тех автоматов из 3', у которых множества состояний содержат только те состояния, которые данные автоматные подстановки переставляют.

Рассмотрим отдельно два случая.

1. п - 1 - т - нечетное число (> 3). Поскольку подстановки 8'и 8^ удовлетворяют условию

леммы 1.1, то мы можем получить автоматные подстановки

п-1 и —2...5

т+1

п-2 «-З...И-1

а также

1 ^+2

Лл+2 °т+3 1

У^я-г 1 у

(*)

Но ^

п-1 п-2...^ п-2 И-З...И-1

\ 'о 1. ..5 ^

— т

1 2. .. 0

/ /

и из теоремы 1.1 и рассмотренного случая п—\=т+\

следует, что

0 1...0

т

1 2... О

вместе с (*) порождают группу М3„ (М2'п), если т четно (нечетно).

Следовательно, автомат М с функцией переходов, реализуемой автоматными подстановками 8\ и 82, будет универсальным перечислителем для автоматов из класса 3„ (3^), если п четно (нечетно).

2. п - 1 - т - четное число (> 2). В этом случае, поскольку подстановки 8'и 8/ удовлетворя-

( „ „ 1 „ \

, а так-

ют условию леммы 1.1, мы можем получить автоматные подстановки

п-1 п-2... з.

3т+1 т+2

4 5 5 4

т+1 лт+2 лт+3

с V £

т+2 ¡| j

у-^т+г Зщ+Ъ 5'т+1 у

5л-3 ^п-г

>п-2 п—1 п-з

Но автоматная подстановка 8\

п-1 п-2...этЛ

п-1 п-2 5,

т+1 ¡1

0 1 ... 5,-1+1

1 2...5и+1 V ^+3-°

вместе с (**), учитывая случай п - 1 = т + 1, образуют функцию переходов универсального перечислителя для автоматов из класса 3„ (3^), если п четно (нечетно). Следовательно, то же относится и к 8\ и 82. Достаточность доказана. □

Заключение

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

— восстановление правильного функционирования сложных систем, когда невозможно или нецелесообразно немедленное проведение ремонтно-восстановительцых мероприятий, а также исключается подключение резервной или дублирующей составляющей или она вышла из строя;

— организация модификации поведения сложных систем без их физического перепроектирования, только за счет использования текущих функциональных возможностей;

—разработка отказоустойчивых систем, использующих весь спектр потенциальных средств для восстановления своего поведения — от традиционного резервирования-дублирования до особенностей с существующего в данный момент времени закона функционирования.

Библиографический список

1. Алгебраическая теория автоматов, языков и полугрупп / Под ред. М.А. Арбиба; пер. с англ. М., 1975.

2. Богомолов A.M., Сытник A.A., Твердохлебов В.А. Автоматные модели и рекурсивный конструктивизм. Саратов, 1992.

3. Кострикин А.И. Введение в алгебру. М., 1977.

4. Пикар С. О базисах симметрической группы // Кибернетический сборник. 1965. № 1.

УДК 519.17

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

С.Г. Курносова

Саратовский государственный университет, кафедра теоретических основ компьютерной безопасности и криптографии E-mail: [email protected]

Т-неприводимое расширение является одним из видов оптимальных расширений для графов. Конструкции оптимальных расширений применяются в диагностике дискретных систем и криптографии. Расширением л-вершинного графа G называется граф Не п+1 вершинами такой, что граф G вкладывается в каждый максимальный подграф графа Н. У любого графа есть тривиальное расширение - соединение G+i/ графа G с одной вершиной. Т-неприводимые расширения получаются из тривиального удалением максимального числа ребер, не нарушающим свойство расширения. Задача нахождения графа по его Т-неприводимому расширению имеет линейную сложность, а для задачи отыскания всех Т-неприводимых расширений произвольного графа в настоящее время эффективного алгоритма нет. В данной работе предлагается алгоритм построения всех Т-неприводимых расширений и оценка их количества для объединений полных графов, каждый из которых имеет не менее одной вершины.

5. Сытник А.А. Методы и модели восстановления поведения автоматов // Автоматика и телемеханика. 1992. № 11.

6. SytnikA.A., Posohina N.I. On some methods of discret systems behaviour simulation // CASYS'97: The 1st Intern. Conf. on computing anticipatory systems. Liege, 1997.

T-irreducible extensions for unions of complete graphs

S.G. Kurnosova

T-irreducible extension is one of kinds of optimal extensions of graphs. Constructions of optimal extensions are used in diagnosis of discrete systems and in cryptography. A graph H with n+1 vertices is called an extension of a graph G with n vertices if G can be embedded in every maximal subgraph of H. Any graph G has the trivial extension that is the join G+vof G with some outer vertex v. T-irreducible extensions are obtained from the trivial extension by removal of maximal number of edges in such a way that the extension property is preserved. The problem of finding of the initial graph from any of its T-irreducible extensions has a linear complexity, but until now there is no efficient algorithm for finding of all T-irreducible extensions of a given graph. Graphs studied in this paper are unions of complete graphs each of which has more than one vertex. An algorithm of construction of all T-irreducible extensions for such graphs is presented. Also an estimate of a total amount of the resultihg extensions is made.