SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Tomislava Solar KVADRATNI OSTACI I KVADRATNI KORIJENI U KRIPTOGRAFIJI JAVN

Величина: px
Почињати приказ од странице:

Download "SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Tomislava Solar KVADRATNI OSTACI I KVADRATNI KORIJENI U KRIPTOGRAFIJI JAVN"

Транскрипт

1 SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Tomislava Solar KVADRATNI OSTACI I KVADRATNI KORIJENI U KRIPTOGRAFIJI JAVNOG KLJUČA Diplomski rad Zagreb, studeni, Voditelj rada: akad. Andrej Dujella

2 Ovaj diplomski rad obranjen je dana u sastavu: pred ispitnim povjerenstvom 1., predsjednik 2., član 3., član Povjerenstvo je rad ocijenilo ocjenom. Potpisi članova povjerenstva:

3 Sadržaj Sadržaj iii Uvod 2 1 Kvadratni ostaci Kvadratni ostaci modulo prost broj Kvadratni ostaci modulo složen broj Goldwasswer - Micalijev kriptosustav s javnim ključem Definicija Goldwasser - Micalijevog kriptosustava s javnim ključem Sigurnost Goldwasser - Micalijevog kriptosustava s javnim ključem Rabinov kriptosustav s javnim ključem Definicija Rabinovog kriptosustava s javnim ključem Sigurnost Rabinovog kriptosustava s javnim ključem Bibliografija 22 iii

4 Uvod Kriptografija je znanstvena disciplina koja se bavi proučavanjem metoda za slanje poruka u takvom obliku da ih samo onaj kome su namijenjene može pročitati. Riječ kriptografija dolazi od grčkog pridjeva kriptós - skriven i glagola gráfo - pisati te bi se doslovno mogla prevesti kao tajnopis. Početci kriptografije sežu do starih Grka koji su koristili napravu za kriptiranje zvanu skital (radi se o drvenom štapu na kojeg se namatala vrpca te se na nju zapisivala poruka). Tijekom povijesti metode kriptiranja su znatno napredovale te ćemo u ovom radu proučiti dvije modernije metode kriptiranja. Osnovna ideja kriptografije je da se poruka prenese s jednog mjesta na drugo, što je sigurnije moguće. Dvije osobe koje komuniciraju nazivamo pošiljatelj i primatelj. Poruka koju pošiljatelj želi poslati primatelju se naziva otvoreni tekst. Pošiljatelj transformira otvoreni tekst koristeći unaprijed dogovoreni ključ te tako dobiva kriptiranu poruku koju šalje komunikacijskim kanalom. Primatelj zna ključ te pomoću njega može dekriptirati poruku i dobiti otvoreni tekst. Osobu koja prisluškuje komunikacijski kanal nazivamo protivnik. Protivnik ne zna ključ te stoga ne može dekriptirati kriptiranu poruku. Na Slici 1. je prikazana opisana situacija. Znanstvena disciplina koja se bavi proučavanjem postupaka za čitanje skrivenih poruka bez poznavanja ključa naziva se kriptoanaliza. Kriptologija je grana znanosti koja obuhvaća kriptografiju i kriptoanalizu. Slika 0.1: Osnovni pojmovi 1

5 2 SADRŽAJ Sada navodimo formalnu definiciju kriptosustava: Definicija Kriptosustav je uredena petorka (P, C, K, E, D) za koju vrijedi: 1. P je konačan skup svih mogućih osnovnih elemenata otvorenog teksta. 2. C je konačan skup svih mogućih osnovnih elemenata kriptiranog teksta. 3. K je konačan skup svih mogućih ključeva. 4. Za svaki K K postoji funkcija kriptiranja e K E i odgovarajuća funkcija d K D. Pritom su e K : P C i d K : C P funkcije sa svojstvom da je d K (e K (x)) = x za svaki otvoreni tekst x P. Kriptosustave dijelimo na kriptosustave s tajnim ključem i kriptosustave s javnim ključem. Kod kriptosustava s tajnim ključem, ključ za dešifriranje se može izračunati poznavajući ključ za šifriranje i obratno. Stoga taj ključ trebaju znati samo pošiljatelj i primatelj, a sigurnost kriptosustava ovisi o tajnosti ključa. Kod kriptosustava s javnim ključem ili asimetričnih kriptosustava, ključ za dešifriranje se ne može (barem ne u nekom razumnom vremenu) izračunati iz ključa za šifriranje. Ovdje je ključ za šifriranje javni ključ. Naime, bilo tko može šifrirati poruku pomoću njega, ali samo osoba koja ima odgovaraju ključ za dešifriranje (privatni ili tajni ključ) može dešifrirati tu poruku. Ideju javnog ključa prvi su javno iznijeli Whitfield Diffie i Martin Hellman godine, kada su ponudili jedno moguće rješenje razmjene ključeva. U ovom radu ćemo upoznati dva kriptosustava s javnim ključem, Goldwasser-Micalijev kriptosustav i Rabinov kriptosustav. [1] Rad započinje pogavljem Kvadratni ostaci u kojem ćemo promotriti kvadratne ostatke po prostom i složenom modulu, pokazati ćemo neke rezultate vezane uz kvadratne ostatke te ćemo pokazati postupak odredivanja kvadratnih ostataka. Drugo poglavlje opisuje Goldwasser-Micalijev kriptosustav s javnim ključem. Najprije navodimo definiciju tog kriptosustava te opisujemo postupak kriptiranja i dekriptiranja u tom kriptosustavu. Zatim govorimo o sigurnosti Goldwasser-Micali kriptosustava. Posljednje poglavlje govori o Rabinovom kriptosustavu s javnim ključem. Najprije navodimo definiciju Rabinovog kriptosustava, zatim detaljno opisujemo postupak kriptiranja i dekriptiranja u tom kriptosustavu, pri čemu objašnjavamo i postupak računanja kvadratnih korijena po prostom i složenom modulu. Nakon toga promatramo na čemu se temelji sigurnost Rabinovog kriptosustava te ukratko radimo usporedbu s RSA kriptosustavom.

6 Poglavlje 1 Kvadratni ostaci U ovom poglavlju ćemo promotriti kvadratne ostatke po prostom i složenom modulu te ćemo pokazati postupak odredivanja kvadratnih ostataka. Element grupe G, y G, je kvadratni ostatak ako postoji x G takav da je x 2 = y. Takav element x nazivamo kvadratni korijen od y. Element koji nije kvadratni ostatak nazivamo kvadratni neostatak. U slučaju grupe Z p, y Z p je kvadratni ostatak ako postoji x Z p takav da vrijedi x 2 y (mod p). 1.1 Kvadratni ostaci modulo prost broj U narednim poglavljima s p i q ćemo označavati neparne proste brojeve, a s N = pq umnožak dva različita neparna prosta broja. Pogledajmo sada dokaz jedne jednostavne tvrdnje. Propozicija Neka je p > 2 prost broj. Tada svaki kvadratni ostatak u skupu Z p ima točno dva kvadratna korijena. Dokaz. Neka je y Z p kvadratni ostatak. Prema definiciji tada znamo da postoji x Z p takav da vrijedi x 2 y (mod p). Očito vrijedi ( x) 2 = x 2 y (mod p). Najprije ćemo pokazazati da je x x (mod p). Pretpostavimo suprotno, odnosno da je x x (mod p). Onda vrijedi 2x 0 (mod p), iz čega slijedi da p 2x. Budući da je p prost broj zaključujemo da ili p 2 ili p x. No, prva tvrdnja je nemoguća jer je p prost broj strogo veći od 2. Druga tvrdnja je nemoguća zato jer je 0 < x < p (x Z p). Stoga možemo zaključiti da je x x (mod p), odnosno da y ima barem dva kvadratna korijena. Neka je sada x Z p kvadratni korijen od y. Tada vrijedi x 2 y (x ) 2 (mod p), odnosno x 2 (x ) 2 0 (mod p). Lijevu stranu jednakosti možemo rastaviti na faktore (x x )(x+x ) 0 (mod p). Možemo zaključiti da vrijedi sljedeće: p (x x ) ili p (x + x ). U prvom 3

7 4 POGLAVLJE 1. KVADRATNI OSTACI slučaju vrijedi x x (mod p), a u drugom slučaju vrijedi x x (mod p). Stoga možemo zaključiti da y ima točno dva kvadratna korijena i to su ±x (mod p). Propozicija nam pokazuje da za svaki prost broj p > 2 vrijedi da su točno pola elemenata skupa Z p kvadratni ostaci modulo p. Označimo skup kvadratnih ostataka modulo p s QR p te skup kvadratnih neostataka modulo p s QNR p. Možemo zaključiti da vrijedi: QR p = QNR p = Z p = p Za p > 2 prost broj i x Z p definiramo Legendreov simbol od x modulo p: ( ) x def = p 1, ako je x kvadratni ostatak modulo p 1, ako x nije kvadratni ostatak modulo p. Želimo opisati kvadratne ostatke u grupi Z p te se stoga prisjećamo da je grupa Z p ciklička reda p 1. Neka je g generator od Z p. Tada znamo da je Z p = {g 0, g 1, g 2,..., g p 1 2 1, g p 1 2, g p ,..., g p 2 }. Kvadriranjem svakog elementa grupe i oduzimanjem p 1 u eksponentu dobivamo da je skup kvadratnih ostataka u Z p: QR p = {g 0, g 2, g 4,..., g p 3, g 0, g 2,..., g p 3 }. Vidimo da se svaki kvadratni ostatak ponavlja dva puta te stoga zaključujemo da su kvadratni ostaci u Z p oni elementi koji se mogu zapisati u obliku g i pri čemu je i {0,..., p 2} paran cijeli broj. Ova karakterizacija nas dovodi do sljedeće propozicije koja daje jednostavan način za odredivanje je li neki element kvadratni ostatak. Propozicija Neka je p > 2 prost broj. Tada je ( ) p 1 x p x 2 (mod p). Dokaz. Neka je g proizvoljan generator od Z p. U prvom slučaju, neka je x kvadratni ostatak modulo p. Ranije smo uočili da se tada x može zapisati kao x = g i za neki paran cijeli broj i. Za i = 2 j, za neki j cijeli broj, imamo x p 1 2 = (g 2 j ) p 1 2 = g (p 1) j Korištenjem Malog Fermaovog teorema dobivamo (g p 1 ) j 1 j 1 (mod p).

8 1.1. KVADRATNI OSTACI MODULO PROST BROJ 5 Dakle, ( ) x = +1 x p 1 2 (mod p). p U drugom slučaju, neka je x kvadratni neostatak modulo p. Tada je x = g i za neki neparan cijeli broj i. Vrijedi i = 2 j + 1, za j neki cijeli broj. Slijedi x p 1 2 = (g 2 j+1 ) p 1 2 = (g 2 j ) p 1 2 g p g p 1 2 g p 1 2 (mod p). Sada slijedi (g p 1 2 ) 2 = g p 1 1 (mod p). Prema propoziciji znamo da 1 ima dva kvadratna korijena, pa vrijedi g p 1 2 ±1 (mod p). No, g je generator grupe Z p reda p 1 te zbog toga zaključujemo g p (mod p). Slijedi ( ) x = 1 x p 1 2 (mod p). p Ova propozicija nam omogućava jednostavno odredivanje je li element skupa Z p, za p prost broj, kvadratni ostatak ili kvadratni neostatak. Sada ćemo još pogledati neke jednostavne rezultate vezane uz temu. Propozicija Neka je p > 2 prost broj i neka su x, y Z p. Tada je ( ) xy = p Dokaz. Koristeći propoziciju imamo, ( ) x p ( ) xy (xy) p 1 2 = x p 1 2 y p 1 2 p ( ) y p ( ) x p ( ) y p (mod p). Korolar Neka je p > 2 prost broj i neka su x, x QR p te y, y QNR p. Tada je: 1. xx mod p QR p 2. yy mod p QR p 3. xy mod p QNR p [2]

