MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II

Koko: px
Aloita esitys sivulta:

Download "MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II"

Transkriptio

1 MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto 4. lokakuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä4. ym., lokakuuta osa II 05 / 54 Modulaariaritmetiikka Eukleideen algoritmi RSA-algoritmi Ryhmät ja permutaatiot Permutaatiot Sykli-indeksi Pólyan väritys -lause 3 Verkot Algoritmeja G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä4. ym., lokakuuta osa II 05 / 54

2 Esimerkki Päteekö eli jakaako 3 luvun ? Vastaus on kyllä koska luvun numeroiden summa on kolmella jaollinen. Mutta miksi tämä sääntö pätee? Kymmenjärjestelmässä luvulla x n x n... x x 0 tarkoitetaan lukua m = x n 0 n + x n 0 n x 0 + x [0 j ] 3 = [0] j 3 = []j 3 = [j ] 3 = [] 3. Tästä seuraa, että [m] 3 = [ x n 0 n + x n 0 n x 0 + x 0 0 0] 3 = [x n ] 3 [0 n ] 3 + [x n ] 3 [0 n ] [x ] 3 [0] 3 + [x 0 ] 3 [] 3 = [x n ] 3 + [x n ] [x ] 3 + [x 0 ] 3 = [x n + x n x + x 0 ] 3. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä4. ym., lokakuuta osa II 05 3 / 54 Opiskelijanumero Eräässä yliopistossa opiskelijanumerot sisältävät kuusi numeroa ja tarkistuskirjaimen. Opiskelija kirjoitti numeronsa muodossa 53x57J missä numero x jäi niin suttuisaksi, ettei siitä saanut selvää. Mikä x on? Tarkistuskirjain J tarkoittaa, että kun J:tä edeltävien numeroiden muodostama luku jaetaan 3:lla niin jakojäännös on 9. Voimme kirjoittaa luvun 53x57 muodossa x 000 ja silloin saamme annettujen tietojen avulla [9] 3 = [ x 000] 3 = [530 57] 3 + [x] 3 [ 000] 3 = [] 3 + [x] 3 [] 3, koska mod (530 57, 3) = ja mod ( 000, 3) =. Tästä seuraa, että [x] 3 [] 3 = [ 3] 3 ja koska [] 3 = [] 3 koska mod (, 3) = mod (3, 3) = joten [x] 3 = [ 3] 3 [] 3 = [ 3] 3 [] 3 = [ 3] 3 = [ 3+3 3] 3 = [] 3, ja voimme päätellä, että x = koska 0 x 9. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä4. ym., lokakuuta osa II 05 4 / 54

3 Eukleideen algoritmi Kun laskemme syt (34, 3):n Eukleideen algoritmin avulla saamme seuraavat tulokset: joten syt (34, 3) =. 34 = = + 4 = = = + = G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä4. ym., lokakuuta osa II 05 5 / 54 Jäännösluokan käänteisalkio Jos haluamme laskea [3] 7 :n niin ensin laskemme syt (7, 3):n eli 7 = = + = 0 + = + 0 Jotta voisimme esittää syt (7, 3):n lukujen 7 ja 3 avulla laskemme takaperin : syt (7, 3) = = 0 = 0 (3 ) = = (7 3) = Tästä seuraa, että ( 3) 3 = 7 joten ( 3) 3 (mod 7) mikä on yhtäpitävää sen kanssa, että [3] 7 = [ 3] 7 = [ 3 + 7] 7 = [35] 7. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä4. ym., lokakuuta osa II 05 / 54

4 Jaollisuustulos Jos m ja n ovat kokonaislukuja ja p on alkuluku siten, että m n on p:llä jaollinen niin joko m tai n on p:llä jaollinen. Miksi? Oletamme, että m ei ole p:llä jaollinen. Silloin pätee syt (p, m) = koska p on alkuluku. Eukleideen laajennetun algoritmin nojalla on olemassa kokonaislukuja a ja b siten, että a p + b m =. Kerromme tämän yhtälön molemmat puolet n:llä ja saamme n = n = n a p + b m n. Koska m n on p:llä jaollinen niin on olemassa kokonaisluku k siten, että m n = k p. Tästä seuraa, että n = n a p + b k p = (n a + b k) p, josta seuraa, että n on p:llä jaollinen. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä4. ym., lokakuuta osa II 05 7 / 54 Eulerin lause, todistus Oletamme, että [x ] n,..., [x φ(n) ] ovat Z/nZ:n alkiot joilla on käänteisalkio eli ovat kääntyviä. Koska syt (a, n) = niin myös [a] n on kääntyvä ja koska [α] n [β] n on kääntyvä jos [α] n ja [β] n ovat kääntyviä, niin [a] n [x j ] on kääntyvä kaikilla j. Jos nyt [a] n [x j ] n = [a] n [x k ] n niin [x j ] n = [a] n [a] n [x j ] n = [a] n [a] n [x k ] n = [x k ] n josta seuraa, että alkiot [a] n [x ] n,... [a] n [x ϕ(n) ] n ovat samat kuin alkiot [x ] n,..., [x φ(n) ] mutta mahdollisesti eri järjestyksessä. Mutta tulot ovat samat, eli [a] ϕ(n) n Π ϕ(n) i= [x i] n = Π ϕ(n) i= ([a] n [x i ] n ) = Π ϕ(n) i= [x i] n. Koska kaikki alkiot [x i ] n ovat kääntyviä niin voimme supistaa pois kaikki [x i ] n :t ja lopputulos on, että [a] ϕ(n) n = [] n eli mod (a ϕ(n), n) =. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä4. ym., lokakuuta osa II 05 8 / 54

5 Jos p ja q ovat alkulukuja ja p q niin ϕ(p q) = (p ) (q ) Miksi? Koska p ja q ovat alkulukuja niin joukko { k Z : 0 k < p q, syt (k, p q) } on {0} {q, q,... (p ) q} {p, p,... (q ) p} ja tässä joukossa on + (p ) + (q ) alkiota. Koska joukossa {0,,,..., p q } on p q alkiota niin ϕ(p q) = p q ( + (p ) + (q ) ) = (p ) (q ). Fermat n pieni lause Jos p on alkuluku ja syt (a, p) = niin a p p eli mod (a p, p) = eli [ a p ] p = [] p. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä4. ym., lokakuuta osa II 05 9 / 54 RSA-algoritmi Jos RSA-algoritmilla ja julkisella avaimella (55, 3) haluamme salata viestin 9 niin meidän pitää laskea mod (9 3, 55). Laskujen nopeuttamiseksi toteamme ensin, että 3 = = joten 9 3 = = (((9 ) ) ) (9 ) 9 9 ja saamme mod (9, 55) = mod (8, 55) =, mod (9 3, 55) = mod ( 9, 55) = mod (34, 55) = 4 mod (9 4, 55) = mod (, 55) = mod (7, 55) =, mod (9 7, 55) = mod ( 4, 55) = mod (4, 55) = 4, mod (9 8, 55) = mod (, 55) = mod (5, 55) = 3, mod (9, 55) = mod (3, 55) = mod (( 9), 55) = mod (3, 55) = 3, mod (9 3, 55) = mod (3 4, 55) = mod (4, 55) = 4, joten mod (9 3, 55) = 4. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 0 / 54

