CONVEXITATEA SIMPL A GRAFURILOR ORIENTATE Sergiu CATARANCIUC Universitatea de Stat din Moldova, Chiinu

Abstract: In this paper, in chronological order, it is mentioned the results related to development of the convexity. There are mentioned some results related to convexity in nonoriented graphs. For the directed graphs we define a pseudo-metric, and we characterize the oriented graphs who contain a reduced family of convex sets. Cuvinte cheie: Graf, mulimi d-convexe, spaiu convex, nvelitoare convex, graf convex simplu, segment metric.

1. Introducere Necesitatea soluionrii unor probleme practice a stimulat n ultimele decenii interesul pentru studierea noiunii de convexitate n cazul spaiilor discrete prin introducerea diferitor analogii ale acesteea. Crearea modelelor de convexitate generalizat a condus la elaborarea unor metode elegante de soluionare a problemelor cu caracter aplicativ. Printre aceste modele un rol aparte i revine d-convexitii n spaii metrice [4, 22, 28], la fundamentarea teoretic a creia au contribuit Menger [20], De Grot [10], Alexandrov i Zalgaller [1], Toranzos [29], Soentens [25], P. Soltan & Prisacaru [26], V. Soltan [28]. Fiind introdus n mod independent n geometrie, topologie, analiza funcional i teoria grafurilor, dconvexitatea s-a dovedit a fi un model reuit al convexitii clasice [19], aducndu-i un aport esenial la soluionarea problemelor cu caracter teoretico-aplicativ [5, 21, 28]. n acest context, impresionante sunt rezultatele ce in de studierea noiunii de d-convexitate pe grafuri (att neorientate ct i cele orientate). n mod special prezint interes studierea grafurilor cu o familie redus de mulimi d-convexe. 2. Convexitatea n spaii metrice Definiia general a noiunii de convexitate, precum i a nvelitoarei convexe a fost dat pentru prima dat n lucrarea [19] de ctre Levi. 9

Ulterior aceast direcie de cercetare n matematic a fost dezvoltat de ctre mai muli matematicieni, precum ar fi Elliss J. W. [8], Menger [20], Hammer P. C. [12,13,14], Kaz D. C & Wombe E. W. [17], Sierksma G. [23, 24], V. Soltan [28] . a. Fie X o mulime nevid de elemente. Vom nota prin P ( X ) familia tuturor submulimilor din X . Definiia 2.1 [28]. Familia de submulimi G P( X ) , ce posed proprietile: a) X G; b) dac A1 , A2 G, atunci A1 A2 G , se numete convexitate n X . Perechea ( X ; G ) se numete spaiu convex, iar elementele din G - mulimi convexe. Definiia 2.2 [28]. Aplicaia g : P ( X ) P ( X ) , ce satisface relaiile: a) A gA, pentru orice A X ; b) ggA = gA, pentru orice A X ; c) gA gB, pentru oricare dou submulimi A i B din X , astfel nct A B, se numete nvelitoare convex. Conform definiiilor 2.1 i 2.2, ntre noiunile de convexitate i nvelitoare convex, exist o legtur strns, care a fost stabilit pentru prima dat de ctre Moor. Teorema 2.1. Orice convexitate G n X definete o nvelitoare convex g prin relaai: gA = {B G : A B}, A X , i invers, orice nvelitoare convex g din X , definete o convexitate G n aceast mulime n modul urmtor:

G = { A X : gA = A}.

Consecin. Orice convexitate G n X determin n mod univoc o nvelitoare convex g : P ( X ) P ( X ) i invers. 10