9 6 POGLAVLJE 1. KVADRATNI OSTACI 1.2 Kvadratni ostaci modulo složen broj Sada ćemo promatrati kvadratne ostatke modulo složen broj N, pri čemu je N = pq. Najprije se moramo prisjetiti Kineskog teorema o ostacima: Teorem (Kineski teorem o ostacima). Neka je N = pq, pri čemu su p i q relativno prosti. Tada vrijedi Z N Z p Z q i Z N Z p Z q. Prema tom teoremu y Z N možemo zapisati kao y (y p, y q ) pri čemu je y p y (mod p) i y q y (mod q). Propozicija Neka je N = pq, pri čemu su p i q različiti prosti brojevi, i y Z N, gdje je y (y p, y q ). Tada vrijedi: y je kvadratni ostatak modulo N ako i samo ako je y p kvadratni ostatak modulo p i y q kvadratni ostatak modulo q. Dokaz. Neka je y kvadratni ostatak modulo N. Po definiciji, tada postoji x Z N je x 2 y (mod N). Neka je x (x p, x q ). Tada je takav da (y p, y q ) y x 2 = (x 2 p mod p, x 2 q mod q), pri čemu je (x p, x q ) 2 kvadrat elementa (x p, x q ) u grupi Z p Z q. Sada smo pokazali da vrijedi y p x 2 p (mod p) i y q x 2 q (mod q), odnosno da su y p i y q kvadratni ostaci po odgovarajućim modulima. Obrnuto, neka je y = (y p, y q ) i y p, y q su kvadratni ostaci modulo p, odnosno q. Po definiciji, tada postoje x p Z p i x q Z q takvi da vrijedi y p x 2 p (mod p) i y q x 2 q (mod q). Neka je x (x p, x q ). Sada je (x 2 p mod p, x 2 q mod q) = x 2 (y p, y q ) y. Možemo zaključiti da je tada x kvadratni korijen od y modulo N. Primjer (Kvadratni ostaci modulo 21). Kvadratne ostatke modulo složen broj odredujemo koristeći propoziciju Kvadratni ostaci modulo 21 su (21 = 3 7): 1 Najprije računamo 1 mod 3 = 1 i 1 mod 7 = 1. Vrijedi da je 1 kvadratni ostatak modulo 3 jer je mod 3 te da je 1 kvadratni ostatak modulo 7 jer je mod 7. Dakle, prema propoziciji vrijedi da je 1 kvadratni ostatak modulo 21.

10 1.2. KVADRATNI OSTACI MODULO SLOŽEN BROJ 7 4 Računamo 4 mod 3 = 1 i 4 mod 7 = 4. Vrijedi da je 1 kvadratni ostatak modulo 3 jer je mod 3 i da je 4 kvadratni ostatak modulo 7 jer je mod 7. Dakle, prema propoziciji vrijedi da je 4 kvadratni ostatak modulo Računamo 16 mod 3 = 1 i 16 mod 7 = 2. Vrijedi da je 1 kvadratni ostatak modulo 3 jer je mod 3 i da je 2 kvadratni ostatak modulo 7 jer je mod 7. Dakle, prema propoziciji vrijedi da je 16 kvadratni ostatak modulo 21. Iz propozicije slijedi da svaki kvadratni ostatak y Z + N ima točno četiri kvadratna korijena: (x p, x q ), ( x p, x q ), (x p, x q ), ( x p, x q ). pri čemu je y (y p, y q ) i x p, x q su kvadratni korijeni od y p i y q modulo p, odnosno q. Kineski teorem o ostacima nam osigurava da su to četiri različita elementa skupa Z N. Označimo s QR N skup kvadratnih ostataka modulo N. Možemo zaključiti da je QR N Z N = QR p QR q Z N = p 1 q (p 1)(q 1) = 1 4. Sada možemo proširiti definiciju Legendreovog simbola za N = pq umnožak različitih prostih brojeva. Taj novi simbol nazivamo Jacobijev simbol i označavamo ga s ( ) x N ili J N (x) (u daljnjem tekstu se koristi ova druga oznaka). Za x relativno prost s N vrijedi: J N (x) def = J p (x) J q (x) = J p (x mod p) J q (x mod q). Neka je J N +1 skup svih elemenata iz Z N za koje je Jacobijev simbol jednak 1 te neka je J 1 N skup svih elemenata iz Z N za koje je Jacobijev simbol jednak -1. Prethodna propozicija nam osigurava sljedeće: ako je x kvadratni ostatak moduolo N tada su x (mod p) i x (mod q) kvadratni ostaci modulo p, odnosno q (vrijedi J p (x) = J q (x) = 1). Stoga slijedi J N (x) = 1. Dakle, ako je x kvadratni ostatak modulo N, tada je J N (x) = 1. No, J N (x) = 1 se takoder može dogoditi u slučaju kada je J p (x) = J q (x) = 1, odnosno kada x mod p i x mod q nisu kvadratni ostaci modulo p i q (stoga x nije kvadratni ostatak modulo N). Uvodimo sljedeću oznaku: QNR +1 N Pogledajmo sada propoziciju: def = {x Z N x nije kvadratni ostatak modulo N, ali J N (x) = 1}.