6 RSA-algoritmi, jatk. Jotta voisimme purkaa lähetettyä viestiä 4 meidän täytyy tietää mikä yksityinen avain on ja koska 55 = 5 ja (5 ) ( ) = 40 niin meidän täytyy laskea [3] 40 ja saamme vastaukseksi [7] 40 koska mod (3 7, 40) = mod (, 40) =. Yksityinen avain on siis (55, 7). Purkamista varten toteamme, että 7 = = joten 4 7 = ja saamme mod (4, 55) = mod (9, 55) = 3, mod (4 3, 55) = mod (4 4, 55) = mod (3 4, 55) = mod (434, 55) = 49, mod (4 4, 55) = mod (3, 55) = mod (9, 55) =, mod (4 7, 55) = mod ( , 55) = mod ( 49, 55) joten mod (4 7, 55) = 9. = mod ( ( ), 55) = mod ( 5, 55) = 9, G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 / 54 Miksi RSA-algortimi toimii jos syt (a, n)? Koska oletamme, että 0 < a < n niin syt (a, n) ainoastaan jos p a tai q a. Oletamme seuraavaksi, että p a joten a = p j c missä syt (c, n) = Nyt [b d ] n = [((p j c) k ) d ] n = [(p k ) d ] j n [(c k ) d ] n ja koska syt (c, n) = niin [(c k ) d ] n = [c] n ja meidän täytyy vielä osoittaa, että [[(p k ) d ] n = [p] n koska silloin [b d ] n = [p] j n [c] n = [p j c] n = [a] n. Koska q on alkuluku ja p q niin syt (p, q) = ja näin ollen Fermat n lauseesta seuraa, että [p q ] q = [] q. Silloin myös [p (q )(p )r ] q = [] q eli p (q )(p )r = + sq ja kun kerromme molemmat puolet p:llä saamme p +(q )(p )r = p + spq = p + sn. Koska [d] m = [k] m niin k d = + mr = + (p )(q )r ja näin ollen [(p k ) d ] n = [p +(q )(p )r ] n = [p] n ja algoritmi toimii siis myös tässä tapauksessa! G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 / 54

7 Esimerkkejä ryhmistä [G, ] G = Z ja = + jolloin neutraalialkio on 0 ja n:n käänteisalkio on n. G = (0, ) (eli ]0, [) ja = eli tavallinen kertolasku jolloin neutraalialkio on ja x:n käänteisalkio on x eli x G = Z/7Z \ {[0] 7 } ja on jäännösluokkien kertolasku. G = { A : A on n n-matriisi ja det(a) 0 } ja on matriisien kertolasku. Neutraalialkio on yksikkömatriisi ja käänteisalkio on käänteismatriisi. Tämä ryhmä ei ole kommutatiivinen kun n. G = { f : f on bijektio: X X } ja = eli funktioiden yhdistäminen. Tämä ei ole kommutatiivinen ryhmä jos X 3. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 3 / 54 Esimerkki: Isomorfismi Jos ψ(x) = log(x) niin ψ : (0, ) R on isomorfismi kun laskutoimitus joukossa G = (0, ) on kertolasku ja laskutoimitus joukossa G = R on yhteenlasku, eli [G, ] = [(0, ), ] ja [G, ] = [R, +]. Esimerkki: Syklinen ryhmä Ryhmä [Z/7Z \ {[0] 7 }, ] on syklinen ryhmä koska jos esimerkiksi a = [3] 7 niin { a j : j =,,..., } = Z/7Z \ {[0] 7 }. Jäännösluokka [3] 7 taas generoi syklisen aliryhmän [{[] 7, [3] 7, [] 7, [4] 7 }, ]. Esimerkki: Sivuluokka Jos G = R = { (x, y) : x, y R } ja laskutoimitus on yhteenlasku (x, y ) + (x, y ) = (x + x, y + y ) niin { (t, t) : t R } on ryhmän [G, +] aliryhmä ja sen sivuluokat ovat joukot { (u + t, v + t) : t R } missä (u, v) G eli suoran y = x suuntaisten suorien pistejoukot. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 4 / 54

8 Jäännösluokat tekijäryhminä Jos n > niin nz = { n j : j Z } on ryhmän [Z, +] aliryhmä ja koska yhteenlasku on kommutatiivinen laskutoimitus (a + b = b + a) niin nz on normaali aliryhmä. Aliryhmän nz sivuluokat ovat jäännösluokat modulo n ja ne muodostavat tekijäryhmän Z/nZ missä laskutoimitus on yhteenlasku. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 5 / 54 Permutaatiot ja syklinotaatio Funktio α on joukon A = {,, 3, 4, 5,, 7} permutaatio ( ) α =, missä siis tämä merkintätapa tarkoittaa, että esim. α() = ja α(4) = 3. Nyt näemme, että 4 3 (eli α() =, α() = 4 jne.) ja tästä saamme syklin ( 4 3 ) joka siis on permutaatio β jolle pätee β () =, β () = 4, β (4) = 3, β (3) = ja β(x) = x kaikilla x {5,, 7}. Koska α(5) = 5 saamme syklin β = (5) jolle siis β (x) = x kaikilla x A. Lopuksi näemme, että 7 joten saamme syklin β 3 = ( 7 ). Syklinotaatiolla voimme nyt kirjoittaa α = β β 3 = ( 4 3 ) ( 7 ), koska β on identiteettifunktio. Mutta on myös muita esitystapoja syklien tuloina, esim. α = ( 7 ) ( 4 3 ). Joukot A = {,, 4, 3}, A = {5} ja A 3 = {, 7} ovat permutaation α radat. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 / 54

9 Esimerkki: Sykli-indeksi Olkoon G ryhmä, joka muodostuu kaikista alla olevan verkon solmujen permutaatiosta f siten, että jos solmujen a ja b välillä on kaari, niin myös solmujen f (a) ja f (b) välillä on kaari Koska solmuilla 3 ja 4 on 3 naapuria niin joko f (3) = 3 ja f (4) = 4 tai f (3) = 4 ja f (4) = 3. Solmut ja kuvautuvat solmun f (3) naapureille ja samoin solmut 5 ja kuvautuvat solmun f (4) naapureille. Näin ollen kyseiset permutaatiot ovat: (), ( ), (5 ), ( )(5 ), (3 4)( 5)( ), (3 4)( )( 5), (3 4)( 5 ) ja (3 4)( 5). G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 7 / 54 Esimerkki: Sykli-indeksi Seuraavaksi on laskettava näiden permutaatioiden ratojen pituudet: () : rataa, joissa on alkio. ( ), (5 ) : 4 rataa, joissa on alkio, rata, jossa on alkiota. ( )(5 ) : rataa, joissa on alkio, rataa, joissa on alkiota. (3 4)( 5)( ), (3 4)( )( 5) : 3 rataa, joissa on alkiota. (3 4)( 5 ), (3 4)( 5) : rata, jossa on alkiota, rata, jossa on 4 alkiota. Näin ollen sykli-indeksi tulee olemaan ζ G,X (t, t, t 3, t 4 ) = ) (t + t 8 t + tt 4 + t 3 + t t 4 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 8 / 54

10 4-kulmion symmetriat Olkoon X = {0,,, 3}. Koska joukossa X on 4 alkiota 0 niin on olemassa 4! = 4 joukon X permutaatiota. Mutta jos X :n alkiot ovat vasemmalla olevan 3 verkon solmut ja jos vaadimme permutaatiolta α, että jos x ja y ovat naapureita, eli niiden välillä on kaari, niin myös α(x) ja α(y) ovat naapureita (eli vaadimme, että α on verkko-isomorfismi) niin tilanne muuttuu. Tässä tapauksessa 0 voi kuvautua mille tahansa solmulle 0,, tai 3. Mutta α():n on oltava α(0):n naapuri josta seuraa, että α() = mod (α(0) +, 4) tai mod (α(0), 4). Koska α() ei saa olla α(0):n naapuri niin α() = mod (α(0) +, 4) ja samoin α(3) = mod (α() +, 4). Meillä on siis seuraavat permutaatiot syklinotaatiolla: (0)()()(3), (0)( 3)(), (0 3), (0 )( 3), (0 )( 3), (0 )()(3), (0 3 ) ja (0 3)( ) joista 4 ovat rotaatioita ja 4 peilauksia. Näiden permutaatioiden muodostama ryhmä on ns. diedriryhmä ja sitä merkitään D 4 :llä (tai D 8 :lla).. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 9 / 54 4-kulmion symmetriat, jatk. Seuraavaksi käytämme Pólyan lausetta laskemaan monellako tavalla voimme värittää solmut niin, että yksi on musta, yksi valkoinen ja kaksi punaista. Lisäksi pidämme kaksi väritystä samanlaisina jos rotaatiolla ja/tai peilauksella saadaan toinen toisesta. Tätä varten meidän pitää ensin laskea ryhmän D 4 sykli-indeksi joka saadaan permutaatioiden sykli-indeksien keskiarvona ja permutaation sykli-indeksi on t j t j... t j n n jos permutaatiolla on j k rataa, joiden pituus on k, k =,,..., n. Tässä tapauksessa sykli-indeksiksi tulee ζ D4,X (t, t, t 3, t 4 ) = 8 ( ) t 4 + tt + t 4 + t + t + tt + t 4 + t. Erilaisten väritysten lukumäärä on nyt termin mvp kerroin polynomissa ζ D4,X (m + v + p, m + v + p, m 3 + v 3 + p 3, m 4 + v 4 + p 4 ) eli polynomissa 8 (m+v+p)4 + 4 (m+v+p) (m +v +p )+ 3 8 (m +v +p ) + 4 (m4 +v 4 +p 4 ) ja se on 8 4!!!! =. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 0 / 54

11 Pólyan lause ja ristinolla Meillä on 3 3-ruudukko ja olemme kirjoittaneet :een ruutuun x:n, :een o:n ja 5 ruutua ovat tyhjinä. Tämä on tehtävissä ( 9,,5) = 75:lla eri tavalla jos paperi pidetään paikallaan. Mutta jos voimme kiertää paperia kulman 0, π, π tai 3π verran keskipisteen ympäri niin näiden vaihtoehtojen lukumäärä pienenee ja jotta voisimme systemaattisella tavalla selvittää montako vaihtoehtoa meillä silloin on niin meidän pitää ensin selvittää miten π kulman rotaation generoima ryhmä toimii ruudukolla ja erityisesti mikä on tämän toiminnan sykli-indeksi. Eli meidän pitää määrittää erilaisten ratojen pituudet. Tulokset ovat seuraavanlaiset: Identiteettifunktiolla (rotaatio 0) on 9 rataa, joihin kaikkiin kuuluu ruutu. Kierrolla kulman π verran on rataa, joilla molemmilla on 4 ruutua (toinen sisältää kulmaruudut, toinen niiden välillä olevat ruudut) ja rata johon kuuluu ruutu (ruutu keskellä). Sama pätee jos kierretään kulman 3π verran. Jos kiertokulma on π niin saamme 4 rataa, joilla molemmilla on ruutua (vastakkaiset kulmat ja vastakkaiset ruudut niiden välillä) sekä rata johon kuuluu ruutu. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 / 54 Pólyan lause ja ristinolla, jatk. Sykli-indeksiksi saamme näin ollen ζ G,X (t, t,..., t 9 ) = 4 ( t 9 + t t4 + t t 4 ). Jotta voisimme laskea ei-ekvivalenttien väritysten lukumäärää korvaamme muuttujan t j lausekkeella x j + o j + t j ja silloin termin x o t 5 kerroin on ei-ekvivalenttien väritysten lukumäärä kun meillä kappaletta x, kappaletta o, ja 5 kappaletta t. Termin x o t 5 kerroin lausekkeessa (x + o + t) 9 on ( 9,,5), lausekkeesta (x + o + t)(x 4 + o 4 + t 4 ) ei tule yhtään x o t 5 -termiä ja termin x o t 5 kerroin lausekkeessa (x + o + t)(x + o + t ) on termin x o t 4 kerroin lausekkeessa (x + o + t ) eli ( 4,,). Vaihtoehtojen lukumääräksi tulee siis (( 9 ) 4,, ( 4 )),, = (75 + ) = 9. 4 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 / 54

12 Esimerkki:G x, Gx ja X a Olkoon X = {,, 3, 4} ja G seuraava joukon X permutaatioryhmä: G = {(), ( ), (3 4), ( )(3 4)}. Jos nyt a on permutaatio ( ) ja x on alkio 3 niin kiinnittäjäaliryhmä G x on rata Gx on ja kiintopistejoukko X a on G x = { a G : ax = x } = {(), ( )}, Gx = {3, 3, 4, 4} = {3, 4}, X a = { x X : ax = x } = {3, 4}. Tässä tapauksessa tulos G = Gx G x ei sano muuta kuin, että 4 =. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 3 / 54 Permutaation generoima syklinen ryhmä Olkoon α = β β... β k joukon X permutaatio, missä sykleillä β j, j =,... k ei ole yhteisiä alkoita ja missä syklin β j pituus on b j ja olkoon G permutaation α generoima syklinen ryhmä. Silloin β r j on identiteetti funktio jos ja vain jos b j r. α:n generoiman syklisen ryhmän alkioiden lukumäärä G on lukujen b, b,..., b k pienin yhteinen jaettava koska G on pienin positiivinen luku q siten, että α q on identiteettifunktio (eli sama kuin α 0 ). Jos β j = (x x... x bj ) ja i b j niin βj m x i = α m x i = x i kun 0 m < G jos ja vain jos b j m, josta seuraa, että kiinnittäjäaliryhmä G xi on G xi = { α m : m = 0, b j, b j,..., ( G b j ) b j }. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 4 / 54

13 Miksi G x Gx = G? Oletamme, että G on äärellinen ryhmä. Jos H on G:n aliryhmä niin H m = G missä m on H:n (esim. vasempien) sivuluokkien lukumäärä (koska kaikissa sivuluokissa on yhtä monta alkiota kuin H:ssa ja niiden unioni on G). Koska G x on G:n aliryhmä niin valitsemme H = G x ja konstruoimme bijektion ψ aliryhmän G x sivuluokkien joukosta rataan Gx jolloin osoitamme, että m = Gx josta seuraa, että G = G x Gx. Määrittelemme ψ(ag x ) = ax. Jos a G x = a G x niin pätee a a G x joten a a x = x eli a x = a x joten ψ on hyvin määritelty. Jos a x = a x niin pätee a a x = x joten a a G x, josta seuraa, että a G x = a G x eli ψ on injektio. Jos y Gx niin on olemassa a G siten, että y = ax ja silloin y = ψ(ag x ) josta seuraa, että ψ on surjektio. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 5 / 54 Miksi ratojen lukumäärä ryhmän toiminnassa on G a G X a? Olkoon E = { [a, x] G X : ax = x }. Summeerausjärjestystä vaihtamalla saamme E = { x X : ax = x } = { a G : ax = x }, a G x X joten a G X a = x X G x. Merkitsemme ratojen joukkoa X /G:llä ja ne ovat ekvivalenssiluokkia kun ekvivalenssirelaatio on x y jos ja vain jos x = ay jollain a G. Eri radoilla ei ole yhteisiä alkioita ja ratojen unioni on X eli X = R X /G R. Koska G x = G Gx ja Gx on rata, johon alkio x kuuluu niin saamme väitteemme seuraavan laskun avulla: a = a G X x X = G R X /G x R G x = R = G R X /G x R G x = R X /G R R X /G x R = G x R G Gx R X /G = G X /G. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 / 54

14 Esimerkki: Permutaation toiminta värityksillä Alla olevan verkon solmut on väritetty värityksellä ω 0 missä ω 0 () = p, ω 0 () = v, ω 0 (3) = p, ω 0 (4) = v, ω 0 (5) = v ja ω 0 () = p: Jos a on solmujen permutaatio, niin a:n toiminta värityksellä ω 0 on määritelmän mukaan aω 0 (y) = ω 0 (a (y)). Jos esimerkiksi a = (3 4)( 5 ) niin a = (3 4)( 5) jolloin a () =, a () = 5, a (3) = 4, a (4) = 3, a (5) =, a () =, ja näin ollen väritykset aω 0, a ω 0 ja a 3 ω 0 näyttävät seuraavanlaisilta: G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 7 / 54 Esimerkki: Permutaation toiminta värityksillä, jatk. Jos otamme huomioon muutkin ryhmään G kuuluvat permutaatiot, jotka säilyttävät naapurit naapureina saamme 4 väritystä lisää, jotka ovat ekvivalentteja alkuperäisen ω 0 :n kanssa. Tässä tapauksessa ei ole kovin hankalaa löytää kaikki ne 5 väritystä, jotka eivät ole ekvivalentteja ja joissa on 3 punaista ja 3 valkoista solmua mutta seuraavaksi määritämme tämän lukumäärän toisella tavalla: Burnsiden lemman nojalla ratojen lukumäärä ryhmän G toiminnassa joukossa X on G a G X a missä X a = { ω X : aω = ω }. Tässä tapauksessa X on verkon solmujen väritykset ω, jotka värittävät kolme solmua punaiseksi ja kolme valkoiseksi. Jos nyt a on permutaatio (3 4)( 5 ) niin X a = koska ehdosta aω = ω seuraa, että ω saa saman arvon radan {3, 4} solmuilla ja saman arvon radan {, 5,, } solmuilla ja tämä on mahdotonta jos vaaditaan, että solmuista kolme ovat punaisia ja kolme valkoisia. Tämän permutaation sykli-indeksi on t t 4 ja jos t :n paikalle sijoitetaan p + v ja t 4 :n paikalle p 4 + t 4 saadaan polynomi (p + v )(p 4 + t 4 ) ja tässä polynomissa ei ole yhtään p 3 v 3 -termiä eli p 3 v 3 :n kerroin on 0. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 8 / 54

15 Esimerkki: Permutaation toiminta värityksillä, jatk. Jos sen sijaan tarkastelemme permutaatiota a = ( )( 5) niin silloin esimerkiksi seuraavat väritykset kuuluvat joukkoon X a koska vaatimus on nyt, että ratojen {, }, {5, }, {3} ja {4} alkiot saavat saman värin: Näiden väritysten lisäksi kiintopistejoukkoon Xa kuuluu muuta väritystä jolloin X a = 4. Permutaation a sykli-indeksi on t t joten tässäkin tapauksessa X a tulee olemaan termin p 3 v 3 kerroin polynomissa (p + v) (p + v ) = v + p v p v p 3 v p 4 v + p 5 v + p. Ryhmän G sykli-indeksi on ) ζ G,V (t, t, t 4 ) = 8 (t + t t + t4 t + t 3 + t t 4 ja termin p 3 v 3 kerroin polynomissa ζ G,V (p + v, p + v, p 4 + v 4 ) on ( (! 4! 8 3! 3! + + 3!! + 4! ) ) 3!! = 40 8 = 5. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 9 / 54 5 Verkko päätösprosessin kuvaajana Meillä on neljä kolikkoa, joista tiedämme että yksi on väärennetty, niin että sen paino poikkeaa muiden painosta mutta emme tiedä onko se painavampi vai kevyempi kuin muut. Meillä on varsivaaka, jonka avulla voimme määrittää onko kahdella kolikolla (tai kolikkoparilla, jne.) sama paino vai ei. Seuraava verkko, joka on puu, kuvaa menetelmän jolla voi päätellä mikä kolikoista k j, j =,, 3, 4, on väärennetty:? k = k =?? k = k 3 k = k 3 = = k 4 k 3 k k Tässä verkon kaareilla on määritelty funktio, jonka maalijoukko on {=, }. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54

16 Esimerkki Alla oleva verkko ei ole yksinkertainen (mutta yhtenäinen, eli jokaisesta solmusta on polku jokaiseen toiseen solmuun) Punaisella on piirretty yksinkertainen sykli [,,, 8, 0, 7, 4, ] ja vihreällä polku [3, 5, 9,,, 9], joka ei ole yksinkertainen. Solmujono [,, 3, 4, 5, ] ei sen sijaan ole polku koska esimerkiksi {3, 4} ei ole kaari. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 3 / 54 Esimerkkejä Alla oleva verkko on puu ja punaiset kaaret muodostavat pariutuksen eikä tähän pariutukseen voida lisätä yhtään kaarta niin, että se pysyy pariutuksena. Alla oleva verkko on kaksijakoinen jolloin sen kromaattinen luku on : G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 3 / 54

17 Verkko on kaksijakoinen jos ja vain jos sen kromaattinen luku on korkeintaan Jos kromaattinen luku on 0 niin verkossa ei ole yhtään solmua ja jos se on niin verkossa ei ole yhtään kaarta joten näistä tapauksista ei tarvitse välittää. Jos verkko [X Y, E] on kaksijakoinen niin voimme värittää joukon X solmut värillä a ja joukon Y solmut värillä b, josta seuraa, että kromaattinen luku on korkeintaan. Jos kromaattinen luku on, ja ω : V {a, b} on solmujen väritys kahdella värillä niin voimme valita X = { v V : ω(v) = a } ja Y = { v V : ω(v) = b }. Ehdosta {x, y} E ω(x) ω(y) seuraa, nyt, että jos {x, y} E eli jos solmujen x ja y välillä on kaari, niin joko x X ja y Y tai x Y ja y X josta seuraa, että verkko on kaksijakoinen (koska {x, y} = {y, x}). G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54 Milloin yhtenäisessä, yksinkertaisessa ja suuntamattomassa verkossa on Eulerin polku? Yhtenäisessä, yksinkertaisessa ja suuntaamattomassa verkossa on Eulerin polku jos (ja vain jos) verkossa on 0 tai solmua, joilla on pariton määrä naapureita. Miksi? Jos verkossa on kaksi solmua, joilla on pariton määrä naapureita valitaan toinen niistä polun ensimmäiseksi solmuksi v 0, muuten valitsemme polun ensimmäisen solmun mielivaltaisesti. Sitten konstruoimme polun siten, että jos polku [v 0,..., v k ] missä k 0 on jo konstruoitu niin mikäli on olemassa solmu v k+ siten, että {v k, v k+ } E mutta {v k, v k+ } / { {v j, v j } : j k } niin uusi polku on [v 0,..., v k, v k+ ] ja muuten konstruktio on valmis. Tällä tavalla saamme alla olevassa verkossa polun [, 3,, 8, 7, 5, 8]: G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54

18 Milloin yhtenäisessä, yksinkertaisessa ja suuntamattomassa verkossa on Eulerin polku? Jatk. Koska polussa esiintyvät kaaret ovat erilaiset niin polun solmujen naapureita voimme laskea seuraavasti: Jos solmu on polussa ensimmäisenä tai viimeisenä niin lisäämme naapureiden lukumäärään ja joka kerta kun solmu esiintyy muuten polussa lisäämme naapureiden lukumäärään. Tästä seuraa, että jos ensimmäisellä solmulla on pariton määrä naapureita niin näin on myös viimeisellä solmulla ja muuten polku on sykli. (Tästä seuraa myös ja vain jos osa väitteestä.) Jos kaarien joukosta poistamme ne kaaret, joiden läpi olemme jo käyneet polussa, niin jäljellä on verkko, joiden kaikilla solmuilla on parillinen määrä naapureita. Ja jos jäljellä on kaareja voimme näistä, samalla tavalla kuin edellä, muodostaa syklin, jossa käymme saman kaaren läpi korkeintaan kerran. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54 Milloin yhtenäisessä, yksinkertaisessa ja suuntamattomassa verkossa on Eulerin polku? Jatk. Edellisessä esimerkissä saamme tällä tavalla syklin [,, 3, 5,, 4, ]: Tällaisen syklin voimme yhdistää jo aikaisemmin muodostettuun polkuun niin, että saamme polun, joka edelleen täyttää ehdon, että käymme jokaisen kaaren läpi korkeintaan kerran. Esimerkissä saamme polun [,, 3, 5,, 4,, 3,, 8, 7, 5, 8]. Näin voimme jatkaa kunnes kaareja ei enää ole jäljellä ja silloin meillä on Eulerin polku. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 3 / 54

19 Naapurimatriisi Verkon naapurimatriisi on A = Nyt A = 4 ja A 3 = , 5 3 ja matriisin A 3 alkio (A 3 )(, ) = 3 kertoo, että solmusta on kolme polkua solmuun, joiden pituus on 3 eli [, 3,, ], [,,, ] ja [,, 3, ]. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54 Isomorfiset verkot Ovatko alla olevat verkot isomorfiset? 3 c b 4 d a 5 e f Molemmissa verkoissa on 4 solmua, joilla on 3 naapuria ja joilla on naapuria, joten tästä emme voi päätellä etteivät verkot olisivat isomorfiset. Sensijaan vasemmanpuoleisessa verkossa ei ole yhtään sykliä, jonka pituus olisi 3 mutta sellaisia on oikeanpuoleisessa verkossa. Tästä seuraa, etteivät verkot voi olla isomorfiset. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54

20 Isomorfiset verkot, jatk. Ovatko alla olevat verkot isomorfiset? b a 5 e 3 4 c d Molemmissa verkoissa on kaksi solmua, joilla on kolme naapuria, eli solmut ja 4 ja solmut c ja e. Jos verkot ovat isomorfiset niin isomorfismi voisi olla sellainen, että ψ() = c ja ψ(4) = e (tai päinvastoin). Koska solmu on sekä solmun ja solmun 4 naapuri ja samoin solmu d on sekä solmun c että solmun e naapuri täytyy olla ψ() = d. Jäljellä olevista solmuista solmu 3 on solmun muttei solmun 4 naapuri ja solmu b on solmun c muttei solmun e naapuri, joten ψ(3) = b jolloin täytyy olla ψ(5) = a. Näin määritelty funktio ψ on isomorfismi ja verkot ovat isomorfiset. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54 Esimerkki Montako suuntaamatonta verkkoa löytyy, joissa on 3 solmua ja 4 kaarta? Jos vaadimme, että verkko on yksinkertainen niin ei löydy yhtään koska yksinkertaisessa verkossa, jossa on 3 solmua on korkeintaan 3 kaarta. Naapurimatriisissa on 3 riviä ja saraketta ja koska verkko on suuntaamaton niin tämä matriisi on symmetrinen, eli tiedämme mikä se on jos tunnemme alkiot rivillä i ja sarakkeella j kun i j 3. Koska verkossa on 4 kaarta niin 4 näistä :sta alkiosta ovat ja muut 0. Näin ollen vaihtoehtojen lukumäärä on ( 4) = 5. Mutta osa näistä verkoista ovat tietenkin isomorfisia keskenään. Jos kysymys on ei-isomorfisten verkkojen lukumäärästä, niin voimme tehdä kaikista vaihtoehdoista luettelon. Ensiksi toteamme kuten edellä että ainakin yksi solmu on oma naapurinsa joten meillä on on vaihtoehdot että, tai 3 solmua ovat oma naapurinsa. Ensimmäisessä vaihtoehdossa eri solmujen välillä on oltava 3 kaarta, toisessa kaarta ja viimeisessä kaari. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54

21 Esimerkki, jatk. Jos tai 3 solmua ovat oma naapurinsa niin molemmissa tapauksissa meillä on vain yksi vaihtoehto ja ne ovat Jos solmua ovat oma naapurinsa niin meillä on kaksi ei-isomorfista verkkoa ja ne ovat Näin ollen on olemassa 4 ei-isomorfista verkkoa, joissa on 3 solmua ja 4 kaarta. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 4 / 54 Esimerkki, jatk. Entä miten tämä kysymys ratkaistaan Pólyan lauseen avulla? Jos solmujen joukko on {,, 3} niin tämän joukon permutaatiot ovat (), ( ), ( 3), ( 3), ( 3) ja ( 3 ). Jotta voimme nähdä miten solmujen permutaatiot toimivat verkoilla esitämme verkot naapurimatriiseinä missä emme välitä lävistäjän a b c alapuolella olevista alkioista: d e. Lisäksi näemme, että f verkko jossa on 4 kaarta on tällaisen matriisin väritys ykkösillä ja nollilla siten, että neljästä alkiosta tehdään ja kahdesta 0. Vaatimus, että naapurit pysyvät naapureina antaa homomorfismin ψ solmujen permutaatioista joukon {a, b, c, d, e, f } permutaatioden ryhmään ja tämä homomorfismi on seuraava: G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 4 / 54

22 Esimerkki, jatk. ψ(()) = (a), ψ(( 3)) = (a f )(b e)), ψ(( 3)) = (a d f )(b e c), ψ(( )) = (a d)(c e), ψ(( 3) = (d f )(b c), ψ(( 3 )) = (a f d)(b c e). Tästä saamme sykli-indeksiksi ( t + 3 t t + t3 ). Pólyan lauseen mukaan termin y 4 n kerroin lauseekkeessa ((y + n) + 3(y + n) (y + n ) + (y 3 + n 3 ) ) on ei-isomorfisten verkkojen, joissa on 3 solmua ja 4 kaarta, lukumäärä ja tämä kerroin on (( ) (( ) 0 ( ) + ( ) ( )) ) = (5 + 3( + )) = 4. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54 Ahne väritys Tehtävänä on määrittää jokin alla olevan verkon solmujen väritys: G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54

23 Ahne väritys, jatk. Ahneen väritysalgoritmin mukaisesti toimimme seuraavalla tavalla: Järjestämme solmut ja värit jollain tavalla ja käymme läpi solmut järjestyksessä ja annamme jokaiselle solmulle ensimmäisen mahdollisen värin joka siis ei ole sama kuin sen jollekin naapurille jo annettu väri. Jos värit ovat a, b, c,... ja otamme solmut järjestyksessä,, 3, 4..., niin väritykseksi tulee: Solmu Väri a a a b b b c c b c b a c a b a Jos sen sijaan otamme solmut järjestyksessä 9, 0,..., 5,,,, 7, 8 niin väritykseksi tulee Solmu Väri a b a b a b a b b a b a b a b a Näin ollen pienin mahdollinen värien lukumäärä eli verkon kromaattinen luku on koska se ei voi olla jos verkossa on ainakin yksi kaari. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54 Miksi dynaaminen optimointi toimii kun haemme minimietäisyyksiä? Määrittelemme funktion s kaavalla s(v) = min{ k j= w({v j, v j } : [v 0, v,..., v k ] on polku solmusta v 0 solmuun v k = v} kun v v 0 ja s(v 0 ) = 0. Valitsemme V 0 = {v 0 }, V = ja määrittelemme testiarvot t 0 (v) = kaikilla v V \ {v 0 }. Jos j 0 ja tunnemme funktion s arvot joukon V j solmuissa ja testifunktion t j (v) = min v V j (s(v ) + w({v, v}) arvot kaikissa muissa solmuissa niin meidän pitää laskea uusi testifunktio ja lisätä joukkoon V j seuraava piste. Koska määrittelemme t j+ (v) = min v V j (s(v ) + w({v, v}), v V \ V j, niin t j+ (v) = t j (v) jos v ei ole viimeksi lisätyn solmun v j naapuri joten meidän täytyy ainoastaan laskea t j+ (v) = min{t j (v), s(v j ) + w({v j, v})} kun v V \ V j on v j :n naapuri. Sitten valitsemme solmun v j+ joukosta V \ V j siten että t j+ (v j+ ) = min v V \Vj t j+ (v). G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 4 / 54

24 Miksi dynaaminen optimointi toimii kun haemme minimietäisyyksiä? jatk. Nyt joko s(v j+ ) = t j+ (v j+ ) ja induktioaskel toimii tai s(v j+ ) < t j+ (v j+ ) ja meidän pitää osoittaa, että jälkimmäinen vaihtoehto johtaa ristiriitaan. Jos s(v j+ ) < t j+ (v j+ ) niin on olemassa polku [ṽ 0, ṽ,..., ṽ k ] siten että ṽ 0 = v 0, ṽ k = v j+ ja k i= w({ṽ i, ṽ i }) < t j+ (v j+ ). Silloin on olemassa suurin indeksi i 0 < k siten, että ṽ i0 V j jolloin siis ṽ i0 + V \ V j ja funktion t j+ määritelmästä ja oletuksesta w(e) 0 seuraa, että s(ṽ i0 ) + w({ṽ i0, ṽ i0 +}) t j+ (ṽ i0 +) t j+ (v j+ ) k i 0 + > w({ṽ i, ṽ i }) w({ṽ i, ṽ i }) s(ṽ i0 ) + w({ṽ i0, ṽ i0 +}) i= i= joka on ristiriita. Näin ollen s(v j+ ) = t j+ (v j+ ), voimme valita V j+ = V j {v j+ } ja induktio toimii. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54 Miten hankalaa on minimietäisyyksien löytäminen verkossa? Oletamme, että G = [V, E] on yhtenäinen verkko, jossa jokaiselle kaarelle e E on annettu paino w(e) 0 (ja w({v j, v k }) = jos {v j, v k } / E) ja tehtävänä on löytää polku [v 0, v,..., v k ] kahden annetun solmun v ja v välillä siten, että k j= w({v j, v j })on mahdollisimman pieni. Jos V = n ja kaikkien solmujen välillä on kaari niin on olemassa n (n )! j= (n j)! (n )! eri vaihtoehtoa mutta yleensä vaihtoehtojen lukumäärä on kuitenkin paljon pienempi. Jos käytämme dynaamista optimointia ja olemme laskeneet optimiarvon j:ssä pisteessä niin meidän pitää laskea korkeintaan n j uutta testiarvoa käyttäen korkeintaan n j yhteenlaskua ja yhtä monta vertailua ja sitten valita pienin mikä vaatii korkeintaan n j vertailua. Näin ollen meidän pitää laskea korkeintaan n j= (n j) = n(n ) yhteenlaskua ja tehdä n j= (n j + n j ) = (n ) vertailua. Yhteenlaskujen ja vertailujen lukumäärät ovat siis joukossa O(n ). G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54

25 Minimaalinen virittävä puu ja Primin ahne algoritmi [V, E] yhtenäinen verkko, jossa jokaiselle kaarelle {v j, v k } on annettu paino w({v j, v k }) ja T = [V, E ] on puu siten, että w(t ) = e E w(e) on mahdollisimman pieni. Primin ahneella algoritmilla konstruoimme puut T j = [V j, E j ], j =,..., n (missä V =, V = n ja E = ). Jos E = E n niin tämä algoritmi on optimaalinen ja jos E E n niin on olemassa suurin luku m, m < n siten, että E m E. Olkoon {x, y} E m+ \ E m missä x V m ja y V m+ \ V m jolloin siis {x, y} / E. On olemassa polku verkossa T solmusta x solmuun y (koska T on puu). Tähän polkuun sisältyy kaari {a, b} siten, että a V m ja b V \ V m. Jos nyt vaihdamme T :n kaaren {a, b} kaareksi {x, y} niin uusi verkko T on myös puu. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54 Minimaalinen virittävä puu ja Primin ahne algoritmi, jatk. V m a b x y Lisäksi algoritmin mukainen {x, y}:n valinta takaa että w(t ) w(t ) Tästä seuraa, että meillä on optimaalinen puu [V, E ] siten, että E m+ E josta, tarvittaessa toistamalla tätä päättelyä, seuraa, että E n on optimaalinen virittävä puu. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54

26 Minimaalinen virittävä puu ja Kruskalin ahne algoritmi [V, E] on yhtenäinen verkko, jossa jokaiselle kaarelle {v j, v k } on annettu paino w({v j, v k }) ja T = [V, E ] on puu siten, että w(t ) = e E w(e) on mahdollisimman pieni. Kruskalin ahneella algoritmilla konstruoimme metsät F j = [V, E j ], j =,..., n. Konstruktion mukaisesti F n on metsä. Jos F n ei ole puu niin on olemassa solmut a ja b niin ettei niiden välillä ole polku verkossa F n. Mutta verkossa [V, E] on olemassa polku [v 0, v,..., v k ] missä v 0 = a ja v k = b. Olkoon j pienin luku, siten, että solmujen v j ja v j välillä ei ole polku verkossa F n eikä erityisesti {v j, v j } E n. (Jos sellainen pari ei löydy niin solmujen a ja b välillä on polku.) Nyt voimme lisätä kaaren {v j, v j } joukkoon E n, että [V, E n {{v j, v j }} edelleen on metsä koska muuten solmujen v j ja v j välillä olisi jo kaari verkossa F n. Näin ollen algoritmi antaa varmasti tulokseksi puun. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 5 / 54 Minimaalinen virittävä puu ja Kruskalin ahne algoritmi, jatk. Jos E = E n niin tämä algoritmi on optimaalinen ja jos E E n niin on olemassa suurin luku m, m < n siten, että E m E ja jos {x, y} E m+ \ E m niin {x, y} / E. Puussa T on olemassa polku solmusta x solmuun y. Koska F n on puu ja {x, y} / E niin tähän polkuun sisältyy kaari {a, b} siten, että {a, b} / E n. Jos E = E {x, y} \ {a, b} niin [V, E ] on myös puu ja koska T oli optimaalinen niin pätee w({x, y}) w({a, b}). Koska otimme kaaren {x, y} mukaan joukkoon E m+, vaikka {a, b} olisi ollut mahdollinen valinta koska E m {{a, b}} E josta seuraa, että myös [V, E m {{a, b}}] on metsä, niin täytyy olla w({x, y}) = w({a, b}) eli T ja E m+ E on myös optimaalinen puu. Toistamalla tarvittaessa tätä päättelyä voimme todeta, että F n on optimaalinen puu. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II 05 5 / 54

27 Milloin kaksijakoisessa verkossa on täydellinen pariutus? Oletamme, että G = [X Y, E] on kaksijakoinen verkko ja H(A) = { y Y : x(x A AND {x, y} E) } kun A X (jolloin siis H(A) on A:n solmujen naapureiden joukko). Jos M on verkon täydellinen pariutus verkossa niin A H(A) kaikilla A X koska x A y H(A) missä {x, y} M on injektio pariutuksen määritelmän nojalla. Seuraavaksi osoitamme, että jos A H(A) kaikilla A X niin on olemassa verkon täydellinen pariutus. Näin on varmasti jos X = ja oletamme nyt, että väite pätee myös kun X k ja k. Jos X = k + niin valitsemme solmun a X ja mikäli mahdollista valitsemme osajoukon ˆX X \ {a} siten, että H( ˆX ) = ˆX > 0. Näin ollen meillä on kaksi tapausta riippuen siitä löytyykö tällainen joukko vai onko niin, että H( ˆX ) ˆX + kaikilla ˆX X \ {a} joilla ˆX. Jos pystymme osoittamaan, että molemmissa tapauksissa löytyy täydellinen pariutus, niin väite seuraa induktioperiaatteen nojalla. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54 Milloin kaksijakoisessa verkossa on täydellinen pariutus? jatk. Jos H( ˆX ) = ˆX > 0 ja ˆX X \ {a} niin induktio-oletuksen nojalla on olemassa täydellinen pariutus M verkossa G = [ ˆX H( ˆX ), Ê] missä Ê = { {x, y} E : x ˆX }. Mutta oletus A H(A) kaikilla A X pätee myös verkossa G = [(X \ ˆX ) (Y \ H( ˆX )), { {x, y} E : x X \ ˆX, y Y \ H( ˆX ) }] koska jos tämä ehto ei ole voimassa jollakin joukolle A X \ ˆX niin se ei voi olla voimassa verkossa G joukolla A ˆX koska H( ˆX ) = ˆX. Induktio-oletuksesta seuraa taas, että verkossa G on täydellinen pariutus M ja M M on täydellinen pariutus verkossa G. Oletamme seuraavaksi, että H( ˆX ) ˆX + kaikilla ˆX X \ {a} joilla ˆX. Koska = {a} H({a}) niin löytyy b Y siten, että {a, b} E ja voimme valita M = {{a, b}}. Ehto A H(A) kaikilla A X on voimassa verkossa G = [(X \{a}) (Y \{b}), E \({ {a, y} : y Y } { {x, b} : x X })] koska korkeintaan yksi naapuri on poistettu. Induktio-oletuksen nojalla verkossa G on täydellinen pariutus M ja M M on taas täydellinen pariutus verkossa G. G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä 4. ym., lokakuuta osa II / 54

MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II

MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto 14. lokakuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä14.

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II

MS-A0401 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto 4. lokakuuta 0 Modulaariaritmetiikka Eukleideen algoritmi RSA-algoritmi Ryhmät ja permutaatiot Permutaatiot

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto. huhtikuuta 0 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä. ym.,

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto. huhtikuuta 0 Modulaariaritmetiikka Eukleideen algoritmi RSA-algoritmi Ryhmät ja permutaatiot Ryhmät Permutaatiot

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa II

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa II MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa II G. Gripenberg Aalto-yliopisto 3. huhtikuuta 204 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä,

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa II

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa II MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa II G. Gripenberg Modulaariaritmetiikka 2 Permutaatiot ja ryhmät Aalto-yliopisto 3. huhtikuuta 204 3 Verkot G. Gripenberg (Aalto-yliopisto)

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa II

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa II MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa II G. Gripenberg Aalto-yliopisto 3. huhtikuuta 2014 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä,

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto 14. lokakuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto 14. lokakuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II MS-A040 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto 4. lokakuuta 0 Modulaariaritmetiikka Eukleideen algoritmi RSA-algoritmi Ryhmät ja permutaatiot

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II MS-A040 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto 0. lokakuuta 0 Modulaariaritmetiikka Eukleideen algoritmi RSA-algoritmi Ryhmät ja permutaatiot

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II MS-A0401 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto 20. lokakuuta 2016 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II MS-A040 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto. huhtikuuta 0 Modulaariaritmetiikka Eukleideen algoritmi RSA-algoritmi Ryhmät ja permutaatiot

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto 2. huhtikuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteet

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II MS-A0402 Diskreetin matematiikan perusteet Yhteenveto ja esimerkkejä ym., osa II G. Gripenberg Aalto-yliopisto 2. huhtikuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteet

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet

MS-A0402 Diskreetin matematiikan perusteet MS-A0402 Diskreetin matematiikan perusteet Osa 5: Ryhmät ja permutaatiot Riikka Kangaslampi 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Ryhmät ja permutaatiot Väritysongelma Jos meillä

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II G. Gripenberg Aalto-yliopisto 2. huhtikuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, 2.

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II G. Gripenberg Aalto-yliopisto 2. huhtikuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, 2.

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa II

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa II MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa II G. Gripenberg Aalto-yliopisto 14. lokakuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, 14.

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II G. Gripenberg Aalto-yliopisto 2. huhtikuuta 2015 1 Modulaariaritmetiikka Eukleideen algoritmi RSA-algoritmi 2 Ryhmät ja permutaatiot Ryhmät

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa II

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa II MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa II G. Gripenberg Aalto-yliopisto 14. lokakuuta 2015 1 Modulaariaritmetiikka Eukleideen algoritmi RSA-algoritmi 2 Ryhmät ja permutaatiot Permutaatiot

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa II

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa II MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa II G. Gripenberg Aalto-yliopisto 14. lokakuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, 14.

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II G. Gripenberg Aalto-yliopisto 3. huhtikuuta 2014 1 Modulaariaritmetiikka Eukleideen algoritmi RSA-algoritmi 2 Permutaatiot ja ryhmät Ryhmät

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa II G. Gripenberg Aalto-yliopisto 3. huhtikuuta 2014 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetyhteenveto, 3. osahuhtikuuta

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet

MS-A0401 Diskreetin matematiikan perusteet MS-A0401 Diskreetin matematiikan perusteet Osa 5: Ryhmät ja permutaatiot Riikka Kangaslampi Syksy 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Ryhmät ja permutaatiot Väritysongelma Jos

Lisätiedot

j(j 1) = n(n2 1) 3 + (k + 1)k = (k + 1)(k2 k + 3k) 3 = (k + 1)(k2 + 2k + 1 1)

j(j 1) = n(n2 1) 3 + (k + 1)k = (k + 1)(k2 k + 3k) 3 = (k + 1)(k2 + 2k + 1 1) MS-A0401 Diskreetin matematiikan perusteet Tentti ja välikokeiden uusinta 10.11.015 Kirjoita jokaiseen koepaperiin nimesi, opiskelijanumerosi ym. tiedot! Laskimia tai taulukoita ei saa käyttää tässä kokeessa!

Lisätiedot

Esko Turunen MAT Algebra1(s)

Esko Turunen MAT Algebra1(s) Määritelmä (4.1) Olkoon G ryhmä. Olkoon H G, H. Jos joukko H varustettuna indusoidulla laskutoimituksella on ryhmä, se on ryhmän G aliryhmä. Jos H G on ryhmän G aliryhmä, merkitään usein H G, ja jos H

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet

MS-A0402 Diskreetin matematiikan perusteet MS-A0402 Diskreetin matematiikan perusteet Osa 4: Modulaariaritmetiikka Riikka Kangaslampi 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Modulaariaritmetiikka Jakoyhtälö Määritelmä 1 Luku

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto. maaliskuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä. ym.,

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I MS-A040 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I G. Gripenberg Aalto-yliopisto. maaliskuuta 05 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteet Esimerkkejä. ym.,

Lisätiedot

Esimerkki A1. Jaetaan ryhmä G = Z 17 H = 4 = {1, 4, 4 2 = 16 = 1, 4 3 = 4 = 13, 4 4 = 16 = 1}.

Esimerkki A1. Jaetaan ryhmä G = Z 17 H = 4 = {1, 4, 4 2 = 16 = 1, 4 3 = 4 = 13, 4 4 = 16 = 1}. Jaetaan ryhmä G = Z 17 n H = 4 sivuluokkiin. Ratkaisu: Koska 17 on alkuluku, #G = 16, alkiona jäännösluokat a, a = 1, 2,..., 16. Määrätään ensin n H alkiot: H = 4 = {1, 4, 4 2 = 16 = 1, 4 3 = 4 = 13, 4

Lisätiedot

a b 1 c b n c n

a b 1 c b n c n Algebra Syksy 2007 Harjoitukset 1. Olkoon a Z. Totea, että aina a 0, 1 a, a a ja a a. 2. Olkoot a, b, c, d Z. Todista implikaatiot: a) a b ja c d ac bd, b) a b ja b c a c. 3. Olkoon a b i kaikilla i =

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I G. Gripenberg Aalto-yliopisto 3. huhtikuuta 2014 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetesimerkkejä,

Lisätiedot

Diskreetin matematiikan perusteet Esimerkkiratkaisut 3 / vko 10

Diskreetin matematiikan perusteet Esimerkkiratkaisut 3 / vko 10 Diskreetin matematiikan perusteet Esimerkkiratkaisut / vko 0 Tuntitehtävät - lasketaan alkuviikon harjoituksissa ja tuntitehtävät - loppuviikon harjoituksissa. Kotitehtävät - tarkastetaan loppuviikon harjoituksissa.

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I MS-A040 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I G. Gripenberg Aalto-yliopisto 3. huhtikuuta 014 G. Gripenberg (Aalto-yliopisto) MS-A040 Diskreetin matematiikan perusteetesimerkkejä,

Lisätiedot

Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma

Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten. Ratkaisuehdotelma Johdatus lukuteoriaan Harjoitus 2 syksy 2008 Eemeli Blåsten Ratkaisuehdotelma Tehtävä 1 1. Etsi lukujen 4655 ja 12075 suurin yhteinen tekijä ja lausu se kyseisten lukujen lineaarikombinaationa ilman laskimen

Lisätiedot

verkkojen G ja H välinen isomorfismi. Nyt kuvaus f on bijektio, joka säilyttää kyseisissä verkoissa esiintyvät särmät, joten pari

verkkojen G ja H välinen isomorfismi. Nyt kuvaus f on bijektio, joka säilyttää kyseisissä verkoissa esiintyvät särmät, joten pari Tehtävä 9 : 1 Merkitään kirjaimella G tehtäväpaperin kuvan vasemmanpuoleista verkkoa sekä kirjaimella H tehtäväpaperin kuvan oikeanpuoleista verkkoa. Kuvan perusteella voidaan havaita, että verkko G on

Lisätiedot

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara Kuvauksista ja relaatioista Jonna Makkonen Ilari Vallivaara 20. lokakuuta 2004 Sisältö 1 Esipuhe 2 2 Kuvauksista 3 3 Relaatioista 8 Lähdeluettelo 12 1 1 Esipuhe Joukot ja relaatiot ovat periaatteessa äärimmäisen

Lisätiedot

Esko Turunen Luku 3. Ryhmät

Esko Turunen Luku 3. Ryhmät 3. Ryhmät Monoidia rikkaampi algebrallinen struktuuri on ryhmä: Määritelmä (3.1) Olkoon joukon G laskutoimitus. Joukko G varustettuna tällä laskutoimituksella on ryhmä, jos laskutoimitus on assosiatiivinen,

Lisätiedot

V. V. Vazirani: Approximation Algorithms, luvut 3-4 Matti Kääriäinen

V. V. Vazirani: Approximation Algorithms, luvut 3-4 Matti Kääriäinen V. V. Vazirani: Approximation Algorithms, luvut 3-4 Matti Kääriäinen Luento omatoimisen luennan tueksi algoritmiikan tutkimusseminaarissa 23.9.2002. 1 Sisältö Esitellään ongelmat Steiner-puu Kauppamatkustajan

Lisätiedot

Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013

Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013 Dihedraalinen ryhmä Pro gradu Elisa Sonntag Matemaattisten tieteiden laitos Oulun yliopisto 2013 Sisältö Johdanto 2 1 Ryhmä 3 2 Symmetrinen ryhmä 6 3 Symmetriaryhmä 10 4 Dihedraalinen ryhmä 19 Lähdeluettelo

Lisätiedot

Kurssikoe on maanantaina 29.6. Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.

Kurssikoe on maanantaina 29.6. Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla. HY / Avoin ylioisto Johdatus yliopistomatematiikkaan, kesä 201 Harjoitus 7 Ratkaisut palautettava viimeistään perjantaina 26.6.201 klo 16.00. Huom! Luennot ovat salissa CK112 maanantaista 1.6. lähtien.

Lisätiedot

Algebra I, harjoitus 5,

Algebra I, harjoitus 5, Algebra I, harjoitus 5, 7.-8.10.2014. 1. 2 Osoita väitteet oikeiksi tai vääriksi. a) (R, ) on ryhmä, kun asetetaan a b = 2(a + b) aina, kun a, b R. (Tässä + on reaalilukujen tavallinen yhteenlasku.) b)

Lisätiedot

2017 = = = = = = 26 1

2017 = = = = = = 26 1 JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 2, MALLIRATKAISUT Tehtävä 1. Sovella Eukleiden algoritmia ja (i) etsi s.y.t(2017, 753) (ii) etsi kaikki kokonaislukuratkaisut yhtälölle 405x + 141y = 12. Ratkaisu

Lisätiedot

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9 Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9 Tuntitehtävät 9-10 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 13-14 loppuviikon harjoituksissa. Kotitehtävät 11-12 tarkastetaan loppuviikon

Lisätiedot

Diskreetin matematiikan perusteet Laskuharjoitus 5 / vko 41

Diskreetin matematiikan perusteet Laskuharjoitus 5 / vko 41 Diskreetin matematiikan perusteet Laskuharjoitus 5 / vko 4 Tuntitehtävät 4-42 lasketaan alkuviikon harjoituksissa ja tuntitehtävät 45-46 loppuviikon harjoituksissa. Kotitehtävät 43-44 tarkastetaan loppuviikon

Lisätiedot

Luento 9: Permutaatiot ja symmetriat 1 MS-A0401 Diskreetin matematiikan perusteet, syksy 2014 Harri Varpanen Aalto-yliopisto Matematiikan ja systeemianalyysin laitos Keskiviikko 8.10.2014 Ryhmän toiminta

Lisätiedot

a ord 13 (a)

a ord 13 (a) JOHDATUS LUKUTEORIAAN (syksy 2017) HARJOITUS 4, MALLIRATKAISUT Tehtävä 1. Etsi asteet ord p (a) luvuille a 1, 2,..., p 1 kun p = 13 ja kun p = 17. (ii) Mitkä jäännösluokat ovat primitiivisiä juuria (mod

Lisätiedot

2.1. Tehtävänä on osoittaa induktiolla, että kaikille n N pätee n = 1 n(n + 1). (1)

2.1. Tehtävänä on osoittaa induktiolla, että kaikille n N pätee n = 1 n(n + 1). (1) Approbatur 3, demo, ratkaisut Sovitaan, että 0 ei ole luonnollinen luku. Tällöin oletusta n 0 ei tarvitse toistaa alla olevissa ratkaisuissa. Se, pidetäänkö nollaa luonnollisena lukuna vai ei, vaihtelee

Lisätiedot

on Abelin ryhmä kertolaskun suhteen. Tämän joukon alkioiden lukumäärää merkitään

on Abelin ryhmä kertolaskun suhteen. Tämän joukon alkioiden lukumäärää merkitään 5. Primitiivinen alkio 5.1. Täydennystä lukuteoriaan. Olkoon n Z, n 2. Palautettakoon mieleen, että kokonaislukujen jäännösluokkarenkaan kääntyvien alkioiden muodostama osajoukko Z n := {x Z n x on kääntyvä}

Lisätiedot

{I n } < { I n,i n } < GL n (Q) < GL n (R) < GL n (C) kaikilla n 2 ja

{I n } < { I n,i n } < GL n (Q) < GL n (R) < GL n (C) kaikilla n 2 ja 5. Aliryhmät Luvun 4 esimerkeissä esiintyy usein ryhmä (G, ) ja jokin vakaa osajoukko B G siten, että (B, B ) on ryhmä. Määrittelemme seuraavassa käsitteitä, jotka auttavat tällaisten tilanteiden käsittelyssä.

Lisätiedot

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta: MATP00 Johdatus matematiikkaan Ylimääräisten tehtävien ratkaisuehdotuksia. Osoita, että 00 002 < 000 000. Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa. Lähdetään sieventämään epäyhtälön

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet

MS-A0402 Diskreetin matematiikan perusteet MS-A0402 Diskreetin matematiikan perusteet Osa 6: Verkkoteoria Riikka Kangaslampi 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Verkkojen peruskäsitteitä Motivaatiota (...) networks may

Lisätiedot

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdoituksia harjoituksiin 8 (7 sivua)

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdoituksia harjoituksiin 8 (7 sivua) Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdoituksia harjoituksiin ( sivua).... Nämä ovat kurssin Algebra I harjoitustehtävien ratkaisuehdoituksia. Ratkaisut koostuvat kahdesta osiosta,

Lisätiedot

isomeerejä yhteensä yhdeksän kappaletta.

isomeerejä yhteensä yhdeksän kappaletta. Tehtävä 2 : 1 Esitetään aluksi eräitä havaintoja. Jokaisella n Z + symbolilla H (n) merkitään kaikkien niiden verkkojen joukkoa, jotka vastaavat jotakin tehtävänannon ehtojen mukaista alkaanin hiiliketjua

Lisätiedot

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 6 (8 sivua) OT. 1. a) Määritä seuraavat summat:

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 6 (8 sivua) OT. 1. a) Määritä seuraavat summat: Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 6 (8 sivua) 21.2.-25.2.2011 OT 1. a) Määritä seuraavat summat: [2] 4 + [3] 4, [2] 5 + [3] 5, [2] 6 + [2] 6 + [2] 6, 7 [3]

