Graf
Da Wikipedia.
Un graf G=(V,E) a l'é na strutura algébrica ch'a consist ëd n'ansem nen veuid V e d'un sot-ansem , anté che [V]2 a l'é la famija dij sot-ansem ëd V ëd doi element. J'element ëd V a son ciamà ij vértes ëd G; j'element d'E a son soe bande. Ël concet ëd graf a l'ha un përfond d'aplicassion. A l'é dovrà, për esempi, ant la modelisassion dj'anterassion sossiaj.
[modìfica] Chèich definissionSi , ij vértes u,v a son dit adiacent (l'un l'àutr) e ancident a e (e e a l'é dita ancidenta an v). Doe bande a son adiacente s'a l'han giusta un vértes comun. Dàit , ël nùmer dG(v) dle bande ëd G ancidente an v a l'é ciamà ël gré ëd v. Si dG(v) = 1, v a l'é dit vértes terminal. Un sot-graf ëd G=(V,E) a l'é un graf H=(W,F) con . Si W=V as dis che H a génera G. Na caminà ëd longheur k ant ël graf a l'é na sequensa ëd vértes anté che për minca valor dl'ìndes i. [modìfica] Esempi
[modìfica] Chèich arzultà elementarËl prim teorema sì-dapress a l'é ëdcò dit ël prim teorema dla teorìa dij graf. Teorema. Ch'as consìdera un graf finì G=(V,E), anté che e E a l'ha m element. Antlora
Dimostrassion. An fasend l'adission dij gré dij vértes, minca banda a l'é contà doe vire. Teorema. Ant un graf finì a-i son almanch doi vértes ch'a l'ha ël midem gré. Dimostrassion. Ciamoma k ël nùmer dij vértes dël graf. S'a-i é dij vértes ëd gré 0 a-i peul nen essie ëd vértes ëd gré n-1 e ij gré possìbij a son 0,1,...,n-2. Si, nompà, gnun vértes a l'ha gré 0, ij gré possìbij a son 1,2,...,n-1. An tuti doi ij cas, a-i son pì 'd vértes che gré possìbij, donca almanch doi vértes a devo avèj ël midem gré. [modìfica] IsomorfismIj graf G1 = (V1,E1),G2 = (V2,E2) as diso isomorf s'a-i é na bijession tal che . Donca doi graf a son isomorf cand, gavà për la natura dij sò vértes, a son an efet l'istess graf. [modìfica] Graf tacàCh'as consìdera un graf G=(V,E) e ch'as pijo doi vértes diferent . Un senté ch'a gionz u a v a l'é minca sequensa ëd vértes tuti diferent tal che v0 = u,vr = v e per tuti j'i. La relassion , definìa an butand si e mach si u=v opura u e v a son gionzù da chèich senté, a l'é na relassion d'equivalensa ansima a G. Le class d'equivalensa as ciamo componente (o componente tacà) ëd G. Ël graf as dis tacà s'a-i é mach na componenta, visadì si minca cobia d'element diferent a l'é gionzùa da chèich senté; dësnò ël graf a l'é dëstacà. Ant un graf tacà G as peul definisse na distansa antra minca cobia ëd vértes u,v, an butandla 0 si u=v, dësnò ugual a la longheur dël senté pì curt ch'a gionz u e v. An sa manera, G a ven në spassi métrich. [modìfica] Matris d'adiacensaCh'as consìdera un graf finì G=(V,E) e n'enumerassion dij sò vértes . La matris d'adiacensa corëspondenta a l'é la matris quadrà A(G) = (aij) d'órdin n definìa an butand aij = 1 si e aij = 0 si . As agiss donca ëd na matris simétrica dont la diagonal prinsipal a l'é tuta 0 e ch'a dipend da l'enumerassion dij vértes. Ël teorema sì-dapress a fa vëdde che doi graf finì a son isomorf si e mach si soe matris d'adiacensa a son përmutassion-sìmile. Teorema. Ij graf finì G1 = (V1,E1),G2 = (V2,E2) a son isomorf si e mach si, fissà n'enumerassion dij sò vértes, a-i é na matris ëd permutassion P tal che A(G1) = P − 1A(G2)P. Dimostrassion. Si G1,G2 a l'han nen ël midem nùmer ëd vértes, a peulo nì esse isomorf, nì avèj matris d'adiacensa sìmile. As peul donca ipotisé che . Ch'as denòto A(G1) = (aij),B(G2) = (bij). Butoma che G1,G2 a sio isomorf e pijoma n'isomorfism . A-i na ven che , visadì aij = bf(i)f(j). Definioma P = (δif(j)). Antlora l'element ëd pòst (i,j) an P − 1A(G2)P a l'é
visadì P − 1A(G2)P = A(G1). A l'anvers, si P a l'é na matris ëd përmutassion tal che A(G1) = P − 1A(G2)P, ch'as definissa na bijession an butand f(j) ugual al pòst ëd la riga dl'ùnich 1 ch'a-i compariss ant la colòna j. Donca
ch'a veul dì che f a l'é n'isomorfism antra G1 e G2. An particolar, si G1,G2 a son isomorf, soe matris d'adiacensa a son sìmile e donca a l'han ël midem polinòmi caraterìstich, visadì
anté che I a l'é la matris dl'identità. [modìfica] ColorassionNa colorassion d'un graf G=(V,E) a l'é na fonsion f da V an n'ansem C, dit ansem dij color. Si C a l'ha r element, antlora f as ciama n'r-colorassion. La colorassion f a l'é pròpia si vértes adiacent a l'han color diferent, visadì si Ël nùmer cromàtich χ(G) ëd G a l'é la mìnima cardinalità ëd n'ansem ëd color C tal ch'a-i sia na colorassion pròpia . La determinassion ëd χ(G) a l'é un dij problema NP-complet clàssich. Për conté vàire r-colorassion pròpie a-i son d'un graf a peul ven-e a taj ël teorema sì-dapress. Ch'as denòta p(G,r) ël nùmer d'r-colorassion pròpie ëd G. Teorema d'ardussion cromàtica. A val la relassion p(G,r) = p(G1,r) − p(G2,r), anté che G1 a l'é otnù da G an gavand na banda {u,v} e G2 a l'é otnù da G1 an identificand ij vértes u,v. Ës teorema a përmet d'arporté ël cont ëd p(G,r) a col për graf ch'a l'han viaman men ëd bande e ëd vértes. A-i na ven che f(r)=p(G,r) a l'é un polinòmi a coefissient antregh, dit polinòmi cromàtich ëd G. andoa q a l'ha gnun-e rèis antreghe positive. [modìfica] Graf bipartìSi , antlora G as dis un graf bipartì. Si χ(G)=1, antlora G a l'é n'ansem indipendent; si χ(G)=2, antlora G a l'é l'union ëd doi ansem indipendent disgionzù. Esempi.
Teorema. Un graf a l'é bipartì si e mach si a l'ha gnun sicl ëd longheur dëscobia. Dimostrassion. Un graf ch'a conten un sicl ëd longheur dëscobia a peul nen esse bipartì, dagià ch'a-i van almanch tre color për colorelo. [modìfica] Criche e ansem indipendentNa crica ant un graf G a l'é un sot-ansem dij vértes ch'a son tuti, doi a doi, adiacent antra 'd lor. N'ansem indipendent a l'é 'n sot-ansem dij vértes ch'a son tuti, doi a doi, nen adiacent antra 'd lor. [modìfica] ErboUn graf sensa sicl as ciama foresta. Na foresta tacà as ciama erbo. Da la definission, a-i ven che minca erbo a l'é 'n graf bipartì. Proposission. An n'erbo T finì con pì che n'element a-i son almanch doi vértes terminaj. Dimostrassion. Ch'as consìdero doi vértes u,v ëd T dont la distansa a sia ugual al diàmeter; ciamoma w ël penùltim vértes ëd l'ùnich senté ch'a gionz u a v. Donca v,w a son adiacent. Si v a l'èissa n'àutr vértes adiacent, ciamomlo t, l'ùnich senté ch'a gionzrìa u a t a sarìa col ch'a passa për w e v. Ma antlora la distansa antra u e t a sarìa pì gròssa dël diàmeter e sòn a l'é na contradission. Teorema. Ël polinòmi cromàtich ëd n'erbo T con n vértes a l'é p(T,x) = x(x − 1)n − 1. Dimostrassion. Për andussion ansima a n. Si n=1, antlora p(T,x)=x. Si n>1, ch'as consìdera un vértes terminal u e ch'as consìdera l'ùnica banda {u,w} ancidenta an u. Ch'as denòta T' l'erbo otnù da T an gavandje la banda {u,w} e T'' col otnù an identificand ij vértes u,w. An armarcand che T' a l'ha doe componente, dont un-a formà mach dal vértes u e l'àutra isomorfa a T'', për ël teorema d'ardussion cromàtica i otnoma
anté che al darié passage i l'oma dovrà l'ipòtesi andutiva. [modìfica] Multi-grafËl concet ëd graf as peul generalisesse a col ëd multi-graf, an lassand che doi vértes a sio gionzù da pì che un-a banda. Na formalisassion possìbila për un multi-graf M a l'é donca ëd n'ansem ëd vértes VM, dotà ëd na fonsion ch'a conta vàire bande a-i son antra minca cobia ëd vértes. Tanme cas particolar, si la plancia d'f a l'é contnùa an {0,1} i l'oma torna un graf. N'isomorfism antra doi multi-graf M,N a l'é antlora na bijession tal che për minca . |
SE LEER! ¿Y que? :) Es fácil aprender a leer un idioma que ya se habla. Consulte usted esta pagina y verá, en un momento tendrá usted su Badge de Bogianen :)
Për dì la soa ansima a sta pàgina-sì ch'a-i daga 'n colp col rat ant sël tilèt discussion. Për lasseje un messagi a j'aministrator ch'a varda ambelessì. Lìber për chi a veul amprende a lese e a scrive mej an piemontèis, e che an fan d'arferiment a tùit për la coression ortogràfica dij test. Për ёscrive dësgagià, ch'a dòvra la Claviera piemontèisa! E ch'a manca pa dë vardesse la pàgina d'agiut për chi as anandia da zero. |