Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
i
T
R
T
R transitive closure
transitive
openings
_
Fi gur a 1: Rel aci n del ci er r e T-t r ansi t i vo, R
T
, aper t ur as T-t r ansi t i vas, R
T
, y ot r as
apr oxi maci ones T-t r ansi t i vas no compar abl es con _.
Def inicion 2.8. ([ 2] , [ 22] , [ 48] , [ 54] ) La i mpl i caci n r esi dual J
T
de una t -nor ma T, o l a
quasi -i nver si on de T, es l a oper aci n bi nar i a J
T
: [ 0, 1]
2
[ 0, 1] , def i ni da por J
T
(x, y) =
Sup{z e [ 0, 1] ; T(x, z) s y}.
En par t i cul ar :
>
s
=
y x if y
y x if
y x J
Min
,
, , 1
) , (
Sistemas Informticos 2007/08
[Gesclident] 183
>
s
=
y x if
x
y
y x if
y x J
od
,
, , 1
) , (
Pr
} 1 , 1 min{ ) , ( y x y x J
W
+ =
Par a una t -nor mal cont i nua por l a i zqui er da y cual qui er any x, y e [ 0, 1] , es conoci do que
T(x, J
T
(x, y)) s y, i .e. J
T
(x, y) es l a mej or sol uci n,z, de l a i necuaci n T(x, z) s y. En caso de
una t -nor ma cont i nua por l a i zqui er da y y s x, ent onces J
T
(x, y) es l a mej or sol uci n z, de
l a ecuaci n T(x, z) = y.
3. Aproximacin baja T- t ransit iva de las relaciones borrosas
3. 1. Aproximacin baja T-t ransit iva
El document o " Por un nuevo mt odo par a l as r el aci ones bor r osas T-t r ansi t i vas" ([ 23] ,
[ 24] ) pr opone un nuevo al gor i t mo par a cal cul ar r el aci ones bor r osas T-t r ansi t i vas l o ms
cer ca posi bl e de l a r el aci n bor r osa i ni ci al . Si l a r el aci n i ni ci al es T-t r ansi t i va ent onces l a
ent r ada y sal i da del al gor i t mo es i gual . Est e mt odo per mi t e def i ni r una nueva medi da
de T-t r ansi t i vi dad de l as r el aci ones bor r osas. Cuando l a r el aci n i ni ci al bor r osa es
r ef l exi va, el al gor i t mo gener a un T-pr eor der di f er ent e a l a T-pr eor der gener ados a par t i r
de l a T-cl ausur a t r ansi t i va.
La r el aci n baj a T-t r ansi t i va mant i ene i mpor t ant es pr opi edades como l a u-T-
condi ci onal i dad y l a r ef l exi vi dad que t ambi n pr eser va el ci er r e t r ansi t i vo, per o t ambi n
conser va al gunas ot r as pr opi edades como l a i nvar i anci a del gr ado de r el aci n de t odo
el ement o consi go mi smo (o di agonal ), y por t ant o pr eser va l a o-r ef l exi vi dad. El ci er r e
t r ansi t i vo no pr eser va l a o-r ef l exi vi dad
A cont i nuaci n se descr i be uno de l os al gor i t mos i mpl ement ados:
3. 2. Un algorit mo para calcular la apert ur a T-t ransit iva de una proximidad
Sea A una pr oxi mi dad def i ni da en un uni ver so de di mensi n n, sea T una t -nor ma
cont i nua por l a i zqui er da y sea J
T
l a i mpl i caci n r esi dual cor r espondi ent e. [ 26]
Un al gor i t mo par a cal cul ar l a aper t ur a T-t r ansi t i va de una pr oxi mi dad es el si gui ent e:
Sistemas Informticos 2007/08
[Gesclident] 184
St ep 1. Set B i ni t i al l y bl ank
St ep 2. Let U(A) be t he l i st of el ement s of t he upper t r i angul ar mat r i x of A sor t ed i n a
decr easi ng or der .
St ep 3. Set b
i i
= 1, f or al l 1 s i s n. Set o = 1.
St ep 4. Whi l e t her e i s a bl ank i n B do
Let a
r s
be t he hi ghest val ue of t he l i st U(A).
If b
r s
i s bl ank,
I = {j ; b
r j
i s not bl ank i n B} and
I = {i ; b
i s
i s not bl ank i n B}.
Let H(A) be t he l i st of el ement s a
i j
, i eI, j eI sor t ed i n i ncr easi ng or der .
Whi l e H(A) i s not empt y
Let a
i j
be t he f i r st el ement i n H(A) such t hat b
i j
i s bl ank.
Set b
i j
= b
j i
= mi n{a
i j
, o, mi n
k
{J
T
(b
i k
, b
kj
), J
T
(b
j k
, b
ki
)}}.
Del et e t he f i r st el ement f r om H(A).
o = mi n {b
i j
; i eI, j eI }.
Del et e t he f i r st el ement f r om U(A).
Est e al gor i t mo ha si do i mpl ement ado en el pr oyect o de SI, y se of r ece un pr ogr ama que
cal cul a l os openi ngs M i n-t r ansi t i vo, Pr oduct o -t r ansi t i vo y Lukasi ew i cz-Tr ansi t i t i vo en
ht t p:/ / w w w .f di .ucm.es/ pr of esor / l gar mend/ SC/ Pr ogr amas/ openi ngs.j ar
Lema 3. 2.1. La sal i da de un al gor i t mo apl i cado a una proxi mi dad A es una T-
i ndi st i ngui bi l i dad B, t al que B A.
El si gui ent e l ema muest r a que el al gor i t mo ant er i or da una aper t ur a T-t r ansi t i va de una
r el aci n bor r osa si mt r i ca y r ef l exi va.
Sistemas Informticos 2007/08
[Gesclident] 185
Lema 3. 2. 2. Sea A una r el aci n bor r osa r ef l exi va y si mt r i ca, y sea B l a sal i da del ant er i or
al gor i t mo apl i cado a A. Si una r el aci n T-i ndi st i ngui bi l i dad H i ncl uye a B y est i ncl ui da
en A ent onces es B. (si H | B H A ent onces H = B).
Lema 3.2.3. La aper t ur a de una pr oxi mi dad T-t ransi t i va puede ser comput ada en O(n
3
)
en el caso peor .
4. Cierre T- t ransit ivo de las relaciones borrosas
Los al gor i t mos par a cal cul ar el ci er r e T-t r ansi t i vo de l as r el aci ones bor r osas son t i l es en
l a i nt el i genci a ar t i f i ci al par a sacar ' t odas l as consecuenci as' de l a i nf er enci a bor r osa. La
agr upaci n de apl i caci ones suel en r equer i r el cl cul o de r el aci ones bor r osas de
equi val enci a de r el aci ones bor r osas r ef l exi vas y si mt r i cas. Dur ant e l os l t i mos aos,
al gunos aut or es han desar r ol l ado nuevos al gor i t mos ms r pi do s y, sobr e t odo par a
cal cul ar el M i n-ci er r e t r ansi t i vo de l as r el aci ones bor r osas. En est a secci n un nuevo
al gor i t mo se ha est abl eci do par a cal cul ar el T-ci er r e t r ansi t i vo de una r el aci n bor r osa
r ef l exi va y si mt r i ca par a cual qui er nor ma t r i angul ar T.
4. 1. Int roduccin hist rica de los cierres t ransit ivos borrosos
Una i nt r oducci n de l os ci er r es t r ansi t i vos bor r osos debe empezar con ot r os al gor i t mos
r el aci onados en l a t eor a de gr af os cl si ca, como r bol es de r ecubr i mi ent o mni mos,
cami nos mni mos y l os al gor i t mos que cal cul an l os ci er r es cl si cos, que pueden ser
comput ados usando var i as t cni cas de pr ogr amaci n.
El pr obl ema que r esuel ven l os r bol es de r ecubr i mi ent o mni mos es que det er mi nan un
subconj unt o accl i co de un gr af o (r bol ) que conect a t odos l os vr t i ces y cuyo peso t ot al
es mni mo. El pr obl ema es descr i t o por Gr aham and Hel l ([ 27] , [ 28] ). El pr i mer al gor i t mo
f ue expuest o por Bor uvka (1926). El al gor i t mo conoci do como al gor i t mo de Pr i m f ue
descubi er t o por Jar ni k(1930) y r edescubi er t o por Pr i m[ 49] y Di j kst r a [ 8] . Ot r os
al gor i t mos f uer on descubi er t os por Kr uskal [ 37] ), Yao [ 60] y Tar j an [ 53] .
El al gor i t mo de cami no mni mo de gr f os di r i gi do por Di j kst r a, [ 8] ut i l i za un mt odo
codi ci oso. Se t ar da O(n2) t i empo en encont r ar el cami no mni mo suma de pesos ent r e
dos nodos. Por l o t ant o, t oma O(n3) t i empo par a r esol ver t odos l os nodos el cami no ms
cor t o de t odo el pr obl ema. El al gor i t mo de Pr i m f unci ona de maner a si mi l ar a Di j kst r a,
un al gor i t mo codi ci oso par a encont r ar el cami no ms cor t o en un gr f o.
Bel l man y For d ([ 4] [ 21] ) descubr i er on un al gor i t mo par a r esol ver el pr obl ema de
cami no ms cor t o en un caso gener al en el que l os pesos bor de de un gr f i co di r i gi do
pueden ser negat i vo.
Sistemas Informticos 2007/08
[Gesclident] 186
War shal l [ 58] t r ansf or ma el al gor i t mo de Fl oyd [ 20] par a cal cul ar el ci er r e t r ansi t i vo y
r ef l exi vo de un gr af o.
Un al gor i t mo ut i l i zado par a cal cul ar el ci er r e t r ansi t i vo es el si gui ent e:
1) R = R
M ax
(Ro
Sup-T
R)
2) If R = R t hen R := R and go back t o 1), ot her w i se st op and R
T
:= R .
El al gor i t mo conoci do como el Fl oyd-War shal l ([ 20] , [ 58] ) ut i l i za mt odos de
pr ogr amaci n di nmi ca en l ugar de l os codi ci osos de Di j kst r a, par a r esol ver el cami no
ms cor t o en un gr af o di r i gi do. Se ej ecut a en O (n3). Per mi t e bor des de peso negat i vo s,
per o asume que no hay ci cl os de peso negat i vo.
El ci er r e t r ansi t i vo de un cl si co gr af o G = (V, E) se def i ne como el gr af o G * = (V, E * )
donde E * = ((i , j ) de t al maner a que hay un cami no de vr t i ce a vr t i ce i j en G).
Una f or ma de cal cul ar el ci er r e t r ansi t i vo de un gr af o G en O (n3) t i empo , es asi gnar 1 a
cada ext r emo de E y ej ecut ar el Al gor i t mo de Fl oyd-War shal l .
Al gunos t r abaj os en al gor i t mos par a cal cul ar el ci er r e M i n-t r ansi t i vo de una r el aci n
di f usa son l os si gui ent es:
Dunn ([ 16] [ 17] ) desar r ol l ar on un al gor i t mo bor r oso par t i ci onado y l a apl i car on a
pat r n de cl asi f i caci n. El mt odo se basa el al gor i t mo de r ecubr i mi ent o de un r bol de
peso mxi mo de Pr i m.
Kundu [ 38] r eescr i be el al gor i t mo de Dunn y obt i ene l a par t i ci n de r bol es en O (n2).
Kandel y Yel ow i t z [ 35] pr oponer a acel er ar el cmput o y dar un cost e O (n3) en t i empo
y O (n2) en espaci o. Es en r eal i dad una modi f i caci n del al gor i t mosde Fl oyd [ 20]
desar r ol l ado par a encont r ar l os cami nos ms cor t os ent r e nodos en el cl si co gr af o
di r i gi do y val or ado.
Lar sen y Yager [ 39] dan un r pi do al gor i t mo que cr ea un r bol r epr esent ando una
si mi l i t ud bor r osa, en O (ml ogm) en pr omedi o de t i empo donde m es el nmer o de no
gr ados de r el aci n no-nul os en l a r el aci n bor r osa de si mi l i t ud. En el peor de l os casos l a
compl ej i dad del t i empo es O (mn) por l a si mi l i t ud de di mensi n n. La bsqueda de un
val or en el r bol bi nar i o es O (l og n) en pr omedi o de t i empo y de O (n) en el peor de l os
casos. Por l o t ant o, el t i empo t ot al en el peor de l os casos par a const r ui r una si mi l i t ud es
O (mn2). El mt odo de mat r i z de Lar sen y Yager [ 39] " t i ene al gunas si mi l i t udes con el
al gor i t mo de r ecubr i mi ent o de peso mxi mo de Kr uscal [ 37] y cal cul a el M i n -ci er r e
t r ansi t i vo de una r el aci n r ef l exi va bor r osa en O (n3) en y O (n2) en espaci o medi ant e l a
const r ucci n de un r bol i nt er medi o.
Sistemas Informticos 2007/08
[Gesclident] 187
Guoyao Fu [ 29] pr opone un al gor i t mo con O(n2) de cost e t i empo par a cal cul ar el M i n-
ci er r e t r ansi t i vo de una r el aci n r ef l exi va y si mt r i ca ut i l i zando un mt odo basado en el
val or ascendent e.
El ci er r e t r ansi t i vo de una r el aci n bor r osa cont i ene l a r el aci n i ni ci al , per o el r el aci n
t r ansi t i vi zada est cont eni da en l a r el aci n bor r osa i ni ci al .
Lee [ 41] da un al gor i t mo de cost e O(n2) en t i empo par a cal cul ar el M i n-ci er r e
t r ansi t i vo de una r el aci n bor r osa r ef l exi va y si mt r i ca. Se ut i l i za un mt odo basado en
el val or ascendent e y const r uye un mont n de l os el ement os no-di agonal es. Como l a
pr opi edad r ef l exi va y si mt r i ca de una r el aci n bor r osa se conser va en su M i n -ci er r e
t r ansi t i vo, el al gor i t mo de Lee es t ambi n un gener ador r pi do de l as si mi l i t udes de l as
r el aci ones de pr oxi mi dad. El al gor i t mo t ambi n const r uye el bi nar i o de r epr esent aci n
r esul t ant e de l a si mi l i t ud de Lar sen y Yager . [ 39]
Tr abaj os ant er i or es sobr e al gor i t mos par a cal cul ar el T-ci er r e t r ansi t i vo de una r el aci n
di f usa son l os si gui ent es:
El mt odo mat r i z, descr i t o por Bandl er y Kohout [ 3] .
El mt odo Fl oyd-War shal l descr i t o por Lar sen y Yager [ 39] .
Naessens, De M eyer , y De Baet s [ 44] pr oponer un al gor i t mo de cost e O(n3) en t i empo
y O(n2) en espaci o par a el cl cul o de ci er r es T-t r ansi t i vos de l as r el aci ones si mt r i cas
bor r osas par a un t -nor ma T. El mt odo i nvi er t e el or den en que l os bucl es del al gor i t mo
de Fl oyd [ 20] est n ani dados.
El nmer o de oper aci ones depende del or den en l os que el p i vot e nodos son
sel ecci onados. Un segunda ver si n del al gor i t mo de cost e O(n3) en t i empo y O(n2) en
espaci o obl i ga a que un t r i ngul o sl o puede ser t r ansi t i vament e f or mul ado cuando el
act ual bor de del pi vot e es un bor de del t r i ngul o que l l eva el mayor peso en el t r i ngul o.
El al gor i t mo cal cul a el T-ci er r e t r ansi t i vo de l as r el aci ones si mt r i cas bor r osas par a l a t -
nor ma mni mo y par a t -nor mas ar qui medi anas, que son l as t -nor mas mni mo o l as t -
nor mas T que cumpl an que T (x, x) <x par a t odo x en (0, 1). Tambi n se da ot r a ver si n
de cost e O(n3) en t i empo y O(n2) en espaci o de l a ver si n ant er i or al gor i t mos par a
cual qui er r el aci n bor r osa y cual qui er t -nor ma.
Aunque no t oda l a i nf er enci a bor r osa usada en cont r ol de apl i caci ones necesi t a
t r ansi t i vi dad, par ece i mpor t ant e saber si l a r el aci n bor r osa es T-t r ansi t i va par a hacer
i nf er enci a bor r osa, y si l a r el aci n no es T-t r ansi t i va ent onces es posi bl e encont r ar l a
ms baj a r el aci n bor r osa T-t r ansi t i va que cont enga a l a r el aci n bor r osa i ni ci al , que es
el ci er r e T-t r ansi t i vo. La det er mi naci n de l os ci er r es t r ansi t i vos puede ser t ambi n
consi der ada como el r esul t ado de un pr oceso de i nf er enci a.
Sistemas Informticos 2007/08
[Gesclident] 188
4. 2. M t odo de const ruccin de mat rices para calcular el cierre T-
t ransit ivo
La composi ci n sup-T de dos r el aci ones R y S en un uni ver se f i ni t e E est n def i ni das por
Ro
Sup- T
S (x, z) =
y E
Sup
e
{T(R(x, y), S(y, z))}
Un al gor i t mo gener al usado par a comput ar el ci er r e t r ansi t i vo R
T
de una r el aci n
bor r osa R , conoci do como el mt odo de l a mat r i z, es el cl cul o de R
T
=
1
1
(i)
T
R
=
n
i
.
Conl l eva O(n) composi ci ones, y una composi ci n sup-T t i ene un cost e de O(n
3
). Por l o
t ant o el al gor i t mo de l a mat r i z t i ene un cost e de O(n
4
) en el caso peor .
Ot r a ver si n del mt odo de l a mat r i z usa l a r el aci n compuest a como l a r el aci n de
ent r ada i ni ci al , t an pr ont o como es cal cul ada. Est e al gor i t mo par a comput ar el ci er r e T-
t r ansi t i vo R
T
de una r el aci n bor r osa R es el si gui ent e:
Whi l e R = R do R = R
M ax
(Ro
Sup- T
R)
R
T
:= R .
En el peor de l os casos, se hacen O(l og n) composi ci ones de l a mat r i z, por l o t ant o est e
mt odo t i ene como compl ej i dad t empor al O(n
3
l og n) y O(n
2
) compl ej i dad espaci al en el
caso peor
4. 3 El mt odo de Floyd-W arshall para calcular cierres T-t ransit ivos
Sea R una r el aci n bor r osa en un uni ver se f i ni t e E de di mensi n n, y sea T una t -nor ma
cont i nua. Su ci er r e T-t r ansi t i vo puede ser cal cul ado como si gue:
f or (i nt i =1; i <n; i ++)
f or (i nt j =1; j <n; j ++)
f or (i nt k=1; k<n; k++) R
j k
= max(R
j k
, T(R
j i
, R
i k
)).
Est e mt odo t i ene una compl ej i dad t empor al de O(n
3
) y una compl ej i dad especi al de
O(n
2
).
Naessens, De M eyer , and De Baet s [ 44] pr oponen un mt odo si mi l ar , per o i nvi r t i endo l a
est r uct ur a del bucl e.
Sistemas Informticos 2007/08
[Gesclident] 189
4. 4. Un algorit mo para calcular el cierre T- t ransit ivo de una proximidad
El al gor i t mo dado puede ser consi der ado una ext ensi n del de Lee [ 41] par a cal cul ar el
ci er r e M i n-t r ansi t i vo de una pr oxi mi dad per o r epar ado (t odo el paso 4) par a cal cul ar a el
ci er r e T-t r ansi t i vo de una pr oxi mi dad de cual qui er t -nor ma T cont i nua por l a i zqui er da.
Sea A una pr oxi mi dad de di mensi n n.
St ep 1. Set B t o be i ni t i al l y bl ank f uzzy r el at i on of di mensi on n.
St ep 2. Sor t t he el ement s of t he upper t r i angul ar sub mat r i x i n descendent or der i nt o
t he l i st U(A).
St ep 3. Set b
i i
= 1 f or al l i f r om 1 t o n.
St ep 4. Whi l e t her e i s a bl ank val ue i n B do
Let a
r s
be t he f i r st el ement i n U(A).
If b
r s
i s bl ank t hen {
Let I = {j ; b
r j
i s not bl ank} and I = {i ; b
i s
i s not bl ank}
Def i ne t he set H(A) = {a
i j
, i eI, j eI }.
Whi l e H(A) i s not empt y do
Choose an el ement a
i j
i n H(A) such t hat t he val ue v
i j
= max{a
i j
,
max{T(b
i k
, b
kj
); b
i k
, b
kj
ar e not bl ank}} i s maxi mal
Set b
i j
= b
j i
= v
i j
Del et e a
i j
f r om H(A).
}
Del et e t he t op el ement a
r s
f r om U(A).
Lema 4.4.1. El ci er r e T-t r ansi t i vo de una r el aci n bor r osa r ef l exi va y si mt r i ca A de
di mensi n nxn puede ser comput ada en una compl ej i dad O(n
4
) en el caso peor .
Sistemas Informticos 2007/08
[Gesclident] 190
5. Homot ecias
Como una t -nor ma es asoci at i va, podemos ext ender l a a cual qui er oper aci n n-ar i a de l a
maner a cl si ca:
T(x) = x
T(x1, x2, ...xn) = T(x1, T(x2, ..xn)).
En par t i cul ar , ser a denot ado por o si mpl ement e por si l a t -nor ma
est l i mpi a.
Si T es cont i nua, l a r az n -esi ma de x w r t T es def i ni da por :
Lema 2.1. [ 8] Si k, m, n N, k, n 0 ent onces
Asumi endo l a cont i nui dad de l a t -nor ma T, l os poder es de pueden ser ext endi dos a
exponent es i r r aci onal es de una maner a abst r act a.
Def inicin 5.1. Si es un nmer o r eal posi t i vo, sea una secuenci a de
nmer os i r r aci onal es con el l mi t e . Par a cual qui er el poder
es
La cont i nui dad asegur a l a exi st enci a del l t i mo l mi t e y l a i ndependenci a de l a secuenci a
Proposicin 5.2. Sea T una t -nor ma ar qui medi ana con un gener ador adi t i vo t ,
y . Ent onces:
Inciso: Debi do a l a cont i nui dad de t necesi t amos sol ament e pr obar l o par a el r aci onal r .
Si r es un nmer o nat ur al m, ent onces se cumpl e l a t r i vi al i dad:
Si con ent onces con o y
Sistemas Informticos 2007/08
[Gesclident] 191
Par a un nmer o r aci onal
5. 1 Aplicando homot ecias a operadores T- indist inguibles
En est e punt o, el hecho de que el poder de de un oper ador T-i ndi st i ngui bl e es t ambi n
un oper ador i ndi st i ngui bl e se puede expl ot ar par a modi f i car l as ent r adas de R or R par a
encont r ar una mej or apr oxi maci n de R.
Proposicin 5.1.1. Sea T una t -nor ma cont i nua, E un oper ador T-i ndi st i ngui bl e sobr e X y
p > 0.Ent onces E(p) es un oper ador T-i ndi st i ngui bl e .
6. Conclusiones
Est e pr oyect o ha i mpl ement ado al gor i t mos que cal cul an DIFERENTES aper t ur as T-
t r ansi t i vos, y se of r ece Di cha i mpl ement aci n en
ht t p:/ / w w w .f di .ucm.es/ pr of esor / l gar mend/ SC/ Pr ogr amas/ openi ngs.j ar
Tambi n se ha i mpl ement ado un ALGORITM O cal cul a que l as APROXIM ACIONES T-
t r ansi t i vas ms ' cer canas' a una Rel aci n bor r osa dada, OBTENIDOS a par t i r de
homot eci as de su ci er r e T-t r ansi t i vo. Se puede Acceder un Di cha i mpl ement aci n en
ht t p:/ / w w w .f di .ucm.es/ pr of esor / l gar mend/ SC/ Pr ogr amas/ Homot Tr ansCl osur e.j ar
Al gunos nuevos mt odos par a cal cul ar apr oxi maci ones baj as T-t r ansi t i vas de una
r el aci n l gi ca di f usa se han r enovado y puest o a pr ueba, encont r ando qu e a veces esos
mt odos puede ser una mej or apr oxi maci n T-t r ansi t i va que el ci er r e T-t r ansi t i vo, por
ej empl o, cuando l a di st anci a de l a apr oxi maci n debe ser mni ma o cuando se debe
pr eser var l a o-r ef l exi vi dad.
La pr oxi mi dades son muy apl i cadas en pr obl em as de r azonami ent o apr oxi mado, por eso
est e document o se cent r a en est as r el aci ones bor r osas r ef l exi vas y si mt r i cas y dan
al gor i t mos par a cal cul ar aper t ur as T-t r ansi t i vas y ci er r es T-t r ansi t i vos de pr oxi mi dades
par a cual qui er t -nor ma T.
M uy pocos t r abaj os pr evi os, cal cul an aper t ur as T-t r ansi t i vas par a cual qui er t -nor ma e
i ncl uyen el i nci so de que l a sal i da es si empr e una aper t ur a. El al gor i t mo par a cal cul ar
Sistemas Informticos 2007/08
[Gesclident] 192
una aper t ur a T-t r ansi t i va dado en est e document o, as como sabemos, es el pr i mer o que
pr eser va l a r ef l exi vi dad y l a si met r a.
Se i nt r oduce un anl i si s de di ver sos al gor i t mos que cal cul an ci er r es T-t r ansi t i vos, per o
t odos sal vo t r es sl o si r ven par a l a t -nor ma mni ma.
7. Referencias
[ 1] . S. Agr aw al , S. Dar , H. V. Jagadi sh, Di r ect t r ansi t i ve cl osur e al gor i t hms: desi gn
and per f or mance eval uat i on, ACEM Tr ans. Dat abase Sys. 15 (3) (1990) 427-458.
[ 2] . C. Al si na, E. Tr i l l as, L. Val ver de, On some l ogi cal connect i ves f or f uzzy set
t heor y, J. M at h. Ann. Appl . 93 (1983) 15-26.
[ 3] . W. Bandl er , J. Kohout , Speci al pr oper t i es, cl osur es and i nt er i or s of cr i sp and
f uzzy r el at i ons, Fuzzy Set s and Syst ems 26 (1988) 317-331.
[ 4] . R. Bel l man, On a r out i ng pr obl em. Quar t er l y of Appl i ed M at hemat i cs, 16 (1),
(1985) 87-90.
[ 5] . D. Boi xader , On t he r el at i onshi p bet w een T-t r ansi t i vi t y and appr oxi mat e
equal i t y, Fuzzy Set s and Syst ems 33 (2003) 6 69.
[ 6] . M . Dasgupt a, R. Deb, Fact or i ng f uzzy t r ansi t i vi t y, Fuzzy Set s and Syst ems 118
(2001) 489-502.
[ 7] . P. Daw yndt , H. De M eyer , B. De Baet s, J. Sw i ngs, A f ast al gor i t hm f or
gener at i ng a mi n-t r ansi t i ve openi ng of a si mi l ar i t y r el at i on, Pr oc. EUROFUSE
Wor kshop on Inf or mat i on Syst ems (Var enna, It al y) (2002).
[ 8] . E. W. Di j kst r a, A not e on t w o pr obl ems i n connexi on w i t h gr aphs, Numer i sche
M at hemat i k, 1 (1959) 269-271.
[ 9] . B. De Baet s, H. De M eyer , On t he exi st ence and const r uct i on of T-t r ansi t i ve
cl osur es, Inf or mat i on Sci ences 152 (2003) 167-179.
[ 10] . B. De Baet s, H. De M eyer , T-t r ansi t i ve cl osur es, openi ngs and appr oxi mat i ons
of si mi l ar i t y r el at i ons, Pr oceedi ngs of t he 2002 IEEE Int er nat i onal Conf er ence on
Fuzzy Syst ems, 2 (2002) 1375-1380.
[ 11] . B. De Baet s, H. De M eyer , Tr ansi t i ve appr oxi mat i on of f uzzy r el at i ons by
al t er nat i ng cl osur es and openi ngs, Sof t Comput i ng 7 (2003) 210-219.
[ 12] . H. De M eyer , H. Naessens, B. De Baet s, Al gor i t hms f or comput i ng t he mi n -
t r ansi t i ve cl osur e and associ at ed par t i t i on t r ee of a symmet r i c f uzzy r el at i on,
Eur opean Jour nal Oper . Res. 155 (2004) 226-238.
[ 13] . A. Di Nol a, W. Kol odzi ej czyk, S. Sessa, Tr ansi t i ve sol ut i ons of r el at i onal
equat i ons on f i ni t e set s and l i near l at t i ces, Lect ur e Not es i n Comput er Sci ence,
Vol . 521 Spr i nger , Ber l i n (1991) 173-182.
[ 14] . J. S. Duan, The t r ansi t i ve cl osur e, conver gence of pow er s and ad j oi nt of
gener al i zed f uzzy mat r i ces, Fuzzy Set s and Syst ems 145 (2004) 301-311.
[ 15] . D. Duboi s, H. Pr ade, Fuzzy Set s and Syst ems: Theor y and Appl i cat i ons,
(Academi c Pr ess, New Yor k, 1980).
Sistemas Informticos 2007/08
[Gesclident] 193
[ 16] . J. C. Dunn, Gr apht heor et i c anal ysi s of pat t er n cl assi f i cat i on vi a Tamur a s
f uzzy r el at i on, IEEE Tr ans. Syst ems M an Cyber net . 4 (1974) 3 03 3.
[ 17] . J. C. Dunn, Some r ecent i nvest i gat i ons of a new f uzzy par t i t i oni ng al gor i t hm
and i t s appl i cat i on t o pat t er n cl assi f i cat i on pr obl ems, J. Cyber net . 4 (1974) 5.
[ 18] . J. El or za, P. Bur i l l o, On t he r el at i on of f uzzy pr eor der s and f uzzy consequence
oper at or s, Int er nat i onal Jour nal of Uncer t ai nt y, Fuzzi ness and Knol edge-based
Syst ems 7 (3) (1999).
[ 19] . F. Est eva, P. Gar ci a, L. Godo, R. O. Rodr i guez, Fuzzy appr oxi mat i on r el at i ons,
modal st r uct ur es and possi bi l i st i c l ogi c, M at hw ar e and Sof t Comput i ng 5 (2-3)
(1998) 151-166.
[ 20] . R., W. Fl oyd, Al gor i t hm 245 (shor t est pat h). Communi cat i ons of t he ACM , 5
(6): 345, (1962).
[ 21] . L. R. For d, D. R. Ful keson, Fl ow s i n Net w or ks, Pr i ncet on Uni ver si t y Pr ess,
(1962).
[ 22] . L. Gar mendi a, C. Campo, S. Cubi l l o, A. Sal vador , A M et hod t o M ake Some
Fuzzy Rel at i ons T-Tr ansi t i ve, Int er nat i onal Jour nal of Int el l i gence Syst ems. Vol .
14, N 9, (1999) 873 882.
[ 23] . L. Gar mendi a, A. Sal vador , On a new met hod t o T-t r ansi t i ve f uzzy r el at i ons,
Inf or mat i on Pr ocessi ng and M anagement of Uncer t ai nt y i n Know l edge - based
Syst ems, IPM U 2000, (2000) 864 869.
[ 24] . L. Gar mendi a, A. Sal vador , On a new met hod t o T-t r ansi t i vi ze f uzzy r el at i ons,
i n Technol ogi es f or Const r uct i ng Int el l i gent Syst ems 2, Spr i nger . Edi t ed by
Bouchon-M euni er , B., Gut i er r ez-Ri os, J., M agdal ena, L., Yager , R. R, (2000) 251
260.
[ 25] . L. Gar mendi a; A. Sal vador . A new al gor i t hm t o comput e l ow T-Tr ansi t i ve
appr oxi mat i on of a f uzzy r el at i on pr eser vi ng symmet r y. Compar i sons w i t h t he T-
t r ansi t i ve cl osur e. Spr i nger -Ver l ag Lect ur e Not es i n Ar t i f i ci al Int el l i gence.
Eur opean Conf er ences on Symbol i c and Quant i t at i ve Appr oaches t o Reasoni ng
w i t h uncer t ai nt y, (2005) 576-586.
[ 26] . L. Gar mendi a; A. Sal vador . Comput i ng a t r ansi t i ve openi ng of a r ef l exi ve and
symmet r i c f uzzy r el at i on. Spr i nger -Ver l ag Lect ur e Not es i n Ar t i f i ci al Int el l i gence,
Eur opean Conf er ences on Symbol i c and Quant i t at i ve Appr oaches t o Reasoni ng
w i t h uncer t ai nt y (2005) 587-599.
[ 27] . R. L. Gr aham, An ef f i ci ent al gor i t hm f or det er mi ni ng t he convex Hi l l of a f i ni t e
pl anar set , Inf or mat i on Pr ocessi ng Let t er s, 1, (1972) 132-133..
[ 28] . R. L. Gr aham, P. Hel l , On t he hi st or y of t he mi ni mum spanni ng t r ee pr obl em,
Annal s of t he Hi st or y of Comput i ng, 7 (1) (1985) 43-57.
[ 29] . Guoyao Fu, An al gor i t hm f or comput i ng t he t r ansi t i ve cl osur e of a f uzzy
si mi l ar i t y mat r i x, Fuzzy Set s and Syst ems 5 (1992) 89 94.
[ 30] . H. Hashi mot o, Tr ansi t i vi t y of gener al i sed f uzzy mat r i ces, Fuzzy Set s and
Syst ems. Vol . 17, no. 1, (1985) 83-90.
[ 31] . J. Jacas, On t he gener at or s of T-i ndi st i ngui bi l i dad oper at or s, Schocast i ca 12
(1988) 49-63.
Sistemas Informticos 2007/08
[Gesclident] 194
[ 32] . J. Jacas,, Si mi l ar i t y r el at i ons. The cal cul at i on of mi ni mal gener at i ng f ami l i es,
Fuzzy Set s and Syst ems 35 (1990) 151-162.
[ 33] . J. Jacas, J. Recasens, Fuzzy T-t r ansi t i ve r el at i ons: ei genvect or s and gener at or s,
Fuzzy Set s and Syst ems 72 (1995) 147154.
[ 34] . J. Jacas, J. Recasens, Decomposabl e i ndi st i ngui bi l i dad oper at or s, Pr oceedi ngs
of t he Si xt h IFSA Congr ess, Sao Paul o, 1995.
[ 35] . L. Kandel , L. Yel ow i t z, Fuzzy chai ns, IEEE Tr ans. Syst ems M an Cyber net . 4
(1974) 472475.
[ 36] . G. J. Kl i r , B. Yuan, Fuzzy Set s and Fuzzy Logic. Theor y and Appl i cat i ons,
Pr ent i ce Hal l , New Jer sey, (1995).
[ 37] . J. B. Kr uskal , On t he shor t est spanni ng subt r ee of a gr aph and t he t r avel l i ng
sal esman pr obl em, Pr oceedi ngs of t he Amer i can M at hemat i cal Soci et y, 7 (1956)
48-50.
[ 38] . S. Kundu, An opt i mal O(N2) al gor i t hm f or comput i ng t he mi n-t r ansi t i ve
cl osur e of a w ei ght ed gr aph, Inf or m. Pr oc. Let t .74 (2000), 215-220.
[ 39] . H. K. Lar sen, R. Yager , A f ast maxmi n si mi l ar i t y al gor i t hm, i n: J.C. Ver degay, M .
Del gado (Eds.), The Int er f ace Bet w een AI and OR i n a Fuzzy Envi r onment , IS 95
Ver l ag TUV Rhei nl and, KO ol n, Ger many, (1989) 47 55.
[ 40] . B. Lecl er c, Car act r i sat i on const r uct i on et dnombr ement des ul t r amt r i ques
supr i eur es mi ni mal es, St at i st i que et Anal yse des Dones 11 (1986), 26-50.
[ 41] . H. S. Lee, An opt i mal al gor i t hm f or comput i ng t he maxmi n t r ansi t i ve cl osur e
of a f uzzy si mi l ar i t y mat r i x, Fuzzy Set s and Syst ems 123 (2001) 129136.
[ 42] . S. Y. Li , The si mpl est met hod of ascendi ng val ue t o f i nd f uzzy t r ansi t i ve
cl osur e, Fuzzy Set s and Syst ems 38 (1990) 91-96.
[ 43] . F. M ont er o, J. Tej ada, On f uzzy t r ansi t i vi t y, Inst i t ut o Naci onal de Est adst i ca,
111, (1986) 49-58.
[ 44] . H. Naessens, H. De M eyer , B. De Baet s, Al gor i t hms f or t he Comput at i on of T-
Tr ansi t i ve Cl osur es, IEEE Tr ans Fuzzy Syst ems 10:4 (2002) 541 -551.
[ 45] . S. Ovchi nni kov, Repr esent at i ons of Tr ansi t i ve Fuzzy Rel at i ons, i n Aspect s of
Vagueness, H. J. Skal a, S. Ter mi ni and E. Tr i l l as (Eds.), Rei del Pubs. (1984) 105-
118.
[ 46] . J. L. Pf al t z, R. E. Jami l son, Cl osur e syst ems and t hei r st r uct ur e, Inf or mat i on
Sci ences 139 (2001) 275-286.
[ 47] . H. B. Pot oczny, On si mi l ar i t y r el at i ons i n f uzzy r el at i onal dat abases, Fuzzy Set s
and Syst ems 12 (3) (1984) 231235.
[ 48] . R. O. Rodr i guez, F. Est eva, P. Gar ci a, L. Godo, On i mpl i cat i ve cl osur e oper at or s
i n appr oxi mat e r easoni ng, Int er nat i onal Jour nal of Appr oxi mat e Reasoni ng 33
(2003) 159-184.
[ 49] . R. C. Pr i m, Shor t est connect i on net w or ks and some gener al i zat i ons. Bel l
Syst em Techni cal Jour nal , 36 (1957) 1389-1401.
[ 50] . P. Pur dom, A t r ansi t i ve cl osur e al gor i t hm, BIT 10 (1970) 76-94.
[ 51] . R. Sei del , On t he al l -pai r s-shor t est -pat h pr obl em i n unw ei ght ed undi r ect ed
gr aphs. J. Comput er and Syst ems Sci ences 51 (1995) 400-403.
Sistemas Informticos 2007/08
[Gesclident] 195
[ 52] . B. Schw ei zer , A. Skl ar , Pr obabi l i st i c M et r i c Spaces, Nor t h -Hol l and, New Yor k,
(1983).
[ 53] . R. E. Tar j an, Dat a St r uct ur es and Net w or k Al gor i t hms, Soci et y f or Indust r i al
and Appl i ed M at hemat i cs, (1983).
[ 54] . E. Tr i l l as; C. Al si na; J. M . Ter r i cabr as, Int r oducci n a l a l gi ca bor r osa, Ar i el
M at emt i ca, 1995.
[ 55] . E. Tr i l l as, L. Val ver de, An i nqui r y i nt o i ndi st i ngui bi l i dad oper at or s, i n Aspect s of
Vagueness, H. J. Skal a, S. Ter mi ni y E. Tr i l l as (Eds.), Rei del Pubs. (1984) 231-256.
[ 56] . L. Val ver de, On t he st r uct ur e of F-i ndi st i ngui bi l i dad oper at or s, Fuzzy Set s and
Syst ems 17 (1985) 313328.
[ 57] . M . Wagenknecht , On t r ansi t i ve sol ut i ons of f uzzy equat i ons, i nequal i t i es and
l ow er appr oxi mat i on of f uzzy r el at i ons. Fuzzy Set s and Syst ems 75 (1995) 229 -
240.
[ 58] . S. War shal l , A t heor em on Bool ean mat r i ces. Jour nal of t he ACM , 9 (1), (1962)
11-12.
[ 59] . Xi an Xi ao, An al gor i t hm f or cal cul at i ng f uzzy t r ansi t i ve cl osur e, Fuzzy M at h. 5
(4) (1985) 7173.
[ 60] . C. Yao, A l ow er bound t o f i ndi ng convex hul l s. Jour nal of t he ACM , 28 (4)
(1981) 780-787.
[ 61] . L. Zadeh, A. Fuzzy set s, Inf or m. and Cont r ol 8 (1965) 338353.
[ 62] . L. Zadeh, Si mi l ar i t y r el at i ons and f uzzy or der i ngs, Inf or m. Sci . 3 (1971) 177
200.
[ 63] . Zhen Zhao, An i mpr oved al gor i t hm f or f uzzy cl assi f i cat i on anal ysi s, J. Lanzhou
Uni v. 19 (3) (1983) 160163.