Lisätiedot

R : renkaan R kääntyvien alkioiden joukko; R kertolaskulla varustettuna on

R : renkaan R kääntyvien alkioiden joukko; R kertolaskulla varustettuna on 0. Kertausta ja täydennystä Kurssille Äärelliset kunnat tarvittavat esitiedot löytyvät Algebran kurssista [Alg]. Hyödyksi voivat myös olla (vaikka eivät välttämättömiä) Lukuteorian alkeet [LTA] ja Salakirjoitukset

Lisätiedot

Symmetrisistä ryhmistä symmetriaryhmiin

Symmetrisistä ryhmistä symmetriaryhmiin Symmetrisistä ryhmistä symmetriaryhmiin 16. marraskuuta 2006 1 Symmetrisistä ryhmistä... Bijektiivistä kuvausta {1,..., n} {1,..., n} kutsutaan n-permutaatioksi. Merkitään n-permutaatioden joukkoa S n.

Lisätiedot

Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen

Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen Mikäli huomaat virheen tai on kysyttävää liittyen malleihin, lähetä viesti osoitteeseen anton.mallasto@aalto.fi. 1. 2. Muista. Ryhmän G aliryhmä H on normaali aliryhmä, jos ah = Ha kaikilla a G. Toisin

Lisätiedot

HN = {hn h H, n N} on G:n aliryhmä.