Conform definiiei 2.1, cunoscnd mulimea X , se poate defini convexitatea n X , alegnd de fiecare dat n mod corespunztor familia de submulimi G P ( X ) . n lucrarea [6] sunt examinate mai multe tipuri de convexitate. Printre acestea se numr i d-convexitatea. Pornind de la definiia 2.1, prin efortul a mai multor matematicieni, a fost fundamentat teoria general a convexitii ntr-un spaiu X . Totodat au fost studiate i diverse modele de convexitate, printre care un rol aparte i revine d-convexitii. Pentru prima dat mulimile d-convexe au fost examinate n lucrarea [20] de ctre Menger. Aceast noiune a fost redescoperit independent n lucrrile altor matematicieni: De Groot [10] , Alexandrov i Zalgaller [1], Toranzos [29], Soentens [25], Soltan i Priscaru [26]. Fiind introdus n mod independent n geometrie, topologie, analiza funcional i teoria grafurilor, d-convexitatea s-a dovedit a fi un model reuit al convexitii, care i-a adus aportul la soluionarea unor probleme importante cu caracter practic [5, 21, 27]. Fie ( X ; d ) un spaiu metric. Pentru orice dou puncte x, y X , mulimea

x, y = {z X : d ( x, z ) + d ( z , y ) = d ( x, y )}
se va numi segment metric. Definiia 2.3 [26]. Mulimea A X se numete d-convex, dac pentru orice dou puncte x, y A are loc relaia x, y A. Cunoatem c pentru orice mulime A exist o mulime d-convex minimal din X , care conine A. Aceast mulime se numete nvelitoare convex a lui A i se noteaz prin d-convA. Cu uurin se demonstreaz relaia:

d convA = {d convB : B A, B < }, pentru orice submulime A X .

nvelitoarea d-convex poate fi construit segmentelor metrice (d-segmentelor). Notm:
P( A) = { x, y : x, y A} .

prin

intermediul

Iterativ, construirea nvelitoarei convexe poate fi descris astfel: 11

P0 ( A) = A, Pk ( A) = P ( Pk 1 ( A)), k = 1, 2, 3, ...
Deoarece x, y x, y , rezult c A P ( A) i pentru orice dou mulimi B C are loc relaia P ( B ) P (C ) . Aceasta nseamn c aplicaia P : P ( X ) P ( X ) este o nvelitoare convex segvenial finit determinat. Teorema 2.2 [18]. Pentru orice mulime inegalitatea diam P ( A) 2 diamA.

A X

are loc

Este cunoscut faptul c ntr-un spaiu liniar normat X pentru orice A X are loc egalitatea:

diamg ( A) = diamA

