Вы находитесь на странице: 1из 6

Известия ЮФУ.

Технические науки Тематический выпуск

Раздел III. Информационные технологии в управлении

УДК 681.327
Л.С. Берштейн, А.В. Боженюк
ИСПОЛЬЗОВАНИЕ ТЕМПОРАЛЬНЫХ ГРАФОВ КАК МОДЕЛЕЙ
СЛОЖНЫХ СИСТЕМ
Рассмотрена модель темпорального графа, в котором инцидентность вершин и ре-
бер изменяется в дискретном времени. Введены понятия достижимости и сильной связно-
сти темпорального графа.
Темпоральный граф; суграф; матрица смежности; достижимость графа; связность
графа.

L.S. Bershtein, A.V. Bozhenyuk


THE USING OF TEMPORAL GRAPHS AS THE MODELS OF COMPLISITY
SYSTEMS

In this paper the model of temporal graph is considered. In this graph the incidence of ver-
tices and edges is changed in the discrete time. The notions of graph reachability, and graph con-
nectivity are considered too.
Temporal graph; subgraph; adjacent matrix; graph reachability; graph connectivity.
Теория графов привлекает большое внимание специалистов различных об-
ластей знания. Она используется для изучения многих сложных природных явле-
ний. Наряду с традиционными применениями ее в таких науках, как физика, элек-
тротехника, химия, она проникла и в науки, считавшиеся раньше далекими от нее
– экономику, социологию, лингвистику и др. Традиционно теория графов исполь-
зуется для представления отношений между элементами сложных структур раз-
личной природы [1-3]. При этом данные отношения между элементами являются
постоянными и не меняются во времени. Такие графы в работе [4] были названы
«статическими». В случае, когда отношения между элементами некоторой струк-
туры изменяются во времени, традиционные «статические» графы неприменимы
для их описания и моделирования.
В данной работе рассматривается подход к построению темпорального графа,
то есть графой модели, в которой связи между элементами (вершинами графа) из-
меняются во времени. Необходимо отметить, что само понятие темпорального
графа (temporal graph) известно в литературе и трактуется в достаточно широком
диапазоне – от временных графиков до ориентированных ациклических графов и
сетей Петри [5-10].
Темпоральным графом назовем тройку G=(X,{Γt},T), где X – множество вершин
графа c числом вершин |X|=n; T={1,2,…,N} – множество натуральных чисел, опреде-
ляющих (дискретное) время; {Γt} – семейство соответствий, или отображений мно-
жества вершин X в себя в момент времени t∈T, т.е., (∀t∈T)Γt:X→X. Причем, для раз-
личных моментов времени эти отображения, в общем случае, различные:
(∀x∈X)(∀t1,t2∈T| t1≠t2) [Γt1(x)≠ Γt2(x)].

198
Раздел III. Информационные технологии в управлении

Пример 1. Рассмотрим темпоральный граф G=(X,{Γt},T), у которого множест-


во вершин X={х1, x2, х3, х4, х5}, время T={1, 2, 3}, n=5, N=3, а семейство соответст-
вий {Γt} задано в виде:
Г1(х1)={x2, x5}, Г2(х1)={x2}, Г3(х1)={x5},
Г1(х2)=∅, Г2(х2)={x5}, Г3(х2)={x3},
Г1(х3)={x2}, Г2(х3)= {x4}, Г3(х3)={x4},
Г1(х4)={x5}, Г2(х4)={x3}, Г3(х4)={x3},
Г1(х5)= ∅, Г2(х5)={x1, x4}, Г3(х5)={x2, x4}.
Графически темпоральный граф можно задать в виде обычного ориентиро-
ванного графа, на дугах которого указан момент времени (множество моментов
времени) их действия.
Граф, рассмотренный в примере 1, имеет вид, приведенный на рис. 1:
{3}
X2 X3
{1}
{1,2 }

X1 {2} {3} {2,3} {2,3}

{2}
{1,3}
{1}
X5 X4
{2,3}

Рис. 1. Пример темпорального графа


Введем понятие смежности в темпоральном графе, которое является расши-
рением понятия смежности обычного ориентированного графа:
Вершина xj является смежной вершине xi по моменту времени t∈T, если вы-
полняется условие: xj∈Γt(xi).
Вершины могут быть смежными друг другу по нескольким моментам време-
ни, а могут не быть смежными вообще. Например, вершина x2 смежная вершине x1
по моментам времени 1 и 2, и несмежная вершине x3.
Суграфом по моменту времени t∈T темпорального графа G=(X,{Γt},T) назо-
вем обычный (нетемпоральный) граф G(t)=(X,Γt), у которого Γt есть отображение
множества вершин X в себя в момент времени t.
Так, для темпорального графа G, приведенного на рис. 1, суграфами в моменты
времени t=1, 2, 3 являются графы G1, G2 и G3, приведенные на рис. 2.

G(1) G(2) G(3)