HN = {hn h H, n N} on G:n aliryhmä. Matematiikan ja tilastotieteen laitos Algebra I Ratkaisuehdoituksia harjoituksiin 8, 23.27.3.2009 5 sivua Rami Luisto 1. Osoita, että kullakin n N + lukujen n 5 ja n viimeiset numerot kymmenkantaisessa

Lisätiedot

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) 31.1.-4.2.2011 OT 1. Määritellään kokonaisluvuille laskutoimitus n m = n + m + 5. Osoita, että (Z, ) on ryhmä.

Lisätiedot

kaikille a R. 1 (R, +) on kommutatiivinen ryhmä, 2 a(b + c) = ab + ac ja (b + c)a = ba + ca kaikilla a, b, c R, ja

kaikille a R. 1 (R, +) on kommutatiivinen ryhmä, 2 a(b + c) = ab + ac ja (b + c)a = ba + ca kaikilla a, b, c R, ja Renkaat Tarkastelemme seuraavaksi rakenteita, joissa on määritelty kaksi binääristä assosiatiivista laskutoimitusta, joista toinen on kommutatiivinen. Vaadimme muuten samat ominaisuudet kuin kokonaisluvuilta,

Lisätiedot

4. Ryhmien sisäinen rakenne

4. Ryhmien sisäinen rakenne 4. Ryhmien sisäinen rakenne Tässä luvussa tarkastellaan joitakin tapoja päästä käsiksi ryhmien sisäiseen rakenteeseen. Useimmat tuloksista ovat erityisen käyttökelpoisia äärellisten ryhmien tapauksessa.