11 8 POGLAVLJE 1. KVADRATNI OSTACI Propozicija Neka je N = pq za p, q različite neparne proste brojeve. Tada vrijedi: 1. Točno pola elemenata skupa Z N 2. QR N J +1 N 3. Točno pola elemenata skupa J N +1 QNR +1 N ). je sadržano u skupu J+1 N. su elementi skupa QR N (preostali su elementi skupa Dokaz. 1. Znamo da je J N (x) = 1 ako je J p (x) = J q (x) = 1 ili J p (x) = J q (x) = 1. U poglavlju o kvadratnim ostacima modulo prost broj smo uočili da su točno pola elemenata x Z p kvadratni ostaci modulo p (J p (x) = 1), a pola kvadratni neostaci (J p (x) = 1). Analogno zaključujemo za Z q. Za skupove J +1 p, J 1 p, J q +1, i Jq 1 vrijedi J N +1 = J +1 p J q +1 + J 1 p = J +1 p J q +1 + J 1 (p 1) (q 1) = + J 1 q p Jq 1 (p 1) (q 1) = φ(n) (1.1) Fukciju φ nazivamo Eulerova funkcija, a φ(n) je broj brojeva u nizu 1, 2, 3,... N koji su relativno prosti sa N (u dokazu koristimo svojstvo multiplikativnosti te funkcije). 2. Ranije smo vidjeli da za kvadratne ostatke modulo N vrijedi J N (x) = 1. Stoga je QR N J +1 N. 3. Za x QR n vrijedi da je J p (x) = J q (x) = 1. Stoga znamo da je QR N = J +1 p J +1 q = U prethodnom koraku smo pokazali da je QR N J +1 N pola elemenata skupa J +1 N elementi skupa QR N. (p 1) (q 1) = φ(n) = J+1 N , pa možemo zaključiti da su Sljedeća dva rezultata su analogoni propozicije i korolara iz poglavlja 1.1. Propozicija Neka je N = pq umnožak dvaju različitih neparnih prostih brojeva i neka su x, y Z N. Tada vrijedi J N(xy) = J N (x) J N (y). Dokaz. Prema definiciji Jacobijevog simbola i propoziciji slijedi: J N (xy) = J p (xy) J q (xy) = J p (x) J p (y) J q (x) J q (y) = J p (x) J q (x) J p (y) J q (y) = J N (x) J N (y). (1.2)

12 1.2. KVADRATNI OSTACI MODULO SLOŽEN BROJ 9 Korolar Neka je N = pq umnožak dvaju različitih neparnih prostih brojeva i neka su x, x QR N i y, y QNR +1 N. Tada je: 1. xx mod N QR N 2. yy mod N QR N 3. xy mod N QNR +1 N. Dokaz. 1. Budući da je x QR N znamo da vrijedi J p (x) = J q (x) = 1. Analogno, jer je x QR N, znamo da vrijedi J p (x ) = J q (x ) = 1. Prema propoziciji vrijedi J p (xx ) = J p (x) J q (x ) = 1 i J q (xx ) = J q (x) J q (x ) = 1 te slijedi J N (xx ) = J p (xx ) J q (xx ) = 1. Dakle, xx QR N. 2. Budući da je y QNR +1 N znamo da vrijedi J p(y) = J q (y) = 1. Analogno, jer je y QNR +1 N, znamo da vrijedi J p(y ) = J q (y ) = 1. Prema propoziciji vrijedi J p (yy ) = J p (y) J q (y ) = 1 i J q (yy ) = J q (y) J q (y ) = 1 te slijedi J N (yy ) = J p (yy ) J q (yy ) = 1. Dakle, yy QR N. 3. Budući da je x QR N znamo da vrijedi J p (x) = J q (x) = 1. Analogno, jer je y QNR +1 N, znamo da vrijedi J p(y) = J q (y) = 1. Prema Propoziciji vrijedi J p (xy) = J p (x) J q (y) = 1 i J q (xy) = J q (x) J q (y) = 1, te je J N (xy) = 1. Jer je J p (xy) = 1, što znači da xy mod p nije kvadratni ostatak modulo p, zaključujemo da xy nije kvadratni ostatak modulo N. Dakle, xy QNR +1 N. Sada vidimo da za x Z N možemo jednostavno odrediti je li kvadratni ostatak ukoliko znamo rastav broja N na proste faktore. Ukoliko rastav broja N na proste faktore nije poznat, ne postoji algoritam polinomijalne složenosti kojim bi se moglo odrediti je li dani element kvadratni ostatak modulo N ili ne. No, ipak postoji algoritam te složenosti kojim se odreduje J N (x) bez poznavanja rastava broja N na proste faktore. To nas dovodi do parcijalnog testa je li x kvadratni ostatak. Ako vrijedi J N (x) = 1, tada sigurno znamo da x nije kvadratni ostatak. Ako vrijedi J N (x) = 1, tada nam ovaj test ne govori ništa o tome i nema algoritma polinomne složenosti kojim bi odredili je li x kvadratni ostatak modulo N. [2]

13

14 Poglavlje 2 Goldwasswer - Micalijev kriptosustav s javnim ključem U ovom poglavlju ćemo opisati Goldwasser - Micalijev kriptosustav s javnim ključem koji se temelji na odredivanju kvadratnih ostataka. Taj kriptosustav su razvili Shawi Goldwasser i Silvio Micali početkom osamdesetih godina prošlog stoljeća na MIT-u. Goldwasser- Miclijev kriptosustav je najpoznatiji po tome što je to prvi vjerojatnosni kriptosustav s javnim ključem koji je dokazivo siguran po standardu kriptografskih pretpostavki. No, ovaj kriptosustav nije efikasan jer kriptirani tekst može biti nekoliko stotina puta veći od otvorenog teksta. 2.1 Definicija Goldwasser - Micalijevog kriptosustava s javnim ključem Definicija (Goldwsser - Micalijev kriptosustav s javnim ključem). Neka je N = pq pri čemu p i q su različiti neparni prosti brojevi. Neka je y QNR +1 N. Javni ključ je uredeni par (N, y), a prosti faktori broja N su tajni. Neka je P = {0, 1}, C = Z N i neka je K = {(N, p, q, y)}. Za K = (N, p, q, y), m P, c C i slučajno izabrani x Z N definiramo i e K (m, x) = y m x 2 mod N 0 ako je c QR N d K (c) = 1 ako je c QNR N [3] Sada ćemo malo detaljnije objasniti proces kriptiranja i dekriptiranja za ovaj kriptosustav. Najprije pogledajmo kako korisnik ovakvog kriptosustava odabire ključeve: 11

15 12 POGLAVLJE 2. GOLDWASSWER - MICALIJEV KRIPTOSUSTAV S JAVNIM KLJUČEM Prvo nasumično odabire dva velika različita prosta broja p i q. Zatim računa N = pq. Odabire y QNR +1 N. Javni ključ korisnika je uredeni par (N, y), a tajni ključ je par (p, q). Promotrimo sada metodu kriptiranja. Zamislimo da osoba B želi poslati poruku osobi A. Osoba B kod kriptiranja treba napraviti sljedeće: Dobaviti javni ključ osobe A, par (N, y). Svoju poruku m prikazati kao binarni string m = m 1 m 2... m t duljine t. Za svaki bit poruke m i (i {1,..., }) nasumično odabrati x Z N. Ako je m i = 1, tada postavi c i yx 2 mod N. Inače c i x 2 mod N. Kriptirana poruka je c = (c 1, c 2,..., c t ). Osoba A dekriptira poruku c na sljedeći način: Za svaki i {1,..., } izračuna Jacobijev simbol e i = J p (c i ). Ako je e i = 1, tada postavi m i 0. Inače m i 1. Dekriptirana poruka je m = m 1 m 2... m t. Uvjerimo se da postupak dekriptiranja zaista funkcionira. Ako je m i = 0, tada je c i = x 2 mod N kvadratni ostatak modulo N. Ako je m i = 1, tada je c i QNR +1 N jer je y QNR+1 n. Primatelj poruke zna rastav broja N na proste faktore i prema Propoziciji može odrediti J p (c i ) te doći do originalne poruke m i. [3] Primjer Izaberite dva 3-znamenkasta prosta broja p, q. Pomoću Kineskog teorema o ostacima nadite y QNR +1 N. Recite što je javni, a što tajni kljuc. Šifrirajte binarnu poruku 101, tako da izaberete slučajno x-eve iz Z N (različite za svaki bit). Dešifrirajte poruku. Najprije odabiremo dva troznamenkasta prosta broja, neka su p = 373 i q = 491. Tada je N = pq = = Zatim pomoću Kineskog teorema o ostacima i koristeći propoziciju odredujemo y QNR +1 N. Tražimo takav y da vrijedi J p(y) = 1 i J q (y) = 1. Neka je y = 8, jer prema propoziciji vrijedi J p (y) = ( ) (mod 373) = 1 i J q (8) = ( ) (mod 491) = 1. Javni ključ je uredeni par (183143, 8), a tajni ključ je uredeni par (373, 491).

16 2.2. SIGURNOST GOLDWASSER - MICALIJEVOG KRIPTOSUSTAVA S JAVNIM KLJUČEM 13 Sada ćemo šifrirati poruku m = 101. Poruku šifriramo bit po bit. Dakle, m 1 = 1, m 2 = 0, m 3 = 1. Za m 1 najprije odabiremo x Z N, neka je x = 2. Sada računamo c 1 = e k (1, 2) = mod mod = 32. Za m 2 neka je x = 3 i tada je c 2 = e k (0, 3) = 3 2 mod mod = 9. Za m 3 neka je x = 4 i tada je c 3 = e k (1, 4) = mod mod = 128. Šifrirana poruka je c = (32, 9, 128). Dešifrirajmo poruku c = (32, 9, 128). Za svaki c i računamo e i = J p (c i ). Ako je e i = 1, tada je m i = 0. Inače m i = 1. Dakle, za c 1 = 32 računamo J p (32) = ( ) ( ) (mod 373) = 1 te je stoga m 1 = 1. Analogno, za c 2 = 9 računamo J p (9) = (mod 373) = 1, pa je m 2 = 0. Za c 3 = 128 računamo J p (816) = ( ) 2 (mod 373) = 1, pa je m 3 = 1. Početni otvoreni tekst je m = Sigurnost Goldwasser - Micalijevog kriptosustava s javnim ključem Sigurnost Goldwasser - Micalijevog kriptosustava je osigurana sljedećim teoremom, koji nećemo dokazivati u ovom radu zbog kompleksnosti dokaza. Teorem Ako je problem odredivanja je li element kvadratni ostatak težak, tada je Goldwasser - Micalijev kriptosustav CPA-siguran. Sada ćemo objasniti što znači da je neki kriptosustav CPA-siguran. Kratica CPA dolazi od izraza chosen - plaintext attacks, što bi mogli prevesti kao napadi odabranim otvorenim tekstovima. Zamislimo situaciju u kojoj dvije strane komuniciraju koristeći zajednički ključ k. Kod CPA napada, napadač ima mogućnost kriptirati odabrani otvoreni tekst ključem k i slati šifrirani tekst dvjema stranama putem kanala koji može nadzirati. Takoder putem tog kanala može promatrati poruke nepoznatog sadržaja koje su kriptirane istim ključem k. Pretpostavimo da napadač zna da je poruka m jedna od dviju mogućnosti m 0, m 1. Kada kažemo da je kriptosustav CPA-siguran, smatramo da napadač ne može odlučiti koja od poruka je početna poruka m bilo kakvim postupkom čija je vjerojatnost veća od vjerojatnosti nasumičnog pogadanja. Sada ćemo navesti i formalnu definiciju. U formalnoj definiciji CPA napade modeliramo tako da protivniku A omogućimo pristup takozvanoj crnoj kutiji koja kriptira poruke koje odabire protivnik A koristeći ključ k, ali tako da protivnik ne zna ključ k. Zamislimo da protivnik A ima pristup šalje upit crnoj kutiji, svoju poruku m, a zauzvrat dobiva kriptirani tekst c Enc k (m). Protivnik A može proizvoljno pristupati crnoj kutiji, koliko god puta želi.

17 14 POGLAVLJE 2. GOLDWASSWER - MICALIJEV KRIPTOSUSTAV S JAVNIM KLJUČEM Pogledajmo sada sljedeći eksperiment. Neka je Π = (Gen, Enc, Dec) shema enkripcije gdje je Gen funkcija koja generira ključ, Enc funkcija koja kriptira javni tekst, a Dec je funkcija koja dekriptira kriptirani tekst. Neka je A protivnik te neka je vrijednost n parametar sigurnosti. Eksperiment CPA neprimjetnosti PrivK cpa A,Π (n): 1. Ključ k je generiran koristeći funkciju Gen(1 n ). 2. Protivniku A je dan ulaz 1 n i pristup crnoj kutiji te on za izlaz daje dvije poruke m 0, m 1 koje su jednake duljine. 3. Uniformno se odabire bit b {0, 1} i zatim se računa kriptirani tekst c Enc k (m b ) koji se daje protivniku A. 4. Protivnik A i dalje ima pristup crnoj kutiji te producira izlaz, bit b. 5. Izlaz eksprerimenta je definiran kao 1 ako je b = b, odnosno 0 inače. U prvom slučaju kažemo da je protivnik A uspio. Definicija Shema enkripcije Π = (Gen, Enc, Dec) s privatnim ključem je CPAsigurna ako za svaki vjerojatnosni polinomijalni protivnik A postoji zanemariva funkcija negl takva da je P(PrivK cpa A,Π (n) = 1) negl(n) gdje se vjerojatnost uzima nad svim slučajnim protivnicima A i nad svim slučajnostima korištenim u eksperimentu. [2]

18 Poglavlje 3 Rabinov kriptosustav s javnim ključem Rabinov kriptosustav s javnim ključem se temelji na odredivanju kvadratnih korijena modulo neki složen broj. Taj kriptosustav je razvio Michael O. Rabin u siječnju godine. Rabinov kriptosustav je prvi asimetrični kriptosustav u kojem je dohvaćanje otvorenog teksta pomoću kriptiranog teksta teško kao rastavljanje broja na proste faktore. U ovom poglavlju ćemo opisati taj kriptosustav, zatim promotriti algoritam za odredivanje kvadratnih korijena po prostom i složenom modulu i nakon toga ćemo pogledati na čemu se temelji sigurnost ovog kriptosustava. 3.1 Definicija Rabinovog kriptosustava s javnim ključem Definicija (Rabinov kriptosustav s javnim ključem). Neka je N = pq, pri čemu p i q su različiti neparni prosti brojevi i p, q 3 mod 4. Neka je P = C = Z N i neka je K = {(N, p, q)}. Za K = (N, p, q), definiramo i e K (x) = x 2 mod N d K (y) = y mod N. Vrijednost N je javni ključ, a vrijednosti (p, q) su tajni ključ. [4] Dakle, proces odabira ključeva je vrlo jednostavan. Potrebno je nasumično odabrati dva velika različita prosta broja p i q i zatim izračunati N = pq. Promotrimo sada metodu kriptiranja. Zamislimo da osoba B želi poslati poruku osobi A. Osoba B kod kriptiranja treba napraviti sljedeće: Dobaviti javni ključ N osobe A. 15

19 16 POGLAVLJE 3. RABINOV KRIPTOSUSTAV S JAVNIM KLJUČEM Svoju poruku prikazati kao broj m iz skupa {1, 2,..., n 1}. Izračunati c = m 2 mod N. Nakon tih koraka, osoba B šalje kriptiranu poruku c osobi A. Osoba A zatim provodi sljedeće korake kako bi odredila početnu poruku: Izračunati kvadratne korijene od c modulo N, označimo ih s m 1, m 2, m 3, m 4. Odlučiti koji od tih korijena je m. [3] Kako bi bolje razumjeli postupak dekriptiranja, u ovom poglavlju ćemo promotriti algoritam za odredivanje kvadratnih korijena. Računanje kvadratnih korijena modulo prost broj Najprije promatramo računanje kvadratnih korijena modulo prost broj p. Pretpostavimo da je p 3 (mod 4), jer nam se taj slučaj pojavljuje u definiciji Rabinovog kriptosustava. Neka je a Z p kvadratni ostatak. Želimo odrediti kvadratne korijene od a modulo p. Budući da je p 3 (mod 4), vrijedi p = 4i + 3 za neki cijeli broj i. Budući da je a Z p kvadratni ostatak, prema Propoziciji znamo da je J p (a) = 1 = a p 1 2. Množenjem obiju strana s a dobivamo: a = a p = a 2i+2 (a i+1 ) 2 (mod p), dakle a i+1 a p+1 4 (mod p) je kvadratni korijen od a modulo p. Uvjet p 3 (mod 4) nam osigurava da je p+1 cijeli broj te je stoga a p+1 4 (mod p) dobro definirano. 4 Dakle, za a Z p i p 3 (mod 4) kvadratni korijen od a računamo na sljedeći način: x a p+1 4 (mod p). [2] Za slučaj kada je p 1 (mod 4) takoder postoji algoritam za odredivanje kvadratnih korijena, no nećemo ga detaljno objašnjavati jer nam nije potreban u daljnjem radu. Može se pokazati da je i taj algoritam polinomijalne složenosti. Računanje kvadratnih korijena modulo složen broj Algoritam iz prethodnog potpoglavlja se lako može proširiti tako da se računaju kvadratni korijeni modulo složeni broj kojem je poznat rastav na proste faktore. Neka je N = pq pri

20 3.1. DEFINICIJA RABINOVOG KRIPTOSUSTAVA S JAVNIM KLJUČEM 17 čemu su p i q različiti neparni prosti brojevi. Prema Kineskom teoremu o ostacima već smo zaključili da za a Z N vrijedi a (a p, a q ). Računanje kvadratnih korijena x p, x q od a p, a q modulo p, odnosno q, računa se kao u prethodnom potpoglavlju. Zatim koristeći Kineski teorem promijenimo prikaz, (x p, x q ) x. Dakle, x je kvadratni korijen od a modulo N. [2] Pogledajmo sada jedan primjer dekriptiranja u Rabinovom kriptosustavu. Primjer U Rabinovom kriptosustavu s parametrima (N, p, q) = (5561, 67, 83), dekriptirajte šifrat y = Poznato je da je otvoreni tekst prirodan broj x < N kojem su zadnja četiri bita u binarnom zapisu medusobno jednaka. Prvo trebamo naći kvadratne korijene modulo 67 i modulo 83. Budući da vrijedi mod 4 kvadratne korijene odredujemo po formuli ±y p+1 4 mod p. Odredimo najprije kvadratne korijene modulo 67: x 1,2 = ± mod 67 = ± mod 67 = ±62. Analogno odredujemo kvadratne korijene modulo 83: x 3,4 = ± mod 67 = ± mod 67 = ±81. Kako bi pronašli kvadratne korijene od 3241 modulo 5561 koristimo Kineski teorem o ostacima. Rješavamo četiri sustava linearnih kongruencija x ±62 ( mod 67), x ±81 ( mod 83). Sustav od dvije linearne kongruencije rješavamo primjenom Euklidovog algoritma: 83 = = = = 1 3 (3.1) i q i x i y i Sada je u = 26 i v = 21 te možemo izračunati kvadratne korijene od 3241 modulo 5561: x 1 = (mod 5561) (mod 5561) (mod 5561) = 330 x 2 = ( 62) (mod 5561) (mod 5561) (mod 5561) = 1077 x 3 = ( 81) (mod 5561) (mod 5561) (mod 5561) = 4484 x 4 = ( 81) ( 62) (mod 5561) (mod 5561) (mod 5561) = 5231 (3.2)

21 18 POGLAVLJE 3. RABINOV KRIPTOSUSTAV S JAVNIM KLJUČEM Kako bi odredili koji kvadratni korijen je otvoreni tekst svaki od tih brojeva trebamo prikazati u binarnom zapisu. Rješenje je onaj broj kojemu su zadnje četiri znamenke u binarnom zapisu jednake. x 1 = 330 = Dakle, otvoreni tekst je x 4 = x 2 = 1077 = x 3 = 4484 = x 4 = 5231 = Sigurnost Rabinovog kriptosustava s javnim ključem U prethodnom poglavlju smo vidjeli da je računanje kvadratnih korijena modulo N algoritam polinomijalne složenosti ako je poznat rastav broja N na proste faktore. U ovom poglavlju ćemo vidjeti da je računanje kvadratnih korijena modulo složen broj N, za kojeg nije poznat rastav na proste faktore, jednako teško kao i odredivanje prostih faktora broja N. Neka je GenModulus polinomijalni algoritam koji za ulaz 1 n daje rezultat uredenu trojku (N, p, q), gdje je N = pq, a p i q su n-bitni prosti brojevi, skoro uvijek, tj. vjerojatnost neuspjeha je zanemariva u odnosu na n. Za dani algoritam A i parametar n promotrimo sljedeći eksperiment. Eksperiment računanja kvadratnih korijena S QR A,GenModulus (n): 1. Pokrenuti algoritam GenModulus(1 n ) kako bi dobili N, p, q. 2. Uniformno odabrati y QR N. 3. Algoritam A za ulaz (N, y) daje izlaz x Z N. 4. Rezultat eksperimenta je 1 akoje x 2 y (mod N), odnosno 0 inače. Definicija Kažemo da je računanje kvadratnih korijena teško u odnosu na GenModulus ako za svaki vjerojatnosni polinomijalni algoritam A postoji zanemariva funkcija negl takva da vrijedi P(S QR A,GenModulus (n) = 1) negl(n). Jednostavno se pokazuje da ako je računanje kvadratnih korijena modulo složen broj n teško u odnosu na GenModulus, tada je rastavljanje broja N na proste faktore takoder teško u odnosu na GenModulus. Naime, ako bi se faktorizacija broja n mogla lako odrediti,

22 3.2. SIGURNOST RABINOVOG KRIPTOSUSTAVA S JAVNIM KLJUČEM 19 tada bi takoder bilo jednostavno odrediti kvadratne korijene modulo N kako je opisano u prethodnom poglavlju. Nas zanima dokaz obrnute tvrdnje: ako je odredivanje prostih faktora broja N teško u odnosu na GenModulus, tada je problem računanja kvadratnih korijena modulo N težak u odnosu na GenModulus. U dokazu te tvrdnje ćemo koristiti sljedeću lemu. Lema Neka je N = pq za p i q različite proste brojeve. Za brojeve x, ˆx takve da je x 2 y (mod N), ali x ± ˆx (mod N), moguće je odrediti rastav broja N na proste faktore u polinomijalnom vremenu s obzirom na N (pri čemu je N broj bitova od N). Dokaz. Tvrdimo da je barem jedan od brojeva nzd(n, x+ ˆx), nzd(n, x ˆx) jednak jednom od prostih faktora broja N. Budući da je algoritam računanja najvećeg zajedničkog djelitelja polinomne složenosti, tada slijedi tvrdnja leme. Ako je x 2 ˆx 2 (mod N), tada je 0 x 2 ˆx 2 (x ˆx) (x + ˆx) (mod N), i stoga N (x ˆx)(x + ˆx). Slijedi da p (x ˆx)(x + ˆx), odnosno p dijeli jednog od faktora. Uzmimo da p (x + ˆx) (dokaz je sličan ukoliko uzmemo drugi slučaj). Ako bi vrijedilo da q (x + ˆx), tada bi slijedilo da N (x + ˆx) što je nemoguće zbog uvjeta x ± ˆx (mod N). Stoga vrijedi q (x + ˆx), odnosno nzd(n, x + ˆx) = p. Navedimo još jednu definiciju koju ćemo koristiti u dokazu sljedećeg teorema. Promotrimo sljedeći eksperiment za dani algoritam A i parametar n. Ekspreriment računanja prostih faktora Factor A,GenModulus : 1. Pokrenuti algoritam GenModulus(1 n ) kako bi dobili (N, p, q). 2. Algoritam A za zadani N daje rezultat p, q > Rezultat eksperimenta je 1 ako vrijedi p q = N, odnosno 0 inače. Definicija Odredivanje prostih faktora je teško u odnosu na GenModulus ako za sve vjerojatnosne polinomijalne algoritme A postoji zanemariva funkcija negl takva da vrijedi P(Factor A,GenModulus (n) = 1) negl(n). Teorem Ako je problem rastava broja na proste faktore težak u odnosu na GenModulus, tada je problem računanja kvadratnih korijena težak u odnosu na GenModulus. Dokaz. Neka je A vjerojatnosni polinomijalni algoritam koji računa kvadratne korijene. Neka je A f act vjerojatnosni polinomijalni algoritam za računanje prostih faktora složenog broja. Algoritam A f act : (Ulazni podatak algoritma je N.)

23 20 POGLAVLJE 3. RABINOV KRIPTOSUSTAV S JAVNIM KLJUČEM Uniformno odabrati x Z N i izračunati y x2 mod N. Koristeći algoritam A(N, y) dobiti ˆx. Ako je ˆx 2 y (mod N) i ˆx ±x (mod N) tada izračunati proste faktore od n koristeći lemu Prema lemi znamo da algoritam A f act može izračunati proste faktore od N onda kada je ˆx ±x (mod N) i ˆx 2 y (mod N). Stoga je P(Factor A f act,genmodulus(n) = 1) = P( ˆx ±x (mod N) ˆx 2 y (mod N)) = P( ˆx ±x (mod N) ˆx 2 y (mod N)) P( ˆx 2 y (mod N)), (3.3) pri čemu se gornje vjerojatnosti odnose na eksperiment Factor A f act,genmodulus. U tom eksperimentu modul N, koji je algoritmu A f act ulazni podatak, dobiven je algoritmom GenModulus, a rezutat je rastav broja N na faktore. Takoder, y je uniformno odabran kvadratni ostatak modulo N (jer je x uniformno odabran iz skupa Z N ). Sada vidimo da je rezultat algoritma A koji računa kvadratne korijene isti kao rezultat eksprerimenta S QR A,GenModulus (n), te vrijedi: P( ˆx 2 y (mod N)) = P(S QR A,GenModulus (n) = 1). Uz uvjete eksperimenta Factor na y vidimo da vrijednost x jednako vjerojatno može biti bilo koji od četiri kvadratna korijena od y. Budući da algoritam A za rezultat daje neki kvadratni korijen od y možemo zaključiti da je vjerojatnost da je ˆx ±x (mod N) jednaka 1 (uz naglasak da nema pretpostavki o tome kako je ˆx distribuiran medu kvadratnim 2 korijenima od y). Dakle, vrijedi Kombiniranjem prethodnih rezultata slijedi: P( ˆx ±x (mod N) ˆx 2 y (mod N)) = 1 2. P(Factor A f act,genmodulus(n) = 1) = 1 2 P(S QR A,GenModulus(n) = 1). Budući da je problem rastava broja na proste faktore težak u odnosu na GenModuls, prema definiciji postoji zanemariva funkcija negl takva da vrijedi P(Factor A f act,genmodulus(n) = 1) negl(n), iz čega slijedi P(S QR A,GenModulus (n) = 1) 2 negl(n). Budući da je algoritam A bio proizvoljan, vrijedi tvrdnja teorema.

24 3.2. SIGURNOST RABINOVOG KRIPTOSUSTAVA S JAVNIM KLJUČEM 21 Ovaj teorem nas navodi na promatranje familije jednosmjernih funkcija (Za funkciju f kažemo da je jednosmjerna (one-way) ako je f lako, a f 1 teško izračunati): Algoritam Gen za ulaz 1 n pokreće algoritam GenModulus(1 n ) da bi dohvatio (N, p, q) i za rezultat ima I = N. Domena je D I = Z N, a slika funkcije je R I = QR N. Algoritam S amp za ulazni podatak N vraća uniformno odabrani x Z N. Algoritam f za ulazne podatke N i x Z N vraća rezultat x2 mod N. Teorem pokazuje da je ova familija funkcija jednosmjerna ako je rastavljanje broja na proste faktore teško u odnosu na GenModulus. Za N = pq, pri čemu su p i q različiti prosti brojevi takvi da je p q 3 (mod 4) i za D I Z N prethodno definirana familija jednosmjernih funkcija postaje familija jednosmjernih permutacija. Propozicija Neka je N = pq, pri čemu su p i q različiti prosti brojevi takvi da je p q 3 (mod 4). Tada svaki kvadratni ostatak modulo N ima točno jedan kvadratni korijen koji je kvadratni ostatak modulo N. Dokaz. Iz propozicije slijedi da 1 nije kvadratni ostatak modulo p, niti modulo q. To slijedi zbog toga jer za p q 3 (mod 4) vrijedi p = 4i + 3 za neki i, pa slijedi ( 1) p 1 2 = ( 1) 2i+1 1 mod p (jer je broj 2i + 1 neparan). Neka je y (y p, y q ) proizvoljan kvadratni ostatak modulo N s četiri kvadratna korijena (x p, x q ), (x p, x q ), ( x p, x q ), ( x p, x q ). Tvrdimo da je točno jedan od njih kvadratni ostatak modulo N. J p (x p ) = 1 i J q (x q ) = 1. Primjenom propozicije slijedi da je J q ( x q ) = J q ( 1) = J ( x q ) = 1, Pretpostavimo da je te je (x p, x q ) kvadratni ostatak modulo N (primjenom propozicije 1.2.2). Slično, J p ( x p ) = 1 te niti jedan drugi kvadratni korijen od y nije kvadratni ostatak modulo N. Kada malo drugačije izrazimo propoziciju 3.2.5, dobivamo da je za N = pq, pri čemu su p i q različiti prosti brojevi takvi da je p q 3 (mod 4), funkcija f N : QR N QR N, zadana pravilom pridruživanja f N (x) = x 2 mod N, permutacija nad QR N. Prilagodbom algoritma S amp tako da vraća uniformno odabrani x QR N dobivamo familiju jednosmjernih permutacija koja se naziva Rabinova familija permutacija. Teorem Neka je GenModulus algoritam koji za ulazan podatak 1 n daje rezultat (N, p, q) pri čemu je N = pq i p i q su različiti prosti brojevi skoro uvijek (tj. vjerojatnost neuspjeha je zanemariva) i vrijedi p q 3 (mod 4). Ako je rastavljanje broja na proste faktore teško u odnosu na GenModulus, tada postoji Rabinova familija permutacija.

25 22 POGLAVLJE 3. RABINOV KRIPTOSUSTAV S JAVNIM KLJUČEM Usporedba Rabinovog kriptosustava i RSA kriptosustava RSA kriptosustav su izumili Ron Rivest, Adi Shamir i Len Adleman godine. Navodimo definiciju tog kriptosustava: Definicija Neka je N = p q, gdje su p i q prosti brojevi. Neka je P = C = Z N, te K = {(n, p, q, d, e) : N = pq, p, q prosti, de 1 (mod φ(n))}. Za K = (n, p, q, d, e) K definiramo e K (x) = x e mod N i d K (y) = y d mod N, x, y Z N. Vrijednosti N i e su javne, a vrijednosti p, q i d su tajne. Kada govorimo o sigurnosti koju ovi kriptosustavi pružaju znamo da je računanje kvadratnih korijena modulo složen broj jednako teško kao odredivanje prostih faktora složenog broja. Nije poznato je li sigurnost RSA kriptosustava implicirana razinom složenosti odredivanja prostih faktora složenog broja. Stoga možemo reći da je Rabinova familija permutacija bazirana na slabijoj pretpostavci: teoretski je moguće da netko razvije učinkovit algoritam za rješavanje RSA problema, ali računanje kvadratnih korijena će ostati jednako teško. Takoder je moguće da netko razvije algoritam za rješavanje RSA problema koji će biti brži od poznatih algoritama za rastavljanje broja na proste faktore. Lema nam osigurava da računanje kvadratnih korijena modulo N ne može biti mnogo brže od najboljeg algoritma za rastavljanje broja N na proste faktore. Kada govorimo o učinkovitosti, ova dva kriptosustava su jako slična. Ako se kod RSA kriptosustava koristi veliki eksponent e, tada je računanje e-te potencije (kao u RSA kriptosustavu) malo sporije od kvadriranja (kao u Rabinovom kriptosustavu). S druge strane, potrebno je biti malo pažljiviji kod rada s Rabinovom familijom permutacija jer se radi samo od podskupu skupa Z N. RSA permutacije se više koriste u praksi nego Rabinove permutacije, ali razlog tome je više povijesna slučajnost (RSA je objavljen dvije godine ranije) nego tehnička prednost.

26 Bibliografija [1] Dujella, A., Maretić M.: Kriptografija. Element, Zagreb, [2] Katz, J., Lindell Y.: Introduction to modern cryptography. CRC Press, [3] Menezes, A., van Oorschot P. Vanstone V.: Handbook of Applied Cryptography. CRC Press, [4] Stinson, D. R.: Cryptography. Theory and practice. CRC Press,

27

28 Sažetak U ovom radu smo proučavali dva kriptosustava s javnim ključem, Goldwasser-Micalijev kriptosustav i Rabinov kriptosustav. Da bismo mogli nešto reći o sigurnosti tih kriptosustava, proučavali smo kvadratne ostatke po prostom i složenom modulu te odredivanje kvadratnih korijena po prostom i složenom modulu. U prvom poglavlju smo promotrili osnovne rezultate vezane u kvadratne ostatke po prostom i složenom modulu. Najprije smo dokazali tvrdnju da svaki kvadratni ostatak u skupu Z p, pri čemu je p prost broj, ima točno dva kvadratna korijena. Zatim smo definirali Legendreov simbol te pokazali propoziciju koja nam je omogućila jednostavno odredivanje je li element skupa Z p kvadratni ostatak ili neostatak, pri čemu je p prost broj. Zatim smo te rezultate poopćili na složeni modul koristeći Kineski teorem o ostacima, definirali smo Jacobijev simbol, te smo pokazali primjer odredivanja kvadratnih ostataka po složenom modulu. U sljedećem poglavlju smo proučavali Goldwasser-Micalijev kriptosustav s javnim ključem. Najprije smo detaljno promotrili definiciju tog kriptosustava te proces kriptiranja i dekriptiranja. Proces kriptiranja i dekriptiranja smo pokazali i na jednostavnom primjeru. Zatim smo promotrili sigurnost tog kriptosustava te smo uočili da je sigurnost tog kriptosustava osigurana činjenicom da je problem odredivanja je li element kvadratni ostatak težak. Na kraju ovog poglavlja smo definirali i opisali CPA-sigurnost kriptosustava, odnosno otpornost kriptosustava na napade odabranim javnim tekstovima. U posljednjem poglavlju smo naveli definiciju Rabinovog kriptosustava te opisali proces kriptiranja i dekriptiranja. Zatim smo pobliže proučili računanje kvadratnih korijena po prostom i složenom modulu kako bi mogli detaljnije objasniti proces dekriptiranja što smo pokazali i na primjeru. Zatim smo promatrali sigurnost Rabinovog kriptosustava te smo uz niz rezultata došli do zaključka da je sigurnost Rabinovog kriptorustava osigurana činjenicom da je problem računanja kvadratnih korijena jednako težak kao odredivanje prostih faktora složenog broja. I na kraju smo ukratko usporedili Rabinov kriptosustav s RSA kriptosustavom te smo uočili da su vrlo slični, podjednako učinkoviti te da je sigurnost Rabinovog kriptosustava osigurana činjenicom da je problem računanja kvadratnih korijena jednako težak kao odredivanje prostih faktora složenog broja, za razliku od RSA kriptosustava za koji ne možemo dokazati takvu implikaciju.

29

30 Summary In this thesis we observed two public key cryptosystems, Goldwasser-Micali and Rabin cryptosystem. In order to say something about security of those cryptosystems we studied quadratic residues modulo a prime and composite number, and computing square roots module a prime and composite number. In first chapter we showed several results about quadratic residues modulo a prime and composite number. First we showed that every quadratic residue in Z p has exactly two square roots. Then we defined Legendre s symbol and showed proposition that enabled simple algorithm for testing whether an element x Z p is a quadratic residue. Then we expanded those results to composite module using Chinese remainder theorem, defined Jacobi symbol and showed an example of computing quadratic residues modulo a composite number. In next chapter we defined Goldwasser-Micali public key cryptosystems. We explained encryption and decryption process and showed a simple example. Then we looked at security of this cryptosystem and noticed that it is assured by the fact that quadratic residuosity problem is hard. At the end of this chapter we described and defined CPA-security of cryptosystem. In final chapter we studied Rabin public key cryptosystems. We defined Rabin cryptosystem and explained encryption and decryption process. Then we studied computing square roots modulo a prime and composite number. We used those results to show decryption process in more details. Then we showed that security of Rabin cryptosystem is assured by the fact that computing square roots is hard. In the end we compared Rabin and RSA cryptosystem. These cryptosystems are very similar and equally efficient. In terms of security we showed that hardness of computing square roots is equivalent to hardness of factoring, whereas hardness of solving the RSA problems not known to be implied by the hardness of factoring.

31

32 Životopis Rodena sam u Zagrebu. Moja obitelj je godine preselila u Suhaju, malo selo pored grada Čazme, gdje živimo i danas. Živim s majkom, ocem i dva brata. Osnovnu i srednju školu sam pohadala u Čazmi te sam opću gimnaziju završila godine. Tijekom školovanja u srednjoj školi otkrila sam svoje zanimanje za matematiku te sam nakon toga upisala Preddiplomski studij Matematika na Prirodoslovno-matematičkom fakultetu u Zagrebu koji sam završila godine i stekla zvanje sveučilišne prvostupnice matematike. Zatim sam upisala Diplomski studij Matematika i informatika; smjer: nastavnički. Tijekom diplomskog studija sam stekla znanja o edukaciji matematike i informatike u osnovnoj i srednjoj školi te sam postala jako zainteresirana za rad u školi. U listopadu godine sam započela s radom u osnovnoj školi te planiram graditi svoju karijeru u tom zanimanju.

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivana Šore REKURZIVNOST REALNIH FUNKCIJA Diplomski rad Voditelj rada: doc.

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivana Šore REKURZIVNOST REALNIH FUNKCIJA Diplomski rad Voditelj rada: doc. SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivana Šore REKURZIVNOST REALNIH FUNKCIJA Diplomski rad Voditelj rada: doc.dr.sc. Zvonko Iljazović Zagreb, rujan, 2015. Ovaj diplomski

Више

Matematika 1 - izborna

Matematika 1 - izborna 3.3. NELINEARNE DIOFANTSKE JEDNADŽBE Navest ćemo sada neke metode rješavanja diofantskih jednadžbi koje su drugog i viših stupnjeva. Sve su te metode zapravo posebni oblici jedne opće metode, koja se naziva

Више

08 RSA1

08 RSA1 Преглед ЗАШТИТА ПОДАТАКА Шифровање јавним кључем и хеш функције RSA алгоритам Биће објашњено: RSA алгоритам алгоритам прорачунски аспекти ефикасност коришћењем јавног кључа генерисање кључа сигурност проблем

Више

Algoritmi SŠ P1

Algoritmi SŠ P1 Državno natjecanje iz informatike Srednja škola Prvi dan natjecanja 2. ožujka 219. ime zadatka BADMINTON SJEME MANIPULATOR vremensko ograničenje 1 sekunda 1 sekunda 3 sekunde memorijsko ograničenje 512

Више

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 4. svibnja (Knjige, bilježnice, dodatni papiri i kalkulatori n

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 4. svibnja (Knjige, bilježnice, dodatni papiri i kalkulatori n 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 4. svibnja 2018. (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) (a) (2 boda) Definirajte (općenitu) vanjsku mjeru. (b) (2 boda) Definirajte

Више

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL završni ispit 6. srpnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1.

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL završni ispit 6. srpnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. MJERA I INTEGRAL završni ispit 6. srpnja 208. (Knjige bilježnice dodatni papiri i kalkulatori nisu dozvoljeni!). (8 bodova) Kao na predavanjima za d N sa P d : a b ] a d b d ] : a i b i R a i b i za i

Више

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 29. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. (

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 29. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. ( MJERA I INTEGRAL. kolokvij 9. lipnja 018. (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni! 1. (ukupno 6 bodova Neka je (, F, µ prostor s mjerom, neka je (f n n1 niz F-izmjerivih funkcija

Више

knjiga.dvi

knjiga.dvi 1. Vjerojatnost 1. lgebra dogadaja......................... 1 2. Vjerojatnost............................. 9 3. Klasični vjerojatnosni prostor................. 14 4. eskonačni vjerojatnosni prostor...............

Више

ŽUPANIJSKO NATJECANJE IZ MATEMATIKE 28. veljače razred - rješenja OVDJE SU DANI NEKI NAČINI RJEŠAVANJA ZADATAKA. UKOLIKO UČENIK IMA DRUGAČIJI

ŽUPANIJSKO NATJECANJE IZ MATEMATIKE 28. veljače razred - rješenja OVDJE SU DANI NEKI NAČINI RJEŠAVANJA ZADATAKA. UKOLIKO UČENIK IMA DRUGAČIJI ŽUANIJSKO NATJECANJE IZ MATEMATIKE 8. veljače 09. 8. razred - rješenja OVDJE SU DANI NEKI NAČINI RJEŠAVANJA ZADATAKA. UKOLIKO UČENIK IMA DRUGAČIJI OSTUAK RJEŠAVANJA, ČLAN OVJERENSTVA DUŽAN JE I TAJ OSTUAK

Више

Algebarski izrazi (4. dio)

Algebarski izrazi (4. dio) Dodatna nastava iz matematike 8. razred Algebarski izrazi (4. dio) Aleksandra-Maria Vuković OŠ Gornji Mihaljevec amvukovic@gmail.com 12/21/2010 SADRŽAJ 7. KVADRATNI TRINOM... 3 [ Primjer 18. Faktorizacija

Више

Kvantna enkripcija

Kvantna enkripcija 19. studenog 2018. QKD = Quantum Key Distribution Protokoli enkriptirane komunikacije koji koriste tzv. tajni ključ zahtijevaju da on bude poznat isključivo dvjema strankama (pošiljatelju i primatelju

Више

Sadržaj 1 Diskretan slučajan vektor Definicija slučajnog vektora Diskretan slučajan vektor

Sadržaj 1 Diskretan slučajan vektor Definicija slučajnog vektora Diskretan slučajan vektor Sadržaj Diskretan slučajan vektor Definicija slučajnog vektora 2 Diskretan slučajan vektor Funkcija distribucije slučajnog vektora 2 4 Nezavisnost slučajnih vektora 2 5 Očekivanje slučajnog vektora 6 Kovarijanca

Више

s2.dvi

s2.dvi 1. Skup kompleksnih brojeva 1. Skupovibrojeva.... Skup kompleksnih brojeva................................. 6. Zbrajanje i množenje kompleksnih brojeva..................... 9 4. Kompleksno konjugirani

Више

(Microsoft Word - Rje\232enja zadataka)

(Microsoft Word - Rje\232enja zadataka) 1. D. Svedimo sve razlomke na jedinstveni zajednički nazivnik. Lako provjeravamo da vrijede rastavi: 85 = 17 5, 187 = 17 11, 170 = 17 10, pa je zajednički nazivnik svih razlomaka jednak Tako sada imamo:

Више

atka 24 (2015./2016.) br. 96 Skrivene poruke Andreja Igrec, Čakovec udi su od davnina željeli sigurno komunicirati. Poruke koje su slali Ljbilo je pot

atka 24 (2015./2016.) br. 96 Skrivene poruke Andreja Igrec, Čakovec udi su od davnina željeli sigurno komunicirati. Poruke koje su slali Ljbilo je pot Skrivene poruke Andreja Igrec, Čakovec udi su od davnina željeli sigurno komunicirati. Poruke koje su slali Ljbilo je potrebno zaštiti tako da samo primatelj može doznati njezin sadržaj. Kroz povijest

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Igor Sušić LOKALNA IZRAČUNLJIVOST Diplomski rad Voditelj rada: doc.dr.sc.

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Igor Sušić LOKALNA IZRAČUNLJIVOST Diplomski rad Voditelj rada: doc.dr.sc. SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Igor Sušić LOKALNA IZRAČUNLJIVOST Diplomski rad Voditelj rada: doc.dr.sc. Zvonko Iljazović Zagreb, lipanj 015. Ovaj diplomski

Више

Microsoft Word - predavanje8

Microsoft Word - predavanje8 DERIVACIJA KOMPOZICIJE FUNKCIJA Ponekad je potrebno derivirati funkcije koje nisu jednostavne (složene su). Na primjer, funkcija sin2 je kompozicija funkcija sin (vanjska funkcija) i 2 (unutarnja funkcija).

Више

Matrice. Algebarske operacije s matricama. - Predavanje I

Matrice. Algebarske operacije s matricama. - Predavanje I Matrice.. Predavanje I Ines Radošević inesr@math.uniri.hr Odjel za matematiku Sveučilišta u Rijeci Matrice... Matrice... Podsjeti se... skup, element skupa,..., matematička logika skupovi brojeva N,...,

Више

ALIP1_udzb_2019.indb

ALIP1_udzb_2019.indb Razmislimo Kako u memoriji računala prikazujemo tekst, brojeve, slike? Gdje se spremaju svi ti podatci? Kako uopće izgleda memorija računala i koji ju elektronički sklopovi čine? Kako biste znali odgovoriti

Више

(Microsoft Word - MATB - kolovoz osnovna razina - rje\232enja zadataka)

(Microsoft Word - MATB - kolovoz osnovna razina - rje\232enja zadataka) . B. Zapišimo zadane brojeve u obliku beskonačno periodičnih decimalnih brojeva: 3 4 = 0.7, = 0.36. Prvi od navedenih četiriju brojeva je manji od 3 4, dok su treći i četvrti veći od. Jedini broj koji

Више

(Microsoft Word - Dr\236avna matura - rujan osnovna razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - rujan osnovna razina - rje\232enja) I. ZADATCI VIŠESTRUKOGA IZBORA. B. Broj je cijeli broj, tj. pripada skupu cijelih brojeva Z. Skup cijelih brojeva Z je pravi podskup skupa racionalnih brojeva Q, pa je i racionalan broj. 9 4 je očito broj

Више

Diferenciranje i integriranje pod znakom integrala math.e Vol math.e Hrvatski matematički elektronički časopis Diferenciranje i integriranje pod

Diferenciranje i integriranje pod znakom integrala math.e Vol math.e Hrvatski matematički elektronički časopis Diferenciranje i integriranje pod 1 math.e Hrvatski matematički elektronički časopis Diferenciranje i integriranje pod znakom integrala analiza Irfan Glogić, Harun Šiljak When guys at MIT or Princeton had trouble doing a certain integral,

Више

Microsoft Word - 6ms001

Microsoft Word - 6ms001 Zadatak 001 (Anela, ekonomska škola) Riješi sustav jednadžbi: 5 z = 0 + + z = 14 4 + + z = 16 Rješenje 001 Sustav rješavamo Gaussovom metodom eliminacije (isključivanja). Gaussova metoda provodi se pomoću

Више

OMLv6b2.pdf

OMLv6b2.pdf Osječki matematički list 6(2006), 85 97 85 STUDENTSKA RUBRIKA Eliptičke krivulje u kriptografiji Dino Sejdinović Sažetak. U ovom članku definirali smo kriptosustav javnog ključa i ponovili njegovu povijest.

Више

Sveučilište u Zagrebu

Sveučilište u Zagrebu SVEUČILIŠTE U ZAGREBU FAKULTET ELEKTROTEHNIKE I RAČUNARSTVA RAČUNALNA FORENZIKA SEMINAR VoIP enkripcija Ivan Laznibat Zagreb, siječanj, 2017. Sadržaj 1. Uvod... 1 2. VoIP enkripcija... 3 2.1 PKI (eng.

Више

UAAG Osnovne algebarske strukture 5. Vektorski prostori Borka Jadrijević

UAAG Osnovne algebarske strukture 5. Vektorski prostori Borka Jadrijević Osnovne algebarske strukture 5. Vektorski prostori Borka Jadrijević Osnovne algebarske strukture5. Vektorski prostori 2 5.1 Unutarnja i vanjska množenja Imamo dvije vrste algebarskih operacija, tzv. unutarnja

Више

(Microsoft Word - Dr\236avna matura - studeni osnovna razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - studeni osnovna razina - rje\232enja) 1. C. Imamo redom: I. ZADATCI VIŠESTRUKOGA IZBORA 9 + 7 6 9 + 4 51 = = = 5.1 18 4 18 8 10. B. Pomoću kalkulatora nalazimo 10 1.5 = 63.45553. Četvrta decimala je očito jednaka 5, pa se zaokruživanje vrši

Више

(Microsoft Word - Dr\236avna matura - kolovoz ni\236a razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - kolovoz ni\236a razina - rje\232enja) 1. C. Imamo redom: I. ZADATCI VIŠESTRUKOGA IZBORA. B. Imamo redom: 0.3 0. 8 7 8 19 ( 3) 4 : = 9 4 = 9 4 = 9 = =. 0. 0.3 3 3 3 3 0 1 3 + 1 + 4 8 5 5 = = = = = = 0 1 3 0 1 3 0 1+ 3 ( : ) ( : ) 5 5 4 0 3.

Више

06 Poverljivost simetricnih algoritama1

06 Poverljivost simetricnih algoritama1 ЗАШТИТА ПОДАТАКА Симетрични алгоритми заштите поверљивост симетричних алгоритама Преглед биће објашњено: коришћење симетричних алгоритама заштите како би се заштитила поверљивост потреба за добрим системом

Више

Slide 1

Slide 1 0(a) 0(b) 0(c) 0(d) 0(e) :: :: Neke fizikalne veličine poput indeksa loma u anizotropnim sredstvima ovise o iznosu i smjeru, a nisu vektori. Stoga se namede potreba poopdavanja. Međutim, fizikalne veličine,

Више

Microsoft Word - 15ms261

Microsoft Word - 15ms261 Zadatak 6 (Mirko, elektrotehnička škola) Rješenje 6 Odredite sup S, inf S, ma S i min S u skupu R ako je S = { R } a b = a a b + b a b, c < 0 a c b c. ( ), : 5. Skratiti razlomak znači brojnik i nazivnik

Више

Slide 1

Slide 1 OSNOVNI POJMOVI Naredba je uputa računalu za obavljanje određene radnje. Program je niz naredbi razumljivih računalu koje rješavaju neki problem. Pisanje programa zovemo programiranje. Programski jezik

Више

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 20 bodova) MJERA I INTEGRAL Popravni ispit 7. rujna (Knjige, bilježnice, dodatni papiri i kalkulatori

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 20 bodova) MJERA I INTEGRAL Popravni ispit 7. rujna (Knjige, bilježnice, dodatni papiri i kalkulatori 1. (ukuno 20 bodova) MJERA I INTEGRAL Poravni isit 7. rujna 2018. (Knjige, bilježnice, dodatni airi i kalkulatori nisu dozvoljeni!) (a) (4 boda) Neka je nerazan sku. Precizno definirajte ojam σ-rstena

Више

MAT KOL (Banja Luka) ISSN (p), ISSN (o) Vol. XX (2)(2014), PELLOVA JEDNAČINA I PITAGORIN

MAT KOL (Banja Luka) ISSN (p), ISSN (o) Vol. XX (2)(2014), PELLOVA JEDNAČINA I PITAGORIN MAT KOL (Banja Luka) ISSN 0354 6969 (p), ISSN 986 5228 (o) Vol. XX (2)(204), 59 68 http://www.imvibl.org/dmbl/dmbl.htm PELLOVA JEDNAČINA I PITAGORINE TROJKE Amra Duraković Bernadin Ibrahimpašić 2, Sažetak

Више

Numerička matematika 11. predavanje dodatak Saša Singer web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb NumMat 2019, 11. p

Numerička matematika 11. predavanje dodatak Saša Singer web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb NumMat 2019, 11. p Numerička matematika 11. predavanje dodatak Saša Singer singer@math.hr web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb NumMat 2019, 11. predavanje dodatak p. 1/46 Sadržaj predavanja dodatka

Више

ZADACI ZA VJEŽBU 1. Dokažite da vrijedi: (a) (A \ B) (B \ A) = (A B) (A C B C ), (b) A \ (B \ C) = (A C) (A \ B), (c) (A B) \ C = (A \ C) (B \ C). 2.

ZADACI ZA VJEŽBU 1. Dokažite da vrijedi: (a) (A \ B) (B \ A) = (A B) (A C B C ), (b) A \ (B \ C) = (A C) (A \ B), (c) (A B) \ C = (A \ C) (B \ C). 2. ZADACI ZA VJEŽBU. Dokažite da vrijedi: (a) (A \ B) (B \ A) = (A B) (A C B C ), (b) A \ (B \ C) = (A C) (A \ B), (c) (A B) \ C = (A \ C) (B \ C).. Pomoću matematičke indukcije dokažite da za svaki n N vrijedi:

Више

7. predavanje Vladimir Dananić 14. studenoga Vladimir Dananić () 7. predavanje 14. studenoga / 16

7. predavanje Vladimir Dananić 14. studenoga Vladimir Dananić () 7. predavanje 14. studenoga / 16 7. predavanje Vladimir Dananić 14. studenoga 2011. Vladimir Dananić () 7. predavanje 14. studenoga 2011. 1 / 16 Sadržaj 1 Operator kutne količine gibanja 2 3 Zadatci Vladimir Dananić () 7. predavanje 14.

Више

Teorija skupova - blog.sake.ba

Teorija skupova - blog.sake.ba Uvod Matematika je jedan od najomraženijih predmeta kod većine učenika S pravom, dakako! Zapitajmo se šta je uzrok tome? Da li je matematika zaista toliko teška, komplikovana? Odgovor je jednostavan, naravno

Више

CIJELI BROJEVI 1.) Kako još nazivamo pozitivne cijele brojeve? 1.) Za što je oznaka? 2.) Ispiši skup prirodnih brojeva! 3.) Kako označavamo skup priro

CIJELI BROJEVI 1.) Kako još nazivamo pozitivne cijele brojeve? 1.) Za što je oznaka? 2.) Ispiši skup prirodnih brojeva! 3.) Kako označavamo skup priro CIJELI BROJEVI 1.) Kako još nazivamo pozitivne cijele brojeve? 1.) Za što je oznaka? 2.) Ispiši skup prirodnih brojeva! 3.) Kako označavamo skup prirodnih brojeva? 4.) Pripada li 0 skupu prirodnih brojeva?