Un rezultat similar poate fi stabilit [28], prin intermediul operatorului P , i n cazul nvelitorilor d-convexe. Teorema 2.3. Pentru orice submulime A X sunt echivalente afirmaiile: 1. diam(d convA) = diamA; 2. diamP(A) = diamA. 3. d-Convexitatea n grafurile orientate. n cele ce urmeaz se vor studia grafurile orientate, fr bucle i arce multiple. Un graf orientat G = ( X , U se numete tare conex sau conex forte [9], dac pentru oricare dou vrfuri x, y X exist cel puin un x . Fie drum ce pornete din vrful spre vrful y

D = ( x = z 0 , z1 , ..., z p = y ) un drum ce pornete din x spre y . n acest caz se va mai spune c drumul D leag vrfurile x i y n ordinea indicat; x i y se numesc extremiti ale lui D . Numrul p se numete lungime a drumului D = ( x = z 0 , z1 , ..., z p = y ) i se va scrie l ( D ) = p.

12

Fie D ( x, y ) familia tuturor drumurilor din G ce leag vrful x cu vrful y . Lungimea celui mai scurt drum din D ( x, y ) se numete distan dintre vrfurile x i y i se noteaz prin d ( x, y ) . n cazul cnd ntre x i y nu exist drum, se consider d ( x, y ) = . Astfel introdus noiunea de distan nu posed proprietatea comutativ, adic, la general vorbind, d ( x, y ) d ( y, x). Distana este o funcie d : X X N , ce posed proprietile: 1. d ( x, y ) 0 pentru oricare dou vrfuri x, y X i d ( x, y ) = 0 dac i numai dac x = y. 2. d ( x, y ) d ( x, z ) + d ( z , y ) pentru oricare trei vrfuri

x, y , z X .
Astfel definit funcia de distan d : X X N este o pseudometric n graful orientat G. Mulimea
x, y = {z X | d ( x, z ) + d ( z , y ) = d ( x, y )} se numete d-

segment orientat de la x spre y . Noiunea de d-segment orientat x, y , are sens doar n cazul cnd n graful G exist cel puin un drum ce leag x cu y . Din aceste considerente, n continuare se vor studia doar grafuri conexe forte. Definiia 3.1. Mulimea A X se numete d-convex n graful
G = ( X , U ), dac pentru oricare dou vrfuri x, y A , luate n ordinea

indicat, are loc relaia x, y A. Conform definiiei 3.1 orice graf orientat G = ( X , U ), conine mulimi d-convexe. Astfel orice mulime A , cardinalul creia este 0 sau 1, este d-convex n G.

13

ntr-un graf orientat mulimile coincid. Fie

x, y

y, x

nu neaprat

o submulime arbitrar de vrfuri din graful

G = ( X , U ). Conform definiiei 3.1, dac A este o mulime d-convex,

atunci ambele d-segmente orientate Prin urmare reuniunea
x, y

x, y i y, x aparin mulimii A.

y, x , care conine toate vrfurile cel

i y , de asemenea,

puin ale unui contur, ce trece prin vrfurile x aparine mulimii A. Mai mult, mulimea
x, y

y, x

conine

vrfurile tuturor contururilor de lungime minim, care trec prin x i y . Lema 3.1. Dac A i B sunt dou mulimi d-convexe ale unui graf orientat G = ( X , U ), atunci intersecia lor A B este, de asemenea, o mulime d-convex n G. Demonstraie: Fie G = ( X , U ) un graf orientat, iar A i B dou mulimi d-convexe ale acestuia. Dac
A B 1,

atunci conform

definiiei 3.1 afirmaia lemei este adevrat. S admitem c A B 2 , i fie x, y dou vrfuri arbitrare din A B . Deoarece A i B sunt mulimi d-convexe se obine:
x, y A, x, y B ,

ceea ce implic relaia convex n G.

x, y A B. Deci A B este o mulime s-

Prin analogie cu varianta clasic a noiunii de nvelitoare d-convex [15, 26, 28], n cazul grafurilor orientate se definete urmtoarea noiune.

14

Definiia 3.2. Intersecia tuturor mulimilor d-convexe ale unui graf orientat G = ( X , U ), ce conin o submulime de vrfuri B X , se numete nvelitoare d-convex a mulimii B i se noteaz prin d-conv(B). Dac B X d conv( B ) = B. este o mulime d-convex n
G , atunci

Pentru o submulime arbitrar de vrfuri S a grafului G , se va defini urmtoarea operaie:

P( S ) =
x , yS

x, y .

Cu ajutorul acestei operaii nvelitoarea d-convex a mulimii B poate fi descris iterativ n modul urmtor:
B0 = B ,

B1 =
B2 =

x , yB0

x, y = P ( B0 ),
x, y = P ( B1 ) = P ( P ( B0 )) = P 2 ( B0 ) si P ( B1 ) B1 ,

x , yB1

...................................................................................................... ,
Bq 1 = Bq =
x , yBq 2

x, y = P ( Bq 2 ) = p q 1 ( B0 ) x, y = Bq 1 = d conv( B ).

si

P ( Bq 2 ) Bq 2 ,

x , yBq 1

Astfel, construirea nvelitoarei d-convexe d conv( B ) se reduce la construirea unui ir de mulimi:

B = B0 B1 B2 ... Bq 1 = Bq ,

unde Bi , 1 i q , se construiesc n conformitate cu aplicarea operaiei P , descrise anterior. n cazul grafurilor infinite, irul, construit iterativ prin aplicarea operaiei respective, poate fi infinit. Atunci nvelitoarea dconvex a mulimii B se obine cu ajutorul relaiei:

15

d conv( B ) =

B .
i i =0

n baza definiiei 3.2, rezult c n cazul studierii nvelitoarei dconvexe sunt adevrate relaiile: 1. d conv () = ; 2. d conv({x}) = {x}; 3. d conv ( X ) = X ; 4. A d conv( A); 5. d conv(d conv( A)) = d conv( A). Datorit relaiilor menionate se poate spune c noiunea de dconvexitate pentru cazul grafurilor orientate se ncadreaz n axiomatica teoriei generale a convexitii [28]. n cazul grafurilor neorientate orice submulime de vrfuri A X , care genereaz un subgraf complet, precum i mulimea tuturor vrfurilor X , sunt d-convexe. Acelai lucru se poate spune i despre grafurile orientate. Mulimile, care sunt d-convexe n orice graf orientat, sunt: mulimea vid, mulimile alctuite dintr-un singur vrf, mulimile care genereaz un subgraf complet i mulimea tuturor vrfurilor X . Aceasta se datoreaz faptului c noiunea de d-convexitate, astfel introdus pe grafuri orientate, este o generalizare a noiunii de d-convexitate pe grafuri neorientate. n continuare, mulimile menionate se vor numi mulimi dconvexe triviale n grafuri orientate. Definiia 3.3. Graful orientat i conex forte G = ( X , U ) se numete d-convex simplu dac nu conine mulimi d-convexe A X , astfel nct 1< A < X . Din definiie rezult c ntr-un graf d-convex simplu orientat, cu cel puin trei vrfuri, ntre orice dou vrfuri poate exista doar unul dintre cele dou arce posibile. ntr-adevr, dac ntre dou vrfuri oarecare x, y ale unui graf d-convex simplu ar exista ambele arce ( x, y ) i ( y , x ) , atunci mulimea A = {x, y} ar fi d-convex, ceea ce contrazice definiia 3.3. Aceast remarc, la rndul su, nseamn c toate grafurile d-conex simple sunt antisimetrice. 16

Teorema 3.1. Urmtoarele afirmaii sunt echivalente: 1. G = ( X , U ) este un graf d-conex simplu orientat; 2. d conv({x, y}) = X pentru orice dou vrfuri distincte x, y X ; 3. d conv({x, y}) = X pentru orice dou vrfuri adiacente x, y X . Demonstraie: 1 2. Fie G = ( X , U ) un graf d-convex simplu orientat. n baza definiiei 3.3 el nu conine submulimi d-convexe A X , astfel nct 1 < A < X . Prin urmare el nu conine mulimi dconvexe de cardinal doi i deci d conv({x, y} = X , pentru orice dou vrfuri distincte x, y X . 2 3 . Relaia d conv({x, y}) = X are loc pentru orice dou vrfuri distincte x, y X , adic i pentru orice dou vrfuri adiacente. Rezult c afirmaia 3 este adevrat. 3 1. Fie c pentru orice dou vrfuri adiacente x, y X are loc relaia d conv({x, y}) = X , ns graful orientat G nu este d-convex simplu. Aceasta nseamn c n G exist o mulime d-convex A X i 1 < A < X . Deoarece A > 1 , rezult c n A exist dou vrfuri distincte p, q , astfel nct
p, q A. Aceasta, la rndul su, implic

existena n A a dou vrfuri adiacente x, y . Cum A este o mulime dconvex, rezult c este adevrat relaia d conv({x, y}) = X A . Pe de alt parte, n baza condiiei 3, se obine d conv({x, y}) = X . Prin urmare
A = X , ceea ce contrazice presupunerea 1 < A < X . Deci graful G este d-convex simplu.

17

BIBLIOGRAFIE 1. A. Alexandrov, V. Zalgaller, Dvumerne Mnogoobrazia Organichenoi Crivizn, Tr. Mat. In-ta AN SSSR, 1962, t. 63, 262p. 2. T. Arhipova, I. Sergienko, O Formalizaii Reshenii Nejotorh Zadach Vchislitelinogo Prothessa v Sistemah Obrabotki Dannh . Kibernetika, 1973, n-5, pp. 11-18. 3. C. Berge, Theorie des Graphes et ses Applications. Proc. Amer. Math. Soc., 1970, 25, nr.1, pp. 205-206. 4. V. Bolteanskii, P. Soltan, Combinatornaia Geometria Razlichinh Classov Vpuklh Mnojestv. Chiinu, tiina, 1978, 279p. 5. S. Cataranciuc, P. Soltan, L. Gherman, V. Cepoi, Convexitatea generalizat i aplicaiile ei . Lucr. conf. preg. pentru Congr. Matlor romni, 1992, Bucureti, pp. 145-154. 6. L. Danzer, B. Grnbaum, V. Klee, Hellys theorem. Moscow, 1968, 160p. 7. P. Duchet, Convex Sets in Graphs: Interval Convexities . Pre-print C.N.R.S., Paris, 1985. 8. J. Ellis, A general set-separation theorem. Duke Math. J., 1952, 19, pp. 307-310. 9. M. Farber, R. Jamison, Convexity in Graphs and Hypergraphs. SIAM J. Alg. Discr. Math., 1986, vol 7, n-3, pp. 433-444. 10. J. de Groot, Some Special Metrics in General Topology. Collog. Math., 1958, vol 6, pp.283-286. 11. F. Harary, R. Melter, I. Tomescu, Digital Metrics: A Graph Theoretical Approach. Pattern Recogn. Lett., 1984, vol2, n-3, pp. 159-165. 12. P. Hammer, General Topology, symmetry and convexity. Trans. Wisconsin Acad. Sci., Arts and Letters, 1956, 44, pp. 221-225. 13. P. Hammer, Semispaces and topology of covexity. In: Proc. Symp. Pure Math., Amer. Math. Soc., 1963, 7, pp. 305-316. 14. P. Hammer, Isotonic spaces in convexity. In: Proc. Colloq. Convexity, Copenhagen 1965., Copenhagen 1967, pp. 132-141. 15. S. Hebbare, A Class of Distance Convex Simple Graphs. Ars Combinatorica, 1979, vol 7, pp. 19-26. 18

16. R. Jamison, R. Nowakowski, A Hellz Theorem for Convexity in Graphs. J. Descrete Math., 1984, vol 51, n-1, pp. 35-39. 17. D. Kay, E. Womble, Axiomatic convexity theory and relationships between the Caratheodory, Helly and Radon numbers. Pacif. J. Math., 1971, 38, nr. 2, pp. 471-485. 18. M. Lassac, V. Soltan, Ob adnoi classificatii metricheskih prostranstv s tochiki zrenia d-vipuklosti. Mat. Isledov., Chiinu, 1975, 10, vip. 3, pp. 90-106. 19. F. Levi, On Hellys theorem and the axioms of convexity . J. Indian Math. Soc., 1951, 15, Part A, pp. 65-76. 20. K. Menger, Untersuchungen ber Allgemeine Metric I, II, III . Math. Ann., 1928, 100, S. 75-163. 21. Ch. Priscaru, P. Soltan, O razbienie ploskoi oblasti na d-vipuklie chasti i ego primenenie. DAN SSSR, 1982, 262, nr. 2, pp. 271273. 22. I. Serghienko, Matematicheskie Modeli i Metod Reshenia Yadach Discretnoi Optimizathii. Kiev, 1988, 472p. 23. G. Sierksma, Axiomatic convexity theory and the convex productstructures. Doct. Diss., Univ. of Groningen, 1976, p. 113. 24. G. Sierksma, Relationships between Caratheodory, Helly and Exchange numbers of convexity spaces. Nieuw arch. Wisk., 1977, 25, nr.3, pp. 115-132. 25. E. Soetens, Convexity in Busemann Spaces. Bull. Soc. Math. Belg., 1967, vol 19, n-2, pp. 194-213. 26. P. Soltan, Gh. Priscaru, Zadacha Steinera na Grafah. Dokl. AN SSSR, 1971, t. 198, n-1, pp. 46-49. 27. P. Soltan, D. Zambiichii, Ch. Priscaru, Extremaline zadachi na grafah i algoritm ih reshenia. Chiinu, 1973, 90p. 28. V. Soltan. Vvedenie v acsiomatecescuiu teoriiu vpuklosti . Chiinu, tiina, 1984, 222p. 29. F. Toranzos, Immersion de Espacios Metricos Convexos en E n . Math. Notae, 1966-1967, vol. 21, nr. 1-2, pp. 29-53.

19