Lisätiedot

802354A Algebran perusteet Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä

802354A Algebran perusteet Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä 802354A Algebran perusteet Luentorunko Kevät 2018 Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä Sisältö 1 Lukuteoriaa 3 1.1 Jakoalgoritmi ja alkuluvut.................... 3 1.2 Suurin yhteinen tekijä......................

Lisätiedot

6. Tekijäryhmät ja aliryhmät

6. Tekijäryhmät ja aliryhmät 6. Tekijäryhmät ja aliryhmät Tämän luvun tavoitteena on esitellä konstruktio, jota kutsutaan tekijäryhmän muodostamiseksi. Konstruktiossa lähdetään liikkeelle jostakin isosta ryhmästä, samastetaan alkioita,

Lisätiedot

58131 Tietorakenteet ja algoritmit (kevät 2014) Uusinta- ja erilliskoe, , vastauksia

58131 Tietorakenteet ja algoritmit (kevät 2014) Uusinta- ja erilliskoe, , vastauksia 58131 Tietorakenteet ja algoritmit (kevät 2014) Uusinta- ja erilliskoe, 10..2014, vastauksia 1. [9 pistettä] (a) Todistetaan 2n 2 + n + 5 = O(n 2 ): Kun n 1 on 2n 2 + n + 5 2n 2 + n 2 +5n 2 = 8n 2. Eli

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet

