TRANZITIVNI GRAFI. Katarina Jan ar. oktober 2008
|
|
- Παρθενιά Αλαφούζος
- 5 χρόνια πριν
- Προβολές:
Transcript
1 TRANZITIVNI GRAFI Katarina Jan ar oktober 2008
2 Kazalo 1 Uvodne denicije Vozli² na tranzitivnost Povezavna tranzitivnost Lo na tranzitivnost Kubi ni lo no tranzitivni gra Razdaljno tranzitivni gra Literatura
3 1 Uvodne denicije Za bolj²e razumevanje najprej potrebujemo nekaj osnovnega znanja iz algebre. Denicija. Grupa G = {a, b,...} je par (G, ), kjer je G neprazna mnoºica in : G G G dvo lena operacija na G, ki vsakemu urejenemu paru (a, b) G priredi natanko dolo en element a b G. Operacija mora zado² ati naslednjim pogojem: za a, b G velja a b G (zaprtost) za a, b, c G velja (a b) c = a (b c) (asociativnost) v G obstaja tak²en element e G, za katerega velja a e = e a = a (nevtralni element) za a G obstaja tak b G, da velja a b = b a = e (obratni element) Denicija. Podmnoºica H grupe G je podgrupa, e je tudi sama grupa za isto operacijo. Denicija. Homomorzem je preslikava med dvema algebrskima strukturama, ki ohranja algebrske operacije. Denicija. Avtomorzem je bijektivna preslikava mnoºice same nase. Grupa avtomorzmov je mnoºica vseh avtomorzmov dane mnoºice z operacijo kompozitum. Denicija. Naj bo G grupa in X poljubna mnoºica. Preslikavo ρ : G X X imenujemo (levo) delovanje grupe G na mnoºici X, e zado² a pogojema: ρ(gh, x) = ρ(g, ρ(h, x)) za vse g, h G in x X ρ(e, x) = x za vse x X, kjer je e nevtralni element v G 3
4 Opomba. Za ρ(g, x) bomo uporabljali kraj²i zapis x g. Denicija. Naj G deluje na X. Stabilizator elementa x X je G x = {g G; x g = x}. Denicija. Naj G deluje na X. Orbita elementa x X je Gx = {x g ; g G}. Denicija. Delovanje grupe G na mnoºico X je tranzitivno, e za poljubna elementa x, y X obstaja element g G, tako da je x g = y. Lahko tudi re emo, da ima delovanje eno samo orbito. Uporabili bomo tudi nekaj pojmov iz teorije grafov. Denicija. Graf G je dolo en s parom mnoºic G = (V (G), E(G)), kjer je V (G) mnoºica vozli² grafa, E(G) pa mnoºica povezav grafa. Povezavo predstavimo kot neurejen par dveh vozli². Denicija. Pograf H grafa G je tak graf, da velja V (H) V (G) in E(H) E(G). Denicija. Dva grafa sta disjunktna, e nimata skupnega nobenega vozli² a in ju ne povezuje nobena povezava. Denicija. Pot v grafu je zaporedje vozli² med katerimi obstajajo povezave. Denicija. Graf je povezan, e med poljubnima vozli² ema v grafu obstaja pot. Denicija. Digraf ali usmerjen graf G = (V (G), A(G)) je dolo en z mnoºico vozli² V (G) in mnoºico lokov A(G). Lok je urejen par dveh vozli², kjer prvo predstavlja za etek, drugo pa konec loka oz. usmerjene povezave. 4
5 Denicija. s-lok je zaporedje s + 1 vozli², za katera velja v i 1 v i+1 za 0 < i < s. Opomba. V s-loku je ponavljanje vozli² sicer dovoljeno. Denicija. Digraf je mo no povezan, e med poljubnima vozli² ema digrafa obstaja usmerjena pot. Denicija. Valenca ali stopnja vozli² a je ²tevilo povezav, ki gredo iz danega vozli² a. Denicija. Regularen graf je graf, v katerem imajo vsa vozli² a enako valenco. Denicija. Grafu re emo, da je kubi en, e je regularen z valenco 3. Denicija. Izolirano vozli² e je vozli²ce z valenco 0. Denicija. Razdalja med dvema vozli² ema je ²tevilo povezav na najkraj²i poti med njima. Denicija. Premer grafa je najve ja izmed razdalj med poljubnima vozli² ema. Denicija. Oºina grafa je dolºina najkraj²ega cikla v grafu. Denirajmo nekaj druºin grafov, ki jih bomo sre ali. Denicija. Cikel C n je povezan graf z valenco 2. Denicija. Poln graf K n je graf na n vozli² ih, ki so vsa povezana med sabo, torej je (n 1)-regularen. 5
6 Denicija. Graf je dvodelen, e lahko njegova vozli² a razdelimo v dve disjunktni mnoºici, tako da so vozli² a v eni mnoºici povezana samo z vozli² i iz druge mnoºice in med vozli² i iste mnoºice ni nobene povezave. Denicija. Poln dvodelen graf K m,n je dvodelen graf, v katerem so vsa vozli² a iz ene mnoºice povezana z vsemi vozli² i iz druge mnoºice. Denicija. Hiperkocka Q k je graf, pri katerem je mnoºica vozli² {0, 1} k (mnoºica vseh dvoji²kih k-teric), dve vozli² i pa sta povezani, e se razlikujeta natanko v eni koordinati. Primer. Primeri hiperkock za k = 1, 2, 3, 4. Denicija. Kroºni graf Cir(n, S) ima za vozli² a ostanke pri deljenju z n. S je simetri na podmnoºica mnoºice Z n \{0}. Vozli² i u in v pa sta sosedni, e je v u S. Primer. Zgledi kroºnih grafov. Cir(6, {1, 1, 3}) Cir(6, {1, 1, 2, 2}) Cir(6, {1, 1}) Cir(6, {1, 1, 2, 2, 3}) 6
7 Denicija. Naj bo H kon na grupa in S poljubna simetri na podmnoºica grupe H, ki ne vsebuje enote. Potem ima Cayleyev graf Cay(H, S) vozli² a iz mnoºice H in vozli² i g in h sta sosedni, e je hg 1 S. Primer. Primer Cayleyevega grafa Cay(S 4, {(1, 2), (2, 3), (3, 4)}). Denicija. Naj bodo n, k in i pozitivna cela ²tevila, za katera velja n k i in naj bo Ω mnoºica mo i n. Johnsonov graf J(n, k, i) ima za vozli² a podmnoºice mnoºice Ω mo i k, ki so sosedne, e je njihov presek mo i i. J(n, k, i) ima torej ( ( n k) vozli² in je regularen z valenco k )( n k i k i). Primer. Primeri Johnsonovih grafov: J(3, 1, 0) J(4, 2, 1) J(5, 2, 0) 7
8 2 Vozli² na tranzitivnost Denicija. Graf X je vozli² no tranzitiven, e Aut(X) deluje tranzitivno na V (X). Trditev. Hiperkocka Q k je vozli² no tranzitivna. Dokaz. Fiksirajmo v V (Q k ). Potem je preslikava ρ v : x x + v permutacija vozli² hiperkocke Q k. Vozli² i x in y se razlikujeta natanko v eni koordinati, e in samo e se vozli² i x+v in y +v razlikujeta v eni koordinati. Zato je preslikava ρ v avtomorzem grafa. Permutacije delujejo tranzitivno na V (Q k ), ker za poljubni vozli² i x in y preslikava ρ y x preslika x v y. Hiperkocka Q 4 Tudi kroºni gra so vozli² no tranzitivni. Vsako vozli² e lahko preslikamo v katerokoli drugo vozli² e s primerno potenco cikli ne permutacije, ki vozli² e preslika v naslednje vozli² e. Kroºni graf Cir(10, { 1, 1, 3, 3}) 8
9 Trditev. Cayleyevi gra X(H, S) so vozli² no tranzitivni. Dokaz. Za vsak g H je preslikava ρ g : x xg permutacija elementov H. ƒe sta xg in yg sosedna, velja (yg)(xg) 1 = yggx 1 = yx 1, zato sta tudi x in y sosedna in je ρ g avtomorzem grafa. Delovanje je tranzitivno, saj za poljubni vozli² i g in h ρ g 1 h preslika g v h. Ve ina manj²ih vozli² no tranzitivnih grafov je Cayleyevih. Vseeno pa obstajajo tudi druge druºine, ki so vozli² no tranzitivne in ne Cayleyeve. Tak primer so Johnsonovi gra J(n, k, i). Naj bo g permutacija mnoºice Ω in S Ω. Deniramo S g := {s g ; s S}. Vsaka permutacija mnoºice Ω torej dolo a permutacijo podmnoºic mnoºice Ω, ki so enake velikosti. ƒe sta S, T Ω, velja S T = S g T g. g je torej avtomorzem grafa J(n, k, i). 9
10 3 Povezavna tranzitivnost Denicija. Graf X je povezavno tranzitiven, e Aut(X) deluje tranzitivno na E(X). Hitro lahko opazimo, da so Johnsonovi gra J(n, k, i) povezavno tranzitivni, kroºni gra pa ne vedno. Polni dvodelni gra K n,m so povezavno tranzitivni, ne pa vozli² no tranzitivni, razen ko je m = n, ker noben avtomorzem ne more preslikati vozli² a z valenco m v vozli² e z valenco n. Pokazali bomo, da so vsi gra, ki so povezavno tranzitivni in ne vozli² no tranzitivni, dvodelni. Lema. Naj bo X povezavno tranzitiven graf brez izoliranih vozli². ƒe X ni vozli² no tranzitiven ima Aut(X) natanko dve orbiti in ti dve orbiti delita graf X na dva dela. Dokaz. Naj bo X povezavno vendar ne vozli² no tranzitiven. Predpostavimo, da je x y. ƒe je w V (X), potem gre iz w neka povezava in obstaja avtomorzem grafa X, ki to povezavo preslika na xy. Vsako vozli² e grafa X je torej bodisi v orbiti vozli² a x bodisi v orbiti vozli² a y. Aut(X) ima torej dve orbiti. Povezave med vozli² ema iz iste orbite noben avtomorzem ne preslika v povezavo, ki bi se kon ala v vozli² u iz druge orbite, sicer bi morala biti vsa vozli² a v eni sami orbiti in bi bil graf vozli² no tranzitiven. Zato takih povezav med vozli² i iz iste orbite ni. X je torej dvodelen in orbiti sta njegova delitev. Povezavno tranzitivnim grafom, ki niso vozli² no tranzitivni re emo tudi semisimetri ni gra. 10
11 Primer. Primera semisimetri nih grafov. Ljubljanski graf Folkmanov graf 11
12 4 Lo na tranzitivnost Denicija. Graf X je lo no tranzitiven, e Aut(X) deluje tranzitivno na mnoºici lokov grafa X. Lo no tranzitivnim grafom re emo tudi simetri ni gra. Primer. Primeri simetri nih grafov. Levijev graf Coxetrov graf Möbius-Cantorjev graf tetraeder Dyckov graf ikosidodekaeder 12
13 ƒe je graf lo no tranzitiven mora biti nujno tudi vozli² no in povezavno tranzitiven. Obratno pa v splo²nem ne velja. Lema. ƒe je graf X vozli² no in povezavno tranzitiven ne pa lo no tranzitiven, potem je njegova valenca soda. Dokaz. Naj bo G = Aut(X) in x V (X). Naj bo y V (X) soseden vozli² u x in Ω orbita delovanja G na V V, ki vsebuje (x, y). Ker je X povezavno tranzitiven, lahko vsak lok z avtomorzmom preslikamo bodisi v (x, y) bodisi v (y, x). Ker X ni lo no tranzitiven, (y, x) / Ω, torej Ω ni simetri na. Mnoºica povezav grafa X je potem Ω Ω. Povezav, ki se za nejo v x, je enako v Ω in v Ω, torej je valenca soda. Posledica. Vozli² no in povezavno tranzitiven graf z liho valenco mora biti lo no tranzitiven. Denicija. Graf X je s-lo no tranzitiven, e Aut(X) deluje tranzitivno na njegovih s-lokih. O itno je, da iz s-lo ne tranzitivnosti sledi (s 1)-lo na tranzitivnost. 0-lo na tranzitivnost je pravzaprav vozli² na tranzitivnost, 1-lo na tranzitivnost pa lo na tranzitivnost. Cikel C n je s-lo no tranzitiven za vse s. Hiperkocka Q 3 je 2-lo no tranzitivna, ne pa 3-lo no tranzitivna, ker 3- loka, ki leºi na 4-ciklu, ne moremo z avtomorzmom preslikati v 3-lok, ki ne leºi na 4-ciklu (glej sliko). 13
14 Graf X je s-lo no tranzitiven, e ima tranzitivno grupo avtomorzmov G in e stabilizator G u nekega vozli² a u V (X) deluje tranzitivno na s-lokih, ki se za nejo v vozli² u u. Trditev. Johnsonovi gra J(n, k, i) so vsaj lo no tranzitivni. Dokaz. Poglejmo si vozli² e {1, 2,..., k}. Stabilizator tega vozli² a vsebuje Sym(k) Sym(n k). Ta pa poljubni vozli² i, ki sta danemu sosedni, preslika eno v drugo. Trditev. Johnsonovi gra J(2k + 1, k, 0) so vsaj 2-lo no tranzitivni. Dokaz. Ponovno za nemo v vozli² u {1, 2,..., k} in njegov stabilizator vsebuje Sym(k) Sym(k + 1). Vozli² e, ki je danemu sosedno, vsebuje k elementov iz {k + 1,..., 2k + 1}. Ta vozli² a se med seboj ujemajo v k 1 elementih, torej jih Sym(k) Sym(k + 1) lahko preslika enega v drugega. Naslednje vozli² e v 2-loku mora biti razli no od prvotnega in se ne sme v nobenem elementu ujemati s prej²njim. Zato mora nujno vsebovati tisti element, ki ni bil uporabljen za prej²nje vozli² e in ²e k 1 iz {1,..., k}. Poljubni dve taki vozli² i se ujemata vsaj v k 2 elementih, torej ju stabilizator preslika eno v drugo. Primer. Nekaj Johnsonovih grafov, ki so vsaj 2-lo no tranzitivni. J(3, 1, 0) J(5, 2, 0) J(7, 3, 0) 14
15 Trditev. (Tutte) ƒe je X s-lo no tranzitiven graf, z valenco vsaj 3 in oºino g, potem je g 2s 2. Dokaz. Predpostavimo lahko, da je s 3. O itno je, da X vsebuje cikel dolºine g in pot dolºine g, katere kon ni vozli² i nista sosedni. X torej vsebuje g-lok s sosednimi kon nimi vozli² i in g-lok z nesosednimi kon nimi vozli² i. Avtomorzem, ki bi ta dva loka preslikal enega v drugega, ne obstaja, zato mora biti s < g. Ker X vsebuje cikle dolºine g in ker ti vsebujejo s-loke, morajo vsi s-loki leºati v ciklih dolºine g. Naj bo v 0,..., v s s-lok, ozna imo ga z α. Ker ima vozli² e v s 1 valenco najmanj 3, je poleg v s 2 in v s soseden tudi nekemu vozli² u w. Ker je oºina grafa vsaj s, w ne leºi na loku α. Tako lahko v s zamenjamo z w in dobimo nov s-lok β, ki se z lokom α ujema v (s 1)-loku. β mora leºati v ciklu dolºine g, torej imamo dva cikla dolºine g, ki imata skupnih vsaj s 1 povezav. ƒe teh s 1 povezav odstranimo iz grafa, ki je sestavljen iz prej omenjenih dveh ciklov dolºine g, dobimo graf s ciklom dolºine najve 2g 2s + 2. Sledi 2g 2s + 2 g. Vpra²amo se lahko, kak²ni so s-lo no tranzitivni gra z oºino 2s 2. Trditev. ƒe je X s-lo no tranzitiven graf z oºino 2s 2, potem je dvodelen in ima premer s 1. Dokaz. ƒe ima X oºino 2s 2, potem katerikoli s-lok leºi v najve enem ciklu dolºine 2s 2. Torej, e je X s-lo no tranzitiven, mora vsak s-lok leºati v natanko enem ciklu dolºine 2s 2. O itno je, da ima X premer vsaj s 1, ker sta v ciklu dolºine 2s 2 dve poljubni vozli² i oddaljeni najve za s 1. Naj bo u V (X) in predpostavimo, da je v V (X) od u oddaljen za s. Potem obstaja s-lok, ki povezuje u in v in leºi v ciklu dolºine 2s 2. Ker ima tak cikel premer s 1, v ne more biti na razdalji s od u. Premer grafa X je torej natanko s 1. ƒe X ni dvodelen, mora vsebovati lih cikel. Naj bo C najmanj²i lih cikel v X. Ker je premer grafa X enak s 1, mora biti cikel C dolg 2s 1. Naj bo u V (C) in naj bosta v, v V (C) dve sosedni vozli² i na razdalji s 1 od u. Potem lahko sestavimo s-lok (u,..., v, v ). Ta s-lok leºi v nekem ciklu C dolºine 2s 2. Vozli² a iz ciklov C in C, ki niso na s-loku, sestavljajo cikel dolºine manj kot 2s 2, kar je protislovje. 15
16 5 Kubi ni lo no tranzitivni gra Denicija. ƒe je s 1 in α = (x 0,..., x s ) nek s-lok v X, je glava head(α) (s 1)-lok (x 1,..., x s ) in rep tail(α) (s 1)-lok (x 0,..., x s 1 ). Denicija. ƒe sta α in β s-loka, re emo, da β sledi α, e obstaja tak (s+1)- lok γ, da je head(γ) = β in tail(γ) = α. Denicija. Naj bo s nenegativno celo ²tevilo. Z X (s) ozna imo digraf, v katerem so vozli² a s-loki grafa X in (α, β) je lok natanko tedaj, ko β sledi α. Avtomorzme grafa X lahko naravno raz²irimo na avtomorzme grafa X (s). Torej, e je X s-lo no tranzitiven, je X (s) vozli² no tranzitiven. Trditev. Naj bosta X in Y digrafa in naj bo f homomorzem, ki X preslika v Y tako, da je vsaka povezava v Y slika neke povezave vx. Naj bo y 0,..., y r pot v grafu Y. Potem za vsako vozli² e x 0 V (X), za katero velja f(x 0 ) = y 0, obstaja pot x 0,..., x r in velja f(x i ) = y i. Dokaz. Homomorzem grafa ohranja sosednost, torej iz pogoja f(x 0 ) = y 0 sledi, da f preslika x 1 v povezavo y 1, ki je y 0 sosedna. In tako naprej do x r, ki ga f preslika v nek y r, ki je soseden y r 1. Tako dobimo za pot x 0,..., x r zaporedje povezav y 0,..., y r in velja f(x i ) = y i. Hkrati pa te povezave tvorijo pot, ker je vsaka sosedna prej²nji. Denicija. Denirajmo vreteno v grafu X kot podgraf, ki vsebuje dve dani vozli² i in tri poti, ki ju povezujejo in se ne ujemajo nikjer drugje kot v teh dveh vozli² ih. Denicija. Denirajmo kolo v grafu X kot podgraf, ki je sestavljen bodisi iz dveh ciklov s samo enim skupnim vozli² em ali pa iz dveh disjunktnih ciklov, ki sta povezana s potjo, ki se z njima ujema samo v kon nih vozli² ih. 16
17 Trditev. ƒe je X vreteno ali kolo, potem je X (1) mo no povezan. Dokaz. X (1) je pravzaprav usmerjeni povezavni graf. Ker je X povezan graf, je tudi njegov povezavni graf povezan in posledi no tudi X (1) mo no povezan. Trditev. ƒe je X povezan graf z minimalno valenco 2, ki ni cikel, potem je X (s) mo no povezan za vse s 0. Dokaz. Trditev bomo dokazali s pomo jo indukcije. ƒe je s = 0, potem dobimo X (0) tako, da vsako povezavo zamenjamo z dvema nasprotno usmerjenima lokoma in trditev res drºi. ƒe je s = 1, potem moramo pokazati, da vsakemu loku sledi nek drugi lok. Ker je X povezan graf, vsakemu loku sledi neka povezava grafa X, vendar ne nujno v pravi smeri. Pokazati moramo torej, da lahko vsak lok obrnemo, tj. da yx sledi xy. X ima minimalno valenco vsaj 2 in je kon en, zato vsebuje nek cikel C. ƒe C ne vsebuje obeh x in y, obstaja (lahko tudi prazna) pot v X, ki povezuje y s C. xy sledijo povezave na tej poti, v C in nazaj po poti do yx. ƒe sta x, y V (C), ampak xy / E(C), potem je C skupaj s povezavo xy vreteno in trditev velja po prej²nji trditvi. Zdaj predpostavimo, da je xy E(C). Ker X ni cikel, obstaja vozli² e w V (C), ki je sosedno nekemu vozli² u z / V (C). Naj bo P pot z maksimalno dolºino v X, ki se za ne z w in z. Potem je zadnje vozli²ce na poti sosedno bodisi nekemu vozli² u v P bodisi nekemu vozli² u v C. ƒe je sosedno nekemu vozli² u iz C, ki ni w, potem je xy povezava v vretenu. ƒe pa je sosedno vozli² u w ali nekemu vozli² u iz P, ki ni v C, potem je xy povezava v kolesu in trditev velja po prej²nji trditvi. Zdaj pa predpostavimo, da je X (s) mo no povezan za nek s 1. ƒe vzamemo glavo nekega (s + 1)-loka, je to pravzaprav homomorzem X (s+1) na X (s). Ker ima X minimalno valenco vsaj 2, je vsak s-lok glava nekega (s + 1)-loka, torej je vsaka povezava v X (s) slika neke povezave v X (s+1). Naj bosta α in β poljubna (s + 1)-loka v X. Ker je X (s) mo no povezan, obstaja pot v njem, ki povezuje head(α) in tail(β). Po prej²nji trditvi, ta pot postane v X (s+1) pot od α do nekega vozli² a γ, kjer je head(γ) = tail(β). γ torej sledi β in α sledi β prek γ, kar pomeni, da obstaja pot od α do β v X (s+1). 17
18 Lema. Naj bo G permutacijska grupa na mnoºici V in naj bo x V. ƒe je g G, potem velja g 1 G x g = G x g. Dokaz. Predpostavimo, da je x g = y. Naj bo h G x. Potem velja y g 1 hg = x hg = x g = y, kar pomeni, da vsak element iz g 1 G x g ksira y. Od tod sledi g 1 hg G y. Po drugi strani, e je h G y, potem ghg 1 ksira x in velja g 1 G x g = G y. Lema. Naj bo X mo no povezan digraf, naj bo G tranzitivna podgrupa Aut(X) in e je u V (X), naj bo N(u) mnoºica tistih vozli² v V (X), za katere je (u, v) lok v grafu X. ƒe obstaja tako vozli² e u V (X), da je G u N(u) trivialna, potem je G regularna. Dokaz. Naj bo u V (X) in G u N(u) trivialna. Po lemi: e je v V (X), potem sta G v in G u konjugiranki v G, kar pomeni, da je G v N(v) trivialna za vse v V (X). Predpostavimo, da G u ni trivialna. X je mo no povezan, torej lahko izberemo usmerjeno pot, ki gre od u do nekega vozli² a w, ki ga G u ne ksira. Naj bo ta pot najkraj²a in naj bo v predzadnje vozli² e na njej. G u torej ksira v in (v, w) je lok v X. Ker G u ksira vsa vozli² a v N(u), v u. G u ksira v, ne pa w, zato ksira N(u) ampak na njej ne deluje trivialno. G v N(v) torej ni trivialna. To je protislovje in velja G u = e. Denicija. Graf je s-lo no regularen, e za poljubna s-loka obstaja natan no dolo en avtomorzem, ki enega preslika v drugega. Lema. Naj bo X povezan kubi en graf, ki je s-lo no tranzitiven, ampak ne (s + 1)-lo no tranzitiven. Potem je X s-lo no regularen. Dokaz. Ker je X kubi en graf, je ²tevilo lokov, ki gredo iz posameznega vozli² a v X (s), 2. Naj bo G = Aut(X), α s-lok v X in H G, ki ksira vsa vozli² a v α. Potem G deluje vozli² no tranzitivno na X (s) in H je stabilizator vozli² a α V (X) v G. ƒe je zoºitev H na soseda, ki sledita α, netrivialna, potem mora H zamenjati ta dva soseda. Poljubna (s + 1)-loka v X lahko z elementi iz G preslikamo na (s + 1)-loke, 18
19 ki se za nejo s s-lokom α. G je torej tranzitivna na (s + 1)-lokih grafa X, kar je protislovje. Zoºitev H na soseda, ki sledita α, je torej trivialna in iz prej²nje leme sledi, da je tudi H = G α = e, torej G deluje regularno na s-lokih grafa X. ƒe je X regularen graf z valenco k na n vozli² ih in je s 1, potem ima natanko nk(k 1) s 1 s-lokov. ƒe je X s-lo no tranzitiven, mora nk(k 1) s 1 deliti Aut(X) in e je X s-lo no regularen, mora veljati Aut(X) = nk(k 1) s 1. Poseben primer so kubi ni lo no tranzitivni gra, ki so s-lo no regularni natanko tedaj, ko je Aut(X) = (3n) 2 s 1. Primer. Kocka je 2-lo no tranzitivna, ne pa 3-lo no tranzitivna, torej je 2-lo no regularna. Potem velja Aut(Q 3 ) = = 48. Izrek. (Tutte) ƒe je X s-lo no regularen kubi en graf, potem je s 5. Primer. Najmanj²i 5-lo no regularen kubi ni graf je Tuttova 8-kletka na 30 vozli² ih (v asih se imenuje tudi Levijev graf). Posledica. ƒe je X lo no tranzitiven kubi en graf, v V (X) in G = Aut(X), potem G v deli 48 in 3 deli G v. 19
20 6 Razdaljno tranzitivni gra Denicija. Povezan graf X je razdaljno tranzitiven, e za poljubna urejena para vozli² (u, u ) in (v, v ), za katera velja d(u, u ) = d(v, v ), obstaja avtomorzem g Aut(X), tako da je (v, v ) = (u, u ) g. Razdaljno tranzitiven graf je vedno vsaj 1-lo no tranzitiven. Najpreprostej²i primeri razdaljno tranzitivnih grafov so polni gra, dvodelni polni gra z enako velikima particijama in cikli. Trditev. Johnsonov graf J(n, k, k 1) je razdaljno tranzitiven. Dokaz. Najprej bomo s pomo jo indukcije dokazali, da za poljubni vozli² i u, v V (J(n, k, k 1)) velja d(u, v) = m u v = k m. Za m = 1: d(u, v) = 1 u v u v = k 1. Predpostavimo, da trditev velja za vse m r. Izberimo vozli² a u, v, w tako, da je d(u, v) = r in d(v, w) = 1. Po indukcijski predpostavki velja u v = k r, torej je u = {s 1,..., s k r, i 1,..., i r } in v = {s 1,..., s k r, j 1,..., j r, kjer so vsi elementi i in j med seboj razli ni. Ker velja v w = k 1, mora biti w oblike: w = {s 1,..., s k r, j 1,..., j r 1, i α }, za nek i α {i q,...i r }, w = {s 1,..., s k r, j 1,..., j r 1, a}, kjer je a Ω\(u v), w = {s 1,..., s k r 1, i α, j 1,..., j r } ali w = {s 1,..., s k r 1, a, j 1,..., j r } V prvem primeru je u w = k (r 1), torej je d(u, w) = r 1. V drugem in tretjem primeru je u w = k r in spet po indukcijski predpostavki sledi d(u, w) = r. V zadnjem primeru pa je u w = k (r + 1). Vemo, da obstaja pot dolºime r + 1 med u in w, ker obstaja pot dolºine r med u in v in ker sta v in w sosedna. Vemo tudi, da ne obstaja nobena kraj²a pot, ker bi po indukcijski predpostavki veljalo u w k r, kar je v protislovju z u w = k (r + 1). Najkraj²a pot med u in w je torej dolºine r + 1, kar pomeni, da je d(u, w) = r
21 Povedali smo ºe, da poljuben avtomorzem g Johnsonovega grafa ohranja velikost preseka dveh vozli², torej velja d(u, v) = m u v = k m u g v g = k m d(u g, v g ) = m. Lema. Naj bosta u, v vozli² i Johnsonovega grafa J(2k 1, k 1, 0). Za m 0 in 2m < k 1 velja { 2m u v = (k 1) m d(u, v) = 2m + 1 u v = m Dokaz. Najprej bomo lemo dokazali za sodo razdaljo. m = 0: d(u, v) = 0 u = v u v = u = k 1 = (k 1) 0. Naj zdaj trditev velja za m r. Izberimo vozli² e w, tako da je d(u, w) = 2(r + 1) in d(v, w) = 2. (V primeru, da je r = 1, naj velja tudi u w.) Po indukcijski predpostavki velja u v = (k 1) r. Poleg tega obstaja vozli² e x, tako da je d(v, x) = d(x, w) = 1 in v x = x w = 0. Torej imamo v Ω\x in w Ω\x. Ker je v = w = k 1 in Ω\x = (2k 1) (k 1) = k, mora veljati v w = (k 1) 1. Vemo, da je u v = (k 1) r in v w = (k 1) 1. Zato se w od v razlikuje samo v enem elementu. Predpostavimo, da je u v = s, u = {x 1,..., x s, u s+1,..., u k 1 } in v = {x 1,..., x s, v s+1,..., v k 1 }. Potem imamo ²tiri moºnosti: w = {x 1,..., x s, v s+1,..., v k 2, u j }, za nek j, in u w = u v + 1. w = {x 1,..., x s, v s+1,..., v k 2, α}, za nek α Ω\(u v), in u w = u v. w = {x 1,..., x s 1, u j, v s+1,..., v k 1 }, za nek j, in u w = u v = u v. w = {x 1,..., x s 1, α, v s+1,..., v k 1 }, za nek α Ω\(u v), in u w = u v 1. V prvem primeru je u w = (k 1) r+1 = (k 1) (r 1) in po indukcijski predpostavki je d(u, w) = 2(r 1), kar je v protislovju z d(u, w) = 2(r + 1). Podobno je v drugem in tretjem primeru u w = (k 1) r in d(u, w) = 2r, kar je spet protislovje. V zadnjem primeru pa je u w = (k 1) r 1 = (k 1) (r + 1). Zdaj bomo lemo dokazali ²e za liho razdaljo med vozli² i. m = 0: d(u, v) = 1 u v = 0. 21
22 Predpostavimo, da trditev velja za m r, torej d(u, v) = 2r+1 u v = r. Izberimo vozli² e w, tako da je d(u, w) = 2(r + 1) + 1 in d(v, w) = 2. Kot v prvem delu dokaza je v w = (k 1) 1 in po indukcijski prepostavki je u v = r. Preveriti moramo enake ²tiri primere kot v prvem delu. V zadnjem primeru je u w = u v 1 = r 1 in po indukcijski predpostavki d(u, w) = 2(r 1) + 1, kar je v protislovju z d(u, w) = 2(r + 1) + 1. V drugem in tretjem primeru je u w = r in d(u, w) = 2r, kar je spet protislovje. V prvem primeru pa je u w = r + 1. Trditev. Johnsonov graf J(2k 1, k 1, 0) je razdaljno tranzitiven. Dokaz. Podobno kot pri prej²nji trditvi tudi ta sledi iz leme. Razdaljno tranzitivne grafe pa lahko predstavimo tudi na bolj prijazen na in. ƒe je u V (X), potem naj bo X i (u) mnoºica vseh vozli², ki so od vozli² a u oddaljena za i. Particijo {u, X 1 (u),...x d (u)} imenujemo razdaljna particija glede na u. Naj G deluje razdaljno tranzitivno na X in naj bo u V (X). ƒe sta v in v dve vozli² i na razdalji i od u, potem eden izmed elementov G preslika (u, v) na (u, v ), kar pomeni da obstaja element G u, ki preslika v na v, torej G deluje tranzitivno na X i (u). X i (u) so pravzaprav orbite delovanja G u. ƒe ima X premer d, potem G deluje razdaljno tranzitivno na X natanko tedaj, ko deluje tranzitivno in ima za vsak u G u natanko d + 1 orbit. Vsako vozli² e v X i (u) je sosedno enakemu ²tevilu vozli², recimo a i, v X i (u). Podobno sta tudi ²tevilo sosedov v X i+1 (u), recimo b i, in ²tevilo sosedov v X i 1 (u), recimo c i, vedno enaka. tevilom a i, b i in c i re emo prese na ²tevila. Graf X je regularen in njegova valenca je kar b 0. ƒe je premer grafa d, je c i + a i + b i = b 0 za i = 0, 1,..., d. Ta ²tevila obi ajno zapi²emo v prese no tabelo: c 1... c d 1 c d a 0 a 1... a d 1 a d b 0 b 1... b d 1 22
23 ali kraj²e: {b 0, b 1,..., b d 1 ; c 1, c 2,..., c d }. Primer. Petersenov graf, narisan tako, da je razdaljna particija o itna. Njegova prese na tabela: Trditev. Povezan s-lo no tranzitiven graf z oºino 2s 2 je razdaljno tranzitiven s premerom s 1. Dokaz. Naj bo X kot v predpostavki trditve in naj bosta (u, u ) in (v, v ) para vozli² na razdalji i. Ker ima X premer s 1 po zadnji trditvi iz etrtega poglavja, je i s 1. Para vozli² sta torej povezana s potema dolºine i in zaradi i-lo ne tranzitivnosti grafa X obstaja avtomorzem, ki preslika (u, u ) v (v, v ). ƒe je prese na tabela enaka za vsa vozli² a v grafu, re emo, da je X razdaljno regularen. Vsi razdaljno tranzitivni gra so tudi razdaljno regularni, obratno pa ni vedno res. 23
24 7 Literatura [1] Godsil C., Royle G., Algebraic Graph Theory, Springer, 2001 [2] Bayley R. F., Distance-transitive graphs,
Zaporedja. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 22. oktober Gregor Dolinar Matematika 1
Matematika 1 Gregor Dolinar Fakulteta za elektrotehniko Univerza v Ljubljani 22. oktober 2013 Kdaj je zaporedje {a n } konvergentno, smo definirali s pomočjo limite zaporedja. Večkrat pa je dobro vedeti,
Διαβάστε περισσότεραDiagonalni gra. 1 Predstavitev diagonalnih grafov. Zvone Klun. Maj 2007
Diagonalni gra Zvone Klun Maj 2007 1 Predstavitev diagonalnih grafov Graf je diagonalen (ang. chordal), e ima vsak cikel dolºine 4 ali ve diagonalo. Kjer je diagonala (ang. chord) povezava med dvema vozli²
Διαβάστε περισσότεραOdvod. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 5. december Gregor Dolinar Matematika 1
Matematika 1 Gregor Dolinar Fakulteta za elektrotehniko Univerza v Ljubljani 5. december 2013 Primer Odvajajmo funkcijo f(x) = x x. Diferencial funkcije Spomnimo se, da je funkcija f odvedljiva v točki
Διαβάστε περισσότεραKODE ZA ODKRIVANJE IN ODPRAVLJANJE NAPAK
1 / 24 KODE ZA ODKRIVANJE IN ODPRAVLJANJE NAPAK Štefko Miklavič Univerza na Primorskem MARS, Avgust 2008 Phoenix 2 / 24 Phoenix 3 / 24 Phoenix 4 / 24 Črtna koda 5 / 24 Črtna koda - kontrolni bit 6 / 24
Διαβάστε περισσότεραFunkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 14. november Gregor Dolinar Matematika 1
Matematika 1 Gregor Dolinar Fakulteta za elektrotehniko Univerza v Ljubljani 14. november 2013 Kvadratni koren polinoma Funkcijo oblike f(x) = p(x), kjer je p polinom, imenujemo kvadratni koren polinoma
Διαβάστε περισσότεραFunkcijske vrste. Matematika 2. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 2. april Gregor Dolinar Matematika 2
Matematika 2 Gregor Dolinar Fakulteta za elektrotehniko Univerza v Ljubljani 2. april 2014 Funkcijske vrste Spomnimo se, kaj je to številska vrsta. Dano imamo neko zaporedje realnih števil a 1, a 2, a
Διαβάστε περισσότεραFunkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 21. november Gregor Dolinar Matematika 1
Matematika 1 Gregor Dolinar Fakulteta za elektrotehniko Univerza v Ljubljani 21. november 2013 Hiperbolične funkcije Hiperbolični sinus sinhx = ex e x 2 20 10 3 2 1 1 2 3 10 20 hiperbolični kosinus coshx
Διαβάστε περισσότεραTretja vaja iz matematike 1
Tretja vaja iz matematike Andrej Perne Ljubljana, 00/07 kompleksna števila Polarni zapis kompleksnega števila z = x + iy): z = rcos ϕ + i sin ϕ) = re iϕ Opomba: Velja Eulerjeva formula: e iϕ = cos ϕ +
Διαβάστε περισσότεραOdvod. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 10. december Gregor Dolinar Matematika 1
Matematika 1 Gregor Dolinar Fakulteta za elektrotehniko Univerza v Ljubljani 10. december 2013 Izrek (Rolleov izrek) Naj bo f : [a,b] R odvedljiva funkcija in naj bo f(a) = f(b). Potem obstaja vsaj ena
Διαβάστε περισσότεραDiferencialna enačba, v kateri nastopata neznana funkcija in njen odvod v prvi potenci
Linearna diferencialna enačba reda Diferencialna enačba v kateri nastopata neznana funkcija in njen odvod v prvi potenci d f + p= se imenuje linearna diferencialna enačba V primeru ko je f 0 se zgornja
Διαβάστε περισσότεραFunkcije. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 12. november Gregor Dolinar Matematika 1
Matematika 1 Gregor Dolinar Fakulteta za elektrotehniko Univerza v Ljubljani 12. november 2013 Graf funkcije f : D R, D R, je množica Γ(f) = {(x,f(x)) : x D} R R, torej podmnožica ravnine R 2. Grafi funkcij,
Διαβάστε περισσότεραZaporedja. Matematika 1. Gregor Dolinar. Fakulteta za elektrotehniko Univerza v Ljubljani. 15. oktober Gregor Dolinar Matematika 1
Matematika 1 Gregor Dolinar Fakulteta za elektrotehniko Univerza v Ljubljani 15. oktober 2013 Oglejmo si, kako množimo dve kompleksni števili, dani v polarni obliki. Naj bo z 1 = r 1 (cosϕ 1 +isinϕ 1 )
Διαβάστε περισσότεραAlgebraične strukture
Poglavje V Algebraične strukture V tem poglavju bomo spoznali osnovne algebraične strukture na dani množici. Te so podane z eno ali dvema binarnima operacijama. Binarna operacija paru elementov iz množice
Διαβάστε περισσότεραTeorija grafov in topologija poliedrov
Teorija grafov in topologija poliedrov Matjaž Željko Društvo matematikov, fizikov in astronomov Slovenije Seminar Razvedrilna matematika Ljubljana, 18. februar 2011 1 Matjaž Željko Teorija grafov in topologija
Διαβάστε περισσότεραDefinicija. definiramo skalarni produkt. x i y i. in razdaljo. d(x, y) = x y = < x y, x y > = n (x i y i ) 2. i=1. i=1
Funkcije več realnih spremenljivk Osnovne definicije Limita in zveznost funkcije več spremenljivk Parcialni odvodi funkcije več spremenljivk Gradient in odvod funkcije več spremenljivk v dani smeri Parcialni
Διαβάστε περισσότεραmatrike A = [a ij ] m,n αa 11 αa 12 αa 1n αa 21 αa 22 αa 2n αa m1 αa m2 αa mn se števanje po komponentah (matriki morata biti enakih dimenzij):
4 vaja iz Matematike 2 (VSŠ) avtorica: Melita Hajdinjak datum: Ljubljana, 2009 matrike Matrika dimenzije m n je pravokotna tabela m n števil, ki ima m vrstic in n stolpcev: a 11 a 12 a 1n a 21 a 22 a 2n
Διαβάστε περισσότεραBooleova algebra. Izjave in Booleove spremenljivke
Izjave in Booleove spremenljivke vsako izjavo obravnavamo kot spremenljivko če je izjava resnična (pravilna), ima ta spremenljivka vrednost 1, če je neresnična (nepravilna), pa vrednost 0 pravimo, da gre
Διαβάστε περισσότεραSPEKTRALNA TEORIJA V HILBERTOVIH PROSTORIH
UNIVERZA V MARIBORU FAKULTETA ZA NARAVOSLOVJE IN MATEMATIKO Oddelek za matematiko in ra unalni²tvo Diplomsko delo SPEKTRALNA TEORIJA V HILBERTOVIH PROSTORIH Mentor: dr. Matej Bre²ar Kandidatka: Brigita
Διαβάστε περισσότεραIzpeljava Jensenove in Hölderjeve neenakosti ter neenakosti Minkowskega
Izeljava Jensenove in Hölderjeve neenakosti ter neenakosti Minkowskega 1. Najosnovnejše o konveksnih funkcijah Definicija. Naj bo X vektorski rostor in D X konveksna množica. Funkcija ϕ: D R je konveksna,
Διαβάστε περισσότερα1 Fibonaccijeva stevila
1 Fibonaccijeva stevila Fibonaccijevo število F n, kjer je n N, lahko definiramo kot število načinov zapisa števila n kot vsoto sumandov, enakih 1 ali Na primer, število 4 lahko zapišemo v obliki naslednjih
Διαβάστε περισσότεραPoliedri Ines Pogačar 27. oktober 2009
Poliedri Ines Pogačar 27. oktober 2009 Pri linearnem programiranju imamo opravka s končnim sistemom neenakosti in končno spremenljivkami, torej je množica dopustnih rešitev presek končno mnogo polprostorov.
Διαβάστε περισσότεραSpoznajmo sedaj definicijo in nekaj osnovnih primerov zaporedij števil.
Zaporedja števil V matematiki in fiziki pogosto operiramo s približnimi vrednostmi neke količine. Pri numeričnemu računanju lahko npr. število π aproksimiramo s števili, ki imajo samo končno mnogo neničelnih
Διαβάστε περισσότεραRealne funkcije. Elementarne funkcije. Polinomi in racionalne funkcije. Eksponentna funkcija a x : R R + FKKT Matematika 1
Realne funkcije Funkcija f denirana simetri nem intervalu D = ( a, a) ali D = [ a, a] (i) je soda, e velja f(x) = f( x), x D; (ii) je liha, e velja f(x) = f( x), x D. Naj bo f denirana D f in x 1, x 2
Διαβάστε περισσότερα8. Diskretni LTI sistemi
8. Diskreti LI sistemi. Naloga Določite odziv diskretega LI sistema s podaim odzivom a eoti impulz, a podai vhodi sigal. h[] x[] - - 5 6 7 - - 5 6 7 LI sistem se a vsak eoti impulz δ[] a vhodu odzove z
Διαβάστε περισσότεραOsnove matematične analize 2016/17
Osnove matematične analize 216/17 Neža Mramor Kosta Fakulteta za računalništvo in informatiko Univerza v Ljubljani Kaj je funkcija? Funkcija je predpis, ki vsakemu elementu x iz definicijskega območja
Διαβάστε περισσότεραLinearne preslikave. Poglavje VII. 1 Definicija linearne preslikave in osnovne lastnosti
Poglavje VII Linearne preslikave V tem poglavju bomo vektorske prostore označevali z U,V,W,... Vsi vektorski prostori bodo končnorazsežni. Zaradi enostavnosti bomo privzeli, da je pripadajoči obseg realnih
Διαβάστε περισσότεραTadej Star i NALOGE IZ LOGIKE IN MNOšIC Z RE ITVAMI U no gradivo
Univerza v Ljubljani Pedago²ka fakulteta Oddelek za matematiko in ra unalni²tvo Katedra za algebro in analizo Tadej Star i NALOGE IZ LOGIKE IN MNOšIC Z RE ITVAMI U no gradivo Ljubljana, 2015 Predgovor
Διαβάστε περισσότεραKotne in krožne funkcije
Kotne in krožne funkcije Kotne funkcije v pravokotnem trikotniku Avtor: Rok Kralj, 4.a Gimnazija Vič, 009/10 β a c γ b α sin = a c cos= b c tan = a b cot = b a Sinus kota je razmerje kotu nasprotne katete
Διαβάστε περισσότεραSKUPNE PORAZDELITVE VEČ SLUČAJNIH SPREMENLJIVK
SKUPNE PORAZDELITVE SKUPNE PORAZDELITVE VEČ SLUČAJNIH SPREMENLJIVK Kovaec vržemo trikrat. Z ozačimo število grbov ri rvem metu ( ali ), z Y a skuo število grbov (,, ali 3). Kako sta sremelivki i Y odvisi
Διαβάστε περισσότεραUNIVERZA V LJUBLJANI PEDAGOŠKA FAKULTETA SANDRA BOLTA LASTNE VREDNOSTI GRAFA DIPLOMSKO DELO
UNIVERZA V LJUBLJANI PEDAGOŠKA FAKULTETA SANDRA BOLTA LASTNE VREDNOSTI GRAFA DIPLOMSKO DELO LJUBLJANA, 2014 2 UNIVERZA V LJUBLJANI PEDAGOŠKA FAKULTETA Študijska smer: Fizika in matematika SANDRA BOLTA
Διαβάστε περισσότεραLastne vrednosti in lastni vektorji
Poglavje VIII Lastne vrednosti in lastni vektorji V tem poglavju bomo privzeli, da so skalarji v vektorskih prostorih, koeficienti v matrikah itd., kompleksna števila. Algebraične operacije seštevanja,
Διαβάστε περισσότεραOsnovni primer. (Z, +,,, 0, 1) je komutativan prsten sa jedinicom: množenje je distributivno prema sabiranju
RAČUN OSTATAKA 1 1 Prsten celih brojeva Z := N + {} N + = {, 3, 2, 1,, 1, 2, 3,...} Osnovni primer. (Z, +,,,, 1) je komutativan prsten sa jedinicom: sabiranje (S1) asocijativnost x + (y + z) = (x + y)
Διαβάστε περισσότεραV tem poglavju bomo vpeljali pojem determinante matrike, spoznali bomo njene lastnosti in nekaj metod za računanje determinant.
Poglavje IV Determinanta matrike V tem poglavju bomo vpeljali pojem determinante matrike, spoznali bomo njene lastnosti in nekaj metod za računanje determinant 1 Definicija Preden definiramo determinanto,
Διαβάστε περισσότερα1. Definicijsko območje, zaloga vrednosti. 2. Naraščanje in padanje, ekstremi. 3. Ukrivljenost. 4. Trend na robu definicijskega območja
ZNAČILNOSTI FUNKCIJ ZNAČILNOSTI FUNKCIJE, KI SO RAZVIDNE IZ GRAFA. Deinicijsko območje, zaloga vrednosti. Naraščanje in padanje, ekstremi 3. Ukrivljenost 4. Trend na robu deinicijskega območja 5. Periodičnost
Διαβάστε περισσότεραNa pregledni skici napišite/označite ustrezne točke in paraboli. A) 12 B) 8 C) 4 D) 4 E) 8 F) 12
Predizpit, Proseminar A, 15.10.2015 1. Točki A(1, 2) in B(2, b) ležita na paraboli y = ax 2. Točka H leži na y osi in BH je pravokotna na y os. Točka C H leži na nosilki BH tako, da je HB = BC. Parabola
Διαβάστε περισσότεραDISKRETNA FOURIERJEVA TRANSFORMACIJA
29.03.2004 Definicija DFT Outline DFT je linearna transformacija nekega vektorskega prostora dimenzije n nad obsegom K, ki ga označujemo z V K, pri čemer ima slednji lastnost, da vsebuje nek poseben element,
Διαβάστε περισσότεραIZPIT IZ ANALIZE II Maribor,
Maribor, 05. 02. 200. (a) Naj bo f : [0, 2] R odvedljiva funkcija z lastnostjo f() = f(2). Dokaži, da obstaja tak c (0, ), da je f (c) = 2f (2c). (b) Naj bo f(x) = 3x 3 4x 2 + 2x +. Poišči tak c (0, ),
Διαβάστε περισσότεραp 1 ENTROPIJSKI ZAKON
ENROPIJSKI ZAKON REERZIBILNA srememba: moža je obrjea srememba reko eakih vmesih staj kot rvota srememba. Po obeh sremembah e sme biti obeih trajih srememb v bližji i dalji okolici. IREERZIBILNA srememba:
Διαβάστε περισσότεραDISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović
DISKRETNA MATEMATIKA - PREDAVANJE 7 - Jovanka Pantović Novi Sad April 17, 2018 1 / 22 Teorija grafova April 17, 2018 2 / 22 Definicija Graf je ure dena trojka G = (V, G, ψ), gde je (i) V konačan skup čvorova,
Διαβάστε περισσότερα1. Trikotniki hitrosti
. Trikotniki hitrosti. Z radialno črpalko želimo črpati vodo pri pogojih okolice z nazivnim pretokom 0 m 3 /h. Notranji premer rotorja je 4 cm, zunanji premer 8 cm, širina rotorja pa je,5 cm. Frekvenca
Διαβάστε περισσότεραSplošno o interpolaciji
Splošno o interpolaciji J.Kozak Numerične metode II (FM) 2011-2012 1 / 18 O funkciji f poznamo ali hočemo uporabiti le posamezne podatke, na primer vrednosti r i = f (x i ) v danih točkah x i Izberemo
Διαβάστε περισσότεραDARJA POTOƒAR, FMF
7. ²olska ura Tema: Ponovitev Oblika: vaje B 1 Kotne funkcije v pravokotnem trikotniku: A V α A 1 B 1 sin α = AA 1 V A = BB 1 V B cos α = V B 1 V B = V A 1 V A tan α = sin α cos α cos α cot α = sin α =
Διαβάστε περισσότεραPodobnost matrik. Matematika II (FKKT Kemijsko inženirstvo) Diagonalizacija matrik
Podobnost matrik Matematika II (FKKT Kemijsko inženirstvo) Matjaž Željko FKKT Kemijsko inženirstvo 14 teden (Zadnja sprememba: 23 maj 213) Matrika A R n n je podobna matriki B R n n, če obstaja obrnljiva
Διαβάστε περισσότεραNumerično reševanje. diferencialnih enačb II
Numerčno reševanje dferencaln enačb I Dferencalne enačbe al ssteme dferencaln enačb rešujemo numerčno z več razlogov:. Ne znamo j rešt analtčno.. Posamezn del dferencalne enačbe podan tabelarčno. 3. Podatke
Διαβάστε περισσότεραPovezanost. Izbrana poglavja iz diskretne matematike. 17. maj Univerza v Ljubljani Fakulteta za matematiko in fiziko Finančna matematika
Povezanost Izbrana poglavja iz diskretne matematike Miha Eržen, Zala Herga, Nika Šušterič, Nina Zupančič Univerza v Ljubljani Fakulteta za matematiko in fiziko Finančna matematika 17. maj 2012 17. maj
Διαβάστε περισσότεραReševanje sistema linearnih
Poglavje III Reševanje sistema linearnih enačb V tem kratkem poglavju bomo obravnavali zelo uporabno in zato pomembno temo linearne algebre eševanje sistemov linearnih enačb. Spoznali bomo Gaussovo (natančneje
Διαβάστε περισσότεραVEKTORJI. Operacije z vektorji
VEKTORJI Vektorji so matematični objekti, s katerimi opisujemo določene fizikalne količine. V tisku jih označujemo s krepko natisnjenimi črkami (npr. a), pri pisanju pa s puščico ( a). Fizikalne količine,
Διαβάστε περισσότεραKotni funkciji sinus in kosinus
Kotni funkciji sinus in kosinus Oznake: sinus kota x označujemo z oznako sin x, kosinus kota x označujemo z oznako cos x, DEFINICIJA V PRAVOKOTNEM TRIKOTNIKU: Kotna funkcija sinus je definirana kot razmerje
Διαβάστε περισσότεραMatematika 1. Gabrijel Tomšič Bojan Orel Neža Mramor Kosta
Matematika Gabrijel Tomšič Bojan Orel Neža Mramor Kosta 6. november 200 Poglavje 2 Zaporedja in številske vrste 2. Zaporedja 2.. Uvod Definicija 2... Zaporedje (a n ) = a, a 2,..., a n,... je predpis,
Διαβάστε περισσότεραII. LIMITA IN ZVEZNOST FUNKCIJ
II. LIMITA IN ZVEZNOST FUNKCIJ. Preslikave med množicami Funkcija ali preslikava med dvema množicama A in B je predpis f, ki vsakemu elementu x množice A priredi natanko določen element y množice B. Važno
Διαβάστε περισσότεραPONOVITEV SNOVI ZA 4. TEST
PONOVITEV SNOVI ZA 4. TEST 1. * 2. *Galvanski člen z napetostjo 1,5 V požene naboj 40 As. Koliko električnega dela opravi? 3. ** Na uporniku je padec napetosti 25 V. Upornik prejme 750 J dela v 5 minutah.
Διαβάστε περισσότεραInverzni problem lastnih vrednosti evklidsko razdaljnih matrik
Univerza v Ljubljani Fakulteta za računalništvo in informatiko Fakulteta za matematiko in fiziko Peter Škvorc Inverzni problem lastnih vrednosti evklidsko razdaljnih matrik DIPLOMSKO DELO UNIVERZITETNI
Διαβάστε περισσότεραMatematika I (VS) Univerza v Ljubljani, FE. Melita Hajdinjak 2013/14. Pregled elementarnih funkcij. Potenčna funkcija. Korenska funkcija.
1 / 46 Univerza v Ljubljani, FE Potenčna Korenska Melita Hajdinjak Matematika I (VS) Kotne 013/14 / 46 Potenčna Potenčna Funkcijo oblike f() = n, kjer je n Z, imenujemo potenčna. Število n imenujemo eksponent.
Διαβάστε περισσότεραLogika in izjavni račun
Logika in izjavni račun 1. Zapiši pravilnostne tabele za negacijo, in, ali, ekskluzivni ali, implikacijo, ekvivalenco, nein in neali. 2. Zapiši prioritetno tabelo logičnih operacij. 3. Tone je izjavil
Διαβάστε περισσότερα1 Seštevanje vektorjev in množenje s skalarjem
Poglavje I Vektorji Seštevanje vektorjev in množenje s skalarjem Za lažjo geometrično predstavo si najprej oglejmo, kaj so vektorji v ravnini. Vektor je usmerjena daljica, ki je natanko določena s svojo
Διαβάστε περισσότερα13. Jacobijeva metoda za računanje singularnega razcepa
13. Jacobijeva metoda za računanje singularnega razcepa Bor Plestenjak NLA 25. maj 2010 Bor Plestenjak (NLA) 13. Jacobijeva metoda za računanje singularnega razcepa 25. maj 2010 1 / 12 Enostranska Jacobijeva
Διαβάστε περισσότεραArjana Žitnik. Rešene naloge iz kolokvijev in izpitov pri predmetu
Arjana Žitnik Rešene naloge iz kolokvijev in izpitov pri predmetu DISKRETNA MATEMATIKA 1 Študijsko gradivo za študente 1. letnika Finančne matematike Ljubljana, 2016 NASLOV: Rešene naloge iz kolokvijev
Διαβάστε περισσότερα1. izpit iz Diskretnih struktur UNI Ljubljana, 17. januar 2006
1. izpit iz Diskretnih struktur UNI Ljubljana, 17. januar 2006 1. Dana je množica predpostavk p q r s, r t, s q, s p r, s t in zaključek t r. Odloči, ali je sklep pravilen ali napačen. pravilen, zapiši
Διαβάστε περισσότεραVektorski prostori s skalarnim produktom
Poglavje IX Vektorski prostori s skalarnim produktom Skalarni produkt dveh vektorjev v R n smo spoznali v prvem poglavju. Sedaj bomo pojem skalarnega produkta razširili na poljuben vektorski prostor V
Διαβάστε περισσότεραAFINA IN PROJEKTIVNA GEOMETRIJA
Aleš Vavpetič AFINA IN PROJEKTIVNA GEOMETRIJA Ljubljana 2011 ii naslov: AFINA IN PROJEKTIVNA GEOMETRIJA avtorske pravice: Aleš Vavpetič izdaja: prva izdaja založnik: samozaložba Aleš Vavpetič, Ljubljana
Διαβάστε περισσότεραDodatna poglavja iz linearne algebre za 1. letnik finančne matematike na FMF. Primož Moravec
Dodatna poglavja iz linearne algebre za 1 letnik finančne matematike na FMF Primož Moravec 13 september 2017 1 CIP - Kataložni zapis o publikaciji Narodna in univerzitetna knjižnica, Ljubljana 51264(0758)
Διαβάστε περισσότερα(Ne)rešljiva Rubikova kocka in grupe
(Ne)rešljiva Rubikova kocka in grupe Maša Lah, Sabina Boršić, Klara Drofenik Mentor: Rok Gregorič Matematično raziskovalno srečanje 24. avgust 2016 Povzetek Cilj našega projekta je bil ugotoviti kriterij
Διαβάστε περισσότεραREˇSITVE. Naloga a. b. c. d Skupaj. FAKULTETA ZA MATEMATIKO IN FIZIKO Oddelek za matematiko Verjetnost 2. kolokvij 23.
Ime in priimek: Vpisna št: FAKULTETA ZA MATEMATIKO IN FIZIKO Oddelek za matematiko Verjetnost. kolokvij 3. januar 08 Navodila Pazljivo preberite besedilo naloge, preden se lotite reševanja. Nalog je 6,
Διαβάστε περισσότεραMatrike. Poglavje II. Matrika je pravokotna tabela realnih števil. Na primer: , , , 0 1
Poglavje II Matrike Matrika je pravokotna tabela realnih števil Na primer: [ ] 1 1 1, 2 3 1 1 0 1 3 2 1, 0 1 4 [ ] 2 7, Matrika je sestavljena iz vrstic in stolpcev Vrstici matrike [ ] 1 1 1 2 3 1 [ ]
Διαβάστε περισσότεραPostavitev hipotez NUJNO! Milena Kova. 10. januar 2013
Postavitev hipotez NUJNO! Milena Kova 10. januar 2013 Osnove biometrije 2012/13 1 Postavitev in preizku²anje hipotez Hipoteze zastavimo najprej ob na rtovanju preizkusa Ob obdelavi jih morda malo popravimo
Διαβάστε περισσότεραMatematika 1. Gregor Dolinar. 2. januar Fakulteta za elektrotehniko Univerza v Ljubljani. Gregor Dolinar Matematika 1
Mtemtik 1 Gregor Dolinr Fkultet z elektrotehniko Univerz v Ljubljni 2. jnur 2014 Gregor Dolinr Mtemtik 1 Izrek (Izrek o povprečni vrednosti) Nj bo m ntnčn spodnj mej in M ntnčn zgornj mej integrbilne funkcije
Διαβάστε περισσότεραOsnove elektrotehnike uvod
Osnove elektrotehnike uvod Uvod V nadaljevanju navedena vprašanja so prevod testnih vprašanj, ki sem jih našel na omenjeni spletni strani. Vprašanja zajemajo temeljna znanja opredeljenega strokovnega področja.
Διαβάστε περισσότεραUNIVERZA V LJUBLJANI PEDAGO KA FAKULTETA
UNIVERZA V LJUBLJANI PEDAGO KA FAKULTETA DIPLOMSKO DELO ANITA MANDELJ UNIVERZA V LJUBLJANI PEDAGO KA FAKULTETA tudijski program: Matematika in ra unalni²tvo Ravninske mreºe in posplo²itve Pickovega izreka
Διαβάστε περισσότεραPROCESIRANJE SIGNALOV
Rešive pisega izpia PROCESIRANJE SIGNALOV Daum: 7... aloga Kolikša je ampliuda reje harmoske kompoee arisaega periodičega sigala? f() - -3 - - 3 Rešiev: Časova fukcija a iervalu ( /,/) je lieara fukcija:
Διαβάστε περισσότεραKontrolne karte uporabljamo za sprotno spremljanje kakovosti izdelka, ki ga izdelujemo v proizvodnem procesu.
Kontrolne karte KONTROLNE KARTE Kontrolne karte uporablamo za sprotno spremlane kakovosti izdelka, ki ga izdeluemo v proizvodnem procesu. Izvaamo stalno vzorčene izdelkov, npr. vsako uro, vsake 4 ure.
Διαβάστε περισσότεραMATEMATIČNI IZRAZI V MAFIRA WIKIJU
I FAKULTETA ZA MATEMATIKO IN FIZIKO Jadranska cesta 19 1000 Ljubljan Ljubljana, 25. marec 2011 MATEMATIČNI IZRAZI V MAFIRA WIKIJU KOMUNICIRANJE V MATEMATIKI Darja Celcer II KAZALO: 1 VSTAVLJANJE MATEMATIČNIH
Διαβάστε περισσότεραPosplošena električna dominacija
Univerza v Ljubljani Fakulteta za računalništvo in informatiko Fakulteta za matematiko in fiziko Aleš Omerzel Posplošena električna dominacija DIPLOMSKO DELO UNIVERZITETNI ŠTUDIJSKI PROGRAM PRVE STOPNJE
Διαβάστε περισσότεραAnaliza I. (študijsko gradivo) Matija Cencelj
Analiza I (študijsko gradivo) Matija Cencelj 2. maj 2007 2 Kazalo 1 Uvod 5 1.1 Izjave............................... 5 1.2 Množice.............................. 7 1.3 Relacije..............................
Διαβάστε περισσότερα*M * Osnovna in višja raven MATEMATIKA NAVODILA ZA OCENJEVANJE. Sobota, 4. junij 2011 SPOMLADANSKI IZPITNI ROK. Državni izpitni center
Državni izpitni center *M40* Osnovna in višja raven MATEMATIKA SPOMLADANSKI IZPITNI ROK NAVODILA ZA OCENJEVANJE Sobota, 4. junij 0 SPLOŠNA MATURA RIC 0 M-40-- IZPITNA POLA OSNOVNA IN VIŠJA RAVEN 0. Skupaj:
Διαβάστε περισσότεραIntegralni račun. Nedoločeni integral in integracijske metrode. 1. Izračunaj naslednje nedoločene integrale: (a) dx. (b) x 3 +3+x 2 dx, (c) (d)
Integralni račun Nedoločeni integral in integracijske metrode. Izračunaj naslednje nedoločene integrale: d 3 +3+ 2 d, (f) (g) (h) (i) (j) (k) (l) + 3 4d, 3 +e +3d, 2 +4+4 d, 3 2 2 + 4 d, d, 6 2 +4 d, 2
Διαβάστε περισσότεραPolgrupe i grupe (1) Razišči strukturo asledjih grupoidov: (a) S = R za operacijo x y = x + y + xy, { [ ] 1 x (b) S = 0 1 x R za operacijo možeje matrik, (c) S = R 3 za operacijo vektorski produkt, (d)
Διαβάστε περισσότεραUniverza v Ljubljani Fakulteta za računalništvo in informatiko MATEMATIKA. Polona Oblak
Univerza v Ljubljani Fakulteta za računalništvo in informatiko MATEMATIKA Polona Oblak Ljubljana, 04 CIP - Kataložni zapis o publikaciji Narodna in univerzitetna knjižnica, Ljubljana 5(075.8)(0.034.) OBLAK,
Διαβάστε περισσότεραpredavatelj: doc. Andreja Drobni Vidic
1 RE ITVE 5. DOMAƒE NALOGE - TOTP - modul MATEMATIKA predavaelj: doc. Andreja Drobni Vidic UPORABA ODVODOV IN INTEGRALI Diferencialni ra un je omogo il re²evanje nalog, za kaere je pred em kazalo, da presegajo
Διαβάστε περισσότεραGimnazija Krˇsko. vektorji - naloge
Vektorji Naloge 1. V koordinatnem sistemu so podane točke A(3, 4), B(0, 2), C( 3, 2). a) Izračunaj dolžino krajevnega vektorja točke A. (2) b) Izračunaj kot med vektorjema r A in r C. (4) c) Izrazi vektor
Διαβάστε περισσότεραUNIVERZA V LJUBLJANI PEDAGOŠKA FAKULTETA Predmetno poučevanje, matematika in računalništvo
UNIVERZA V LJUBLJANI PEDAGOŠKA FAKULTETA Predmetno poučevanje, matematika in računalništvo MARIZA MOČNIK ALGORITEM ZA ŠTETJE MALIH INDUCIRANIH PODGRAFOV IN ORBIT VOZLIŠČ V REDKIH GRAFIH MAGISTRSKO DELO
Διαβάστε περισσότεραKvadratne forme. Poglavje XI. 1 Definicija in osnovne lastnosti
Poglavje XI Kvadratne forme V zadnjem poglavju si bomo ogledali še eno vrsto preslikav, ki jih tudi lahko podamo z matrikami. To so tako imenovane kvadratne forme, ki niso več linearne preslikave. Kvadratne
Διαβάστε περισσότεραSklepanje je torej tudi interpretacija stavka predstavljena kot sekvenca instanc pravil.
Poglavje 2 SKLEPANJE Teorija je definirana z množico pravil. Pravila lahko definirajo preverjanje tipov stavka danega jezika, definirajo interpretacijo jezika,... Sklepanje predstavimo s sekvenco aplikacij
Διαβάστε περισσότεραINTEGRALI RACIONALNIH FUNKCIJ
UNIVERZA V LJUBLJANI PEDAGOŠKA FAKULTETA NIKA HREN INTEGRALI RACIONALNIH FUNKCIJ DIPLOMSKO DELO LJUBLJANA, 203 UNIVERZA V LJUBLJANI PEDAGOŠKA FAKULTETA MATEMATIKA - RAČUNALNIŠTVO NIKA HREN Mentor: izr.
Διαβάστε περισσότεραNe vron ske mre že vs. re gre sij ski mo de li na po ve do va nje pov pra še va nja na treh vr stah do brin
Ne vron ske mre že vs. re gre sij mo de li na po ve do va nje pov pra še va nja na treh vr stah do brin An ton Zi dar 1, Ro ber to Bi lo sla vo 2 1 Bo bo vo 3.a, 3240 Šmar je pri Jel šah, Slo ve ni ja,
Διαβάστε περισσότεραMatematika 1. Jaka Cimprič
Matematika 1 Jaka Cimprič Predgovor Pričujoči učbenik je namenjen študentom tistih univerzitetnih programov, ki vključujejo samo eno leto matematike. Nastala je na podlagi izkušenj, ki jih imam s poučevanjem
Διαβάστε περισσότεραOsnovne lastnosti odvoda
Del 2 Odvodi POGLAVJE 4 Osnovne lastnosti odvoda. Definicija odvoda Odvod funkcije f v točki x je definiran z f f(x + ) f(x) (x) =. 0 Ta definicija je smiselna samo v primeru, ko x D(f), ita na desni
Διαβάστε περισσότεραUNIVERZA V MARIBORU FAKULTETA ZA KEMIJO IN KEMIJSKO TEHNOLOGIJO. Petra MATEMATIKA I
UNIVERZA V MARIBORU FAKULTETA ZA KEMIJO IN KEMIJSKO TEHNOLOGIJO Petra Žigert Pleteršek, Matevž Črepnjak Visokošolski učbenik z rešenimi nalogami MATEMATIKA I Maribor 03 Naslov publikacije: Visokošolski
Διαβάστε περισσότεραDelovna točka in napajalna vezja bipolarnih tranzistorjev
KOM L: - Komnikacijska elektronika Delovna točka in napajalna vezja bipolarnih tranzistorjev. Določite izraz za kolektorski tok in napetost napajalnega vezja z enim virom in napetostnim delilnikom na vhod.
Διαβάστε περισσότεραNEPARAMETRIČNI TESTI. pregledovanje tabel hi-kvadrat test. as. dr. Nino RODE
NEPARAMETRIČNI TESTI pregledovanje tabel hi-kvadrat test as. dr. Nino RODE Parametrični in neparametrični testi S pomočjo z-testa in t-testa preizkušamo domneve o parametrih na vzorcih izračunamo statistike,
Διαβάστε περισσότεραFrekvenčna analiza neperiodičnih signalov. Analiza signalov prof. France Mihelič
Frekvenčna analiza neperiodičnih signalov Analiza signalov prof. France Mihelič Vpliv postopka daljšanja periode na spekter periodičnega signala Opazujmo družino sodih periodičnih pravokotnih impulzov
Διαβάστε περισσότεραNavadne diferencialne enačbe
Navadne diferencialne enačbe Navadne diferencialne enačbe prvega reda V celotnem poglavju bo y = dy dx. Diferencialne enačbe z ločljivima spremeljivkama Diferencialna enačba z ločljivima spremeljivkama
Διαβάστε περισσότεραMatematika. BF Lesarstvo. Zapiski ob predavanjih v šolskem letu 2010/2011
Matematika BF Lesarstvo Matjaž Željko Zapiski ob predavanjih v šolskem letu 00/0 Izpis: 9 avgust 0 Kazalo Števila 5 Naravna števila 5 Cela števila 6 3 Racionalna števila 6 4 Realna števila 7 5 Urejenost
Διαβάστε περισσότεραAlgoritmi nad grafi v jeziku linearne algebre
Univerza v Ljubljani Fakulteta za računalništvo in informatiko Fakulteta za matematiko in fiziko Tinkara Toš Algoritmi nad grafi v jeziku linearne algebre DIPLOMSKO DELO UNIVERZITETNI ŠTUDIJSKI PROGRAM
Διαβάστε περισσότεραCM707. GR Οδηγός χρήσης... 2-7. SLO Uporabniški priročnik... 8-13. CR Korisnički priručnik... 14-19. TR Kullanım Kılavuzu... 20-25
1 2 3 4 5 6 7 OFFMANAUTO CM707 GR Οδηγός χρήσης... 2-7 SLO Uporabniški priročnik... 8-13 CR Korisnički priručnik... 14-19 TR Kullanım Kılavuzu... 20-25 ENG User Guide... 26-31 GR CM707 ΟΔΗΓΟΣ ΧΡΗΣΗΣ Περιγραφή
Διαβάστε περισσότεραKOMUTATIVNI I ASOCIJATIVNI GRUPOIDI. NEUTRALNI ELEMENT GRUPOIDA.
KOMUTATIVNI I ASOCIJATIVNI GRUPOIDI NEUTRALNI ELEMENT GRUPOIDA 1 Grupoid (G, ) je asocijativa akko važi ( x, y, z G) x (y z) = (x y) z Grupoid (G, ) je komutativa akko važi ( x, y G) x y = y x Asocijativa
Διαβάστε περισσότεραStatistična analiza. doc. dr. Mitja Kos, mag. farm. Katedra za socialno farmacijo Univerza v Ljubljani- Fakulteta za farmacijo
Statistična analiza opisnih spremenljivk doc. dr. Mitja Kos, mag. arm. Katedra za socialno armacijo Univerza v Ljubljani- Fakulteta za armacijo Statistični znaki Proučevane spremenljivke: statistični znaki
Διαβάστε περισσότεραFunkcije dveh in več spremenljivk
Poglavje 3 Funkcije dveh in več spremenljivk 3.1 Osnovni pojmi Definicija 3.1.1. Funkcija dveh spremenljivk je preslikava, ki vsaki točki (x, y) ravninske množice D priredi realno število z = f(x, y),
Διαβάστε περισσότεραUniverza na Primorskem Pedagoška fakulteta Koper. Geometrija. Istvan Kovacs in Klavdija Kutnar
Univerza na Primorskem Pedagoška fakulteta Koper Geometrija Istvan Kovacs in Klavdija Kutnar Koper, 2007 PREDGOVOR Pričujoče študijsko gradivo je povzeto po naslednjih knigah Richard S. Millman, George
Διαβάστε περισσότεραPARCIJALNI IZVODI I DIFERENCIJALI. Sama definicija parcijalnog izvoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je,
PARCIJALNI IZVODI I DIFERENCIJALI Sama definicija parcijalnog ivoda i diferencijala je malo teža, mi se njome ovde nećemo baviti a vi ćete je, naravno, naučiti onako kako vaš profesor ahteva. Mi ćemo probati
Διαβάστε περισσότεραKvantni delec na potencialnem skoku
Kvantni delec na potencialnem skoku Delec, ki se giblje premo enakomerno, pride na mejo, kjer potencial naraste s potenciala 0 na potencial. Takšno potencialno funkcijo zapišemo kot 0, 0 0,0. Slika 1:
Διαβάστε περισσότερα