A zkvcál adazkz olya <A, R> dz pá amlyél az R lácó azív lzája lj dzé lácó. zkvcál adazkzb az gy adalmk gymá uá hlyzkdk l, va gy logka odjük. Az adaok közö gy-gy jllgű a kapcola: md adalm cak gy hlyől éhő l é az ado lmől cak gy mák láhaó. é kü lm: az lő é az uoló. Ez gy homogé adazkz, azaz azoo ípuú vég adalmk oozaa. Jlölé : L=(a 1, a,... a ) Ha =0, akko L=() az ü la. A lácol la olya adazkz, amlyk md lm aalmaz gy (vagy öbb) muaó (hvakozá) gy mák, ugyaolya ípuú adalm. A lác lő lmék a címé a la fj aalmazza. A lafj m aalmaz fomácó éz. A lác végé az jlz, hogy az uoló lmb a ákövkző lm muaója ü. uív ADT é AD z: Véggmhük az lmk gymá uá. Lhőég va a módoíá, ölé, bzúá művlk. aku ábázolá: ömbb, a logka od dxk muaják, a zabad hlyk lába. ZH: 5 10 7 0 17 0 6 8 8 1 9 10 Az adaok záma m m lő. Nm uduk, vagy m akauk fllg hly foglal az adaokak. A flada damkua válozk. 1 5 6 7 8 9 10 5 6 1
muaó Muaó álal muao objkum Egyáyú lácol la fjlm élkül: NL fjlmml: fjlm mdg lézk, ha ü a la, akko. EJ NL Mdg va gy akuál lm muaó. 7 8 A la lm éáyú lácol la NL NL NL ada éz muaó éz 9 10 A La ípu kompo: L - a la lő lmék muaója, ak - a la akuál lmék muaója, hba jlz, hogy vol- hba az uoló művlél lozófa: m kll bolodbzo pogam, a pogamozó m flhazáló, m cál hbá (!?), d lkédz, hogy va- hba. ü lá ad vza: Ca L NL ak NL hba fal 11 1
logka éék ad vza: logka éék ad vza: Empy u (L = NL) hba fal u u Eo hba? u fal A lkédzé uá hama vál. 1 1 NL NL ak: ak: 15 16 ü la é hba L NL? ak: NL ak L hba fal hba u 17 18
a la uoló lmé kado Nx haáa ak=nl lz NL Nx ak: ak NL? ak (ak mu) hba fal hba u 19 0 Logka éék ad vza: Logka éék ad vza: EdOfL La u (ak = NL) u (ak NL ak mu =NL) 1 Akuál lm ééké x-b adja: Akuál lm módoíáa -: GValu Valu ak NL? x (ak ada) hba fal hba u (ak ada) hba fal ak NL? hba u
Lalm léhozáa: NL NL 0 NL Nod 1 Dklaálá 0 NL Nod ípu 1 Dklaálá Léhozá Nodp Jlölé: w (p) 5 6 u: v: NL NL 0 NL Nod Nod Az lm kük kll bfűz a lába Az lm kük kll bfűz a lába 7 8 Bzúá lő lmké 1 Ü é m ü láa működk. Elő lm lz az akuál. adalm bzúáa lő lmké Nw(p) (p ada) (p mu) L L p ak L hba fal Ü é m ü láa működk. Elő lm lz az akuál. 9 0 5
La Bzúá uoló lmké w(p); (p ada) ; (p mu) NL NL Ü é m ü láa működk. Uoló lm lz az akuál. Bzúá ü lába L p ak L L=NL u L; v (L mu) v NL NL u v; v (v mu); (u mu) p; ak p 1 La w(p); (p ada) ; (p mu) NL Akuál lm uá: L=NL L p ak L u L; v (L mu) v NL ak: 1 Bzúá m ü lába uolóké u v; v (v mu); (u mu) p; ak p Akuál lm uá: Ha c akuál lm, az hba. Az akuál lm a bzú lz. Af Akuál lm lé: ak: 1 ak NL? w(p); (p ada) ; (p mu) (ak mu) (ak mu) p ak p hba fal hba u u 1 ak: 5 6 6
Bfo Bzúá akuál lm lé H b a u ak=nl w(p); (p ada) ; u L; v (L mu) v ak u v; v (v mu); (u mu) p; (p mu) ak; ak p; hba:=fal Akuál lm ölé Ak: Hba: Bálluk az akuál lm lé. 7 8 Ak: Ak: Hba: álácoljuk Hba: kööljük 9 0 Akuál lm ölé: RmovAk ak NL? Ak: Hba: al álácoljuk Elő lm ölé p L L (L mu) ak L flzab(p) hba fal ak = L? p L p mu ak p (p mu) (p mu) (ak mu ) flzab(ak) ak (p mu ) hba fal hba u 1 7
Akuál lm ölé: Nm lő lm ölé p L L (L mu) ak L flzab(p) hba fal RmovAk ak NL? ak = L? p L (p mu) ak p (p mu) (p mu) (ak mu ) flzab(ak) ak (p mu ) hba fal hba u Mgjgyzék: Lh az, hogy az ak m válozk. Lhék ováb művlk, pl. Tlj la ölé Lák özfűzé, Elmzám, b. Nm haékoy a mgvalóíá: La, Rmov, Bfo, La Haékoyá hő pl.: kéáyú lácoláal la.empy fo =1 o Ado az A[1..] gézk aalmazó ömb. Hlyzzük l a pozív lm dz módo gy lába! 5 la. (A[]) A[] > 0? la.empy la.; a la.gvalu la.la A[] > a la.nx a la.gvalu A[] a la.bfo(a[]) la.la(a[]) 6 la.empy la.empy fo =1 o fo =1 o la. (A[]) A[] > 0? la.empy la.; a la.gvalu la.la A[] > a la.nx a la.gvalu A[] a la.bfo(a[]) la.la(a[]) 7 la. (A[]) A[] > 0? la.empy la.; a la.gvalu la.la A[] > a la.nx a la.gvalu A[] a la.bfo(a[]) la.la(a[]) 8 8
la.empy la.empy fo =1 o fo =1 o la. (A[]) A[] > 0? la.empy la.; a la.gvalu la.la A[] > a la.nx a la.gvalu A[] a la.bfo(a[]) la.la(a[]) 9 la. (A[]) A[] > 0? la.empy la.; a la.gvalu la.la A[] > a la.nx a la.gvalu A[] a la.bfo(a[]) la.la(a[]) 50 la.empy la.empy fo =1 o fo =1 o la. (A[]) A[] > 0? la.empy la.; a la.gvalu la.la A[] > a la.nx a la.gvalu A[] a la.bfo(a[]) la.la(a[]) 51 la. (A[]) A[] > 0? la.empy la.; a la.gvalu la.la A[] > a la.nx a la.gvalu A[] a la.bfo(a[]) la.la(a[]) 5 9