Рис. 2. Семейство суграфов темпорального графа

199
Известия ЮФУ. Технические науки Тематический выпуск

Темпоральный граф G=(X,{Γt},T) взаимно однозначно представляется семей-


ством своих суграфов {G(t)| t∈T}.
Темпоральный граф G=(X,{Γt},T) можно представить временной матрицей
смежности вершин RG=||rij||, i,j=1,2,…,n, элементы которой определяют под-
множество моментов времени, при котором соответствующие вершины являются
смежными. Иными словами:
{t }, если x j ∈ Γ t ( xi ),
rij = 
 ∅ в противном случае.
Для темпорального графа G, приведенного на рис. 1, матрица смежности
вершин имеет вид
x1 x2 x3 x4 x5
x1  ∅ {1, 2} ∅ ∅ {1,3}
 
x2 ∅ ∅ {3} ∅ {2} 
RG = ∅
.
x3 {1} ∅ {2,3} ∅ 
 
x4 ∅ ∅ {2,3} ∅ {1} 

x5 {2} {3} ∅ {2,3} ∅ 

Пусть R (t ) =|| rij( t ) ||, t ∈ T – матрица смежности суграфа G(t). Здесь

 1, если x j ∈ Γt ( xi ),
rij(t ) = 
 0 в противном случае.
Определим операцию произведения матрицы смежности R(t) на некоторое
число p как p × R(t ) =|| rij( p ) ||, i, j = 1, n , где

 { p}, если rij( t ) = 1,


rij( p ) = 
∅ в противном случае.
и операцию объединения квадратных матриц R1 =|| rij || и R2 =|| rij
(1) ( 2)
|| одинако-

вой размерности n×n как R1 ∪ R2 =|| {rij } || ,

где

{r (1) } ∪ {rij(2) }, если rij(1) ≠ ∅ ∨ rij(2) ≠ ∅,


{rij∪ } =  ij
 ∅ в противном случае.
Тогда взаимосвязь между матрицей смежности RG темпорального графа G и
матрицами смежности R(t), t={1,2,…,N} его суграфов по времени запишется в виде

RG = ∪t × R(t ) .
t =1, N

200
Раздел III. Информационные технологии в управлении

Для темпорального графа G, приведенного на рис. 1, матрицы смежности


его суграфов по времени G(1), G(2) и G(3) имеют вид
x1 x2
x3 x4 x5 x1 x2
x3 x4 x5
x1 0 1 0 0 1 x1 0 1 0 0 0
   
x2 0 0 0 0 0 , x2 0 0 0 0 1 и
R (1) = 0 R ( 2) =
x3 1 0 0 0 x3 0 0 0 1 0
   
x4 0 0 0 0 1 x4 0 0 1 0 0
   
x5 0 0 0 0 0 x5 1 0 0 1 0

x1 x2 x3 x4 x5
x1 0 0 0 0 1
 
x2 0 0 1 0 0 .
R (3) = 0
x3 0 0 1 0
 
x4 0 0 1 0 0
 
x5 0 1 0 1 0
Можно записать, что временная матрица
RG = 1 × R(1) ∪ 2 × R(2) ∪ 3 × R(3) .
Рассмотрим теперь понятия достижимости и сильной связности темпораль-
ного графа.
Будем считать, что вершина xk достижима из вершины x1, если существует
такая последовательность вершин
seq(x1,xk) = (x1,x2,…,xk), (1)
что x 2 ∈ Γi1 ( x1 ) , x3 ∈ Γi 2 ( x 2 ) , …, xk ∈ Γi k −1 ( xk −1 ) и при этом выполняется ус-
ловие:
i1 ≤ i2 ≤…≤ ik-1, i1, i2,…, ik-1∈T.
Иными словами, если в последовательности (1) каждая последующая верши-
на смежна предыдущей по моменту времени не меньшем чем моменты, по кото-
рым все предыдущие вершины в этой последовательности являются смежными.
Значение ik-1 назовем временем достижимости вершины xk из вершины x1.
Если существует несколько L последовательностей вида (1) из вершины x1 в
вершину x k, то значения ik( −j )1 для каждой последовательности
seq j ( x1 , xk ), j = 1, L могут быть различными. Наименьшее из этих величин назо-
вем минимальным временем достижимости t min ( x1 , x k ) вершины xk из вершины
x1, т.е.:
tmin ( x1 , xk ) = min{ik( −j )1} .
j =1, L

Пример 2. В темпоральном графе, приведенном на рис. 1, вершина x3 дости-


жима из вершины x1 с помощью последовательностей: seq1=(x1,x2,x3),

201
Известия ЮФУ. Технические науки Тематический выпуск

seq2=(x1,x5,x4,x3), seq3=(x1,x2,x5,x4,x3) и seq4=(x1,x5,x2,x3), с временами достижимости


3, 2, 2 и 3 соответственно. Поэтому, величина t min ( x1 , x3 ) = 2 .
Темпоральный граф G назовем сильно связным, если каждая вершина графа
достижима из любой другой вершины за конечное время.