MS-A0401 Diskreetin matematiikan perusteet MS-A0401 Diskreetin matematiikan perusteet Osa 6: Verkkoteoria Riikka Kangaslampi Syksy 2017 Matematiikan ja systeemianalyysin laitos Aalto-yliopisto Verkkojen peruskäsitteitä Motivaatiota (...) networks

Lisätiedot

a 2 ba = a a + ( b) a = (a + ( b))a = (a b)a, joten yhtälö pätee mielivaltaiselle renkaalle.

a 2 ba = a a + ( b) a = (a + ( b))a = (a b)a, joten yhtälö pätee mielivaltaiselle renkaalle. Harjoitus 10 (7 sivua) Ratkaisuehdotuksia/Martina Aaltonen Tehtävä 1. Mitkä seuraavista yhtälöistä pätevät mielivaltaisen renkaan alkioille a ja b? a) a 2 ba = (a b)a b) (a + b + 1)(a b) = a 2 b 2 + a

Lisätiedot

MAT-41150 Algebra I (s) periodilla IV 2012 Esko Turunen

MAT-41150 Algebra I (s) periodilla IV 2012 Esko Turunen MAT-41150 Algebra I (s) periodilla IV 2012 Esko Turunen Tehtävä 1. Onko joukon X potenssijoukon P(X) laskutoimitus distributiivinen laskutoimituksen suhteen? Onko laskutoimitus distributiivinen laskutoimituksen