Више

MAZALICA DUŠKA.pdf

MAZALICA DUŠKA.pdf SVEUČILIŠTE JOSIPA JURJA STROSSMAYERA U OSIJEKU ELEKTROTEHNIČKI FAKULTET Sveučilišni studij OPTIMIRANJE INTEGRACIJE MALIH ELEKTRANA U DISTRIBUCIJSKU MREŽU Diplomski rad Duška Mazalica Osijek, 2014. SADRŽAJ

Више

Skripte2013

Skripte2013 Chapter 2 Algebarske strukture Preslikivanje f : A n! A se naziva n-arna operacija na skupu A Ako je n =2, kažemo da je f : A A! A binarna operacija na A Kažemo da je operacija f arnosti n, u oznaci ar

Више

vjezbe-difrfv.dvi

vjezbe-difrfv.dvi Zadatak 5.1. Neka je L: R n R m linearni operator. Dokažite da je DL(X) = L, X R n. Preslikavanje L je linearno i za ostatak r(h) = L(X + H) L(X) L(H) = 0 vrijedi r(h) lim = 0. (5.1) H 0 Kako je R n je

Више

(Microsoft Word vje\236ba - LIMES FUNKCIJE.doc)

(Microsoft Word vje\236ba - LIMES FUNKCIJE.doc) Zadatak Pokažite, koristeći svojstva esa, da je ( 6 ) 5 Svojstva esa funkcije u točki: Ako je k konstanta, k k c c c f ( ) L i g( ) M, tada vrijedi: c c [ f ( ) ± g( ) ] c c f ( ) ± g( ) L ± M c [ f (

Више

Skalarne funkcije više varijabli Parcijalne derivacije Skalarne funkcije više varijabli i parcijalne derivacije Franka Miriam Brückler

Skalarne funkcije više varijabli Parcijalne derivacije Skalarne funkcije više varijabli i parcijalne derivacije Franka Miriam Brückler i parcijalne derivacije Franka Miriam Brückler Jednadžba stanja idealnog plina uz p = nrt V f (x, y, z) = xy z x = n mol, y = T K, z = V L, f == p Pa. Pritom je kodomena od f skup R, a domena je Jednadžba

Више

PEDAGOŠKI ZAVOD TUZLA u saradnji s UDRUŽENJEM MATEMATIČARA TUZLANSKOG KANTONA Takmičenje učenika srednjih škola Tuzlanskog kantona iz MATEMATIKE Tuzla

PEDAGOŠKI ZAVOD TUZLA u saradnji s UDRUŽENJEM MATEMATIČARA TUZLANSKOG KANTONA Takmičenje učenika srednjih škola Tuzlanskog kantona iz MATEMATIKE Tuzla PEDAGOŠKI ZAVOD TUZLA u saradnji s UDRUŽENJEM MATEMATIČARA TUZLANSKOG KANTONA Takmičenje učenika srednjih škola Tuzlanskog kantona iz MATEMATIKE Tuzla, 3. mart/ožujak 019. godine Prirodno-matematički fakultet

Више

atka 26 (2017./2018.) br. 102 NEKE VRSTE DOKAZA U ČAROBMATICI Jadranka Delač-Klepac, Zagreb jednoj smo priči spomenuli kako je važno znati postavljati

atka 26 (2017./2018.) br. 102 NEKE VRSTE DOKAZA U ČAROBMATICI Jadranka Delač-Klepac, Zagreb jednoj smo priči spomenuli kako je važno znati postavljati NEKE VRSTE DOKAZA U ČAROBMATICI Jadranka Delač-Klepac, Zagreb jednoj smo priči spomenuli kako je važno znati postavljati prava pitanja. U Jednako je važno znati pronaći odgovore na postavljena pitanja,

Више

Maksimalni protok kroz mrežu - Ford-Fulkerson, Edmonds-Karp

Maksimalni protok kroz mrežu - Ford-Fulkerson, Edmonds-Karp Maksimalni protok kroz mrežu - Ford-Fulkerson, Edmonds-Karp PMF-MO Seminar iz kolegija Oblikovanje i analiza algoritama 22.1.2019. mrežu - Ford-Fulkerson, Edmonds-Karp 22.1.2019. 1 / 35 Uvod - definicije

Више

Microsoft Word - DIOFANTSKE JEDNADŽBE ZADACI docx

Microsoft Word - DIOFANTSKE JEDNADŽBE ZADACI docx DIOFANTSKE JEDNADŽBE Jednadžba s dvjema ili više nepoznanica čiji su koeficijenti i rješenja cijeli brojevi naziva se DIOFANTSKA JEDNADŽBA. Linearne diofantske jednadžbe 3" + 7% 8 = 0 nehomogena (s dvjema

Више

Algoritmi SŠ P1

Algoritmi SŠ P1 Županijsko natjecanje iz informatike Srednja škola 9. veljače 2018. RJEŠENJA ZADATAKA Napomena: kodovi za većinu opisanih algoritama dani su u Pythonu radi jednostavnosti i lakše čitljivosti. Zbog prirode

Више

SVEUČILIŠTE JOSIPA JURJA STROSSMAYERA U OSIJEKU FAKULTET ELEKTROTEHNIKE, RAČUNARSTVA I INFORMACIJSKIH TEHNOLOGIJA DIPLOMSKI STUDIJ METODE ZA ENKRIPCIJ

SVEUČILIŠTE JOSIPA JURJA STROSSMAYERA U OSIJEKU FAKULTET ELEKTROTEHNIKE, RAČUNARSTVA I INFORMACIJSKIH TEHNOLOGIJA DIPLOMSKI STUDIJ METODE ZA ENKRIPCIJ SVEUČILIŠTE JOSIPA JURJA STROSSMAYERA U OSIJEKU FAKULTET ELEKTROTEHNIKE, RAČUNARSTVA I INFORMACIJSKIH TEHNOLOGIJA DIPLOMSKI STUDIJ METODE ZA ENKRIPCIJU ELEKTRONIČKE POŠTE Diplomski rad Bernard Galić Osijek,

Више

Natjecanje 2016.

Natjecanje 2016. I RAZRED Zadatak 1 Grafiĉki predstavi funkciju RJEŠENJE 2, { Za, imamo Za, ), imamo, Za imamo I RAZRED Zadatak 2 Neka su realni brojevi koji nisu svi jednaki, takvi da vrijedi Dokaži da je RJEŠENJE Neka

Више

(Microsoft Word - Dr\236avna matura - kolovoz osnovna razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - kolovoz osnovna razina - rje\232enja) 5 5: 5 5. B. Broj.5 možemo zapisati u obliku = =, a taj broj nije cijeli broj. 0 0 : 5 Broj 5 je iracionalan broj, pa taj broj nije cijeli broj. Broj 5 je racionalan broj koji nije cijeli broj jer broj

Више

Uvod u obične diferencijalne jednadžbe Metoda separacije varijabli Obične diferencijalne jednadžbe Franka Miriam Brückler

Uvod u obične diferencijalne jednadžbe Metoda separacije varijabli Obične diferencijalne jednadžbe Franka Miriam Brückler Obične diferencijalne jednadžbe Franka Miriam Brückler Primjer Deriviranje po x je linearan operator d dx kojemu recimo kao domenu i kodomenu uzmemo (beskonačnodimenzionalni) vektorski prostor funkcija

Више

Microsoft Word - AIDA2kolokvijumRsmerResenja.doc

Microsoft Word - AIDA2kolokvijumRsmerResenja.doc Konstrukcija i analiza algoritama 2 (prvi kolokvijum, smer R) 1. a) Konstruisati AVL stablo od brojeva 100, 132, 134, 170, 180, 112, 188, 184, 181, 165 (2 poena) b) Konkatenacija je operacija nad dva skupa

