Wikibooks euwikibooks https://eu.wikibooks.org/wiki/Azala MediaWiki 1.45.0-wmf.8 first-letter Media Berezi Eztabaida Lankide Lankide eztabaida Wikibooks Wikibooks eztabaida Fitxategi Fitxategi eztabaida MediaWiki MediaWiki eztabaida Txantiloi Txantiloi eztabaida Laguntza Laguntza eztabaida Kategoria Kategoria eztabaida TimedText TimedText talk Modulu Modulu eztabaida 0 6799 42022 41956 2025-07-07T10:30:12Z Patxi Angulo 2348 /* 5.2 Definizioak */ 42022 wikitext text/x-wiki = 5. Gaia: Grafoak = == 5.1 Sarrera == XVIII. mendean Königsberg (gaur Kaliningrado, Errusia) hiritik Pregel ibaia igarotzen zen, eta bi irla osatzen zituen. Ibaiaren ertzak eta irlak zazpi zubiz zeuden loturik. Biztanleek ibilbideak egiten zituzten etxetik atera, zubietatik behin bakarrik pasatu eta etxera bueltatzen saiatzen; baina ez zuten lortzen. [[File:Konigsberg bridges.png|center|300px]] Istorio hura Leonhard Euler-en (1707-1783) eskuetara heldu zen, eta 1736an eman zion soluzioa artikulu batean: ezinezkoa zen. Euler konturatu zen problemaren soluzioa ez zegoela distantziaren menpe. Orduan, problema aztertzeko, lur-eremu bakoitzari puntu bat eta zubi bakoitzari lerro bat egokitu zien. Hortik aurrera Eulerrek Grafo-Teoriaren oinarrizko kontzeptuak landu zituen. Horrela jaio zen Grafo-Teoria. Grafo-Teoria elementu-kopuru finitua duten problemak islatzeko erabili da. Lehendabizi, problema grafo baten bidez adierazten da; gero, grafoaren propietateak aztertzen dira; azkenik, problemaren soluzioa ondorioztatzen da. Grafo-Teoriaren aplikazio asko aurki ditzakegu Informatikan: datuen adierazpena, sareen diseinua, zirkuitu integratuen diseinua... == 5.2 Definizioak == <span>'''5.1 Definizioa.'''</span> (<math>V</math>-ren gaineko) <span>'''grafo zuzendua'''</span> <math>(V, E)</math> bikote bat da, non <math>V</math> multzo finitu ez-hutsa den, eta <math>E \subseteq V \times V</math>. <math>V</math> multzoaren elementuei <span>'''erpin'''</span> edo <span>'''adabegi'''</span> deituko diegu, eta <math>E</math> multzoaren elementuei <span>'''ertz'''</span>. <span>'''5.2 Adibidea.'''</span> (Grafo zuzendua) <span id="etikgrafozu" label="etikgrafozu"></span> Diagrama honekin adieraziko dugu 5 erpin eta 7 ertz dituen grafo zuzendu bat: <math>V=\{x_1, x_2, x_3, x_4, x_5 \},</math> <math>E=\{(x_1,x_2), (x_1,x_3), (x_2,x_3), (x_3,x_2), (x_3,x_4), (x_4,x_2), (x_4,x_4)\}.</math> [[File:0502grazuz.svg|center|200px]] <span>'''5.3 Definizioa.'''</span> <math>(a,b)</math> ertza izanik, kontzeptu hauek erabiliko ditugu: <ol> * ertza <span>'''intzidentea'''</span> da <math>a</math> eta <math>b</math> erpinekin. * <math>a</math> eta <math>b</math> erpinak elkarren <span>'''auzokideak'''</span> dira. * <math>a</math> erpina ertzaren <span>'''jatorria'''</span> da. * <math>b</math> erpina ertzaren <span>'''amaiera'''</span> da. <p> <math>a=b</math> bada, <math>(a,a)</math> ertzari <span>'''begizta'''</span> deituko diogu. </p> <p> <math>a</math> <span>'''erpin isolatua'''</span> da ez badu ertz intzidenterik. </p> </ol> <span>'''5.4 Definizioa.'''</span> Ertzen noranzkoak ez badu garrantzirik, hau da, <math>(a,b) \in E \implies (b,a) \in E,</math> <math>G=(V,E)</math> grafoa <span>'''ez-zuzendua'''</span> dela esango dugu. Grafo ez-zuzendu batean ertzak <span>'''ez-zuzenduak'''</span> dira: <math>\{a,b\}=\{(a,b), (b,a)\}</math>. Eta <math>a=b</math> bada, <span>'''begizta'''</span> bat izango dugu: <math>\{a,a\}=(a,a)</math>. <span>'''Oharra.'''</span> Ez bada ezer esaten, grafoa ez-zuzendua izango da. <span>'''5.5 Adibidea.'''</span> (Königsbergeko zubien problemaren grafoa) <span id="etikgrafoezzu" label="etikgrafoezzu"></span> Hona hemen Königsbergeko zubien problemari dagokion grafoa: lau lur-eremuak erpinak dira, eta zubiak ertzak: [[File:0503kozubi.svg|center|200px]] Grafoak <math>7</math> ertz ez-zuzendu ditu: <math>\{A,B\}</math>, <math>\{A,B\}</math>, <math>\{A,C\}</math>, <math>\{A,C\}</math>, <math>\{A,D\}</math>, <math>\{B,D\}</math> eta <math>\{C,D\}</math>. <span>'''5.6 Definizioa.'''</span> <math>G=(V,E)</math> grafo zuzendu bat izanik, <span>'''grafo ez-zuzendu elkartua'''</span> <math>G</math> grafotik lortzen da, ertzen noranzkoa kontuan izan gabe. Bi erpinekin intzidenteak diren ertz bat baino gehiago lortzen badira, horietako bat bakarrik hartuko dugu kontuan. <span>'''5.7 Adibideak.'''</span> (Grafo ez-zuzendu elkartua) <span id="etikelkartua" label="etikelkartua"></span> <ol> <li><p> Hona hemen grafo zuzendu bat eta bere grafo ez-zuzendu elkartua. [[File:0504graelk1.svg|center|200px]]</p></li> <li><p>Hau da [[#etikgrafozu| 5.2 Adibideko]] grafoaren grafo ez-zuzendu elkartua:</p> <p>[[File:0505graelk2.svg|center|200px]]</p></li></ol> <span>'''5.8 Definizioa.'''</span> <math>G=(V,E)</math> grafoa <span>'''multigrafoa'''</span> da, <math>a, b \in V</math> erpinak badaude bi edo ertz intzidente gehiagorekin: * <math>(a,b)</math> grafo zuzenduetan. * <math>\{a,b\}</math> grafo ez-zuzenduetan. <math>(a,b)</math> <span>(<math>\{a,b\}</math>)</span> moduko ertzen kopurua <math>(a,b)</math> <span>(<math>\{a,b\}</math>)</span> ertzaren <span>'''anizkoiztasuna'''</span> da. Grafo bat <span>'''<math>k</math>-grafoa'''</span> da bere ertz batek ere ez badu <math>k</math> baino anizkoiztasun handiagoa. Grafo bat <span>'''bakuna'''</span> da ez bada multigrafoa, hots, bere ertz guztiek <math>1</math> anizkoiztasuna badute. <span>'''5.9 Adibideak.'''</span> <ol> <li><p> Hona hemen bi multigraforen adibideak. Lehena <math>2</math>-grafo zuzendua da, eta bigarrena <math>3</math>-grafo zuzendua. [[File:0506k-gra.svg|center|250px]]</p></li> <li><p>[[#etikgrafoezzu|Königsbergeko zubien problemaren grafoa]] <math>2</math>-grafo ez-zuzendua da.</p></li> <li><p>[[#etikelkartua|Grafo ez-zuzendu elkartuaren]] adibideko grafoak bakunak dira.</p></li></ol> == 5.3 Erpinen graduak == <span>'''5.10 Definizioa.'''</span> Izan bedi <math>G = (V, E)</math> grafo zuzendua, eta <math>a \in V</math>. * <math>a</math> erpinaren <span>'''irteera-gradua'''</span> <math>a</math>-tik ateratzen diren ertzen kopurua da, <math>d^+(a)</math> adierazten da: <math>d^+(a)= \mbox{card} \{b \, \, / \, \, (a,b) \in E \}.</math> * <math>a</math> erpinaren <span>'''sarrera-gradua'''</span> <math>a</math>-ra iristen diren ertzen kopurua da, <math>d^-(a)</math> adierazten da: <math>d^-(a)= \mbox{card} \{b \, \, / \, \, (b,a) \in E \}.</math> <math>d^+(a)</math> eta <math>d^-(a)</math> <math>a</math> erpinaren <span>'''graduerdi'''</span> deitzen dira, eta <math>a</math> erpinaren graduerdien baturari <math>a</math>-ren <span>'''gradu'''</span> deituko diogu, <math>d(a)</math> adierazten da: <math>d(a)=d^+(a)+ d^-(a).</math> <span>'''5.11 Adibidea.'''</span> [[#etikgrafozu| Grafo zuzenduaren adibidean]], <math>\begin{array}{lllll} d^+(x_1) = 2, & d^+(x_2) = 1, & d^+(x_3) = 2, & d^+(x_4) = 2, & d^+(x_5) = 0. \\ d^-(x_1) = 0, & d^-(x_2) = 3, & d^-(x_3) = 2, & d^-(x_4) = 2, & d^-(x_5) = 0. \\ d(x_1) = 2, & d(x_2) = 4, & d(x_3) = 4, & d(x_4) = 4, & d(x_5) = 0. \end{array}</math> <span>'''5.12 Definizioa.'''</span> <math>G = (V, E)</math> grafo ez-zuzendua eta <math>a \in V</math> izanik, <math>a</math> erpinaren <span>'''gradua'''</span> <math>a</math>-rekin intzidenteak diren ertzen kopurua da, eta <math>d(a)</math> adieraziko dugu. Kasu honetan, <math>\{a,a\}</math> begizta <math>a</math>-rekin intzidenteak diren bi ertz bezala kontatzen da. <math>a</math> erpina <span>'''zintzilikatua'''</span> da <math>d(a)=1</math> denean. <span>'''5.13 Adibideak.'''</span> # [[#etikgrafoezzu|Königsbergeko zubien problemaren grafoan]], <math>d(A)=5, \quad d(B)=d(C)=d(D)=3.</math> # [[#etikelkartua|Grafo ez-zuzendu elkartuaren]] 2. adibideko grafoan, <math>d(x_1)=2, \quad d(x_2)=d(x_3)=3, \quad d(x_4)=4, \quad d(x_5)=0.</math> <span>'''5.14 Teorema.'''</span> [2m] Izan bedi <math>G=(V,E)</math> <math>\, m</math> ertz dituen grafo ez-zuzendua. Orduan, <math>\sum_{x\in V}d(x)= 2m.</math> <span>'''Froga.'''</span> (Ideia: <math>\{a,b\}</math> ertz bakoitzak unitate bat eransten dio <math>d(a)</math> graduari, eta beste bat <math>d(b)</math> graduari, eta, hortaz, bi unitate <math>\sum_{x\in V}d(x)</math> baturari, hau da, erpinen graduen batura kalkulatzean, bi aldiz kontatzen ditugu grafoaren ertzak.) Froga <math>m</math> ertz kopuruaren gaineko indukzioaz egingo dugu. <math>m=1</math> bada, <math>G</math> grafoak <math>e=\{a,b\}</math> ertz bakarra du. <math>a \neq b</math> bada, <math>\quad \left\{ \begin{array}{ll} d(a) = 1, & \\ d(b) = 1, & \\ d(y) = 0, & a \neq y \neq b \mbox{ bada.} \end{array} \right.</math> <math>\quad \quad</math> <math>a = b</math> bada, <math>\quad \left\{ \begin{array}{ll} d(a) = 2, & \\ d(y) = 0, & y \neq a \mbox{ bada.} \end{array} \right.</math> Bi kasuetan, <math>\quad \sum_{x\in V}d(x) = 2 = 2m.</math> Demagun, orain, teorema betetzen dela <math>m=p</math> denean, eta har dezagun <math>m = p + 1</math>. Izan bedi <math>G</math> grafoaren <math>e=\{a,b\} \in E </math> ertz bat eta izan bedi <math>G</math> grafotik <math>e</math> ertza kentzean geratzen den <math>G'</math> grafoa. <math>G'</math> grafoaren ertzen kopurua <math>m'</math> bada, eta <math>d'(x)</math> bada <math>x</math> erpinaren gradua <math>G'</math> grafoan, orduan, <math>m'=p</math> izango da. Eta, indukzio-hipotesiaren arabera, <math>\sum_{x\in V}d'(x)= 2m'= 2p.</math> Horrez gain, <math>a \neq b</math> bada, <math>\quad \left\{ \begin{array}{ll} d(a) = d'(a) + 1, & \\ d(b) = d'(b) + 1, & \\ d(y) = d'(y), & a \neq y \neq b \mbox{ bada.} \end{array} \right.</math> <math>\quad \quad</math> Eta <math>a = b</math> bada, <math>\quad \left\{ \begin{array}{ll} d(a) = d'(a) + 2,& \\ d(y) = d'(y), & y \neq a \mbox{ bada.} \end{array} \right.</math> Bi kasuetan, <math>\sum_{x\in V}d(x) = \sum_{x\in V}d'(x)+ 2 = 2p+2 = 2(p+1) = 2m.</math> <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.15 Adibideak.'''</span> # [[#etikgrafoezzu|Königsbergeko zubien problemaren grafoan]], <math>n=4</math>, <math>m=7</math>, <math>d(A) + d(B) + d(C) + d(D) = 5 + 3 + 3 + 3 = 14 = 2 \cdot 7.</math> # [[#etikelkartua|Grafo ez-zuzendu elkartuaren]] 2. adibideko grafoan, <math>n=5</math>, <math>m=6</math>, <math>d(x_1)+ d(x_2)+ d(x_3)+ d(x_4)+ d(x_5) = 2 + 3 + 3 + 4 + 0 = 12 = 2 \cdot 6.</math> <span>'''5.16 Korolarioa.'''</span> Izan bedi <math>G=(V,E)</math> grafo ez-zuzendua. Gradu bakoitiko erpinen kopurua bikoitia da. <span>'''Froga.'''</span> Izan bedi <math>V=\{x_1, \ldots, x_n\}</math> eta demagun badaudela gradu bikoitiko <math>p</math> erpin eta gradu bakoitiko <math>q</math> erpin (<math>p+q=n</math>). <math>\begin{array}{ll} d(x_i) = 2k_i, & i=1, \ldots, p; \\ d(x_i) = 2k_i+1, & i=p+1, \ldots, p+q. \end{array}</math> Orduan, <math>2m = \sum_{x\in V}d(x) = \sum_{i=1}^{p}d(x_i) + \sum_{i=p+1}^{p+q}d(x_i) = \sum_{i=1}^{p}(2k_i) + \sum_{i=p+1}^{p+q}(2k_i+1) = 2\sum_{i=1}^{p+q}k_i+ q.</math> Hortaz, <math>q = 2\left(m-\sum_{i=1}^{p+q}k_i\right).</math> <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.17 Adibideak.'''</span> # [[#etikgrafoezzu|Königsbergeko zubien problemaren grafoan]] gradu bakoitiko 4 erpin daude (<math>A</math>, <math>B</math>, <math>C</math> eta <math>D</math>). # [[#etikelkartua|Grafo ez-zuzendu elkartuaren]] 2. adibideko grafoan, gradu bakoitiko 2 erpin daude (<math>x_2</math> eta <math>x_3</math>). <span>'''5.18 Definizioa.'''</span> Grafo ez-zuzendu bat <span>'''erregular'''</span> deitzen da erpin guztiek gradu bera badute; eta <span>'''<math>k</math>-erregular'''</span> deitzen da erpin guztiek <math>k</math> gradua badute. <span>'''5.19 Adibidea.''' </span> (Grafo 3-erregularra) <span id="etik3erregularra" label="etik3erregularra"></span> Grafo hau <math>3</math>-erregularra da: [[File:0507k-reg.svg|center|200px]] == 5.4 Ibilaldiak grafo batean == <span>'''5.20 Definizioa.'''</span> Izan bedi <math>G=(V,E)</math> grafo ez-zuzendua. <math>x, y \in V</math> bi erpin badira, <math>x-y</math> <span>'''ibilaldia'''</span> <math>x</math> erpinean hasi eta <math>y</math> erpinean bukatzen den erpinen eta ertzen segida txandakatu finitu bat da: <math display="block">x = x_0, e_1, x_1, e_2, x_2, e_3, \ldots, e_{p-1}, x_{p-1}, e_{p}, x_{p} = y,</math> <math>e_i=\{x_{i-1}, x_i\}</math> ertza izanik, <math>i=1, \ldots, p</math>. Ibilaldiaren <span>'''luzera'''</span> ertzen kopurua da, <math>p</math>. Eta <math>p=0</math> bada, <math>x=y</math> izango da eta <span>'''ibilaldi nabaria'''</span> izango dugu. <math>x=y</math> eta <math>p \geq 1</math> badira, <span>'''ibilaldi itxia'''</span> da; bestela, <span>'''ibilaldi irekia'''</span> da. <span>'''Oharra.'''</span> Grafoa bakuna denean, ibilaldia adieraztean ertzak ez ditugu idatziko. <span>'''5.21 Adibidea.'''</span> [ibilaldiak] [elkartua]-2 Adibideko grafoan, <math>x_1,x_3,x_2</math> ibilaldi irekia da, <math>2</math> luzerako <math>x_1-x_2</math> ibilaldia hain zuzen: <math>x_1, \{x_1,x_3\}, x_3, \{x_3,x_2\}, x_2.</math> Beste hau, ordea, <math>6</math> luzerako ibilaldi itxia da: <math>x_1, x_3, x_2, x_4, x_3, x_2, x_1.</math> <span>'''5.22 Definizioa.'''</span> Izan bedi <math>x-y</math> ibilaldi bat <math>G=(V,E)</math> grafo ez-zuzenduan, * Ertzik ez bada errepikatzen, <math>x-y</math> ibilaldiari <span>'''kate'''</span> deituko diogu. Katea itxia denean, <math>x-x</math> ibilaldi itxiari <span>'''zirkuitu'''</span> deituko diogu. * Erpinik ez bada errepikatzen, <math>x-y</math> ibilaldiari <span>'''bide'''</span> deituko diogu. Bidea itxia denean, <math>x-x</math> ibilaldi itxiari <span>'''ziklo'''</span> deituko diogu. <span>'''Hitzarmena.'''</span> Zirkuituetan, gutxienez ertz bat existitzen dela pentsatuko dugu; eta bat bakarrik dagoenean, zirkuitua begizta izango da. Zikloetan, gutxienez hiru ertz desberdin daudela pentsatuko dugu. <span>'''5.23 Adibidea.'''</span> [[#etikelkartua|Grafo ez-zuzendu elkartuaren]] 2. adibideko grafoan, <math>x_1,x_2,x_3</math> katea eta bidea da; <math>x_1,x_3,x_2,x_4,x_3</math> katea da, baina ez da bidea; <math>x_1,x_2,x_3,x_1</math> zirkuitua eta zikloa da. Grafo zuzenduetan <span>''zuzendu''</span> adjektiboa erabiliko dugu: <span>'''ibilaldi zuzenduak'''</span>, <span>'''bide zuzenduak'''</span>, <span>'''ziklo zuzenduak'''</span>, etab. <span>'''5.24 Teorema.'''</span> Izan bedi <math>G=(V,E)</math> grafo ez-zuzendua eta izan bitez <math>x,y \in V</math>, <math>x \neq y</math>. Orduan, <math>x-y</math> ibilaldi bat badago baldin eta soilik baldin <math>x-y</math> bide bat badago. <span>'''Froga.''' </span> Demagun <math>x-y</math> ibilaldiren bat dagoela. <math>x</math> eta <math>y</math>-ren arteko ibilaldi guztien artean, har dezagun luzera txikieneko ibilaldia: <math display="block">x = x_0, x_1, \ldots, x_{k-1}, x_k = y.</math> Ibilaldi hori ez bada bidea, <math>\exists p, q \, / \, 0 \leq p < q \leq k</math> eta <math>x_p=x_q</math>. Baina, orduan, <math display="block">x = x_0, x_1, \ldots, x_{p-1}, x_q, x_{q+1}, \ldots, x_{k} = y</math> ere <math>x</math> eta <math>y</math>-ren arteko beste ibilaldi bat da, eta <math>k</math> baino luzera txikiagokoa da. Azken ibilaldi hori ez balitz bidea, berdin egingo genuke: errepikatzen den erpinaren bi agerpenen arteko zatia kendu eta luzera txikiagoko ibilaldi berri bat lortuko genuke. Horrela segi daiteke erpinak errepikatzen ez diren arte, hots, bide bat lortu arte. Elkarrekikoa berehalakoa da; izan ere, bide bat ibilaldi bat da. <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.25 Definizioa.'''</span> <math>G=(V, E)</math> grafo ez-zuzendua <span>'''konexua'''</span> da edozein <math>x</math> eta <math>y</math> bi erpin desberdinetarako <math>x-y</math> ibilaldi bat badago. <math>G=(V, E)</math> grafo zuzendua <span>'''konexu'''</span> da grafo ez-zuzendu elkartua konexua bada. Grafo bat ez bada konexua, <span>'''diskonexua'''</span> da. Aurreko teoremaren arabera, horrek esan nahi du grafo ez-zuzendua konexua dela edozein <math>x</math> eta <math>y</math> bi erpin desberdinetarako <math>x-y</math> bide bat badago. <span>'''5.26 Adibidea.'''</span> [[#etik3erregularra|Grafo 3-erregularraren adibideko]] grafoa konexua da. [elkartua]-1 Adibideko grafoak konexuak dira. [[#etikgrafozu| Grafo zuzenduaren adibideko grafoa]] eta [elkartua]-2 Adibideko grafo elkartua diskonexuak dira, ez dagoelako, esaterako, <math>x_1-x_5</math> biderik. <span>'''5.27 Teorema.'''</span> [baliokidetasuna] Izan bedi <math>G=(V, E)</math> grafo ez-zuzendua; <math>\mathcal{R} </math> erlazioa, <math>x \mathcal{R} y \, \iff \, x-y \, \mbox{ bide bat badago},</math> baliokidetasun-erlazioa da <math>V</math> multzoaren gainean. <span>'''Froga.''' </span> <ol> <li> <p> <math>\mathcal{R}</math> bihurkorra da. Hau frogatu behar dugu: <math>(\forall x \in V) \quad x \mathcal{R} x</math>. </p> <p> <math>\forall x \in V</math>, <math>x-x</math> ibilaldi nabaria dago; hortaz, <math>x \mathcal{R} x</math>. </p> </li> <li> <p> <math>\mathcal{R}</math> simetrikoa da. Hau frogatu behar dugu: <math>(\forall x,y \in V) \quad x \mathcal{R} y \implies y \mathcal{R} x.</math> </p> <p> <math>x, y \in V</math> badira, <math display="block">\begin{array}{l} x \mathcal{R} y \implies x=x_0,x_1,\ldots,x_{p-1},x_p=y \mbox{ ibilaldia badago } \implies \\ \implies y=x_p,x_{p-1},\ldots,x_{1},x_0=x \mbox{ ibilaldia badago } \implies y \mathcal{R} x. \end{array}</math> </p> </li> <li> <p> <math>\mathcal{R}</math> iragankorra da. Hau frogatu behar dugu: <math>(\forall x,y,z \in V) \quad x \mathcal{R} y \wedge y \mathcal{R} z \implies x \mathcal{R} z.</math> </p> <p> <math>x, y ,z\in V</math> badira, <math display="block">\begin{array}{l} x \mathcal{R} y \wedge y \mathcal{R} z \implies \\ \implies x=x_0,\ldots,x_p=y \; \wedge \; y=y_0,\ldots,y_q=z \mbox{ ibilaldiak badadaude } \implies \\ \implies x=x_0,\ldots, x_p=y=y_0,y_1,\ldots,y_q=z \mbox{ ibilaldia badago } \implies x \mathcal{R} z. \end{array}</math> <math>\square</math> <math>\blacksquare</math> <math>\square</math> </p> </li> </ol> <span>'''5.28 Definizioa.'''</span> [baliokidetasuna] Teoreman definitutako baliokidetasun-erlazioak erpinen <math>V</math> multzoa <math>V_1, \ldots, V_q</math> baliokidetasun-klasetan banatzen du. <math>G_1=(V_1, E_1)</math>, <math>\ldots</math>, <math>G_q= (V_q, E_q)</math> grafoei, non <math>E_i</math>, <math>i=1, \ldots, q</math>, <math>V_i</math> multzoaren erpinekin intzidenteak diren ertzen multzoak diren, <math>G</math> grafoaren <span>'''osagai konexu'''</span> deituko diegu. <math>G</math> grafoaren osagai konexuen kopurua <math>\kappa(G)</math> adieraziko dugu. <span>'''Ondorioa.'''</span> <math>G</math> grafoa konexua da baldin eta soilik baldin <math>\kappa(G) = 1</math> bada. <span>'''5.29 Adibidea.'''</span> [elkartua]-2 Adibideko grafoak 2 osagai konexu ditu, <math>\kappa(G) = 2</math>: <math>G_1=(V_1, E_1)</math>, non <math>V_1=\{x_1, x_2, x_3, x_4\}, \quad E_1=\{\{x_1,x_2\}, \{x_1,x_3\}, \{x_2,x_3\}, \{x_2,x_4\}, \{x_3,x_4\}, \{x_4,x_4\}\} \mbox{ diren;}</math> eta <math>G_2= (V_2, E_2)</math>, non <math>V_2=\{x_5\}, \quad E_2=\emptyset \mbox{ diren}.</math> == 5.5 Grafo baten auzokidetasun-matrizea == <span>'''5.30 Definizioa.'''</span> Izan bedi <math>G=(V, E)</math> grafo bakun ez-zuzendua, begiztarik gabea eta <math>n</math> erpinekin, non <math>V=\{x_1, \ldots, x_n\}</math> den. <math>G</math> grafoari dagokion <span>'''auzokidetasun-matrizea'''</span> honela definituko dugu: <math>A=(a_{ij})</math>, <math>i,j=1,...,n</math> <math>a_{ij} = \left\{ \begin{array}{ll} 1, & \quad x_i, x_j \mbox{ auzokideak badira,} \\ 0, & \quad x_i, x_j \mbox{ ez badira auzokideak.} \\ \end{array} \right.</math> <math>A</math> matrizea simetrikoa da eta diagonal nagusiko elementu guztiak <math>0</math> dira. <math>G</math> grafoaren egituraren informazio osoa du, eta <math>G</math> adierazteko erabil dezakegu. <math>x_i \in V</math> erpin bakoitzeko hau betetzen da: <math>d(x_i) = \sum_{j=1}^n a_{ij} = \sum_{j=1}^n a_{ji}.</math> <span>'''5.31 Adibideak.'''</span> [matrizea] <ol> <li><p> [elkartua]-2 Adibideko grafoaren auzokidetasun-matrizea (begizta kenduta) hau da: <math>A = \left( \begin{array}{ccccc} 0 & 1 & 1 & 0 & 0 \\ 1 & 0 & 1 & 1 & 0 \\ 1 & 1 & 0 & 1 & 0 \\ 0 & 1 & 1 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 \end{array} \right).</math> </p></li> <li><p> Hona hemen grafo bakun ez-zuzendu bat, begiztarik gabea: [[File:0508maad.svg|center|150px]] </p> <p> grafoaren auzokidetasun-matrizea (erpinak ordena alfabetikoan hartuta) hau da: <math>A = \left( \begin{array}{ccccc} 0 & 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 1 & 0 \\ 1 & 0 & 1 & 0 & 1 \\ 0 & 1 & 0 & 1 & 0 \end{array} \right).</math> </p> <p> Bosgarren errenkadako edo zutabeko elementuen batura 2 da; hau da, <math>d(e)=2</math>.</p> </li> </ol> <span>'''5.32 Teorema.'''</span> Izan bitez <math>G=(V, E)</math> grafo bakun ez-zuzendua, begiztarik gabea, <math>V = \{x_1, \ldots, x_n\}</math> erpinak eta <math>A</math> <math>G</math> grafoari dagokion auzokidetasun-matrizea. <math>A^p</math> matrizearen <math>(i,j)</math> elementua <math>p</math> luzerako <math>x_i-x_j</math> ibilaldien kopurua da. <span>'''Froga.''' </span> <math>p</math>-ren gaineko indukzioaren bidez frogatuko dugu. <math>p=1</math> bada, <math>A^p=A</math> izango da; eta <math>1</math> luzerako <math>x_i-x_j</math> ibilaldien kopurua hau da: <math>\left\{ \begin{array}{ll} 1, & \quad (x_i, x_j) \in E \mbox{ bada,} \\ 0, & \quad (x_i, x_j) \not \in E \mbox{ bada;} \\ \end{array} \right.</math> hau da, <math>A</math> matrizearen <math>(i,j)</math> elementua. Demagun teorema betetzen dela <math>p=k</math> denean, hau da, <math>A^k</math> matrizearen <math>(i,j)</math> elementua <math>k</math> luzerako <math>x_i-x_j</math> ibilaldien kopurua dela; ikus dezagun <math>p=k+1</math> denean ere betetzen dela. Hau da, <math>A^{k+1}</math> matrizearen <math>(i,j)</math> elementua <math>k+1</math> luzerako <math>x_i-x_j</math> ibilaldien kopurua dela frogatu behar dugu. Izan bitez <math>A^k=(b_{ij})</math> eta <math>A^{k+1}=(c_{ij})</math>. Orduan, <math>A^{k+1} = A^kA</math> denez, hau beteko da: <math>c_{ij} = \sum_{l=1}^{n} b_{il}a_{lj}.</math> <math>k+1</math> luzerako <math>x_i-x_j</math> ibilaldi bakoitza <math>k</math> luzerako <math>x_i-x_l</math> ibilaldi batek eta, jarraian, <math>\{x_l,x_j\}</math> ertz batek osatuko dute, non <math>x_l</math> erpina (<math>l \in \{1, \ldots, n\}</math>) edozein erpin den. [[File:0509teomapa.svg|center|350px]] <math>\{x_l,x_j\} \in E</math> bada, <math>a_{lj}=1</math> izango da; beraz, <math>k+1</math> luzerako eta <math>x_i =y_0, y_1, \ldots, y_k=x_l, y_{k+1}= x_j</math> itxurako <math>x_i-x_j</math> ibilaldien kopurua <math>k</math> luzerako <math>x_i-x_l</math> ibilaldien kopurua izango da, hots, <math>b_{il} = b_{il}a_{lj}</math>. Ordea, <math>\{x_l,x_j\} \not \in E</math> bada, <math>a_{lj}=0</math> izango da; beraz, <math>k+1</math> luzerako eta <math>x_i =y_0, y_1, \ldots, y_k=x_l, y_{k+1}= x_j</math> itxurako ibilaldien kopurua <math>0=b_{il}a_{lj}</math> izango da. Hortaz, <math>k+1</math> luzerako <math>x_i-x_j</math> ibilaldi guztien kopurua hau da: <math>\sum_{l=1}^{n}b_{il}a_{lj}=c_{ij}.</math> <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.33 Adibidea.''' </span> [matrizea]-2 Adibideko grafoaren auzokidetasun-matrizerako hau dugu: <math>A^3 = \left( \begin{array}{ccccc} 0 & 1 & 0 & 3 & 0 \\ 1 & 0 & 1 & 0 & 2 \\ 0 & 1 & 0 & 3 & 0 \\ 3 & 0 & 3 & 0 & 4 \\ 0 & 2 & 0 & 4 & 0 \end{array} \right)</math> Ez dago <math>3</math> luzerako <math>a-c</math> ibilaldirik <math>a</math> eta <math>c</math> artean; badaude <math>3</math> luzerako lau ibilaldi <math>d</math> eta <math>e</math> artean: <math>d,a,d,e; \quad d,c,d,e; \quad d,e,d,e; \quad \mbox{ eta } \quad d,e,b,e.</math> == 5.6 Azpigrafoak. Grafo osagarria == <span>'''5.34 Definizioa.'''</span> Izan bedi <math>G=(V, E)</math> grafo bat (zuzendua edo ez). <math>G_1=(V_1, E_1)</math> grafoa <math>G</math> grafoaren <span>'''azpigrafo'''</span> bat da bi baldintza hauek betetzen baditu: * <math>\emptyset \neq V_1 \subseteq V</math> eta * <math>E_1 \subseteq E</math> eta <math>E_1</math> multzoaren ertz bakoitzak intzidente izan behar du <math>V_1</math> multzoaren erpinekin soilik. <span>'''5.35 Adibidea.'''</span> [azpigrafoak] [matrizea]-2 Adibideko grafoa izanik, grafo hauek bere azpigrafoak dira: <math>\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad G_1</math> [[File:0510azpigra1.svg|center|70px]] <math>\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad G_2</math> [[File:0511azpigra3.svg|center|140px]] <math>\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad G_3</math> [[File:0512azpigra5.svg|center|140px]] <span>'''5.36 Definizioa.'''</span> <math>G_1= (V_1, E_1)</math> grafoa <math>G=(V,E)</math> grafoaren azpigrafoa bada eta <math>V_1 = V</math> bada, <math>G_1</math> grafoa <math>G</math> grafoaren <span>'''azpigrafo sortzailea'''</span> dela esango dugu. Ertzen azpimultzo bakoitzeko azpigrafo sortzaile bat lortuko dugu. Beraz, <math>G=(V,E)</math> grafoan <math>\vert E \vert = m</math> bada, <math>2^m</math> azpigrafo sortzaile izango ditu. <span>'''5.37 Adibidea.'''</span> [azpigrafoak] Adibidean, <math>G</math> grafoaren <math>G_2</math> azpigrafo sortzailea da; baina, <math>G_1</math> eta <math>G_3</math> ez dira azpigrafo sortzaileak. <math>G</math> grafoak <math>2^4=16</math> azpigrafo sortzaile ditu. <span>'''5.38 Definizioa.'''</span> Izan bitez <math>G=(V, E)</math> grafo bat (zuzendua edo ez) eta <math>\emptyset \neq U \subset V</math> multzo bat. <math>U</math> multzoak <span>induzitutako</span> <math>G</math> grafoaren <span>azpigrafo</span> deituko diogu honela definitutako grafoari: <math>U</math> multzoak <math>G</math> grafoan honela definitzen duen azpigrafoari <span>'''azpigrafo induzitu'''</span> deituko diogu: * erpinen multzoa <math>U</math> da eta * ertzen multzoa <math>E \cap (U \times U)</math> da (hots, <math>U</math> multzoaren erpinekin soilik intzidenteak diren <math>E</math> multzoaren ertzak). Azpigrafo induzitua <math><U></math> adieraziko dugu. <span>'''5.39 Adibidea.'''</span> [azpigrafoak] Adibidean, <math>G_3</math> azpigrafo induzitua da, <math>V_3 = \{a, b, c, e\}</math> multzoak induzitutakoa hain zuzen. <math>G_3=<V_3>.</math> <math>G_1</math> ez da <math>V_1=\{a, b, c, d\}</math> multzoak induzitutako azpigrafoa, <math>\{a,d\}</math> ertza ez dago eta. Ikus ditzagun, orain, beste bi azpigrafo mota, erpin bat edo ertz bat kentzean sortutakoak. <span>'''5.40 Definizioa.'''</span> Izan bedi <math>G=(V, E)</math> grafo bat (zuzendua edo ez). <ul> <li><p><math>x \in V</math> izanik, <math>G-x</math> idatziko dugu <math>G-x = (V_1,E_1)</math> azpigrafoa adierazteko, non:</p> <ul> <li><p><math>V_1 = V \setminus \{x\}</math> den eta</p></li> <li><p><math>E_1</math> multzoan <math>E</math> multzoaren ertz guztiak dauden, <math>x</math> erpinarekin intzidenteak direnak izan ezik.</p></li></ul> <p>Hortaz, <math>G-x = <V_1></math> grafo induzitua dugu.</p></li> <li><p><math>e \in E</math> izanik, <math>G-e</math> idatziko dugu <math>G-e = (V_1, E_1)</math> azpigrafoa adierazteko, non:</p> <ul> <li><p><math>V_1=V</math> den eta</p></li> <li><p><math>E_1 = E \setminus \{e\}</math> den.</p></li></ul> </li></ul> <span>'''5.41 Adibidea.'''</span> [ken] [azpigrafoak] Adibidean, <math>G_3 = G-d</math> eta <math>G_2 = G - \{d,e\}</math> dira. Grafo baten grafo osagarria definitu ahal izateko grafo osotuaren kontzeptua behar dugu. <span>'''5.42 Definizioa.'''</span> Izan bedi <math>V=\{x_1, \ldots, x_n\}</math> erpinen multzoa. <math>V</math> multzoaren gaineko <span>'''grafo osotua'''</span> grafo bakun, ez-zuzendu eta begiztarik gabea da, non <math>(\forall x, y \in V) \quad x \neq y \implies \{x,y\} \; \mbox{ ertza ezistitzen den}.</math> <math>n</math> erpineko grafo osotua <math>K_n</math> adieraziko dugu. Ohar gaitezen <math>K_n</math> grafoak <math>n</math> erpin eta <math>\left( \begin{array}{c}n \\ 2 \end{array} \right)</math> ertz dituela, eta erpin bakoitzaren gradua <math>n-1</math> dela. <span>'''5.43 Adibideak.'''</span> <math>\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad K_4</math> [[File:0513k4.svg|center|100px]] <math>\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad K_5</math> [[File:0514k5.svg|center|150px]] <span>'''5.44 Definizioa.'''</span> Izan bedi <math>G=(V, E)</math> grafo bakuna, ez-zuzendua, begiztarik gabea eta <math>n</math> erpin dituena, <math>V=\{x_1, \ldots, x_n\}</math> izanik. <math>G</math> grafoaren <span>'''grafo osagarria'''</span> <math>K_n</math> grafo osotuaren <math>\overline{G}=(V, \overline{E})</math> azpigrafoa da, non <math>\overline{E}</math> multzoan <math>E</math> multzoan ez dauden <math>K_n</math> grafo osotuaren ertzak dauden. <math>G=K_n</math> bada, <math>\overline{G}</math> grafoak <math>n</math> erpin eta <math>0</math> ertz izango ditu; <span>'''grafo nulu'''</span> deitzen da. <span>'''5.45 Adibidea.'''</span> <math>G</math> grafo hau bada: [[File:0515graosag1.svg|center|150px]] <math>\overline{G}</math> grafo osagarria beste hau izango da: [[File:0516graosag2.svg|center|140px]] <span>'''5.46 Definizioa.'''</span> <math>G = (V, E)</math> <span>'''zatibiko grafoa'''</span> da grafo bakuna, ez-zuzendua eta begiztarik gabea bada eta * <math>V_1, V_2</math> badaude, non <math>V_1 \cup V_2 = V</math> eta <math>V_1 \cap V_2 = \emptyset</math> diren eta * <math>G</math> grafoaren <math>\{x,y\}</math> ertz bakoitzean <math>x \in V_1</math> eta <math>y \in V_2</math> badira. Horrez gain, (<math>\forall x \in V_1</math>, <math>\forall y \in V_2</math>) <math>\{x,y\}</math> ertza badago, <math>G</math> <span>'''zatibiko grafo osotua'''</span> da, eta <math>K_{n_1,n_2}</math> idatziko dugu, <math>\vert V_1 \vert = n_1</math> eta <math>\vert V_2 \vert = n_2</math> izanik. <span>'''5.47 Adibideak.''' </span> <ol> <li><p>Grafo hau zatibiko grafo da (ez osotua):</p> <p>[[File:0517zatibigra.svg|center|140px]]</p></li> <li><p>Grafo hau <math>K_{2,3}</math> zatibiko grafo osotua da:</p> <p>[[File:0518k23.svg|center|150px]]</p></li></ol> == 5.7 Grafoen arteko isomorfismoak == <span>'''5.48 Definizioa.'''</span> Izan bitez <math>G_1= (V_1, E_1)</math> eta <math>G_2= (V_2, E_2)</math> bi grafo ez-zuzendu. Grafoen arteko <math>f: V_1 \; \longrightarrow \; V_2</math> funtzioa <span>'''isomorfismoa'''</span> da hau betetzen badu: * <math>f</math> bijektiboa da eta * <math>(\forall x, y \in V_1) \quad \{x, y\}\in E_1 \, \mbox{ baldin eta soilik baldin } \, \{f(x), f(y)\} \in E_2</math>. Horrelako funtzio bat badago, <math>G_1</math> eta <math>G_2</math> <span>'''grafo isomorfoak'''</span> dira eta <math>G_1 \cong G_2</math> idatziko dugu. Grafoen arteko isomorfiak baliokidetasun-erlazio bat definitzen du grafoen multzoan. <math>G_1</math> eta <math>G_2</math> grafo isomorfoak badira, funtsean berdinak dira: * erpinen kopuru bera dute; * ertzen kopuru bera dute; * gradu bera duten erpinen kopuru bera dute; * zikloen kopuru bera dute; * etab. <span>'''5.49 Adibideak.'''</span> [isomorfismo] <ol> <li><p>Har ditzagun grafo hauek:</p> <p><math>G_1=(V_1,E_1) \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad G_2=(V_2,E_2)</math></p> <p>[[File:0519graiso1.svg|left|490px]]</p> <p><math>f: V_1 \; \longrightarrow \; V_2</math> funtzioa, non <math>f(a) = v, \quad f(b) = y, \quad f(c) = w, \quad f(d) = z, \quad f(e) = x</math> diren, isomorfismoa da. Hau da, <math>G_1 \cong G_2</math>.</p> <p><math>\begin{array}{l} \{a,c\} \leftrightarrow \{f(a),f(c)\}=\{v,w\} \\ \{c,e\} \leftrightarrow \{f(c),f(e)\}=\{w,x\} \\ \{e,b\} \leftrightarrow \{f(e),f(b)\}=\{x,y\} \\ \{b,d\} \leftrightarrow \{f(b),f(d)\}=\{y,z\} \\ \{d,a\} \leftrightarrow \{f(d),f(a)\}=\{z,v\} \\ \end{array}</math></p> </li> <li>Ikus ditzagun, orain, grafo hauek: <p><math>G_3 \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad G_4</math></p> <div><ul> <li style="display: inline-block;"> [[File:0520graiso2.svg|left|250px]] </li> <li style="display: inline-block;"> </li> <li style="display: inline-block;"> [[File:0521graiso3.svg|left|250px]] </li> </ul></div> <p>Bi grafoek 6na erpin eta 9na ertz dituzte. Baina ez dira isomorfoak.</p> <p><math>d(a) = d(d) = 2, \quad d(b) = d(e) = 3, \quad d(c) = d(f) = 4,</math> <math>d(u) = d(w) = d(y) = 2, \quad d(v) = d(x) = d(z) = 4;</math> gradu bereko erpinen kopuruak desberdinak dira.</p> </li> </ol> == 5.8 Kate eta zirkuitu eulertarrak == <span>'''5.50 Definizioa.'''</span> Izan bedi <math>G=(V, E)</math> grafo ez-zuzendua eta erpin isolaturik gabea. <math>G</math> grafoaren ertz guztiak erabiltzen dituen zirkuituari <span>'''zirkuitu eulertar'''</span> deituko diogu. <math>G</math> grafoaren ertz guztiak erabiltzen dituen kate irekiari <span>'''kate eulertar'''</span> deituko diogu. <math>G</math> grafoa <span>'''eulertarra'''</span> da zirkuitu eulertar bat badauka. <span>'''5.51 Adibideak.'''</span> <ol> <li> [isomorfismo]-2 Adibideko <math>G_4</math> grafoan zirkuitu eulertar hau aurki dezakegu: <math display="block">u, v, z, x, v, w, x, y, z, u.</math> Zirkuitu eulertarra da, grafoaren ertz guztiak zeharkatzen dituelako, bakoitza behin bakarrik, eta hasitako erpinean amaitzen delako. Beraz, grafo eulertarra da. </li> <li> [isomorfismo]-2 Adibideko <math>G_3</math> grafoan kate eulertar hau aurki dezakegu: <math display="block">b, a, f, b, c, d, e, c, f, e.</math> Kate eulertarra da, grafoaren ertz guztiak zeharkatzen dituelako, bakoitza behin bakarrik, eta ez delako hasitako erpinean amaitzen. Ezin da, ordea, zirkuitu eulertar bat ere aurkitu. </li> </ol> <span>'''5.52 Teorema.'''</span> [zieul] Izan bedi <math>G=(V, E)</math> grafo ez-zuzendua eta erpin isolaturik gabea. Orduan, <math>G</math> eulertarra da <math>\iff</math> <math>G</math> konexua bada eta <math>G</math> grafoaren erpin guztiek gradu bikoitia badute. <span>'''Froga.'''</span> <math>\implies</math>: Demagun <math>G</math> eulertarra dela, hots, <math>C</math> zirkuitu eulertar bat duela. Ikus dezagun <math>G</math> konexua dela: <math>G</math> grafoak erpin isolaturik ez duenez, <math>V</math> multzoaren erpin guztiak behin gutxienez agertuko dira <math>C</math> zirkuituan. <math>x,y \in V</math> bi erpin desberdin izanik, <math>x</math> erpinean hasten den eta <math>y</math> erpinean bukatzen den <math>C</math> zirkuituaren zatia <math>x-y</math> ibilaldi bat da. Beraz, <math>G</math> konexua da. Ikus dezagun, orain, erpin guztiek gradu bikoitia dutela. Izan bedi <math>x</math> edozein erpin. <math>C</math> zirkuitua <math>x</math> erpinera ertz batetik “heltzen” denean, <math>x</math> erpinetik ertz desberdin batetik “aterako” da. Beraz, <math>C</math> zirkuituak <math>x</math> erpinarekin intzidenteak diren bi ertz desberdin, edo begizta berri bat, erabiltzen ditu. Bi kasuetan, <math>C</math> zirkuitua <math>x</math> erpinetik pasatzen den bakoitzean, bi unitate eransten dio <math>x</math> erpinaren graduari; hortaz, <math>d(x)</math> bikoitia da. <math>\Longleftarrow</math>: Demagun <math>G</math> konexua dela eta <math>G</math> grafoaren erpin guztiek gradu bikoitia dutela. <math>G</math> eulertarra dela frogatu behar dugu. <math>G</math> grafoaren ertzen <math>m</math> kopuruaren gaineko indukzioz egingo dugu. <math>m=1</math> bada, <math>G</math> grafoa hau da: [[File:0522teoeule.svg|center|150px]] eta zirkuitu eulertarra nabaria da. Pentsa dezagun, <math>m < p</math> denean, zirkuitu eulertarra eraiki dezakegula. <math>m=p</math> denean, zirkuitu eulertarra eraiki ahal izango dugula frogatuko dugu. Hasteko, <math>x \in V</math> erpin bat izanik, <math>x</math> erpina duen zirkuitu bat dagoela frogatuko dugu. Izan bedi <math display="block">x=y_0, f_1, y_1, \ldots,f_{k}, y_k</math> <math>x</math> erpinean hasten den ibilaldirik luzeena, <math>y_i</math> erpinak eta <math>f_i</math> ertzak izanik, <math>i \in \{1, \cdots, k \}</math>. <ol> <li> <math>i \in \{1, \cdots, k\}</math> baterako <math>y_i = x</math> bada, <math display="block">x = y_0, f_1, \cdots, f_i, y_i = x</math> <math>x</math> erpina duen ibilaldi itxi bat da. </li> <li> <math>i \in \{1, \cdots, k \}</math> guztietarako <math>y_i \neq x</math> bada, <math>y_k</math> erpina hartuko dugu. <ol> * <math>y_k = y_i</math> bada <math>i \in \{1, \cdots, k-1 \}</math> baterako, <math>y_k</math> erpina ibilaldiaren tartean eta amaieran agertuko da. Tartean agertzen den bakoitzean, graduari <math>2</math> erantsiko dio, eta amaieran agertzean <math>1</math> erantsiko dio; beraz, guztira gradu bakoitia emango du. Hipotesiz, erpin guztiek gradu bikoitia dutenez, ibilaldian erabili ez den ertz bat, gutxienez, intzidentea da <math>y_k</math> erpinarekin. Horrek esan nahi du ibilaldia luza dezakegula, esan dugunaren kontra, hau da, ibilaldia luzeena izatearen kontra. * <math>y_k \neq y_i</math> bada <math>i \in \{1, \cdots, k-1 \}</math> guztietarako, <math>y_k</math> erpina ibilaldiaren amaieran bakarrik agertuko da. <math>y_k</math> erpinaren gradua bikoitia denez eta <math>y_k</math> erpinarekin intzidentea den ertz bat bakarrik erabili dugunez, ibilaldian ez dagoen beste ertz bat egon behar da. Berriro ere, horrek esan nahi du ibilaldia luzatu ahal genukeela, ibilaldia luzeena izatearen kontra. </ol> </li> </ol> Horrela, <math>x</math> erpinetik pasatzen den ibilaldi itxi bat dagoela frogatu dugu. [ibilbide] Teoremaren arabera, ibilaldi bat badago, bide bat dago; beraz, <math>x</math> erpinetik pasatzen den <math>C</math> bide itxi (ziklo) bat dago. Eta ziklo hori <math>x</math> erpinetik pasatzen den zirkuitua da, erpinak ez badira errepikatzen ertzak ere ezin direlako errepikatu. Zirkuitu horretan grafoaren ertz guztiak badaude, zirkuitu eulertarra da. <math>G</math> grafoaren ertz guztiak ez badaude, <math>G</math> grafotik <math>C</math> zirkuitua ezabatuko dugu, eta, horrekin batera, isolaturik gera daitezkeen erpinak ere bai. Horrela, <math>G'</math> grafo bat lortuko dugu, zeinak <math>\{G_1, G_2, \ldots, G_l\}</math> osagai konexuak izan ditzakeen. Osagai bakoitzak erpin komun bat izango du <math>C</math> zirkuituarekin. Horrez gain, osagai konexu bakoitza <math>p</math> baino ertz gutxiago dituen grafo konexua da, eta erpin guztiek gradu bikoitia izanik; hortaz, indukzio-hipotesiaren arabera, osagai konexu bakoitzerako zirkuitu eulertar bat izango dugu. <math>G</math> grafoaren zirkuitu eulertarra lortzeko, <math>C</math> zirkuitutik ibiliko gara, edozein erpinetatik hasita. Osagai konexuren batekin komunean duen erpin batera heltzean, <math>C</math> zirkuitutik aterako gara eta osagai konexuaren zirkuitu eulertarra ibiliko dugu erpin komunera itzuli arte; osagaitik atera eta <math>C</math> zirkuitutik segituko dugu. Horrela, osagai konexu guztietatik pasatu eta gero, <math>C</math> zirkuitura itzuliko gara eta hasi garen erpinean bukatuko dugu. Hori izango da <math>G</math> grafoaren zirkuitu eulertarra. Prozesu honek bukaera izango du, ertzen kopurua finitua delako. <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.53 Adibideak.'''</span> <ol> <li><p> Irudiko grafoan, <math>b</math> erpinetik pasatzen den <math>C</math> zirkuitua hartuko dugu: <math>C = bcgfb.</math> Gero, <math>G</math> grafoari <math>C</math> zirkuituaren ertzak eta isolaturik geratu den <math>b</math> erpina kenduko dizkiogu; <math>G_1</math>, <math>G_2</math> eta <math>G_3</math> osagai konexuek osatzen duten <math>G'</math> grafoa geratuko zaigu.</p> <p>[[File:0523zireul1.svg|0523zireul1]]</p> <p><math>G</math> grafoaren zirkuitu eulertarra lortzeko, <math>b</math> erpinetik (esaterako) hasiko gara: <math>bcG_1cgG_2gfG_3fb;</math> edo erpin guztiak idatziz: <math>bc\underline{adc}g\underline{ijg}f\underline{ehf}b.</math> </p></li> <li><p> Irudiko <math>G</math> graforako, bi graduko <math>d</math> eta <math>e</math> erpinetatik pasatzen den <math>C</math> zirkuitu bat hartuko dugu: <math>C = dheagd</math>. Gero, <math>G</math> grafoari <math>C</math> zirkuituaren ertzak eta isolaturik geratu diren <math>d</math> eta <math>e</math> erpinak kenduko dizkiogu; <math>G'</math> lortuko dugu. <math>G'</math> grafoan, <math>C' = bchfb</math> zirkuitua hartuko dugu. Orain, <math>G'</math> grafoari <math>C'</math> zirkuitua kenduz gero (ez da erpin isolaturik geratzen), <math>G''</math> grafoa lortuko dugu. <math>G''</math> grafoan erpin guztiek bi gradua dute, eta erraz aurki dezakegu zirkuitu eulertar bat: <math>E'' = afcgbha</math>. </p> <p> <math>G'</math> grafoaren zirkuitu eulertarra eratuko dugu. <math>C'</math> zirkuituaren edozein erpin hartuko dugu, esaterako, <math>b</math>. <math>b</math> erpina <math>G''</math> grafoan dagoenez, <math>G''</math> grafoan sartuko gara eta bere zirkuitu eulertarra ibiliko dugu, <math>b</math> erpinean bukatuz. Orain, <math>C'</math> zirkuitutik segituko dugu. Horrela zirkuitu eulertar hau lortuko dugu: <math>E' = b\underline{hafcgb}chfb</math>. </p> <p> <math>G</math> grafoaren <math>E</math> zirkuitu eulertarra eratzeko, <math>C</math> zirkuituaren edozein erpinetan hasiko gara, adibidez, <math>d</math> erpinean. <math>C</math> zirkuitutik ibiliko gara <math>G'</math> grafoarekin erpin komun bat aurkitu arte, adibidez, <math>h</math>. <math>h</math> erpinetik <math>G'</math> grafoan sartuko gara eta <math>E'</math> zirkuitu eulertarra berridatziko dugu: <math>E' = hafcgbchfbh</math>. Horrela, <math>G'</math> grafo osoa ibili dugu, eta <math>C</math> zirkuitura aterako gara <math>h</math> erpinetik, eta hortik segituko dugu <math>d</math> erpineraino. Bukaeran zirkuitu eulertar hau osatu dugu: <math>E=dh\underline{afcgb\underline{chfb}h}eagd</math>.</p> <p>[[File:0524zireul2.svg|0524zireul2]]</p> </li> </ol> <span>'''5.54 Korolarioa.'''</span> Izan bedi <math>G = (V, E)</math> grafo ez-zuzendu eta erpin isolaturik gabe bat. Orduan, <math>G</math> grafoak kate eulertar bat du <math>\iff</math> <math>G</math> konexua bada eta zehazki bi erpinek gradu bakoitia badute. <span>'''Froga.'''</span> <math>\implies</math>: Demagun <math>G</math> grafoak <math>R</math> kate eulertar bat duela (ez zirkuitua): <math>a-b</math>, <math>a \neq b</math> izanik. Izan bedi <math>G'</math> grafoa <math>G</math> grafoari <math>\{a, b\}</math> ertza eranstean sortzen den grafoa. Orduan, <math>R \cup \{a,b\}</math> <math>G'</math> grafoaren zirkuitu eulertarra da. [zieul] Teorema <math>G'</math> grafoari aplikatuz gero, <math>G'</math> grafoaren erpin guztiek gradu bikoitia izango dute. <math>x \in V</math> izanik, <math>d(x)</math> bada <math>x</math> erpinaren gradua <math>G</math> grafoan, eta <math>d'(x)</math> bada <math>x</math> erpinaren gradua <math>G'</math> grafoan, <math>\begin{array}{ll} d(x)=d'(x), & x \neq a, x \neq b \mbox{ bada}, \\ d(a)=d'(a)-1, \\ d(b)=d'(b)-1. \end{array}</math> <math>\forall x \in V,</math> <math>d'(x)</math> bikoitia denez, <math>G</math> grafoak gradu bakoitiko bi erpin bakarrik izango ditu, <math>a</math> eta <math>b</math>. <math>\Longleftarrow</math> : Demagun <math>G</math> konexua dela eta zehazki bi erpinek gradu bakoitia dutela, <math>a \neq b</math>. Izan bedi <math>G'</math> grafoa <math>G</math> grafoari <math>\{a, b\}</math> ertza eranstean sortzen den grafoa. <math>G'</math> konexua da eta <math>G'</math> grafoaren erpin guztiek gradu bikoitia badute. [zieul] Teorema aplikatuz, <math>G'</math> grafoak <math>C</math> zirkuitu eulertar bat dauka. <math>C</math> zirkuitutik <math>\{a, b\}</math> ertza ezabatuz, kate eulertar bat lortuko dugu <math>G</math> graforako. Kate eulertar hori gradu bakoitiko erpin batean hasiko da eta bestean bukatuko da. <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.55 Adibideak.'''</span> <ol> <li><p> [[File:0525kateul.svg|center|150px]]</p> <p>grafoan, <math>K = acbadc</math> kate eulertar bat da. Ez dago zirkuitu eulertarrik. </p></li> <li><p> [[#etikgrafoezzu|Königsbergeko zubien problemaren grafoan]], lau erpinek gradu bakoitia dute: <math display="block">d(A)=5, d(B)=d(C)=d(D)=3;</math> beraz, ezin da kate eulertarrik, ezta zirkuitu eulertarrik ere, osatu. Ondorioz, ezin da halako ibilaldirik egin zubiak behin bakarrik pasatzen. </p></li> </ol> Aurreko kontzeptuak eta emaitzak grafo zuzenduetara zabal ditzakegu. <span>'''5.56 Definizioa.'''</span> Izan bedi <math>G=(V, E)</math> grafo zuzendu eta erpin isolaturik gabea. <math>G</math> grafoaren ertz guztiak erabiltzen dituen zirkuitu zuzenduari <span>'''zirkuitu eulertar zuzendu'''</span> deituko diogu. <math>G</math> grafoa <span>'''eulertar zuzendua'''</span> da zirkuitu eulertar zuzendu bat badauka. <span>'''5.57 Teorema.'''</span> Izan bedi <math>G = (V, E)</math> grafo zuzendu eta erpin isolaturik gabea. Orduan, <math>G</math> grafoak zirkuitu eulertar zuzendua du <math>\iff</math> <math>G</math> grafo konexua bada eta <math>x \in V</math> erpin guztietarako <math>d^+(x)=d^-(x)</math> betetzen bada. == 5.9 Bide eta ziklo hamiltondarrak == <span>'''5.58 Definizioa.'''</span> Izan bedi <math>G=(V, E)</math> grafo ez-zuzendua, <math>\vert V \vert = n \geq 3</math> izanik. <math>G</math> grafoaren erpin guztiak dituen ziklo bati <span>'''ziklo hamiltondar'''</span> deituko diogu. <math>G</math> grafoaren erpin guztiak dituen bide ireki bati <span>'''bide hamiltondar'''</span> deituko diogu. <math>G</math> grafoa <span>'''hamiltondarra'''</span> da ziklo hamiltondar bat badu. <span>'''Oharrak.'''</span> # Ziklo hamiltondar batetik ertz bat ezabatuz gero, bide hamiltondar bat lortuko dugu. # Grafo batek bide hamiltondar bat badu, konexua da. # Zirkuitu eta kate eulertarrekin ez bezala, ez dago baldintza nahikorik, ezta beharrezkorik ere, ziklo edo bide hamiltondarren bat dagoela ziurtatzeko. Teorema batzuek baldintza beharrezkoak ematen dituzte, eta beste batzuek baldintza nahikoak. <span>'''5.59 Adibidea.''' </span> [[File:0526biham.svg|center|200px]] <math>G</math> grafoan, <math display="block">a, b, c, d, e, f, g, h, i</math> bide hamiltondarra da. Ikus dezagun ea <math>G</math> grafoan ziklo hamiltondarren bat dagoen. <math>G</math> grafoak bederatzi erpin dituenez, ziklo hamiltondar bat balego, bederatzi ertz izango lituzke. Has gaitezen <math>b</math> erpinean eta saia gaitezen ziklo hamiltondar bat eratzen. Grafoaren simetria kontuan izango dugu. <math>b</math> erpinetik <math>c</math> erpinera joango gara; gero, edo <math>d</math> edo <math>i</math> erpinetara joan gaitezke. <math>d</math> erpinera bagoaz, <math>\{c,i\}</math> ertza ezin da zikloan sartu, ezin garelako itzuli <math>c</math> erpinera. Orain, edo <math>e</math> edo <math>i</math> erpinetara joan gaitezke. <math>e</math> erpinera bagoaz, <math>\{d,i\}</math> ertza ezin da zikloan sartu; beraz, <math>i</math> erpinera heltzen garenean ezin izango dugu segitu. Baina <math>i</math> erpinera bagoaz, <math>\{e,d\}</math> ertza ezin da zikloan sartu; beraz, <math>e</math> erpinera heltzen garenean ezin izango dugu segitu. Ondorioz, grafo horrek ez du ziklo hamiltondarrik. Adibide horri begira, iradokizun batzuk eman ditzakegu <math>G=(V,E)</math> grafoan ziklo hamiltondar bat aurkitzeko. * <math>G</math> hamiltondarra bada, <math>x \in V</math> erpin guztietarako <math>d(x) \geq 2</math> da. * <math>a \in V</math> eta <math>d(a)=2</math> bada, <math>a</math> erpinarekin intzidenteak diren ertzek <math>G</math> grafoaren edozein ziklo hamiltondarretan agertu behar dute. * <math>a \in V</math> eta <math>d(a)>2</math> bada, <math>G</math> grafoaren edozein ziklo hamiltondar eraikitzeko, <math>a</math> erpinetik behin pasatu eta gero, <math>a</math> erpinarekin intzidenteak diren eta erabili ez ditugun ertzak baztertuko ditugu. * <math>G</math> grafoaren edozein ziklo hamiltondar eraikitzean, ezin izango dugu ziklo bat osatu <math>G</math> grafoaren azpigrafo baterako, ez bada <math>G</math> grafoaren erpin guztiak hartzen dituela. Ikus ditzagun grafo batek bide edo ziklo hamiltondar bat izateko baldintza nahikoak ematen dituzten teorema batzuk. <span>'''5.60 Teorema.'''</span> Izan bedi <math>G = (V, E)</math> grafoa, begiztarik gabea eta <math>n \geq 3</math> erpin dituena, <math display="block">\forall x, y \in V \quad (x\neq y) \quad d(x)+d(y) \geq n-1</math> betetzen badu, <math>G</math> grafoak bide hamiltondarra izango du. <span>'''5.61 Korolarioa.'''</span> Izan bedi <math>G = (V, E)</math> grafoa, begiztarik gabea eta <math>n \geq 3</math> erpin dituena, <math display="block">\forall x \in V \quad d(x) \geq \frac{n-1}{2}</math> betetzen badu, <math>G</math> grafoak bide hamiltondarra izango du. <span>'''5.62 Adibidea.'''</span> Zazpi azterketa zazpi egunetan antolatu nahi ditugu, irakasle batek bi azterketa jarraian ez ditzan izan. Ezein irakaslek ez du lau baino azterketa gehiago. Ikusiko dugu beti dela posible azterketak antolatzea. Har dezagun <math>G</math> grafoa, non erpinak azterketak diren; bi erpinen artean ertz bat marraztuko dugu bi azterketak irakasle desberdinenak badira. Orduan, erpin bakoitzaren gradua gutxienez <math>3</math> (<math>7-4 = 3</math>) da. Horrela definitutako <math>G</math> grafoak <math>\forall x \in V \quad d(x) \geq \frac{7-1}{2} = 3</math> betetzen du; beraz, bide hamiltondar bat badu. <span>'''5.63 Teorema.'''</span> Izan bedi <math>G = (V, E)</math> grafoa, begiztarik gabe, eta <math>n \geq 3</math> erpin dituena, <math display="block">\forall x, y \in V \quad (x, y \,\mbox{ ez-auzokideak}) \quad d(x)+d(y) \geq n</math> betetzen badu, <math>G</math> grafo hamiltondarra izango da. <span>'''5.64 Korolarioa.'''</span> Izan bedi <math>G = (V, E)</math> grafoa, begiztarik gabea eta <math>n \geq 3</math> erpin dituena, <math display="block">\forall x \in V \quad d(x) \geq \dfrac{n}{2}</math> betetzen badu, <math>G</math> grafo hamiltondarra izango da. <span>'''5.65 Adibidea.'''</span> Hogei laguneko talde batean, bakoitzak gutxienez hamar lagun ezagutzen ditu. Ikus dezagun mahai biribil baten inguruan eser daitezkeela, eta ziurtatu mahaikide bakoitzak bi lagun ezagun izango dituela alde banatan. <math>G</math> grafoan erpinak lagunak izango dira; eta elkar ezagutzen duten lagunen artean ertzak marraztuko ditugu. Grafo horretan erpin bakoitzaren gradua <math>d(x) \geq \dfrac{20}{2} = 10</math> izango da. Hortaz, <math>G</math> grafo hamiltondarra izango da. Baldintza horietan mahaiaren inguruan esertzeko era bakoitza ziklo hamiltondar bat izango da. Ikus ditzagun grafo batek bide edo ziklo hamiltondar bat izateko baldintza beharrezkoak ematen dituzten teorema batzuk. Lehenengoa zatibiko grafo bati dagokio. <span>'''5.66 Teorema.'''</span> <math>G = (V,E)</math> zatibiko grafoa izanik, non <math>V = V_1 \dot{\cup} V_2</math> den, <math>G</math> grafoa hamiltondarra bada, <math>\vert V_1 \vert = \vert V_2 \vert</math> izango da. Aurreko teoremak esaten digu, <math>G=(V,E)</math> zatibiko grafoa izanik, non <math>V = V_1 \dot{\cup} V_2</math> den, <math>\vert V_1 \vert \neq \vert V_2 \vert</math> bada, <math>G</math> grafoa ez dela hamiltondarra. Adibide honek frogabidearen ideia emango digu. <span>'''5.67 Adibidea.'''</span> [zatiziham] Har dezagun <math>G</math> grafo hau: [[File:0527zatiziham1.svg|center|200px]] Grafo hori zatibikoa da. Hori ikusteko erpinak bi multzotan banatuko ditugu honela: <math>a</math> erpina <math>x</math> izendatuko dugu; gero, <math>x</math> erpinarekin auzokide diren erpin guztiak (<math>b</math>, <math>c</math> eta <math>d</math>) <math>y</math> izendatuko ditugu. Ondoren, <math>y</math> erpinekin auzokide diren eta izendatu gabe dauden erpinak <math>x</math> izendatuko ditugu; eta horrela ondoz ondo eginez gero, grafoa honela geratuko da: [[File:0528zatiziham2.svg|center|200px]] Orain, <math>x</math> erpin guztiak alde batera eta <math>y</math> erpin guztiak beste aldera eramanez gero, grafoa zatibikoa dela nabarmen geratuko da: [[File:0529zatiziham3.svg|center|150px]] <math>G</math> grafoaren erpinak bi multzotan banatuko ditugu: <math display="block">V= V_1 \dot{\cup}V_2, \quad V_1=\{a, e, g, i\}, \quad V_2=\{b, c, d, f, h, j\}.</math> <math>\vert V_1 \vert \neq \vert V_2 \vert</math> denez, <math>G</math> grafoa ez da hamiltondarra. Bide hamiltondar bat izanez gero, bidean txandakaturik agertuko lirateke bosna aldiz <math>x</math> eta <math>y</math> letrak; baina, <math>x</math> letra lau aldiz eta <math>y</math> letra sei aldiz dauzkagu. Hortaz, horrelako bide bat osatzea ezinezkoa da. Ondorioz, grafoak ez du bide hamiltondarrik. <span>'''Idazkera.'''</span> <math>G = (V,E)</math> grafoa izanik, eta <math>V' \subset V</math> erpinen azpimultzo bat, <math>G-V'</math> idatziko dugu <math>G-V' = (V_1, E_1)</math> grafoa adierazteko, non <math>V_1 = V \setminus V'</math> den eta <math>E_1</math> multzoan <math>E</math> multzoaren ertzak dauden, <math>V'</math> multzoaren erpinekin intzidenteak direnak izan ezik. <span>'''5.68 Teorema.'''</span> <math>G = (V,E)</math> grafo hamiltondarra bada, edozein <math>V' \subset V</math> azpimultzotarako, <math>\emptyset \neq V' \neq V</math> izanik, <math display="block">\kappa(G-V') \leq \vert V' \vert.</math> <span>'''5.69 Korolarioa.'''</span> <math>G = (V,E)</math> grafoa izanik, <math>V' \subset V</math> azpimultzo bat badago, <math>\emptyset \neq V' \neq V</math> izanik, non <math display="block">\kappa(G-V') > \vert V' \vert</math> betetzen den, <math>G</math> grafoa ez da hamiltondarra izango. <span>'''5.70 Adibidea.''' </span> [zatiziham] Adibideko grafoan, <math>x</math> izendatutako erpinak kenduz gero, <math>y</math> izendatutako erpinak isolaturik geratuko lirateke. Beraz, <math>\kappa(G-V') = 6</math> eta <math>\vert V' \vert = 4</math> dira. Ondorioz, <math>G</math> grafoa ez da hamiltondarra. == 5.10 Zuhaitzak == === 5.10.1 Sarrera === Zuhaitz bat grafo-mota berezi bat da. Gustav Robert Kirchhoff-ek (1824-1887) erabili zituen lehenengo aldiz elektronikan. Beranduago, Arthur Cayley-k (1821-1895) berriro definitu eta garatu zituen Kimika arloan (1857). Zuhaitz berezi batzuk oso garrantzitsuak dira datuen egiturak eta ordenamenduak aztertzeko, kodeketa-teorian eta optimizazio-problema batzuen soluzioan. === 5.10.2 Definizioak eta propietateak === <span>'''5.71 Definizioa.'''</span> Izan bedi <math>T = (V, E)</math> grafo ez-zuzendua eta begiztarik gabea. <math>T</math> grafoa <span>'''zuhaitza'''</span> da konexua bada eta ez badu ziklorik. Grafo baten erpin guztiak dituen eta zuhaitz den edozein azpigrafo sortzaileri <span>'''zuhaitz sortzaile'''</span> deituko diogu. <span>'''5.72 Adibidea.'''</span> [zuhaitza] [[File:0601zuhaitza.svg|center|450px]] <math>G_1</math> grafoa <math>G_2</math> grafoaren zuhaitz sortzailea da. <span>'''5.73 Teorema.'''</span> [bidebakarra] <math>a</math> eta <math>b</math> zuhaitz baten bi erpin desberdin badira, <math>a-b</math> bide bakarra egongo da. <span>'''Froga.''' </span> Izan bitez <math>T=(V,E)</math> zuhaitz bat eta <math>a,b \in V</math>, <math>a \neq b</math>. <math>T</math> konexua denez, gutxienez <math>a-b</math> bide bat dago: <math>C (a=x_0,x_1, \ldots , x_p=b)</math>. Demagun beste <math>a-b</math> bide bat dagoela, <math>C'</math>. Izan bedi <math>x_t</math> erpina <math>C'</math> bidean ez dagoen <math>C</math> bidearen lehen erpina (<math>1 \leq t \leq p-1</math>); eta izan bedi <math>x_s</math> erpina bi bideetan dagoen <math>C</math> bidearen hurrengo erpina (<math>t < s \leq p</math>). [[File:0602bidebakfrog.svg|center|500px]] Orduan, <math>C</math> eta <math>C'</math> bideen zatiek, <math>x_{t-1}</math> eta <math>x_s</math> erpinen artean, ziklo bat osatuko lukete, <math>T</math> zuhaitza izatearen kontra doana. <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.74 Lema.'''</span> [ertziklo] Izan bedi <math>G=(V,E)</math> grafo ez-zuzendua, begiztarik gabea eta konexua, eta izan bedi <math>e \in E \,</math> <math>\, G</math> grafoaren ertz bat. Orduan, <math display="block">e \, \mbox{ ertza ziklo batean dago} \iff G-e \, \mbox{ grafoa konexua bada}.</math> <span>'''Froga.'''</span> Izan bedi <math>e = \{a,b\}</math>. <math>\implies</math>: Demagun <math>e</math> ertza <math>C</math> ziklo batean dagoela: <math>C=a,b,x_1,x_2, \ldots, x_p,a</math>. <math>G-e</math> grafoa konexua dela frogatzeko, edozein <math>x,y \in V</math> bi erpin desberdin izanik, <math>G-e</math> grafoan <math>x-y</math> bide bat dagoela frogatu behar dugu. Izan bitez <math>x,y \in V</math> desberdinak. <math>G</math> grafoa konexua denez, <math>x-y</math> bide bat dago <math>G</math> grafoan (<math>P</math>). <math>P</math> bideak ez badu <math>e</math> ertza, <math>P</math> bidea da <math>G-e</math> grafoan. <math>P</math> bideak <math>e</math> ertza badu, <math>P: x,y_1,\ldots, y_t,a,b,z_1, \ldots, z_q,y</math> izango da. [[File:0603ertziklofrog.svg|center|450px]] Orduan, Orduan, <math>P</math> bidea eta <math>C</math> zikloa <math>e</math> ertzean lotuz eta <math>e</math> ertza bietatik kenduz, <math>x-y</math> bide bat lortuko dugu: <math display="block">(P-e) \cup (C-e): x, y_1, \ldots, y_t, a, x_p, \ldots, x_1, b, z_1, \ldots, z_q, y.</math> <math>x-y</math> bide bat da <math>G-e</math> grafoan. <math>\Longleftarrow</math>: Demagun <math>G-e</math> grafoa konexua dela. <math>G-e</math> grafoan <math>a-b</math> bide bat dago, <math>P: a, x_1, \ldots, x_p,b</math>. Hortaz, <math>P \cup e: a, x_1, \ldots, x_p,b, a</math> ziklo bat da <math>G</math> grafoan. <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.75 Teorema.'''</span> [zuhasor] Izan bedi <math>G</math> grafo ez-zuzendu bat. <math display="block">G \, \mbox{ konexua da} \iff G \, \mbox{ grafoak zuhaitz sortzailea badu}.</math> <span>'''Froga.'''</span> <math>\Longleftarrow</math>: Demagun <math>G</math> grafoak <math>T</math> zuhaitz sortzaile bat duela. <math>G</math> grafoaren erpinen <math>x,y</math> bikote bakoitzeko <math>x-y</math> bide bat dago <math>T</math> zuhaitzean. <math>T</math> zuhaitzaren ertzak <math>G</math> grafoaren ertzak direnez, bide hori <math>G</math> grafoan egongo da eta, beraz, <math>G</math> grafoa konexua da. <math>\implies</math>: Demagun <math>G</math> konexua dela. Eraiki dezagun zuhaitz sortzaile bat. <math>G</math> ez bada zuhaitza, begizta guztiak ezabatuko ditugu. Geratzen den <math>G_1</math> azpigrafoa konexua eta begiztarik gabea da eta <math>G</math> grafoaren erpin guztiak ditu. Zuhaitza balitz, <math>G</math> grafoaren zuhaitz sortzailea izango litzateke. Ez bada zuhaitza, gutxienez <math>C_1</math> ziklo bat dauka. Orduan, <math>C_1</math> ziklotik <math>e_1</math> ertz bat ezabatuko dugu; izan bedi <math>G_2 = G_1 - e_1</math> grafoa. [ertziklo] Lemaren arabera, <math>G_2</math> grafoa konexua eta begiztarik gabea da eta <math>G</math> grafoaren erpin guztiak ditu. Zuhaitza balitz, <math>G</math> grafoaren zuhaitz sortzailea izango litzateke. Ez bada zuhaitza, gutxienez <math>C_2</math> ziklo bat dauka. Orduan, <math>C_2</math> ziklotik <math>e_2</math> ertz bat ezabatuko dugu; izan bedi <math>G_3 = G_2 - e_2</math> grafoa. Zuhaitza balitz, <math>G</math> grafoaren zuhaitz sortzailea izango litzateke. Ez bada zuhaitza, prozesu horrekin segituko genuke urrats kopuru finitu aldiz, <math>G</math> grafoaren zuhaitz sortzaile bat lortu arte. <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.76 Adibidea.'''</span>[sortzailea] <div><ul> <li style="display: inline-block;"> [[File:0604zuhasort1.svg|left|400px]] </li> <li style="display: inline-block;"> </li> <li style="display: inline-block;"> [[File:0604zuhasort2.svg|left|400px]] </li> </ul></div> <math>G_5</math> grafoa <math>G</math> grafoaren zuhaitz sortzaile bat da. <span>'''5.77 Lema.'''</span> [azpizuhaitzak] Izan bedi <math>T = (V,E)</math> zuhaitz bat eta izan bedi <math>e \,</math> <math>\, T</math> zuhaitzaren edozein ertz. Orduan, <math>T-e</math> ez-konexua da eta zuhaitzak diren bi osagai konexu ditu. <span>'''Froga.''' </span> Izan bedi <math>e = \{a,b\}</math>. Demagun <math>T-e</math> konexua dela. Orduan, <math>T-e</math> grafoan <math>a-b</math> bide bat dago: <math>C</math>. Hortaz, <math>T</math> grafoan <math>a-b</math> bi bide daude, <math>C</math> bidea eta <math>e</math> ertza; hori <math>T</math> zuhaitza izatearen kontra doa, zuhaitz batean bi erpin lotzen dituen bide bakarra baitago ([bidebakarra] Teorema). Hortaz, <math>T-e</math> ez-konexua da eta bi osagai konexu ditu, <math display="block">V_1 = \{a\} \cup \{x \in V \, / \, a-x \, \mbox{ bide bat dago } \, T-e \, \mbox{ grafoan} \}</math> eta <math display="block">V_2 = \{b\} \cup \{x \in V \, / \, b-x \, \mbox{ bide bat dago } \, T-e \, \mbox{ grafoan} \}</math> erpinen multzoek induzitutako azpigrafoak hain zuzen. Osagai konexu horiek zuhaitzak dira, begizta edo ziklo bat izanez gero, <math>T</math> grafoan ere egongo litzatekeelako. <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.78 Teorema.'''</span> [m+1] Izan bedi <math>T \,</math><math>\, n</math> erpin eta <math>m</math> ertz dituen zuhaitz bat. Orduan, <math>n = m+1.</math> <span>'''Froga.'''</span> Ertzen <math>m</math> kopuruaren gaineko indukzioz frogatuko dugu. <math>m=0</math> bada, zuhaitza erpin isolatu batek osatuko du. Kasu horretan, <math>n = 1 = m+1</math> beteko da. Demagun teorema betetzen dela <math>m \leq k</math> denean, eta izan bedi <math>m = k+1</math>. <math>T</math> zuhaitzetik ertz bat ezabatuz gero, [azpizuhaitzak] Lemaren arabera, <math>T_1</math> eta <math>T_2</math> bi azpizuhaitz lortuko ditugu. Izan bitez <math>n_1, n_2</math> eta <math>m_1, m_2</math> <math>T_1</math> eta <math>T_2</math> azpizuhaitzen erpinen eta ertzen kopuruak, hurrenez hurren. Orduan, <math>n = n_1+n_2</math> eta <math>m = m_1+m_2+1 = k+1</math> izango dira. <math>0 \leq m_1 \leq k</math> eta <math>0 \leq m_2 \leq k</math> direnez, indukzio-hipotesiaren arabera, <math>n_1 = m_1+1</math> eta <math>n_2 = m_2+1</math> beteko dira. Hortaz, <math>n = n_1+n_2 = (m_1+1) + (m_2+1) = (m_1+m_2+1)+1 = m+1.</math> <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.79 Adibidea.'''</span> [zuhaitza] Adibideko <math>G_1</math> zuhaitzean, <math>n=6</math> eta <math>m=5</math> dira. <span>'''5.80 Teorema.'''</span> Izan bedi <math>T = (V,E) \,</math> <math>\,n</math> erpin dituen zuhaitz bat. <math>n \geq 2</math> bada, <math>T</math> zuhaitzak gutxienez bi erpin zintzilikatu izango ditu. <span>'''Froga.'''</span> Izan bedi <math>m \,</math> <math>\, T</math> zuhaitzaren ertzen kopurua. [m+1] Teoremaren arabera, <math>m=n-1</math> beteko da. Hortaz, Hortaz, [2m] Teoremaren arabera, ondoko hau beteko da: <math display="block">\sum_{x \in V} d(x)=2(n-1).</math> <math>T</math> zuhaitza konexua denez, <math>d(x) \geq 1</math> izango da <math>x \in V</math> guztietarako. <math>T</math> zuhaitzak ez balu erpin zintzilikaturik, <math>d(x) \geq 2</math> beteko litzateke <math>x \in V</math> guztietarako eta, beraz, <math>2(n-1) = \sum_{x \in V} d(x) \geq 2n</math> ere beteko litzateke, eta hori ezinezkoa da. <math>T</math> zuhaitzak <math>a</math> erpin zintzilikatu bakarra izango balu, <math>d(a)=1</math> eta <math>d(x) \geq 2</math> beteko litzateke <math>x \in V</math> guztietarako, <math>x \neq a</math> izanik. Orduan, <math>2(n-1) = \sum_{x \in V} d(x) \geq 1+2(n-1)</math> beteko litzateke, eta hori ere ezinezkoa da. Ondorioz, <math>T</math> zuhaitzak gutxienez bi erpin zintzilikatu izango ditu. <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.81 Adibidea.'''</span> [zuhaitza] Adibideko <math>G_1</math> grafoak 4 erpin zintzilikatu ditu. [sortzailea] Adibideko <math>G_5</math> grafoak 3 erpin zintzilikatu ditu. <span>'''5.82 Teorema.'''</span> [defbalio] Izan bedi <math>G=(V,E) \,</math> <math>\,n</math> erpin eta <math>m</math> ertz dituen grafo ez-zuzendua eta begiztarik gabea. Hiru baieztapen hauek baliokideak dira: <ol style="list-style-type: lower-roman;"> <li> <math>\, G</math> zuhaitza da.</li> <li> <math>\, G</math> grafoak ez du ziklorik, eta <math>n = m+1</math>.</li> <li> <math>\, G</math> grafoa konexua da, eta <math>n = m+1</math>.</li> </ol> <span>'''Froga.''' </span> i) <math>\implies</math> ii): Demagun i) betetzen dela, hots, <math>G</math> zuhaitza dela. [m+1] Teorema erabiliz, <math>n = m+1</math> izango dugu. <math>G</math> grafoak ez du ziklorik zuhaitza delako. ii) <math>\implies</math> iii): Demagun ii) betetzen dela. Izan bedi <math>\kappa(G)=r</math> eta izan bitez <math>G_1=(V_1, E_1)</math>, <math>\ldots</math>, <math>G_r=(V_r, E_r)</math> <math>G</math> grafoaren osagai konexuak (zuhaitzak direnak ziklorik ez dutelako). <math>i=1, \ldots, r</math> bakoitzeko, <math>v_i \in V_i</math> erpin bat aukeratuko dugu eta <math>G</math> grafoari <math>r-1</math> ertz hauek erantsiko dizkiogu, <math>\{v_1,v_2\}</math>, <math>\{v_2,v_3\}</math>, …, <math>\{v_{r-1},v_r\}</math>. Horrela lortuko dugun <math>G'=(V, E')</math> grafoa zuhaitza da, eta <math>n</math> erpin eta <math>m+r-1</math> ertz ditu. [m+1] Teoremaren arabera, <math>n = (m+r-1)+1 = m+r</math> eta, ii) hipotesiz <math>n=m+1</math> denez, <math>r=1</math> lortuko dugu; hau da, <math>G</math> konexua da. iii) <math>\implies</math> i): Demagun iii) betetzen dela. [zuhasor] Teoremaren arabera, <math>G</math> grafoak <math>T=(V, E')</math> zuhaitz sortzaile bat du. Izan bedi <math>m' \,</math> <math>\, T</math> zuhaitzaren ertzen kopurua. [m+1] Teoremaren arabera, <math>m'= n+1</math> izango da; baina iii) hipotesiz, <math>n+1=m</math> da. Hortaz, <math>m'=m</math> da, eta hortik <math>G=T</math> aterako dugu. <math>\square</math> <math>\blacksquare</math> <math>\square</math> === 5.10.3 Zuhaitz errodunak. Zuhaitz bitarrak === <span>'''5.83 Definizioa.'''</span> Izan bedi <math>G</math> grafo zuzendua. <math>G</math> grafoa <span>'''zuhaitz zuzendua'''</span> dela esango dugu <math>G</math> grafoaren grafo ez-zuzendu elkartua zuhaitza bada. <span>'''5.84 Adibidea.'''</span> [zuhazuzen] [[File:0605zuhazuz.svg|center|600px]] <span>'''5.85 Definizioa.'''</span> <math>G</math> zuhaitz zuzendua bada, <math>G</math> zuhaitza <span>'''zuhaitz erroduna'''</span> dela esango dugu <math>r</math> erpin bakarra badago (<span>erro</span> deituko duguna), non <math>d^-(r)=0</math> den eta gainerako <math>x</math> erpinetarako <math>d^-(x)=1</math> den. Bestela, <span>'''zuhaitz erro gabea'''</span> dela esango dugu. <span>'''5.86 Adibidea.'''</span> [errozuha1] [[File:0606zuhaerroga.svg|center|200px]] <math>d^-(a)=d^-(b)=d^-(c)=0</math>; <math>d^-(e)=d^-(d)=2</math>. [[File:0607zuhaerrod.svg|center|450px]] Ezkerreko zuhaitz erroduna geziak irudikatu gabe adieraz daiteke, ertzen noranzkoa goitik behera doala onartzen badugu. <span>'''5.87 Definizioa.'''</span> Izan bedi <math>T</math> zuhaitz erroduna: <math>d^+(v) = 0</math> betetzen duen edozein <math>v</math> erpini <span>'''hosto'''</span> edo <span>'''bukaerako erpin'''</span> deituko diogu. Gainerako erpinei <span>'''barne-erpin'''</span> edo <span>'''adarkatze-adabegi'''</span> deituko diegu. <math>v</math> erpina erroarekin lotzen duen bide bakarraren luzera <math>l</math> bada, <math>v</math> erpina <math>l</math> <span>'''mailan'''</span> dagoela edo <math>l</math> <span>'''maila-zenbakia'''</span> duela esango dugu. <math>v_1</math> eta <math>v_2</math> erpinak izanik, <math>v_1</math> erpinetik <math>v_2</math> erpinera bide bat badago, <math>v_1</math> erpina <math>v_2</math> erpinaren <span>'''arbasoa'''</span> edo <math>v_2</math> erpina <math>v_1</math> erpinaren <span>'''ondorengoa'''</span> dela esango dugu. Bidea $1$ luzerakoa bada, <math>v_1</math> erpina <math>v_2</math> erpinaren <span>'''gurasoa'''</span> edo <math>v_2</math> erpina <math>v_1</math> erpinaren <span>'''umea'''</span> dela esango dugu. Bi erpinek guraso bera badute, <span>'''senideak'''</span> direla esango dugu. <math>v</math> erpinak eta bere ondorengo guztiek (baldin baditu) induzitutako azpigrafoari <span>'''<math>v</math> erpineko azpizuhaitz'''</span> deituko diogu. <span>'''5.88 Adibidea.'''</span> [errozuha2] Zuhaitz honetan, <math>f</math>, <math>g</math>, <math>i</math>, <math>j</math> eta <math>k</math> hostoak dira. <math>a</math> erpina <math>k</math> erpinaren arbasoa da. <math>k</math> erpina <math>a</math> erpinaren ondorengoa da. <math>d</math> erpina <math>h</math> erpinaren gurasoa da. <math>h</math> erpina <math>d</math> erpinaren umea da. <math>c</math> eta <math>d</math> senideak dira. <div><ul> <li style="display: inline-block;"> [[File:0608zuhamaila.svg|center|350px]] </li> <li style="display: inline-block;"> </li> <li style="display: inline-block;"> [[File:0609azpizuha.svg|left|250px]] </li> </ul></div> <span>'''5.89 Definizioa.'''</span> Izan bedi <math>T = (V,E)</math> zuhaitz erroduna. <math>T</math> zuhaitzaren hostoen maila-zenbaki handienari <math>T</math> zuhaitzaren <span>'''altuera'''</span> deituko diogu. <span>'''5.90 Adibidea.'''</span> [altuera] [[File:0610altuera.svg|center|100px]] zuhaitzak <math>a=5</math> altuera du. <span>'''5.91 Definizioa.'''</span> Izan bedi <math>T = (V,E)</math> zuhaitz erroduna, eta <math>p</math> zenbaki oso positiboa. Esango dugu <math>T</math> <span>'''zuhaitz <math>p</math>-tarra'''</span> dela <math>d^+(x) \leq p</math> bada <math>x \in V</math> guztietarako. (<math>p=2</math> bada, <span>'''zuhaitz bitarra'''</span> da). <span>'''5.92 Adibidea.'''</span> [zuhaptar] [[File:0611zuhaptar.svg|center|400px]] <span>'''5.93 Definizioa.'''</span> <math>T = (V,E)</math> zuhaitz erroduna <span>'''zuhaitz <math>p</math>-tar osotua'''</span> da <math>d^+(x)= 0</math> edo <math>d^+(x)= p</math> bada <math>x\in V</math> guztietarako. (<math>p=2</math> bada, <span>'''zuhaitz bitar osotua'''</span> da). <span>'''5.94 Adibidea.'''</span> [zuhaptaroso1] [[File:0612zuhaptaroso.svg|center|400px]] <span>'''5.95 Teorema.'''</span> [zenbakia] Izan bedi <math>T = (V,E)</math> <math>\, n</math> erpin dituen zuhaitz <math>p</math>-tar osotua, <math>i</math> barne-erpinak eta <math>h</math> hostoak izanik. Orduan, <ol style="list-style-type: lower-roman;"> <li> <math>\, n = pi + 1</math> da.</li> <li> <math>\, h = (p-1)i + 1</math> da.</li> <li> <math>\, i = \dfrac{h-1}{p-1} = \dfrac{n-1}{p}</math> da.</li> </ol> <span>'''Froga.'''</span> (i) Izan bedi <math>a</math> <math>\, T</math> zuhaitzaren altuera. <math>k=0, 1, \ldots, a</math> bakoitzeko, <math>n_k</math> eta <math>i_k</math> <math>k</math> mailan dauden erpin guztien kopuruak eta barne-erpinen kopuruak izango dira, hurrenez hurren. Orduan, <math>n_0 = 1</math> da eta <math>n_k=i_{k-1}p, \quad k=1, \ldots, a.</math> Hortaz, <math>n=\sum_{k=0}^a n_k= 1 + \sum_{k=1}^a i_{k-1}p=1+p\sum_{k=1}^a i_{k-1}=1+pi.</math> (ii) <math>pi+1=n=i+h</math> da. Beraz, <math>h= pi-i+1=(p-1)i+1</math> izango da. (iii) (i) eta (ii) ataletatik ondorioztatuko dugu. <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.96 Adibidea.'''</span> [zuhaptaroso2] [zuhaptaroso1] Adibideko zuhaitz 3-tar osotuan, <math>p=3</math>, <math>h=7</math>, <math>i=3</math> eta <math>n=10</math> dira. Eta, beraz, (i) <math>10 = 3 \cdot 3 + 1</math>, (ii) <math>7 = 2 \cdot 3 + 1</math> eta (iii) <math>3 = \dfrac{6}{2} = \dfrac{9}{3}</math> betetzen dira. <span>'''5.97 Adibidea.'''</span> [zuhaptaroso3] Bost bikotek mus txapelketa batean parte hartzen dute, non bikote bat kanporatzen den partida bat galtzen duenean. Txapelketa <math>5</math> hosto dituen zuhaitz bitar osotu baten bidez adieraz daiteke: [[File:0613mustxa.svg|center|150px]] Txapeldunak izendatzeko jokatu behar diren partida-kopurua barne-erpinen kopurua da. [zenbakia] Teoremaren arabera, <math>i = \dfrac{h-1}{p-1} = \dfrac{5-1}{2-1} = 4</math>. Oro har, bikoteen kopurua <math>h</math> bada, partiden kopurua <math>i = \dfrac{h-1}{p-1} = h-1</math> izango da. <span>'''5.98 Adibidea.'''</span> [zuhaptaroso4] Laborategi bateko ordenagailuak <math>4</math> irteera dituen hormako entxufe batean konektatu behar ditugu. Konexioak <math>4</math> irteerako luzapen-kableen bidez egingo ditugu. <math>7</math> luzapen-kable baditugu, zenbat ordenagailu konekta ditzakegu? Hormako entxufea zuhaitz 4-tar osotu baten erroa bezala har dezakegu. Kable bakoitza barne-erpina izango da, eta ordenagailu bakoitza hosto bat. Barne-erpinen kopurua <math>i=7+1</math> da (luzapen-kableak eta hormako entxufea). [zenbakia] Teoremaren arabera, ordenagailuen kopurua <math>h = (p-1)i+1 = (4-1)8+1 = 25</math> da. <span>'''5.99 Definizioa.'''</span> Izan bedi <math>T</math> <math>\, a</math> altuerako zuhaitz bat. <math>T</math> <span>'''zuhaitz orekatua'''</span> dela esango dugu hosto bakoitzaren maila-zenbakia <math>a</math> edo <math>a-1</math> denean. <span>'''5.100 Adibideak.'''</span> [zuhaoreka1] <ol> <li> [altuera] Adibideko zuhaitza ez da orekatua, hosto bat 2 mailan eta beste bi 5 mailan dauzkalako. </li> <li> Zuhaitz hau <math>a=3</math> altuerako zuhaitz orekatua da: [[File:0614zuhaore.svg|center|150px]] </li> </ol> <span>'''5.101 Adibidea.'''</span> [zuhaoreka2] [zuhaptaroso3] Adibideko zuhaitzak orekatua izan behar du, txapelketa ahalik eta zuzenena izan dadin. Ez bada orekatua, bikoteren batek aukera bat baino gehiago izango du hurrengo fasera pasatzeko partida gutxiago jokatuz. Txapelketaren zuhaitza hau bada [[File:0613mustxa.svg|center|150px]] <math>a=3</math> altuerako zuhaitz orekatua da. Bikote batek, txapeldun izateko, bi edo hiru partida jokatu beharko ditu. Txapelketaren zuhaitza, aldiz, hau bada [[File:0615zuhaezore.svg|center|150px]] ez da orekatua. Irabazteko, <math>b</math> eta <math>c</math> bikoteek 4 partida jokatu beharko dituzte, <math>d</math> bikoteak 3 partida, <math>a</math> bikoteak 2 partida eta <math>e</math> bikoteak partida 1 bakarrik. <span>'''Idazkera.'''</span> <math>x \in \R</math> emanik, <math>\lceil x \rceil</math> (<math>x</math>-ren sabaia) <math>x</math> baino handiagoa edo berdina den zenbaki oso txikiena da. <span>'''5.102 Adibidea.'''</span> [sabaia] <math>\lceil 3.2 \rceil=4</math>, <math>\lceil -5.7 \rceil=-5</math>, <math>\lceil 8 \rceil=8</math>. <span>'''5.103 Teorema.'''</span> [sabaiteo] Izan bedi <math>T = (V,E)</math> <math>\, a</math> altuerako eta <math>h</math> hostoko zuhaitz <math>p</math>-tar osotua (<math>p>1</math>). Orduan, <math>h \leq p^a</math> eta <math>a \geq \lceil \log_p h \rceil</math> beteko dira. <span>'''Froga.''' </span> <math>h \leq p^a</math> <math>\, a</math>-ren gaineko indukzioaz frogatuko dugu. <math>a=0</math> bada, <math>n=h=1</math> eta <math>p^a= p^0=1</math> izango dira; orduan, <math>h = p^a</math> betetzen da. Demagun emaitza zuzena dela <math>a \leq k</math> denean, eta izan bedi <math>a=k+1</math>. <math>T</math> zuhaitzaren <math>h</math> hostoen maila-zenbaki posibleak <math>1, \ldots, a</math> dira, eta, gutxienez, <math>p</math> hosto daude <math>a</math> mailan. Har ditzagun erroaren <math>p</math> umeak, eta izan bitez <math>T_1, \ldots, T_p</math> erroak erpin horietan dituen azpizuhaitzak (zuhaitz <math>p</math>-tar osotuak dira). <math>T_i</math> zuhaitzaren hosto-kopurua <math>h_i</math> eta altuera <math>a_i</math> badira, <math>i=1, \ldots, p</math> izanik, <math>a_i \leq a-1</math>, <math>i=1, \ldots, p</math>, eta <math>h=h_1+ \ldots + h_p</math> izango dira. <math>a_i \leq a-1 =k</math> denez, <math>i=1, \ldots, p</math> izanik, indukzio-hipotesiaren arabera, <math>h_i \leq p^{a_i}\leq p^{a-1}</math> izango dugu, <math>i=1, \ldots, p</math>. Hortaz, <math>h =h_1+ \ldots +h_p \leq p(p^{a-1})=p^a</math>. Ondorioz, <math>h = p^a</math> betetzen da <math>a</math> guztietarako. <math>h \leq p^a</math> denez, <math>\log_p h \leq \log_p (p^a)=a</math> izango dugu, eta <math>a \in \Z</math> denez, <math>a \geq \lceil \log_p h \rceil</math> aterako dugu. <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.104 Adibidea.'''</span> Zuhaitz honetan [[File:0616althos.svg|center|150px]] <math>p=3</math>, <math>a=3</math>, <math>h=9</math> dira. Orduan, <math>9 \leq 3^3</math> eta <math>3 \geq \lceil \log_3 9 \rceil = \lceil 2 \rceil = 2</math> betetzen dira. <span>'''5.105 Korolarioa.'''</span> Izan bedi <math>T = (V,E)</math> <math>\, a</math> altuerako eta <math>h</math> hostoko zuhaitz <math>p</math>-tar osotu orekatua (<math>p>1</math>). Orduan, <math>a = \lceil \log_p h \rceil</math> beteko da. <span>'''Froga.'''</span> <math>a=0</math> bada, <math>h=1</math> eta <math>\lceil \log_p h \rceil = \lceil \log_p 1 \rceil = \lceil 0 \rceil = 0 = a</math> izango dira. <math>a>0</math> bada, <math>a-1</math> mailan, gutxienez, barne-erpin bat dago (<math>i_{a-1}>0</math>). <math>k=0, 1, \ldots, a</math> balioetarako <math>n_k</math>, <math>i_k</math> eta <math>h_k</math> <math>k</math> mailan dauden erpin guztien kopurua, barne-erpinen kopurua eta hostoen kopurua dira, hurrenez hurren. Orduan, <math>n_0= 1</math> eta <math display="block">n_k = i_{k-1}p, \quad k=1, \ldots, a.</math> Horrez gain, orekatua izateagatik, <math>h_{k}=0</math> eta <math>n_{k}=i_{k}</math>, <math>k=0, \ldots, a-2</math> dira. Hortaz, <math>n_{a-1}=n_{a-2}p=n_{a-3}p^2=\ldots = n_{0}p^{a-1}=p^{a-1}</math> eta <math>h = h_{a-1}+h_{a} = h_{a-1}+i_{a-1}p = h_{a-1}+i_{a-1}+i_{a-1}(p-1) > h_{a-1}+i_{a-1} = n_{a-1} = p^{a-1}.</math> Hau da, <math>h > p^{a-1}</math> betetzen da. Hortik, <math>\log_p h > \log_p (p^{a-1}) = a-1</math> izango dugu. Gainera, [sabaiteo] Teoremaren arabera, <math>\log_p h \leq a</math> betetzen da. Hortaz, <math>a = \lceil \log_p h \rceil</math>. <math>\square</math> <math>\blacksquare</math> <math>\square</math> <span>'''5.106 Adibidea.'''</span> [[File:0617althosko.svg|center|200px]] <math>p=2</math>, <math>a=3</math>, <math>h=7</math> dira. Eta <math>3 = \lceil \log_2 7 \rceil = \lceil 2' \ldots \rceil = 3</math> betetzen da. ssszpfu8m9pqgrrzavs1cravpcbtxwh