Величину t scon = max {t min ( xi , x j )} назовем временем сильной связности


∀xi , x j ∈ X

темпорального графа G. Иными словами, каждая вершина графа достижима из


любой другой вершины за время не более t scon .
Так темпоральный граф, приведенный на рис. 1, является сильно связным, с
величиной t scon =2, а темпоральный граф, приведенный на рис. 3, не является
сильно связным. Однако в последнем можно выделить подграфы G1 и G2, покры-
вающие исходный граф, каждый из которых является сильно связным c временем
сильной связности соответственно 2 и 3.

{3}
X2 X3
{1}
{1,2}

{2} {3} {2,3} {2,3}


X1
{2}
G1
{1,3} {3} G2
X5 X4
{2,3}

Рис. 3. Пример не сильно связного темпорального графа


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

БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Кофман А. Введение в прикладную комбинаторику. – М.: Наука, 1975.
2. Кристофидес Н. Теория графов. Алгоритмический подход. – М.: Мир, 1978.
3. Харари Ф. Теория графов. – М.: Мир, 1973.
4. Kostakos V. Temporal graphs. In Proc. of Physica A: Statistical Mechanics and its Applica-
tions, vol.388, Issue 6, Elsevier, 2008. – Р. 1007-1023.
5. Barzilay R, Elhadad N., McKeown K. Inferring strategies for sentence ordering in multidocu-
ment news summarization. Journal of Artificial Intelligence Research, №17, 2002. – Р. 35-55.
6. Bramsen P.J. Doing Time: Inducing Temporal Graphs. Technical report, Massachusetts Insti-
tute of Technology, 2006. – 51 p.
7. Baldan P., Corradini A., Konig B. Verifying finite-state graph grammars: An unfolding-based
approach. In Proc. of CONCUR’04, vol.3170 of Lecture Notes in Computer Science, Springer,
2004. – Р.83-98.
8. Baldan P., Corradini A., Konig B. Verifying a behavioural logic for graph transformation sys-
tems. In Proc. of COMETA’03, vol.104 of ENTCS, Elsevier, 2004. – Р. 5-24.

202
Раздел III. Информационные технологии в управлении

9. Erten C., Harding P.J., Kobourov S.G., Wampler K., Yee G. Exploring the computing litera-
ture using temporal graph. http://tgrip.cs.arizona.edu.
10. Dittmann F., Bobda C. Temporal graph placement on mesh-based coarse grain reconfigurable
systems using the spectral method // From Specification to Embedded Systems Application,
vol.184, Springer, 2005. – Р. 301-310.
Берштейн Леонид Самойлович
Технологический институт федерального государственного образовательного
учреждения высшего профессионального образования «Южный федеральный
университет» в г. Таганроге
E-mail: lsb@tti.sfedu.ru.
347928, Таганрог, пер. Некрасовский, 44.
Тел.: 88634371695.
Боженюк Александр Витальевич
E-mail: avb002@yandex.ru.
Bershtein Leonid Samoilovich
Taganrog Institute of Technology – Federal State-Owned Educational Establishment of
Higher Vocational Education «Southern Federal University».
E-mail: lsb@tti.sfedu.ru.
44, Nekrasovskiy, Taganrog, 347928, Russia.
Phone: +78634371695.
Bozhenyuk Alexander Vitalievich
E-mail: avb002@yandex.ru.

УДК 681.3.06

С.Л. Беляков, И.Н. Розенберг


КОМБИНИРОВАННАЯ АНАЛОГИЯ ПРИ ПОИСКЕ
КАРТОГРАФИЧЕСКИХ МАТЕРИАЛОВ
Рассматривается задача поиска картографических материалов в интеллектуальных
геоинформационных системах, использующих механизм аналогии. Предлагается использо-
вать комбинированную аналогию как способ представления знаний о поиске. Приводится
алгоритм нахождения контекстов комбинированной аналогии.
Геоинформационные системы; цифровые карты; компьютерные сети.
S.L. Belyakov, I.N. Rozenber
COMBINED ANALOGY WHEN LOOKING FOR CARTOGRAPHIC
MATERIALS

In work the problem of search of maps and sharts in the intellectual geoinformation systems
using the mechanism of analogy is considered. It is offered to use the combined analogy as a way
of representation of knowledge of search. The algorithm of a finding of contexts of the combined
analogy is resulted.
Ggeographic information system; digital maps; computer network.
Решение прикладных задач с помощью интеллектуальной геоинформацион-
ной системы предполагает использование процедуры картографического анализа.
Одним из начальных его этапов является поиск и отбор необходимых картографи-
ческих ресурсов. В настоящее время картографические ресурсы доступны из ис-
точников, размещённых в сети Интернет. Использование средств поиска по клю-
чевым словам либо каталогам поисковых серверов имеет определённые недостат-

203