Више

PLAN I PROGRAM ZA DOPUNSKU (PRODUŽNU) NASTAVU IZ MATEMATIKE (za 1. razred)

PLAN I PROGRAM ZA DOPUNSKU (PRODUŽNU) NASTAVU IZ MATEMATIKE (za 1. razred) PLAN I PROGRAM ZA DOPUNSKU (PRODUŽNU) NASTAVU IZ MATEMATIKE (za 1. razred) Učenik prvog razreda treba ostvarit sljedeće minimalne standarde 1. SKUP REALNIH BROJEVA -razlikovati brojevne skupove i njihove

Више

(Microsoft Word - Dr\236avna matura - svibanj osnovna razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - svibanj osnovna razina - rje\232enja) I. ZADATCI VIŠESTRUKOGA IZBORA 1. A. Svih pet zadanih razlomaka svedemo na najmanji zajednički nazivnik. Taj nazivnik je najmanji zajednički višekratnik brojeva i 3, tj. NZV(, 3) = 6. Dobijemo: 15 1, 6

Више

Elementarna matematika 1 - Oblici matematickog mišljenja

Elementarna matematika 1 - Oblici matematickog mišljenja Oblici matematičkog mišljenja 2007/2008 Mišljenje (psihološka definicija) = izdvajanje u čovjekovoj spoznaji odre denih strana i svojstava promatranog objekta i njihovo dovo denje u odgovarajuće veze s