Lisätiedot

b) Olkoon G vähintään kaksi solmua sisältävä puu. Sallitaan verkon G olevan

b) Olkoon G vähintään kaksi solmua sisältävä puu. Sallitaan verkon G olevan Tehtävä 7 : 1 a) Olkoon G jokin epäyhtenäinen verkko. Tällöin väittämä V (G) 2 pätee jo epäyhtenäisyyden nojalla. Jokaisella joukolla X on ehto X 0 voimassa, joten ehdot A < 0 ja F < 0 toteuttavilla joukoilla

Lisätiedot

(d) 29 4 (mod 7) (e) ( ) 49 (mod 10) (f) (mod 9)

(d) 29 4 (mod 7) (e) ( ) 49 (mod 10) (f) (mod 9) 1. Pätevätkö seuraavat kongruenssiyhtälöt? (a) 40 13 (mod 9) (b) 211 12 (mod 2) (c) 126 46 (mod 3) Ratkaisu. (a) Kyllä, sillä 40 = 4 9+4 ja 13 = 9+4. (b) Ei, sillä 211 on pariton ja 12 parillinen. (c)

Lisätiedot

Johdatus matematiikkaan

Johdatus matematiikkaan Johdatus matematiikkaan Luento 7 Mikko Salo 11.9.2017 Sisältö 1. Funktioista 2. Joukkojen mahtavuus Funktioista Lukiomatematiikassa on käsitelty reaalimuuttujan funktioita (polynomi / trigonometriset /

Lisätiedot

Tekijäryhmiä varten määritellään aluksi sivuluokat ja normaalit aliryhmät.

Tekijäryhmiä varten määritellään aluksi sivuluokat ja normaalit aliryhmät. 3 Tekijäryhmät Tekijäryhmän käsitteen avulla voidaan monimutkainen ryhmä jakaa osiin. Ideana on, että voidaan erikseen tarkastella, miten laskutoimitus vaikuttaa näihin osiin kokonaisuuksina, ja jättää

Lisätiedot

Algoritmi on periaatteellisella tasolla seuraava:

Algoritmi on periaatteellisella tasolla seuraava: Algoritmi on periaatteellisella tasolla seuraava: Dijkstra(V, E, l, v 0 ): S := { v 0 } D[v 0 ] := 0 for v V S do D[v] := l(v 0, v) end for while S V do valitse v V S jolle D[v] on minimaalinen S := S

Lisätiedot

Algebra I, Harjoitus 6, , Ratkaisut

Algebra I, Harjoitus 6, , Ratkaisut Algebra I Harjoitus 6 9. 13.3.2009 Ratkaisut Algebra I Harjoitus 6 9. 13.3.2009 Ratkaisut (MV 6 sivua 1. Olkoot M ja M multiplikatiivisia monoideja. Kuvaus f : M M on monoidihomomorfismi jos 1 f(ab = f(af(b

Lisätiedot

Datatähti 2019 loppu

Datatähti 2019 loppu Datatähti 2019 loppu task type time limit memory limit A Summa standard 1.00 s 512 MB B Bittijono standard 1.00 s 512 MB C Auringonlasku standard 1.00 s 512 MB D Binääripuu standard 1.00 s 512 MB E Funktio

Lisätiedot

Äärellisesti generoitujen Abelin ryhmien peruslause

Äärellisesti generoitujen Abelin ryhmien peruslause Tero Harju (2008/2010) Äärellisesti generoitujen Abelin ryhmien peruslause Merkintä X on joukon koko ( eli #X). Vapaat Abelin ryhmät Tässä kappaleessa käytetään Abelin ryhmille additiivista merkintää.

Lisätiedot

802354A Algebran perusteet Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä

802354A Algebran perusteet Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä 802354A Algebran perusteet Luentorunko Kevät 2017 Työryhmä: Markku Niemenmaa, Kari Myllylä, Topi Törmä Sisältö 1 Lukuteoriaa 3 1.1 Jakoalgoritmi ja alkuluvut.................... 3 1.2 Suurin yhteinen tekijä......................

Lisätiedot

7. Olemassaolo ja yksikäsitteisyys Galois n kunta GF(q) = F q, jossa on q alkiota, määriteltiin jäännösluokkarenkaaksi

7. Olemassaolo ja yksikäsitteisyys Galois n kunta GF(q) = F q, jossa on q alkiota, määriteltiin jäännösluokkarenkaaksi 7. Olemassaolo ja yksikäsitteisyys Galois n kunta GF(q) = F q, jossa on q alkiota, määriteltiin jäännösluokkarenkaaksi Z p [x]/(m), missä m on polynomirenkaan Z p [x] jaoton polynomi (ks. määritelmä 3.19).

Lisätiedot

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla.

Kurssikoe on maanantaina Muista ilmoittautua kokeeseen viimeistään 10 päivää ennen koetta! Ilmoittautumisohjeet löytyvät kurssin kotisivuilla. HY / Avoin ylioisto Johdatus yliopistomatematiikkaan, kesä 05 Harjoitus 6 Ratkaisut palautettava viimeistään tiistaina.6.05 klo 6.5. Huom! Luennot ovat salissa CK maanantaista 5.6. lähtien. Kurssikoe on

Lisätiedot

Tehtävä 4 : 2. b a+1 (mod 3)

Tehtävä 4 : 2. b a+1 (mod 3) Tehtävä 4 : 1 Olkoon G sellainen verkko, jonka solmujoukkona on {1,..., 9} ja jonka särmät määräytyvät oheisen kuvan mukaisesti. Merkitään lisäksi kirjaimella A verkon G kaikkien automorfismien joukkoa,

Lisätiedot

H = H(12) = {id, (12)},

H = H(12) = {id, (12)}, 7. Normaali aliryhmä ja tekijäryhmä Tarkastelemme luvun aluksi ryhmän ja sen aliryhmien suhdetta. Olkoon G ryhmä ja olkoon H G. Alkiong G vasen sivuluokka (aliryhmän H suhteen) on gh = {gh : h H} ja sen

Lisätiedot

Salausmenetelmät. Veikko Keränen, Jouko Teeriaho (RAMK, 2006)

Salausmenetelmät. Veikko Keränen, Jouko Teeriaho (RAMK, 2006) Salausmenetelmät Veikko Keränen, Jouko Teeriaho (RAMK, 2006) LUKUTEORIAA JA ALGORITMEJA 3. Kongruenssit à 3.1 Jakojäännös ja kongruenssi Määritelmä 3.1 Kaksi lukua a ja b ovat keskenään kongruentteja (tai

Lisätiedot

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21 säilyy Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla c b a 1 2 3 5 1 / 21 säilyy Esimerkkirelaatio R = {(1, b), (3, a), (5, a), (5, c)} c b a 1

Lisätiedot

58131 Tietorakenteet ja algoritmit (syksy 2015) Toinen välikoe, malliratkaisut

58131 Tietorakenteet ja algoritmit (syksy 2015) Toinen välikoe, malliratkaisut Tietorakenteet ja algoritmit (syksy 0) Toinen välikoe, malliratkaisut. (a) Alussa puu näyttää tältä: Lisätään 4: 4 Tasapaino rikkoutuu solmussa. Tehdään kaksoiskierto ensin oikealle solmusta ja sitten

Lisätiedot

Valitaan alkio x 1 A B ja merkitään A 1 = A { x 1 }. Perinnöllisyyden nojalla A 1 I.

Valitaan alkio x 1 A B ja merkitään A 1 = A { x 1 }. Perinnöllisyyden nojalla A 1 I. Vaihto-ominaisuudella on seuraava intuition kannalta keskeinen seuraus: Olkoot A I ja B I samankokoisia riippumattomia joukkoja: A = B = m jollain m > 0. Olkoon vielä n = m A B, jolloin A B = B A = n.

Lisätiedot

Tekijäryhmän määrittelemistä varten määritellään aluksi sivuluokat ja normaalit aliryhmät. gh = {gh h H}.

Tekijäryhmän määrittelemistä varten määritellään aluksi sivuluokat ja normaalit aliryhmät. gh = {gh h H}. Tekijäryhmät Tekijäryhmän käsitteen avulla voidaan monimutkainen ryhmä jakaa suuriin, helpommin käsiteltäviin osiin. Tämän jälkeen voidaan erikseen tarkastella, miten laskutoimitus vaikuttaa näihin osiin

Lisätiedot

H = : a, b C M. joten jokainen A H {0} on kääntyvä matriisi. Itse asiassa kaikki nollasta poikkeavat alkiot ovat yksiköitä, koska. a b.

H = : a, b C M. joten jokainen A H {0} on kääntyvä matriisi. Itse asiassa kaikki nollasta poikkeavat alkiot ovat yksiköitä, koska. a b. 10. Kunnat ja kokonaisalueet Määritelmä 10.1. Olkoon K rengas, jossa on ainakin kaksi alkiota. Jos kaikki renkaan K nollasta poikkeavat alkiot ovat yksiköitä, niin K on jakorengas. Kommutatiivinen jakorengas

Lisätiedot

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120

= 5! 2 2!3! = = 10. Edelleen tästä joukosta voidaan valita kolme särmää yhteensä = 10! 3 3!7! = = 120 Tehtävä 1 : 1 Merkitään jatkossa kirjaimella H kaikkien solmujoukon V sellaisten verkkojen kokoelmaa, joissa on tasan kolme särmää. a) Jokainen verkko G H toteuttaa väitteen E(G) [V]. Toisaalta jokainen

Lisätiedot

Lukuteorian kertausta

Lukuteorian kertausta Lukuteorian kertausta Jakoalgoritmi Jos a, b Z ja b 0, niin on olemassa sellaiset yksikäsitteiset kokonaisluvut q ja r, että a = qb+r, missä 0 r < b. Esimerkki 1: Jos a = 60 ja b = 11, niin 60 = 5 11 +

Lisätiedot

Shorin algoritmin matematiikkaa Edvard Fagerholm

Shorin algoritmin matematiikkaa Edvard Fagerholm Edvard Fagerholm 1 Määritelmiä Määritelmä 1 Ryhmä G on syklinen, jos a G s.e. G = a. Määritelmä 2 Olkoon G ryhmä. Tällöin alkion a G kertaluku ord(a) on pienin luku n N \ {0}, jolla a n = 1. Jos lukua

Lisätiedot

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I G. Gripenberg Aalto-yliopisto 30. syyskuuta 2015 G. Gripenberg (Aalto-yliopisto) MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, 30.

Lisätiedot

802354A Lukuteoria ja ryhmät Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Juha-Matti Tirilä, Antti Torvikoski, Topi Törmä

802354A Lukuteoria ja ryhmät Luentorunko Kevät Työryhmä: Markku Niemenmaa, Kari Myllylä, Juha-Matti Tirilä, Antti Torvikoski, Topi Törmä 802354A Lukuteoria ja ryhmät Luentorunko Kevät 2014 Työryhmä: Markku Niemenmaa, Kari Myllylä, Juha-Matti Tirilä, Antti Torvikoski, Topi Törmä Sisältö 1 Ekvivalenssirelaatio 3 2 Lukuteoriaa 4 2.1 Lukuteorian

Lisätiedot

Tekijä Pitkä Matematiikka 11 ratkaisut luku 2

Tekijä Pitkä Matematiikka 11 ratkaisut luku 2 Tekijä Pitkä matematiikka 11 0..017 170 a) Koska 8 = 4 7, luku 8 on jaollinen luvulla 4. b) Koska 104 = 4 6, luku 104 on jaollinen luvulla 4. c) Koska 4 0 = 80 < 8 ja 4 1 = 84 > 8, luku 8 ei ole jaollinen

Lisätiedot

MAT Algebra I (s) periodeilla IV ja V/2009. Esko Turunen

MAT Algebra I (s) periodeilla IV ja V/2009. Esko Turunen MAT-41150 Algebra I (s) periodeilla IV ja V/2009. Esko Turunen Tämä tiedosto sisältää kurssin kaikki laskuharjoitukset. viikottain uusia tehtäviä. Tiedostoon lisätään To 05.02.09 pidetyt harjoitukset.

Lisätiedot

Olkoon seuraavaksi G 2 sellainen tasan n solmua sisältävä suunnattu verkko,

Olkoon seuraavaksi G 2 sellainen tasan n solmua sisältävä suunnattu verkko, Tehtävä 1 : 1 a) Olkoon G heikosti yhtenäinen suunnattu verkko, jossa on yhteensä n solmua. Määritelmän nojalla verkko G S on yhtenäinen, jolloin verkoksi T voidaan valita jokin verkon G S virittävä alipuu.

Lisätiedot

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I G. Gripenberg Aalto-yliopisto 3. huhtikuuta 2014 G. Gripenberg (Aalto-yliopisto) MS-A0402 Diskreetin matematiikan perusteetyhteenveto, 3. osahuhtikuuta

Lisätiedot

renkaissa. 0 R x + x =(0 R +1 R )x =1 R x = x

renkaissa. 0 R x + x =(0 R +1 R )x =1 R x = x 8. Renkaat Tarkastelemme seuraavaksi rakenteita, joissa on määritelty kaksi assosiatiivista laskutoimitusta, joista toinen on kommutatiivinen. Vaadimme näiltä kahdella laskutoimituksella varustetuilta

Lisätiedot

Injektio. Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim.

Injektio. Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim. Injektio Funktiota sanotaan injektioksi, mikäli lähtöjoukon eri alkiot kuvautuvat maalijoukon eri alkioille. Esim. Funktio f on siis injektio mikäli ehdosta f (x 1 ) = f (x 2 ) seuraa, että x 1 = x 2.

Lisätiedot

Johdatus graafiteoriaan

Johdatus graafiteoriaan Johdatus graafiteoriaan Syksy 2017 Lauri Hella Tampereen yliopisto Luonnontieteiden tiedekunta 126 Luku 3 Puut 3.1 Puu 3.2 Virittävä puu 3.3 Virittävän puun konstruointi 3.4 Minimaalinen virittävä puu

Lisätiedot