Више

Konacne grupe, dizajni i kodovi

Konacne grupe, dizajni i kodovi Konačne grupe, dizajni i kodovi Andrea Švob (asvob@math.uniri.hr) 1. veljače 2011. Andrea Švob (asvob@math.uniri.hr) () Konačne grupe, dizajni i kodovi 1. veljače 2011. 1 / 36 J. Moori, Finite Groups,

Више

Pripreme 2016 Indukcija Grgur Valentić lipanj Zadaci su skupljeni s dva predavanja na istu temu, za učenike od prvog do trećeg razreda i za MEMO

Pripreme 2016 Indukcija Grgur Valentić lipanj Zadaci su skupljeni s dva predavanja na istu temu, za učenike od prvog do trećeg razreda i za MEMO Pripreme 016 Indukcija Grgur Valentić lipanj 016. Zadaci su skupljeni s dva predavanja na istu temu, za učenike od prvog do trećeg razreda i za MEMO kandidate. Zato su zadaci podjeljeni u odlomka. U uvodu

Више

DRŽAVNO NATJECANJE IZ MATEMATIKE Primošten, 4.travnja-6.travnja razred-rješenja OVDJE SU DANI NEKI NAČINI RJEŠAVANJA ZADATAKA. UKOLIKO UČENIK

DRŽAVNO NATJECANJE IZ MATEMATIKE Primošten, 4.travnja-6.travnja razred-rješenja OVDJE SU DANI NEKI NAČINI RJEŠAVANJA ZADATAKA. UKOLIKO UČENIK RŽVNO NTJENJE IZ MTEMTIKE Primošten, 4travnja-6travnja 016 7 razred-rješenja OVJE SU NI NEKI NČINI RJEŠVNJ ZTK UKOLIKO UČENIK IM RUGČIJI POSTUPK RJEŠVNJ, ČLN POVJERENSTV UŽN JE I TJ POSTUPK OOVTI I OIJENITI

Више

23. siječnja od 13:00 do 14:00 Školsko natjecanje / Osnove informatike Srednje škole RJEŠENJA ZADATAKA S OBJAŠNJENJIMA Sponzori Medijski pokrovi

23. siječnja od 13:00 do 14:00 Školsko natjecanje / Osnove informatike Srednje škole RJEŠENJA ZADATAKA S OBJAŠNJENJIMA Sponzori Medijski pokrovi 3. siječnja 0. od 3:00 do 4:00 RJEŠENJA ZADATAKA S OBJAŠNJENJIMA Sponzori Medijski pokrovitelji Sadržaj Zadaci. 4.... Zadaci 5. 0.... 3 od 8 Zadaci. 4. U sljedećim pitanjima na pitanja odgovaraš upisivanjem

Више

UDŽBENIK 2. dio

UDŽBENIK 2. dio UDŽBENIK 2. dio Pročitaj pažljivo Primjer 1. i Primjer 2. Ova dva primjera bi te trebala uvjeriti u potrebu za uvo - denjem još jedne vrste brojeva. Primjer 1. Živa u termometru pokazivala je temperaturu

Више

PowerPoint Presentation

PowerPoint Presentation Hrvoje Skenderović, Institut za fiziku, Zagreb Kvantno računanje - budućnost informatike? Superpozicija, Entanglement, Kvantna kriptografija, Kvantna teleportacija,... Kvatno računanje Neke značajke kvantne

Више

18 1 DERIVACIJA 1.3 Derivacije višeg reda n-tu derivaciju funkcije f označavamo s f (n) ili u Leibnizovoj notaciji s dn y d x n. Zadatak 1.22 Nadite f

18 1 DERIVACIJA 1.3 Derivacije višeg reda n-tu derivaciju funkcije f označavamo s f (n) ili u Leibnizovoj notaciji s dn y d x n. Zadatak 1.22 Nadite f 8 DERIVACIJA.3 Derivacije višeg reda n-tu derivaciju funcije f označavamo s f (n) ili u Leibnizovoj notaciji s dn y d x n. Zadata. Nadite f (x) ao je (a) f(x) = ( + x ) arctg x (b) f(x) = e x cos x (a)

Више

ANALITIČKA GEOMETRIJA Željka Milin Šipuš i Mea Bombardelli verzija Uvod i povijesni osvrt Analitička geometrija bavi se proučavanjem (klasične)

ANALITIČKA GEOMETRIJA Željka Milin Šipuš i Mea Bombardelli verzija Uvod i povijesni osvrt Analitička geometrija bavi se proučavanjem (klasične) ANALITIČKA GEOMETRIJA Željka Milin Šipuš i Mea Bombardelli verzija 1.0 1 Uvod i povijesni osvrt Analitička geometrija bavi se proučavanjem (klasične) euklidske geometrije ravnine i prostora koristeći algebarske

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Martina Barić PARTICIJE PRIRODNIH BROJEVA Diplomski rad Voditelj rada: izv

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Martina Barić PARTICIJE PRIRODNIH BROJEVA Diplomski rad Voditelj rada: izv SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Martina Barić PARTICIJE PRIRODNIH BROJEVA Diplomski rad Voditelj rada: izv. prof. dr. sc. Zrinka Franušić Zagreb, rujan 2017

Више

Test ispravio: (1) (2) Ukupan broj bodova: 21. veljače od 13:00 do 14:00 Županijsko natjecanje / Osnove informatike Osnovne škole Ime i prezime

Test ispravio: (1) (2) Ukupan broj bodova: 21. veljače od 13:00 do 14:00 Županijsko natjecanje / Osnove informatike Osnovne škole Ime i prezime Test ispravio: () () Ukupan broj bodova:. veljače 04. od 3:00 do 4:00 Ime i prezime Razred Škola Županija Mentor Sadržaj Upute za natjecatelje... Zadaci... Upute za natjecatelje Vrijeme pisanja: 60 minuta

Више

MATEMATIČKA ANALIZA I primjeri i zadaci Ante Mimica 8. siječnja 2010.

MATEMATIČKA ANALIZA I primjeri i zadaci Ante Mimica 8. siječnja 2010. MATEMATIČKA ANALIZA I primjeri i zadaci Ante Mimica 8 siječnja 00 Sadržaj Funkcije 5 Nizovi 7 3 Infimum i supremum 9 4 Neprekidnost i es 39 3 4 SADRZ AJ Funkcije 5 6 FUNKCIJE Nizovi Definicija Niz je

Више

8 2 upiti_izvjesca.indd

8 2 upiti_izvjesca.indd 1 2. Baze podataka Upiti i izvješća baze podataka Na početku cjeline o bazama podataka napravili ste plošnu bazu podataka o natjecanjima učenika. Sada ćete izraditi relacijsku bazu u Accessu o učenicima

Више

(Microsoft Word - Dr\236avna matura - lipanj osnovna razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - lipanj osnovna razina - rje\232enja) 1. D. Prirodni brojevi su svi cijeli brojevi strogo veći od nule. je strogo negativan cijeli broj, pa nije prirodan broj. 14 je racionalan broj koji nije cijeli broj. Podijelimo li 14 s 5, dobit ćemo.8,

Више

Microsoft Word - 12ms121

Microsoft Word - 12ms121 Zadatak (Goran, gimnazija) Odredi skup rješenja jednadžbe = Rješenje α = α c osα, a < b < c a + < b + < c +. na segmentu [ ], 6. / = = = supstitucija t = + k, k Z = t = = t t = + k, k Z t = + k. t = +

Више

Primjena neodredenog integrala u inženjerstvu Matematika 2 Erna Begović Kovač, Literatura: I. Gusić, Lekcije iz Matematike 2

Primjena neodredenog integrala u inženjerstvu Matematika 2 Erna Begović Kovač, Literatura: I. Gusić, Lekcije iz Matematike 2 Primjena neodredenog integrala u inženjerstvu Matematika 2 Erna Begović Kovač, 2019. Literatura: I. Gusić, Lekcije iz Matematike 2 http://matematika.fkit.hr Uvod Ako su dvije veličine x i y povezane relacijom

Више

8. razred kriteriji pravi

8. razred kriteriji pravi KRITERIJI OCJENJIVANJA MATEMATIKA 8. RAZRED Učenik će iz nastavnog predmeta matematike biti ocjenjivan usmeno i pismeno. Pismeno ocjenjivanje: U osmom razredu piše se šest ispita znanja i bodovni prag

Више

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 28. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. (

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 28. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. ( MJER I ITEGRL 2. kolokvij 28. lipja 29. (Kjige, bilježice, dodati papiri i kalkulatori isu dozvoljei!). (ukupo 6 bodova) eka je (, F, µ) prostor mjere. (a) ( bod) Što to zači da je izmjeriva fukcija f

Више

Microsoft Word - Rjesenja zadataka

Microsoft Word - Rjesenja zadataka 1. C. Svi elementi zadanoga intervala su realni brojevi strogo veći od 4 i strogo manji od. Brojevi i 5 nisu strogo veći od 4, a 1 nije strogo manji od. Jedino je broj 3 strogo veći od 4 i strogo manji

Више

Ministarstvo prosvjete i športa Republike Hrvatske Agencija za odgoj i obrazovanje Hrvatsko matematičko društvo OPĆINSKO/ŠKOLSKO NATJECANJE IZ MATEMAT

Ministarstvo prosvjete i športa Republike Hrvatske Agencija za odgoj i obrazovanje Hrvatsko matematičko društvo OPĆINSKO/ŠKOLSKO NATJECANJE IZ MATEMAT Ministarstvo prosvjete i športa Republike Hrvatske Agencija za odgoj i obrazovanje Hrvatsko matematičko društvo OPĆINSKO/ŠKOLSKO NATJECANJE IZ MATEMATIKE 1. razred srednja škola B kategorija 9. siječnja

Више

Sveučilište J.J.Strossmayera u Osijeku Odjel za matematiku Sveučilišni nastavnički studij matematike i informatike Marina Gernhardt Sume kvadrata Dipl

Sveučilište J.J.Strossmayera u Osijeku Odjel za matematiku Sveučilišni nastavnički studij matematike i informatike Marina Gernhardt Sume kvadrata Dipl Sveučilište J.J.Strossmayera u Osijeku Odjel za matematiku Sveučilišni nastavnički studij matematike i informatike Marina Gernhardt Sume kvadrata Diplomski rad Osijek, 011. Sveučilište J.J.Strossmayera

Више

1 Polinomi jedne promenljive Neka je K polje. Izraz P (x) = a 0 + a 1 x + + a n x n = n a k x k, x K, naziva se algebarski polinom po x nad poljem K.

1 Polinomi jedne promenljive Neka je K polje. Izraz P (x) = a 0 + a 1 x + + a n x n = n a k x k, x K, naziva se algebarski polinom po x nad poljem K. 1 Polinomi jedne promenljive Neka je K polje. Izraz P (x) = a 0 + a 1 x + + a n x n = n a k x k, x K, naziva se algebarski polinom po x nad poljem K. Elementi a k K su koeficijenti polinoma P (x). Ako

Више

(Microsoft Word - Dr\236avna matura - lipanj osnovna razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - lipanj osnovna razina - rje\232enja) 1. C. Interval, tvore svi realni brojevi strogo manji od. Interval, 9] tvore svi realni brojevi strogo veći od i jednaki ili manji od 9. Interval [1, 8] tvore svi realni brojevi jednaki ili veći od 1,

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elizabeta Borovec ALGEBARSKA PROŠIRENJA POLJA Diplomski rad Voditelj rada:

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elizabeta Borovec ALGEBARSKA PROŠIRENJA POLJA Diplomski rad Voditelj rada: SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elizabeta Borovec ALGEBARSKA PROŠIRENJA POLJA Diplomski rad Voditelj rada: prof. dr. sc. Dražen Adamović Zagreb, rujan, 2015.

Више

07jeli.DVI

07jeli.DVI Osječki matematički list 1(1), 85 94 85 Primjena karakterističnih funkcija u statistici Slobodan Jelić Sažetak. U ovom radu odred ene su funkcije distribucije aritmetičke sredine slučajnog uzorka duljine

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elma Daferović HIJERARHIJA KONVEKSNIH FUNKCIJA Diplomski rad Voditelj rada

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elma Daferović HIJERARHIJA KONVEKSNIH FUNKCIJA Diplomski rad Voditelj rada SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elma Daferović HIJERARHIJA KONVEKSNIH FUNKCIJA Diplomski rad Voditelj rada: prof. dr. sc. Sanja Varošanec Zagreb, srpanj 218.

Више

Signal NCERT-PUBDOC

Signal NCERT-PUBDOC Signal NCERT-PUBDOC-2018-4-359 Sadržaj 1 UVOD... 3 2 INSTALACIJA APLIKACIJE SIGNAL... 4 3 KORIŠTENJE APLIKACIJE SIGNAL... 8 3.1 SLANJE PORUKA... 8 3.2 NESTAJUĆE PORUKE... 10 3.3 PROVJERA SIGURNOSNOG BROJA...

Више

Numeričke metode u fizici 1, Projektni zadataci 2018./ Za sustav običnih diferencijalnih jednadžbi, koje opisuju kretanje populacije dviju vrs

Numeričke metode u fizici 1, Projektni zadataci 2018./ Za sustav običnih diferencijalnih jednadžbi, koje opisuju kretanje populacije dviju vrs Numeričke metode u fizici, Projektni zadataci 8./9.. Za sustav običnih diferencijalnih jednadžbi, koje opisuju kretanje populacije dviju vrsta životinja koje se nadmeću za istu hranu, dx ( dt = x x ) xy

Више

Grupiranje podataka: pristupi, metode i primjene, ljetni semestar 2013./ Standardizacija podataka Predavanja i vježbe 8 Ako su podaci zadani

Grupiranje podataka: pristupi, metode i primjene, ljetni semestar 2013./ Standardizacija podataka Predavanja i vježbe 8 Ako su podaci zadani Grupiranje podataka: pristupi, metode i primjene, ljetni semestar 2013/2014 1 5 Standardizacija podataka Predavanja i vježbe 8 Ako su podaci zadani s više obilježja (atributa), ta se obilježja mogu međusobno

Више

75 Bolyai - Gerwienov teorem Margita Pavleković Sažetak.Bolyai-Gerwienov teorem ima veliku primjenu u nastavi geometrije u osnovnoj školi. Ovaj teorem

75 Bolyai - Gerwienov teorem Margita Pavleković Sažetak.Bolyai-Gerwienov teorem ima veliku primjenu u nastavi geometrije u osnovnoj školi. Ovaj teorem 75 Bolyai - Gerwienov teorem Margita Pavleković Sažetak.Bolyai-Gerwienov teorem ima veliku primjenu u nastavi geometrije u osnovnoj školi. Ovaj teorem glasi: Ako dva ravninska poligona imaju jednake površine,

Више

Grafovi 1. Posmatrajmo graf prikazan na slici sa desne strane. a) Odrediti skup čvorova V i skup grana E posmatranog grafa. Za svaku granu posebno odr

Grafovi 1. Posmatrajmo graf prikazan na slici sa desne strane. a) Odrediti skup čvorova V i skup grana E posmatranog grafa. Za svaku granu posebno odr Grafovi 1. Posmatrajmo graf prikazan na slici sa desne strane. a) Odrediti skup čvorova V i skup grana E posmatranog grafa. Za svaku granu posebno odrediti njene krajeve. b) Odrediti sledeće skupove: -

Више

PROGRAMIRANJE Program je niz naredbi razumljivih računalu koje rješavaju neki problem. Algoritam je postupak raščlanjivanja problema na jednostavnije

PROGRAMIRANJE Program je niz naredbi razumljivih računalu koje rješavaju neki problem. Algoritam je postupak raščlanjivanja problema na jednostavnije PROGRAMIRANJE Program je niz naredbi razumljivih računalu koje rješavaju neki problem. Algoritam je postupak raščlanjivanja problema na jednostavnije korake. Uz dobro razrađen algoritam neku radnju ćemo

Више

Konstrukcija i analiza algoritama Nina Radojičić februar Analiza algoritama, rekurentne relacije 1 Definicija: Neka su f i g dve pozitivne fun

Konstrukcija i analiza algoritama Nina Radojičić februar Analiza algoritama, rekurentne relacije 1 Definicija: Neka su f i g dve pozitivne fun Konstrukcija i analiza algoritama Nina Radojičić februar 2018. 1 Analiza algoritama, rekurentne relacije 1 Definicija: Neka su f i g dve pozitivne funkcije od argumenta n iz skupa N prirodnih brojeva.

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivan Posavčević IZRAČUNLJIVOST NA SKUPOVIMA Z, Q, R I C Diplomski rad Zagr

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivan Posavčević IZRAČUNLJIVOST NA SKUPOVIMA Z, Q, R I C Diplomski rad Zagr SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivan Posavčević IZRAČUNLJIVOST NA SKUPOVIMA Z, Q, R I C Diplomski rad Zagreb, rujan 2016. Voditelj rada: doc. dr. sc. Vedran

Више

0255_Uvod.p65

0255_Uvod.p65 1Skupovi brojeva Skup prirodnih brojeva Zbrajanje prirodnih brojeva Množenje prirodnih brojeva U košari ima 12 jaja. U drugoj košari nedostaju tri jabuke da bi bila puna, a treća je prazna. Pozitivni,

Више

2015_k2_z12.dvi

2015_k2_z12.dvi OBLIKOVANJE I ANALIZA ALGORITAMA 2. kolokvij 27. 1. 2016. Skice rješenja prva dva zadatka 1. (20) Zadano je n poslova. Svaki posao je zadan kao vremenski interval realnih brojeva, P i = [p i,k i ],zai

Више

Postojanost boja

Postojanost boja Korištenje distribucije osvjetljenja za ostvaranje brzih i točnih metode za postojanost boja Nikola Banić 26. rujna 2014. Sadržaj Postojanost boja Ubrzavanje lokalnog podešavanja boja Distribucija najčešćih

Више

Microsoft Word - O nekim klasicnim kvadratnim Diofantovim jednacinama.docx

Microsoft Word - O nekim klasicnim kvadratnim Diofantovim jednacinama.docx Универзитет у Београду Математички факултет О неким класичним квадратним Диофантовим једначинама Мастер рад ментор: Марко Радовановић студент: Ивана Фируловић Београд, 2017. Садржај Увод...2 1. Линеарне

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Mihael Maltar MATRICE UDALJENOSTI U GRAFOVIMA Diplomski rad Voditelj rada:

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Mihael Maltar MATRICE UDALJENOSTI U GRAFOVIMA Diplomski rad Voditelj rada: SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Mihael Maltar MATRICE UDALJENOSTI U GRAFOVIMA Diplomski rad Voditelj rada: prof. dr. sc. Tomislav Došlić Zagreb, rujan, 2018.

Више

Microsoft Word - Matematika_kozep_irasbeli_javitasi_0611_horvatH.doc

Microsoft Word - Matematika_kozep_irasbeli_javitasi_0611_horvatH.doc Matematika horvát nyelven középszint 0611 ÉRETTSÉGI VIZSGA 006. május 9. MATEMATIKA HORVÁT NYELVEN MATEMATIKA KÖZÉPSZINTŰ ÍRÁSBELI ÉRETTSÉGI VIZSGA PISMENI ISPIT SREDNJEG STUPNJA JAVÍTÁSI-ÉRTÉKELÉSI ÚTMUTATÓ

Више

Programiranje 2 popravni kolokvij, 15. lipnja Ime i prezime: JMBAG: Upute: Na kolokviju je dozvoljeno koristiti samo pribor za pisanje i brisanj

Programiranje 2 popravni kolokvij, 15. lipnja Ime i prezime: JMBAG: Upute: Na kolokviju je dozvoljeno koristiti samo pribor za pisanje i brisanj Upute: Na kolokviju je dozvoljeno koristiti samo pribor za pisanje i brisanje, te službeni šalabahter. Kalkulatori, mobiteli, razne neslužbene tablice, papiri i sl., nisu dozvoljeni! Sva rješenja napišite

Више

Verovatnoća - kolokvijum 17. decembar Profesor daje dva tipa ispita,,,težak ispit i,,lak ispit. Verovatnoća da student dobije težak ispit je

Verovatnoća - kolokvijum 17. decembar Profesor daje dva tipa ispita,,,težak ispit i,,lak ispit. Verovatnoća da student dobije težak ispit je Verovatnoća - kolokvijum 17. decembar 2016. 1. Profesor daje dva tipa ispita,,,težak ispit i,,lak ispit. Verovatnoća da student dobije težak ispit je 0.8. Ako je ispit težak, verovatnoća da se prvo pitanje

Више

Matematika kroz igru domino

Matematika kroz igru domino 29. travnja 2007. Uvod Domino pločice pojavile su se u Kini davne 1120. godine. Smatra se da su pločice izvedene iz igraće kocke, koja je u Kinu donešena iz Indije u dalekoj prošlosti. Svaka domino pločica

Више

Ekipno natjecanje Ekipa za 5+ - kategorija MIKRO Pula, Mikro-list 1 BODOVANJE: TOČAN ODGOVOR: 6 BODOVA NETOČAN ODGOVOR: -2 BODA BEZ ODGOVOR

Ekipno natjecanje Ekipa za 5+ - kategorija MIKRO Pula, Mikro-list 1 BODOVANJE: TOČAN ODGOVOR: 6 BODOVA NETOČAN ODGOVOR: -2 BODA BEZ ODGOVOR Mikro-list BODOVANJE: TOČAN ODGOVOR: 6 BODOVA NETOČAN ODGOVOR: -2 BODA BEZ ODGOVORA: 0 BODOVA. Ako je 5 i 20 onda je? A) 2 B) 3 C) 4 D) 5 2. Koji broj nedostaje? A) 7 B) 6 C) 5 D) 4 3. Zbrojite najveći

Више