Rekurence, rekurze a sumy. Základy diskrétní matematiky, BI-ZDM

Rozměr: px
Začít zobrazení ze stránky:

Download "Rekurence, rekurze a sumy. Základy diskrétní matematiky, BI-ZDM"

Transkript

1 Rekurence, rekurze a sumy doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 9 Evropský sociální fond. Praha& EU: Investujeme do vaší budoucnosti doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 1/ 15

2 Rekurence Rekurentní problém Problém, jehož řešení je závislé na řešení menších instancí stejného problému. Jak řešíme rekurentní problémy? Řešení lze obvykle vyjádřit rekurzivním algoritmem a jeho vlastnosti odpovídajícími rekurentními vztahy(rekurencemi). Často nás také zajímá jak formulovat odpovídající iterativní(nerekurzivní) algoritmus jak vyjádřit vlastnosti řešení v uzavřeném tvaru(řešení rekurencí) doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 2/ 15

3 Hanojskávěž-ToH Příklad 1 Mámetřityče A,B,C,natyči Ajenavlečeno nkruhovýchdisků postupně se zmenšující velikosti. Tyto disky máme přesunout na tyč B tak, že pohybujeme vždy jen jedním diskem a nikdy nepoložíme větší disk na menší. Řešenísivyzkoušímepro n=1nebo n=2auhádnemeobecnýpostup: 1 Pro n=1vezmemediskztyče Aapřemístímejejnatyč B. 2 Pro n >1nejprvepřemístímevrchních n 1diskůzAna C,potom přesuneme n-týdiskzana Bakonečněpřemístíme n 1diskůzC na B. Kolik kroků je celkem zapotřebí k přemístění všech disků? doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 3/ 15

4 Počet kroků při řešení ToH Označíme minimální počet kroků(přesunů jednotlivých disků) potřebných prořešenítohvelikosti njako T n. Užvíme,že T 1 =1,T 2 =3(můžemedoplnitiT 0 =0),zpopsaného postupu řešení plyne { 0 pro n=0, T n = (1) 2.T n 1 +1 pro n >0. Otázka: Je uvedený postup opravdu optimální? doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 4/ 15

5 Počítáme kroky Jakurčímenapř. T 8? T 2 =3, T 3 =2 T 2 +1=2 3+1=7, T 4 =2 T 3 +1=2 7+1=15, T 5 =2 T 4 +1=2 15+1=31, T 6 =2 T 5 +1=2 31+1=63, T 7 =2 T 6 +1=2 63+1=127, T 8 =2 T 7 +1= =255. UFFF!!! Zkusímeuhádnoutvyjádření T n vuzavřenémtvaru: T n =2 n 1, pro n 0 (2) To odpovídá prvním spočteným hodnotám, je to ale opravdu správně? doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 5/ 15

6 Ověřeníuzavřenéformulepro T n Jak dokážeme správnost vztahu(??)? MATEMATICKOU INDUKCÍ! 1 T 0 jeopravdunula,neboť T 0 =2 0 1=0. 2 Předpokládejme,ževztah(??)platípro n 0achcemeurčit hodnotu T n+1. Podle vztahu(??) a s využitím indukčního předpokladu dostáváme T n+1 =2T n +1=2(2 n 1)+1=2 n+1 1. Je tedy potvrzeno, že řešení rekurentního vztahu(??) má tvar uvedený ve vztahu(??). Otázka Kolik desítkových číslic je přibližně třeba k vyjádření počtu kroků při přesunu64disků?(nápověda:log ,3-doba roků.) doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 6/ 15

7 Jedno malé kouzlo Místo uhádnutí správného řešení jsme také mohli použít následujícího triku: k oběma stranám rekurence(??) přičteme jedničku: { 1 pro n=0, T n +1= 2.T n 1 +2 pro n >0. azavedeme U n = T n +1,prokteréplatírekurence { 1 pro n=0, U n = 2.U n 1 pro n >0. (3) Není obtížné poznat, že rekurenci(??) řeší geometrická posloupnost U n =2 n,takže T n = U n 1=2 n 1. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 7/ 15

8 Jak krájet pizzu Příklad 2 Na kolik kousků je možné rozkrájet pizzu pomocí n přímých tahů řezacím kolečkem? Formálníznění:Jakýjemaximálnípočet L n oblastíurčených npřímkami vrovině? Pomocíobrázkůsnadnourčíme,že L 0 =1, L 1 =2, L 2 =4 Vypadáto,žebymohlobýt L n =2 n, aleouha!-l 3 =4+3-dalšípřímkoudokážemepřidatnejvýše3oblasti. Obecně: n-tápřímka(pro n >0)můžezvýšitpočetoblastíok, prochází-li k starými oblastmi, protne-listávajícípřímkyv(k 1)různýchbodech, takžeje k naplatí L n L n 1 +n, pro n >0 doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 8/ 15

9 Umíme krájet pizzu! Všechny předchozí přímky protneme, právě když nová přímka nebude rovnoběžná se žádnou z nich, takže lze docílit rovnost a máme rekurenci: { 1 pro n=0, L n = (4) L n 1 +n pro n >0. Prověříme,zdajižspočtenéhodnoty L 1,L 2 a L 3 tétorekurencivyhovují. Jakvlastněposloupnost L n vypadá:1, 2, 4, 7, 11, 16, 22,... Připomíná nám to něco? Ani ne, takže uhádnout řešení asi nepůjde. Zkusíme postupný rozklad rekurence(tzv. telescope). doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 9/ 15

10 Postupný rozklad rekurence Dosazujeme do pravé strany hodnoty odvozené z rekurentního pravidla: L n = L n 1 +n = L n 2 +(n 1)+n = L n 3 +(n 2)+(n 1)+n =. = L (n 2)+(n 1)+n = 1+S n, kde S n = (n 2)+(n 1)+n Umímeurčit S n jakotouměldevítiletýgauss?samozřejmě S n = n(n+1), takže L n = n(n+1) +1, pro n 0 (5) 2 2 Jsmehotovi?Nikoliv,ještěbychomtomělidokázatindukcí... doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 10/ 15

11 Složitější krájení pizzy Příklad 3 Trochu si zkomplikujeme řezání: namísto přímého řezu povedeme řezy ve tvaru zubu(zlomené přímky)- nakreslíme si obrázek. Jakýbudemaximálnípočet Z n oblastíurčených nzubyvrovině? Zřejměje Z 0 =1, Z 1 =2, Z 2 =7.Jakjetoobecně? Přidatnovýzubjejakopřidatdvěnovépřímky,ukterýchaletři oblasti splynou do jedné! Na každý nový zub tedy proti dvěma přímkám ztratíme dvě oblasti: Z n = L 2n 2n=2n(2n+1)/2+1 2n = 2n 2 n+1, pro n 0. Jak vidno, L n 1 2 n2, Z n 2n 2 doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 11/ 15

12 Josefův problém Příklad 4 Skupina židovských povstalců ve válce proti Římanům byla obklíčena vjeskyni.rozhodliseradějiumřít,nežabysevzdali.stouplisidokruhu azabíjelikaždéhotřetíhotakdlouho,ažzůstalposlední,atensezabilsám. Josefovisealezemřítnechtěloaprotožebylchytrýanavícměljednoho komplice, stoupli si na taková místa, že jako poslední zbyli právě oni dva. V naší verzi předpokládáme n lidí rozestavených do kruhu, zabíjí se každý druhý tak dlouho, až zbyde poslední, který zůstane naživu. Máme určit pořadové číslo J(n) přežívající osoby. Pron=10budoupostupněeliminoványosoby2,4,6,8,10,3,7,14a9, takže číslo 5 přežije. Platítedy J(10)=5. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 12/ 15

13 Zkoušíme hádat Platí J(10)=5. Jeztohomožnéodhadnout,že J(n)=n/2pronějakámalásudá n? n J(n) Odhadnefungujepro n=4an=6,hodnoty J(n)jsounavícvšechny liché. Při prvním průchodu vypadnou všechna sudá čísla- je-li na počátku 2n lidí (1, 2, 3, 4,..., 2n 2, 2n 1, 2n),zbydejichpolovinaslichýmičísly (1, 3, 5, 7,..., 2n 3, 2n 1)adalšíkolozačneeliminacíčísla3. To je obdobná situace jako na začátku, jen čísla přítomných jsou dvojnásobky zmenšené o 1: J(2n)=2J(n) 1 pro n 1 doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 13/ 15

14 CodálsJosefem? Jakmůžemevyužíttoho,že J(10)=5aJ(2n)=2J(n) 1pro n 1? Zkusíme počítat J(n) pro násobky čísla 10 v argumentu: J(20) = 2J(10) 1=2 5 1=9 J(40) = 2J(20) 1=2 9 1=17, takžeobecně J(5 2 m ) = 2 m Ajaktovypadáprolichýpočetosob2n+1? Při prvním průchodu vypadnou všechna sudá čísla a po čísle 2n vypadne číslo1,zbydetedymenšípolovinasčísly(3, 5,..., 2n 1, 2n+1)a dalšíkolozačneodčísla3. Máme tedy opět situaci jako na začátku, jen čísla přítomných jsou dvojnásobky zvětšené o 1: J(2n+1)=2J(n)+1 pro n 1 doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 14/ 15

15 Dáme věci dohromady Jezřejmé,ženašezjištěníprosudéalichépočtyosobspolusezákladním případem J(1) = 1 vedou na následující rekurenci pokrývající všechny možné případy: J(1) = 1 J(2n) = 2J(n) 1, pro n 1 J(2n+1) = 2J(n)+1, pro n 1. Jak vypadá tabulka prvních hodnot J(n)? n J(n) Vidíme jasné členění do skupin začínajících mocninami dvou. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 15/ 15

16 Rozbor skupin Jak nalézt řešení rekurence pro J(n) v uzavřeném tvaru? n J(n) k Vyjádříme nvetvaru n=2 m +k,kde2 m jenejvyššímocninadvou nepřesahující n. Pak k(<2 m )určuje,okolik nmocninu2 m překračuje. Zdáse,žemámeřešení! J(2 m +k)=2k+1 pro m 0a0 k <2 m (6) Je ale třeba dokázat(indukcí sami!), že(??) opravdu je řešením. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 16/ 15

17 Rozbor vlastností J(n) Zkusíme se podívat na vyjádření n a J(n) ve dvojkové soustavě. Nechť což znamená, že n=(b m b m 1... b 1 b 0 ) 2, n=b m 2 m +b m 1 2 m b b 0 2 0, kdekaždé b i jebuď0nebo1,přičemžprvnídvojkováčíslice b m je1. Jelikožje n=2 m +k,můžemepsát n = (1 b m 1... b 1 b 0 ) 2, k = (0 b m 1... b 1 b 0 ) 2, 2k = (b m 1 b m 2... b 1 b 0 0) 2, 2k+1 = (b m 1 b m 2... b 1 b 0 1) 2, J(n) = (b m 1 b m 2... b 1 b 0 b m ) 2. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 17/ 15

18 Překvapivé odhalení S použitím dvojkového zápisu tak dostáváme vyjádření pro J(n) ve tvaru J ( (b m b m 1... b 1 b 0 ) 2 ) =(bm 1 b m 2... b 1 b 0 b m ) 2 (7) Hodnotu J(n) tedy dostaneme cyklickým posuvem binárního zápisu argumentu n o jedno místo vlevo. O J(n)bysetohodalozjistitještěvíc,zkusmesealezamysletnad možností řešení zobecněné rekurence platné pro J(n) ve tvaru f(1) = α f(2n) = 2f(n)+β, pro n 1 f(2n+1) = 2f(n)+γ, pro n 1. Pro J(n)platilarekurenceshodnotami α=1, β= 1 a γ=1. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 18/ 15

19 Průzkum bojem Kodhaduřešenínámpomůžetabulkafunkce f(n)promaléhodnoty n. n f(n) 1 α 2 2α + β 3 2α + γ 4 4α + 3β 5 4α + 2β + γ 6 4α + β + 2γ 7 4α + 3γ 8 8α + 7β 9 8α + 6β + γ 10 8α + 5β + 2γ Koeficienty u α odpovídají nejvyšší mocnině dvou obsažené v n. Mezi dvěma mocninami dvou se hodnoty koeficientů u β snižují s krokem1ažk0akoeficientyuγzvyšujískrokem1počínajeod0. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 19/ 15

20 Odhad řešení zobecněné rekurence Řešení tedy vyjádříme ve tvaru f(n)=a(n) α+b(n) β+c(n) γ. a vzhledem závislostem zachyceným v tabulce hodnot f(n) určíme A(n) = 2 m B(n) = 2 m 1 k C(n) = k, kdejakoobvykle n=2 m +k a 0 k <2 m pro n 1.Správnosttohoto řešení by ovšem bylo třeba potvrdit indukcí. Ukážeme si ale jiný přístup získání obecného řešení rekurence získané složením několika partikulárních řešení. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 20/ 15

21 Skládání partikulárních řešení Začnemespeciálnímpřípadem α=1,β=0,γ=0,tedy f(n)=a(n). Rekurence má v tomto případě tvar A(1) = 1 A(2n) = 2A(n) pro n 1 A(2n+1) = 2A(n) pro n 1 Řešenímátvar A(2 m +k)=2 m,jakbychompotvrdiliindukcí. Nyní na to půjdeme obráceně: zvolíme nějakou jednoduchou funkci f(n) a zjišťujeme, zda existují konstanty {α, β, γ}, které ji budou prostřednictvím naší rekurence definovat. Zkusíme nejprve f(n) = 1: 1 = α 1 = 2 1+β 1 = 2 1+γ Odtudplyne,že {α,β,γ}={1, 1, 1}vyhovujerekurenciaplatí A(n) B(n) C(n)=f(n)=1. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 21/ 15

22 Skládání partikulárních řešení pokračuje Nynízkusímefunkci f(n)=n: 1 = α 2n = 2 n+β 2n+1 = 2 n+γ Tytorovniceplatíprovšechna n,pokudje α=1, β=0 a γ=1. Shrneme naše výsledky: A(n) = 2 m, kde n=2 m +k, 0 k <2 m A(n) B(n) C(n) = 1 A(n)+C(n) = n Odtud již snadno získáme zbývající části řešení: C(n) = n A(n)=k B(n) = A(n) C(n) 1=2 m k 1. To odpovídá našemu prvnímu výsledku získanému odhadem. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 22/ 15

23 Součty a rekurence Součty a rekurence Jaksouvisísoučtyarekurence?Proposloupnost a n jeodpovídající posloupnostčástečnýchsoučtů S n = n k=0 a kjedefinovánarekurencí S 0 = a 0 S n = S n 1 +a n, pro n >0. To znamená, že techniky řešení rekurencí budou užitečné i pro získání hodnotysoučtůvuzavřenémtvaru.má-linapř. a n tvar β+γ n,pak dostáváme obecný tvar R 0 = α R n = R n 1 +β+γ n, pro n >0. PostupemjakoJosefovaproblémumůžemeurčit R 1 = α+β+γ, R 2 = α+2β+3γ,atd.obecnéřešeníbudemíttvar R n = A(n) α+b(n) β+c(n) γ, kde koeficienty A(n), B(n), C(n) určíme metodou skládání partikulárních řešení. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 23/ 15

24 Součty a rekurence Sčítáme aritmetickou posloupnost Zvolíme postupě R 0 = α R n = R n 1 +β+γ n, pro n >0. R n =1 α=1, β=0, γ=0 A(n)=1 R n = n α=0, β=1, γ=0 B(n)=n R n = n 2 α=0, β= 1, γ=2 2C(n) B(n)=n 2 Zposledníchdvouvztahůurčíme C(n)=(n 2 +n)/2 Součetaritmeticképosloupnosti n k=0 (a+bk)tedyodpovídánašíobecné rekurencisparametry α=β= a, γ= b,takžeřešeníje A(n) a+b(n) a+c(n) b=a(n+1)+b n(n+1). 2 doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 24/ 15

25 Součty a rekurence Další hezký trik VzpomínátenaHanojajejívěže?Tambylarekurence,kteráseod částečných součtů liší: Stačí ale malá úprava a dostaneme T 0 = 0 T n = 2T n 1 +1, pro n >0. T 0 /2 0 = 0 T n /2 n = T n 1 /2 n 1 +1/2 n, pro n >0. Nynímůžemepoložit S n = T n /2 n amáme S 0 = 0 S n = S n 1 +2 n, pro n >0, takžeje S n = n k=1 2 k,neboličástečnýsoučetgeometricképosloupnosti ( n )sprvnímčlenem1/2akvocientem1/2,kterýmá hodnotu1 ( 1 2 )n.platítedy T n =2 n S n =2 n 1. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 25/ 15

26 Součty a rekurence Ještě jedna rekurence Připomeneme si ještě Catalanova čísla z přednášky 6: C n = 1 ( ) 2n n+1 n Představují počet dobrých tras z levého dolního do pravého horního rohu ve čtvercové mřížce velikosti n n(trasy nesmí překročit diagonálu). Každou dobrou trasu můžeme rozdělit na dvě části prvníčástodbodu(0,0)dobodu(k,k),kdesepoprvédostane znovu na diagonálu druháčástodbodu(k,k)dobodu(n,n). Prvníčástvždyzačínákrokemvpravoz(0,0)do(1,0)akončíkrokem nahoruz(k,k 1)do(k,k)(proč?). doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 26/ 15

27 Součty a rekurence Dobré trasy a binární stromy Postupmezi(1,0)a(k,k 1)představujedobroutrasuvmřížce velikosti(k 1) (k 1),kterámárohyvbodech (1,0),(1,k 1),(k,k 1)a(k,0) takovýchtrasjeovšem C k 1. Podobnědruháčástmezibody(k,k)a(n,n)představujedobrou trasuvmřížcevelikosti(n k) (n k),kterámárohyvbodech (k,k),(k,n),(n,n),(n,k) takovýchtrasjezase C n k Podle sčítacího principu tedy dostaneme n C n = C k 1 C n k k=1 Uvažujme nyní různé binární stromy o n uzlech jejich počet označíme jako a n.každýtakovýstrommákořenadálemá levýpodstromskuzly(takovýchje a k )a pravýpodstromsn k 1uzly(takovýchje a n k 1 ) Dostávámetedy a n = n 1 k=0 a ka n k 1 ajednoduchouúpravouzjistíme, že a n = C n. doc. Josef Kolář (FIT ČVUT) Rekurence, rekurze a sumy ZDM, ZS 2011/12, Lekce 9 27/ 15

Řešení rekurentních rovnic 2. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 11

Řešení rekurentních rovnic 2. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 11 Řešení rekurentních rovnic 2 doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce

Více

Aplikovaná numerická matematika - ANM

Aplikovaná numerická matematika - ANM Aplikovaná numerická matematika - ANM 3 Řešení soustav lineárních rovnic iterační metody doc Ing Róbert Lórencz, CSc České vysoké učení technické v Praze Fakulta informačních technologií Katedra počítačových

Více

Matematická indukce. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 3

Matematická indukce. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 3 doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 3 Evropský sociální fond.

Více

Řešení rekurentních rovnic 3. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 12

Řešení rekurentních rovnic 3. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 12 Řešení rekurentních rovnic 3 doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce

Více

VLASTNOSTI GRAFŮ. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze. BI-GRA, LS 2010/2011, Lekce 5

VLASTNOSTI GRAFŮ. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze. BI-GRA, LS 2010/2011, Lekce 5 VLASTNOSTI GRAFŮ Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2010/2011, Lekce 5 Evropský sociální fond Praha & EU: Investujeme do vaší

Více

Zpracoval: hypspave@fel.cvut.cz 7. Matematická indukce a rekurse. Řešení rekurentních (diferenčních) rovnic s konstantními koeficienty.

Zpracoval: hypspave@fel.cvut.cz 7. Matematická indukce a rekurse. Řešení rekurentních (diferenčních) rovnic s konstantními koeficienty. Zpracoval: hypspave@fel.cvut.cz 7. Matematická indukce a rekurse. Řešení rekurentních (diferenčních) rovnic s konstantními koeficienty. (A7B01MCS) I. Matematická indukce a rekurse. Indukční principy patří

Více

Zimní semestr akademického roku 2014/ prosince 2014

Zimní semestr akademického roku 2014/ prosince 2014 Cvičení k předmětu BI-ZMA Tomáš Kalvoda Katedra aplikované matematiky FIT ČVUT Matěj Tušek Katedra matematiky FJFI ČVUT Obsah Cvičení Zimní semestr akademického roku 014/015. prosince 014 Předmluva iii

Více

Ekvivalence. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 5

Ekvivalence. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 5 doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 5 Evropský sociální fond.

Více

Algoritmizace složitost rekurzivních algoritmů. Jiří Vyskočil, Marko Genyg-Berezovskyj 2010

Algoritmizace složitost rekurzivních algoritmů. Jiří Vyskočil, Marko Genyg-Berezovskyj 2010 složitost rekurzivních algoritmů Jiří Vyskočil, Marko Genyg-Berezovskyj 2010 Vyjádřen ení složitosti rekurzivního algoritmu rekurentním m tvarem Příklad vyjádření složitosti rekurzivního algoritmu rekurencí:

Více

NP-ÚPLNÉ PROBLÉMY. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze

NP-ÚPLNÉ PROBLÉMY. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze NP-ÚPLNÉ PROBLÉMY Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2010/2011, Lekce 13 Evropský sociální fond Praha & EU: Investujeme do

Více

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru: 3 Maticový počet 3.1 Zavedení pojmu matice Maticí typu (m, n, kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru: a 11 a 12... a 1k... a 1n a 21 a 22...

Více

Historie matematiky a informatiky Cvičení 1

Historie matematiky a informatiky Cvičení 1 Historie matematiky a informatiky Cvičení 1 Doc. RNDr. Alena Šolcová, Ph. D., KAM, FIT ČVUT v Praze 2014 Evropský sociální fond Investujeme do vaší budoucnosti Alena Šolcová Kapitola z teorie čísel Co

Více

Matematická olympiáda ročník (1998/1999) Komentáře k úlohám druhého kola pro kategorie Z5 až Z7. Zadání úloh Z5 II 1

Matematická olympiáda ročník (1998/1999) Komentáře k úlohám druhého kola pro kategorie Z5 až Z7. Zadání úloh Z5 II 1 1 of 9 20. 1. 2014 12:05 Matematická olympiáda - 48. ročník (1998/1999) Komentáře k úlohám druhého kola pro kategorie Z5 až Z7 Zadání úloh Z5 II 1 Do prostředního kroužku je možné zapsat pouze čísla 8

Více

2 Důkazové techniky, Indukce

2 Důkazové techniky, Indukce Důkazové techniky, Indukce Náš hlubší úvod do matematických formalismů pro informatiku začneme základním přehledem technik matematických důkazů. Z nich pro nás asi nejdůležitější je technika důkazů matematickou

Více

1 Mnohočleny a algebraické rovnice

1 Mnohočleny a algebraické rovnice 1 Mnohočleny a algebraické rovnice 1.1 Pojem mnohočlenu (polynomu) Připomeňme, že výrazům typu a 2 x 2 + a 1 x + a 0 říkáme kvadratický trojčlen, když a 2 0. Číslům a 0, a 1, a 2 říkáme koeficienty a písmenem

Více

Matematická indukce a správnost programů. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 13

Matematická indukce a správnost programů. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 13 Matematická indukce a správnost programů doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky FIT České vysoké učení technické v Praze c Josef Kolar, 2011 Základy diskrétní matematiky, BI-ZDM ZS

Více

Historie matematiky a informatiky Cvičení 2

Historie matematiky a informatiky Cvičení 2 Historie matematiky a informatiky Cvičení 2 Doc. RNDr. Alena Šolcová, Ph. D., KAM, FIT ČVUT v Praze 2014 Evropský sociální fond Investujeme do vaší budoucnosti Alena Šolcová Číselně teoretické funkce (Number-Theoretic

Více

Zimní semestr akademického roku 2014/ prosince 2014

Zimní semestr akademického roku 2014/ prosince 2014 Cvičení k předmětu BI-ZMA Tomáš Kalvoda Katedra aplikované matematiky FIT ČVUT Matěj Tušek Katedra matematiky FJFI ČVUT Obsah Cvičení Zimní semestr akademického roku 2014/2015 2. prosince 2014 Předmluva

Více

kuncova/, 2x + 3 (x 2)(x + 5) = A x 2 + B Přenásobením této rovnice (x 2)(x + 5) dostaneme rovnost

kuncova/, 2x + 3 (x 2)(x + 5) = A x 2 + B Přenásobením této rovnice (x 2)(x + 5) dostaneme rovnost . cvičení http://www.karlin.mff.cuni.cz/ kuncova/, kytaristka@gmail.com Příklady Najděte primitivní funkce k následujícím funkcím na maimální možné podmnožině reálných čísel a tuto množinu určete.. f()

Více

(4x) 5 + 7y = 14, (2y) 5 (3x) 7 = 74,

(4x) 5 + 7y = 14, (2y) 5 (3x) 7 = 74, 1. V oboru celých čísel řešte soustavu rovnic (4x) 5 + 7y = 14, (2y) 5 (3x) 7 = 74, kde (n) k značí násobek čísla k nejbližší číslu n. (P. Černek) Řešení. Z první rovnice dané soustavy plyne, že číslo

Více

1 Mnohočleny a algebraické rovnice

1 Mnohočleny a algebraické rovnice 1 Mnohočleny a algebraické rovnice 1.1 Pojem mnohočlenu (polynomu) Připomeňme, že výrazům typu a 2 x 2 + a 1 x + a 0 říkáme kvadratický trojčlen, když a 2 0. Číslům a 0, a 1, a 2 říkáme koeficienty a písmenem

Více

z nich byla poprvé dokázána v 19. století velikány analytické teorie čísel (Pafnutij Lvovič Čebyšev, Charles-Jean de la Vallée Poussin a další).

z nich byla poprvé dokázána v 19. století velikány analytické teorie čísel (Pafnutij Lvovič Čebyšev, Charles-Jean de la Vallée Poussin a další). 0. Tři věty o prvočíslech Martin Mareš Úvodem Při analýze algoritmů se často využívají různá tvrzení o prvočíslech. Většina z nich byla poprvé dokázána v 9. století velikány analytické teorie čísel (Pafnutij

Více

Soustavy rovnic pro učební obor Kadeřník

Soustavy rovnic pro učební obor Kadeřník Variace 1 Soustavy rovnic pro učební obor Kadeřník Autor: Mgr. Jaromír JUŘEK Kopírování a jakékoliv další využití výukového materiálu je povoleno pouze s uvedením odkazu na www.jarjurek.cz. 1. Soustavy

Více

Lingebraické kapitolky - Analytická geometrie

Lingebraické kapitolky - Analytická geometrie Lingebraické kapitolky - Analytická geometrie Jaroslav Horáček KAM MFF UK 2013 Co je to vektor? Šipička na tabuli? Ehm? Množina orientovaných úseček majících stejný směr. Prvek vektorového prostoru. V

Více

Binární vyhledávací stromy pokročilé partie

Binární vyhledávací stromy pokročilé partie Binární vyhledávací stromy pokročilé partie KMI/ALS lekce Jan Konečný 30.9.204 Literatura Cormen Thomas H., Introduction to Algorithms, 2nd edition MIT Press, 200. ISBN 0-262-5396-8 6, 3, A Knuth Donald

Více

sin(x) x lim. pomocí mocninné řady pro funkci sin(x) se středem x 0 = 0. Víme, že ( ) k=0 e x2 dx.

sin(x) x lim. pomocí mocninné řady pro funkci sin(x) se středem x 0 = 0. Víme, že ( ) k=0 e x2 dx. Použití mocniných řad Nejprve si ukážeme dvě jednoduchá použití Taylorových řad. Příklad Spočtěte následující limitu: ( ) sin(x) lim. x x ( ) Najdeme lim sin(x) x x pomocí mocninné řady pro funkci sin(x)

Více

Derivace funkce. prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky BI-ZMA ZS 2009/2010

Derivace funkce. prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky BI-ZMA ZS 2009/2010 Derivace funkce prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky České vysoké učení technické v Praze c Čestmír Burdík, Edita Pelantová 2009 Základy matematické analýzy

Více

South Bohemia Mathematical Letters Volume 23, (2015), No. 1, DĚLENÍ KRUHU NA OBLASTI ÚVOD

South Bohemia Mathematical Letters Volume 23, (2015), No. 1, DĚLENÍ KRUHU NA OBLASTI ÚVOD South Bohemia Mathematical Letters Volume 23, (2015), No. 1, 113-122. DĚLENÍ KRUHU NA OBLASTI MAREK VEJSADA ABSTRAKT. V textu se zabývám řešením následujícího problému: Zvolíme na kružnici určitý počet

Více

V tomto článku popíšeme zajímavou úlohu (inspirovanou reálnou situací),

V tomto článku popíšeme zajímavou úlohu (inspirovanou reálnou situací), L i t e r a t u r a [1] Calábek, P. Švrček, J.: Úvod do řešení funkcionálních rovnic. MFI, roč. 10 (2000/01), č. 3. [2] Engel, A.: Problem-Solving Strategies. Springer-Verlag, New York, Inc., 1998. [3]

Více

Aritmetická posloupnost druhého řádu

Aritmetická posloupnost druhého řádu Aritmetická posloupnost druhého řádu Jaroslav Zhouf, PedF UK Praha V domácím kole 54. ročníku matematické olympiády kategorie B byla zadána tato úloha: Úloha Nastoleleží khromádeko1,,3,..., kkamenech,kde

Více

Cvičení 5 - Inverzní matice

Cvičení 5 - Inverzní matice Cvičení 5 - Inverzní matice Pojem Inverzní matice Buď A R n n. A je inverzní maticí k A, pokud platí, AA = A A = I n. Matice A, pokud existuje, je jednoznačná. A stačí nám jen jedna rovnost, aby platilo,

Více

Úvod do programování 10. hodina

Úvod do programování 10. hodina Úvod do programování 10. hodina RNDr. Jan Lánský, Ph.D. Katedra informatiky a matematiky Fakulta ekonomických studií Vysoká škola finanční a správní 2015 Umíme z minulé hodiny Syntax Dvojrozměrné pole

Více

Fibonacciho čísla na střední škole

Fibonacciho čísla na střední škole Fibonacciho čísla na střední škole Martina Jarošová Abstract In this contribution we introduce some interesting facts about Fibonacci nunbers We will prove some identities using different proof methods

Více

Dělitelnost čísel, nejmenší společný násobek, největší společný dělitel

Dělitelnost čísel, nejmenší společný násobek, největší společný dělitel Variace 1 Dělitelnost čísel, nejmenší společný násobek, největší společný dělitel Autor: Mgr. Jaromír JUŘEK Kopírování a jakékoliv další využití výukového materiálu je povoleno pouze s uvedením odkazu

Více

[1] x (y z) = (x y) z... (asociativní zákon), x y = y x... (komutativní zákon).

[1] x (y z) = (x y) z... (asociativní zákon), x y = y x... (komutativní zákon). Grupy, tělesa grupa: množina s jednou rozumnou operací příklady grup, vlastnosti těleso: množina se dvěma rozumnými operacemi příklady těles, vlastnosti, charakteristika tělesa lineární prostor nad tělesem

Více

Věta 12.3 : Věta 12.4 (princip superpozice) : [MA1-18:P12.7] rovnice typu y (n) + p n 1 (x)y (n 1) p 1 (x)y + p 0 (x)y = q(x) (6)

Věta 12.3 : Věta 12.4 (princip superpozice) : [MA1-18:P12.7] rovnice typu y (n) + p n 1 (x)y (n 1) p 1 (x)y + p 0 (x)y = q(x) (6) 1. Lineární diferenciální rovnice řádu n [MA1-18:P1.7] rovnice typu y n) + p n 1 )y n 1) +... + p 1 )y + p 0 )y = q) 6) počáteční podmínky: y 0 ) = y 0 y 0 ) = y 1 y n 1) 0 ) = y n 1. 7) Věta 1.3 : Necht

Více

Diskrétní matematika 1. týden

Diskrétní matematika 1. týden Diskrétní matematika 1. týden Elementární teorie čísel dělitelnost Jan Slovák Masarykova univerzita Fakulta informatiky jaro 2015 Obsah přednášky 1 Problémy teorie čísel 2 Dělitelnost 3 Společní dělitelé

Více

Aplikovaná numerická matematika

Aplikovaná numerická matematika Aplikovaná numerická matematika 6. Metoda nejmenších čtverců doc. Ing. Róbert Lórencz, CSc. České vysoké učení technické v Praze Fakulta informačních technologií Katedra počítačových systémů Příprava studijních

Více

Složitost algoritmů. Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta a kol.

Složitost algoritmů. Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta a kol. Složitost algoritmů Karel Richta a kol. Katedra počítačů Fakulta elektrotechnická České vysoké učení technické v Praze Karel Richta a kol., 2017 Datové struktury a algoritmy, B6B36DSA 02/2017, Lekce 3

Více

ORIENTOVANÉ GRAFY, REPREZENTACE GRAFŮ

ORIENTOVANÉ GRAFY, REPREZENTACE GRAFŮ ORIENTOVANÉ GRAFY, REPREZENTACE GRAFŮ Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2/2, Lekce Evropský sociální fond Praha & EU: Investujeme

Více

1.5.2 Číselné soustavy II

1.5.2 Číselné soustavy II .. Číselné soustavy II Předpoklady: Př. : Převeď do desítkové soustavy čísla. a) ( ) b) ( ) 4 c) ( ) 6 = + + + = 7 + 9 + = a) = 4 + 4 + 4 = 6 + 4 + = 9 b) 4 = 6 + 6 + 6 = 6 + 6 + = 6 + + = 69. c) 6 Pedagogická

Více

IB112 Základy matematiky

IB112 Základy matematiky IB112 Základy matematiky Řešení soustavy lineárních rovnic, matice, vektory Jan Strejček IB112 Základy matematiky: Řešení soustavy lineárních rovnic, matice, vektory 2/53 Obsah Soustava lineárních rovnic

Více

z = a bi. z + v = (a + bi) + (c + di) = (a + c) + (b + d)i. z v = (a + bi) (c + di) = (a c) + (b d)i. z v = (a + bi) (c + di) = (ac bd) + (bc + ad)i.

z = a bi. z + v = (a + bi) + (c + di) = (a + c) + (b + d)i. z v = (a + bi) (c + di) = (a c) + (b d)i. z v = (a + bi) (c + di) = (ac bd) + (bc + ad)i. KOMLEXNÍ ČÍSLA C = {a + bi; a, b R}, kde i 2 = 1 Číslo komplexně sdružené k z = a + bi je číslo z = a bi. Operace s komplexními čísly: z = a + bi, kde a, b R v = c + di, kde c, d R Sčítání Odčítání Násobení

Více

SOUSTAVY LINEÁRNÍCH ALGEBRAICKÝCH ROVNIC

SOUSTAVY LINEÁRNÍCH ALGEBRAICKÝCH ROVNIC SOUSTAVY LINEÁRNÍCH ALGEBRAICKÝCH ROVNIC Pojm: Algebraická rovnice... rovnice obsahující pouze celé nezáporné mocnin neznámé, tj. a n n + a n 1 n 1 +... + a 2 2 + a 1 + a 0 = 0, kde n je přirozené číslo.

Více

Rekurzivní algoritmy

Rekurzivní algoritmy Rekurzivní algoritmy prof. Ing. Pavel Tvrdík CSc. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010 Efektivní algoritmy (BI-EFA) ZS

Více

Matematika III přednáška Aplikace vytvořujících funkcí - další úlohy

Matematika III přednáška Aplikace vytvořujících funkcí - další úlohy S Matematika III - 14. přednáška Aplikace vytvořujících funkcí - další úlohy Michal Bulant Masarykova univerzita Fakulta informatiky 18. 12. 2007 Obsah přednášky Řešení rekurencí Q Exponenciální vytvořující

Více

PŘEDNÁŠKA 2 POSLOUPNOSTI

PŘEDNÁŠKA 2 POSLOUPNOSTI PŘEDNÁŠKA 2 POSLOUPNOSTI 2.1 Zobrazení 2 Definice 1. Uvažujme libovolné neprázdné množiny A, B. Zobrazení množiny A do množiny B je definováno jako množina F uspořádaných dvojic (x, y A B, kde ke každému

Více

Příklad. Řešte v : takže rovnice v zadání má v tomto případě jedno řešení. Pro má rovnice tvar

Příklad. Řešte v : takže rovnice v zadání má v tomto případě jedno řešení. Pro má rovnice tvar Řešte v : má rovnice tvar takže rovnice v zadání má v tomto případě jedno řešení. Pro má rovnice tvar takže rovnice v zadání má v tomto případě opět jedno řešení. Sjednocením obou případů dostaneme úplné

Více

CVIČNÝ TEST 36. OBSAH I. Cvičný test 2. Mgr. Tomáš Kotler. II. Autorské řešení 6 III. Klíč 15 IV. Záznamový list 17

CVIČNÝ TEST 36. OBSAH I. Cvičný test 2. Mgr. Tomáš Kotler. II. Autorské řešení 6 III. Klíč 15 IV. Záznamový list 17 CVIČNÝ TEST 36 Mgr. Tomáš Kotler OBSAH I. Cvičný test 2 II. Autorské řešení 6 III. Klíč 15 IV. Záznamový list 17 I. CVIČNÝ TEST 1 Určete iracionální číslo, které je vyjádřeno číselným výrazem (6 2 π 4

Více

CVIČNÝ TEST 15. OBSAH I. Cvičný test 2. Mgr. Tomáš Kotler. II. Autorské řešení 6 III. Klíč 15 IV. Záznamový list 17

CVIČNÝ TEST 15. OBSAH I. Cvičný test 2. Mgr. Tomáš Kotler. II. Autorské řešení 6 III. Klíč 15 IV. Záznamový list 17 CVIČNÝ TEST 15 Mgr. Tomáš Kotler OBSAH I. Cvičný test 2 II. Autorské řešení 6 III. Klíč 15 IV. Záznamový list 17 I. CVIČNÝ TEST VÝCHOZÍ TEXT K ÚLOZE 1 Je dána čtvercová mřížka, v níž každý čtverec má délku

Více

úloh pro ODR jednokrokové metody

úloh pro ODR jednokrokové metody Numerické metody pro řešení počátečních úloh pro ODR jednokrokové metody Formulace: Hledáme řešení y = y() rovnice () s počáteční podmínkou () y () = f(, y()) () y( ) = y. () Smysl: Analyticky lze spočítat

Více

Úlohy klauzurní části školního kola kategorie A

Úlohy klauzurní části školního kola kategorie A 6. ročník matematické olympiády Úlohy klauzurní části školního kola kategorie A. V oboru reálných čísel řešte soustavu rovnic y + 3x = 4x 3, x + 3y = 4y 3. 2. V rovině uvažujme lichoběžník ABCD se základnami

Více

1. Několik základních pojmů ze středoškolské matematiky. Na začátku si připomeneme následující pojmy:

1. Několik základních pojmů ze středoškolské matematiky. Na začátku si připomeneme následující pojmy: Opakování středoškolské matematiky Slovo úvodem: Tato pomůcka je určena zejména těm studentům presenčního i kombinovaného studia na VŠFS, kteří na středních školách neprošli dostatečnou průpravou z matematiky

Více

opravdu považovat za lepší aproximaci. Snížení odchylky o necelá dvě procenta

opravdu považovat za lepší aproximaci. Snížení odchylky o necelá dvě procenta Řetězové zlomky a dobré aproximace Motivace Chceme-li znát přibližnou hodnotu nějakého iracionálního čísla, obvykle používáme jeho (nekonečný) desetinný rozvoj Z takového rozvoje, řekněme z rozvoje 345926535897932384626433832795028849769399375

Více

CVIČNÝ TEST 5. OBSAH I. Cvičný test 2. Mgr. Václav Zemek. II. Autorské řešení 6 III. Klíč 17 IV. Záznamový list 19

CVIČNÝ TEST 5. OBSAH I. Cvičný test 2. Mgr. Václav Zemek. II. Autorské řešení 6 III. Klíč 17 IV. Záznamový list 19 CVIČNÝ TEST 5 Mgr. Václav Zemek OBSAH I. Cvičný test 2 II. Autorské řešení 6 III. Klíč 17 IV. Záznamový list 19 I. CVIČNÝ TEST 1 Zjednodušte výraz (2x 5) 2 (2x 5) (2x + 5) + 20x. 2 Určete nejmenší trojciferné

Více

Matematika (CŽV Kadaň) aneb Úvod do lineární algebry Matice a soustavy rovnic

Matematika (CŽV Kadaň) aneb Úvod do lineární algebry Matice a soustavy rovnic Přednáška třetí (a pravděpodobně i čtvrtá) aneb Úvod do lineární algebry Matice a soustavy rovnic Lineární rovnice o 2 neznámých Lineární rovnice o 2 neznámých Lineární rovnice o dvou neznámých x, y je

Více

Afinita je stručný název pro afinní transformaci prostoru, tj.vzájemně jednoznačné afinní zobrazení bodového prostoru A n na sebe.

Afinita je stručný název pro afinní transformaci prostoru, tj.vzájemně jednoznačné afinní zobrazení bodového prostoru A n na sebe. 4 Afinita Afinita je stručný název pro afinní transformaci prostoru, tj.vzájemně jednoznačné afinní zobrazení bodového prostoru A n na sebe. Poznámka. Vzájemně jednoznačným zobrazením rozumíme zobrazení,

Více

DMA Přednáška Rekurentní rovnice. takovou, že po dosazení odpovídajících členů do dané rovnice dostáváme pro všechna n n 0 + m pravdivý výrok.

DMA Přednáška Rekurentní rovnice. takovou, že po dosazení odpovídajících členů do dané rovnice dostáváme pro všechna n n 0 + m pravdivý výrok. DMA Přednáška Rekurentní rovnice Rekurentní rovnice či rekurzivní rovnice pro posloupnost {a n } je vztah a n+1 = G(a n, a n 1,..., a n m ), n n 0 + m, kde G je nějaká funkce m + 1 proměnných. Jejím řešením

Více

XV. ročník BRKOS 2008/2009. Vzorové řešení 3. série. Teorie čísel

XV. ročník BRKOS 2008/2009. Vzorové řešení 3. série. Teorie čísel Vzorové řešení 3. série Teorie čísel Úloha 3.1. Matěj si všiml, že počet lenochů v Lenošíně je dvakrát větší než počet hlupáků v Hloupětíně. Navíc platí, že počet hlupáků v Hloupětíně můžeme napsat jako

Více

6 Skalární součin. u v = (u 1 v 1 ) 2 +(u 2 v 2 ) 2 +(u 3 v 3 ) 2

6 Skalární součin. u v = (u 1 v 1 ) 2 +(u 2 v 2 ) 2 +(u 3 v 3 ) 2 6 Skalární součin Skalární součin 1 je operace, která dvěma vektorům (je to tedy binární operace) přiřazuje skalár (v našem případě jde o reálné číslo, obecně se jedná o prvek nějakého tělesa T ). Dovoluje

Více

Přednáška 6, 7. listopadu 2014

Přednáška 6, 7. listopadu 2014 Přednáška 6, 7. listopadu 204 Část 3: nekonečné řady Základní definice. Nekonečná řada, krátce řada, je posloupnost reálných čísel (a n ) R uvedená v zápisu a n = a + a 2 + a 3 +..., spolu s metodou přiřazující

Více

19 Eukleidovský bodový prostor

19 Eukleidovský bodový prostor 19 Eukleidovský bodový prostor Eukleidovským bodovým prostorem rozumíme afinní bodový prostor, na jehož zaměření je definován skalární součin. Víme, že pomocí skalárního součinu jsou definovány pojmy norma

Více

ANALYTICKÁ GEOMETRIE LINEÁRNÍCH ÚTVARŮ V ROVINĚ

ANALYTICKÁ GEOMETRIE LINEÁRNÍCH ÚTVARŮ V ROVINĚ ANALYTICKÁ GEOMETRIE LINEÁRNÍCH ÚTVARŮ V ROVINĚ Parametrické vyjádření přímky v rovině Máme přímku p v rovině určenou body A, B. Sestrojíme vektor u = B A. Pro bod B tím pádem platí: B = A + u. Je zřejmé,

Více

p, q dvě permutace na množině X, pak složené zobrazení, tj. permutaci, q p : X X nazýváme složení permutací p a q (v tomto pořadí).

p, q dvě permutace na množině X, pak složené zobrazení, tj. permutaci, q p : X X nazýváme složení permutací p a q (v tomto pořadí). Kapitola 10 Determinanty Začneme pomocnou definicí Definice 101 Vzájemně jednoznačné zobrazení p : X X nazýváme permutace na množině X Je-li p permutace na množině X, pak inverzní zobrazení p 1 : X X nazýváme

Více

Vytěžování znalostí z dat

Vytěžování znalostí z dat Pavel Kordík, Jan Motl (ČVUT FIT) Vytěžování znalostí z dat BI-VZD, 2012, Přednáška 7 1/27 Vytěžování znalostí z dat Pavel Kordík, Jan Motl Department of Computer Systems Faculty of Information Technology

Více

Parametrické programování

Parametrické programování Parametrické programování Příklad 1 Parametrické pravé strany Firma vyrábí tři výrobky. K jejich výrobě potřebuje jednak surovinu a jednak stroje, na kterých dochází ke zpracování. Na první výrobek jsou

Více

3. Reálná čísla. většinou racionálních čísel. V analytických úvahách, které praktickým výpočtům

3. Reálná čísla. většinou racionálních čísel. V analytických úvahách, které praktickým výpočtům RACIONÁLNÍ A IRACIONÁLNÍ ČÍSLA Význačnými množinami jsou číselné množiny K nejvýznamnějším patří množina reálných čísel, obsahující jako podmnožiny množiny přirozených, celých, racionálních a iracionálních

Více

Úlohy II. kola kategorie A

Úlohy II. kola kategorie A 5. ročník matematické olympiády Úlohy II. kola kategorie A 1. Najděte základy z všech číselných soustav, ve kterých je čtyřmístné číslo (1001) z dělitelné dvojmístným číslem (41) z.. Uvnitř strany AB daného

Více

a počtem sloupců druhé matice. Spočítejme součin A.B. Označme matici A.B = M, pro její prvky platí:

a počtem sloupců druhé matice. Spočítejme součin A.B. Označme matici A.B = M, pro její prvky platí: Řešené příklady z lineární algebry - část 1 Typové příklady s řešením Příklady jsou určeny především k zopakování látky před zkouškou, jsou proto řešeny se znalostmi učiva celého semestru. Tento fakt se

Více

Diferenciální rovnice 3

Diferenciální rovnice 3 Diferenciální rovnice 3 Lineární diferenciální rovnice n-tého řádu Lineární diferenciální rovnice (dále jen LDR) n-tého řádu je rovnice tvaru + + + + = kde = je hledaná funkce, pravá strana a koeficienty

Více

Tento seminář pro Vás připravuje vzdělávací agentura. Kurzy-Fido.cz. ...s námi TSP zvládnete!

Tento seminář pro Vás připravuje vzdělávací agentura. Kurzy-Fido.cz. ...s námi TSP zvládnete! Tento seminář pro Vás připravuje vzdělávací agentura Kurzy-Fido.cz...s námi TSP zvládnete! Řešení páté série (27.4.2009) 13. Hlavní myšlenka: efektivní porovnávání zlomků a desetinných čísel Postup: V

Více

PŘEDNÁŠKA 7 Kongruence svazů

PŘEDNÁŠKA 7 Kongruence svazů PŘEDNÁŠKA 7 Kongruence svazů PAVEL RŮŽIČKA Abstrakt. Definujeme svazové kongruence a ukážeme jak pro vhodné binární relace svazu ověřit, že se jedná o svazové kongruence. Popíšeme svaz Con(A) kongruencí

Více

Matematika IV 9. týden Vytvořující funkce

Matematika IV 9. týden Vytvořující funkce Matematika IV 9. týden Vytvořující funkce Jan Slovák Masarykova univerzita Fakulta informatiky jaro 2015 Obsah přednášky 1 Vytvořující funkce a Fibonacciho čísla 2 Vytvořující funkce - připomenutí 3 Řešení

Více

Úlohy krajského kola kategorie C

Úlohy krajského kola kategorie C 67. ročník matematické olympiády Úlohy krajského kola kategorie C 1. Najděte nejmenší přirozené číslo končící čtyřčíslím 2018, které je násobkem čísla 2017. 2. Pro celá čísla x, y, z platí x 2 + y z =

Více

NEJKRATŠÍ CESTY I. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze

NEJKRATŠÍ CESTY I. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze NEJKRATŠÍ CESTY I Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze BI-GRA, LS 2010/2011, Lekce 7 Evropský sociální fond Praha & EU: Investujeme do vaší

Více

příkladů do cvičení. V textu se objeví i pár detailů, které jsem nestihl (na které jsem zapomněl) a(b u) = (ab) u, u + ( u) = 0 = ( u) + u.

příkladů do cvičení. V textu se objeví i pár detailů, které jsem nestihl (na které jsem zapomněl) a(b u) = (ab) u, u + ( u) = 0 = ( u) + u. Několik řešených příkladů do Matematiky Vektory V tomto textu je spočteno několik ukázkových příkladů které vám snad pomohou při řešení příkladů do cvičení. V textu se objeví i pár detailů které jsem nestihl

Více

3. podzimní série. ... {z }

3. podzimní série. ... {z } 3. podzimní série Téma: Kombinatorika Datumodeslání: º ÔÖÓ Ò ¾¼¼ ½º ÐÓ Ó Ýµ Monča potřebuje zatelefonovat Pepovi, avšak nemá u sebe svůj telefonní seznam PraSátek. Zná však předvolbu 723 a vzpomněla si,

Více

Pomocný text. Polynomy

Pomocný text. Polynomy Pomocný text Polynomy Tato série bude o polynomech a to zejména o polynomech jedné proměnné (pokud nebude uvedeno explicitně, že jde o polynom více proměnných). Formálně je někdy polynom jedné proměnné

Více

POSLOUPNOSTI A ŘADY INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Tento projekt je spolufinancován Evropským sociálním fondem a státním rozpočtem České republiky

POSLOUPNOSTI A ŘADY INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Tento projekt je spolufinancován Evropským sociálním fondem a státním rozpočtem České republiky POSLOUPNOSTI A ŘADY Gymnázium Jiřího Wolkera v Prostějově Výukové materiály z matematiky pro vyšší gymnázia Autoři projektu Student na prahu 21. století - využití ICT ve vyučování matematiky na gymnáziu

Více

Lineární algebra : Skalární součin a ortogonalita

Lineární algebra : Skalární součin a ortogonalita Lineární algebra : Skalární součin a ortogonalita (15. přednáška) František Štampach, Karel Klouda frantisek.stampach@fit.cvut.cz, karel.klouda@fit.cvut.cz Katedra aplikované matematiky Fakulta informačních

Více

19. Druhý rozklad lineární transformace

19. Druhý rozklad lineární transformace Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA II, letní semestr 2000/2001 Michal Marvan Úmluva. Všude P = C. Vpřednášce o vlastních vektorech jsme se seznámili s diagonalizovatelnými

Více

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010 Věty o přírustku funkce prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. Katedra matematiky České vysoké učení technické v Praze c Čestmír Burdík, Edita Pelantová 2009 Základy matematické

Více

Úlohy domácí části I. kola kategorie C

Úlohy domácí části I. kola kategorie C 6. ročník Matematické olympiády Úlohy domácí části I. kola kategorie C 1. Určete všechny dvojice (x, y) reálných čísel, která vyhovují soustavě rovnic (x + )2 = y, (y )2 = x + 8. Řešení. Vzhledem k tomu,

Více

Příklad 1. Řešení 1a Máme vyšetřit lichost či sudost funkce ŘEŠENÉ PŘÍKLADY Z M1A ČÁST 3

Příklad 1. Řešení 1a Máme vyšetřit lichost či sudost funkce ŘEŠENÉ PŘÍKLADY Z M1A ČÁST 3 Příklad 1 Zjistěte, zda jsou dané funkce sudé nebo liché, případně ani sudé ani liché: a) =ln b) = c) = d) =4 +1 e) =sin cos f) =sin3+ cos+ Poznámka Všechny tyto úlohy řešíme tak, že argument funkce nahradíme

Více

Lineární algebra : Násobení matic a inverzní matice

Lineární algebra : Násobení matic a inverzní matice Lineární algebra : Násobení matic a inverzní matice (8. přednáška) František Štampach, Karel Klouda frantisek.stampach@fit.cvut.cz, karel.klouda@fit.cvut.cz Katedra aplikované matematiky Fakulta informačních

Více

4. Trojúhelníkový rozklad p. 1/20

4. Trojúhelníkový rozklad p. 1/20 4. Trojúhelníkový rozklad 4. Trojúhelníkový rozklad p. 1/20 4. Trojúhelníkový rozklad p. 2/20 Trojúhelníkový rozklad 1. Permutační matice 2. Trojúhelníkové matice 3. Trojúhelníkový (LU) rozklad 4. Výpočet

Více

Greenova funkce pro dvoubodové okrajové úlohy pro obyčejné diferenciální rovnice

Greenova funkce pro dvoubodové okrajové úlohy pro obyčejné diferenciální rovnice Greenova funkce pro dvoubodové okrajové úlohy pro obyčejné diferenciální rovnice Jan Tomeček Tento stručný text si klade za cíl co nejrychlejší uvedení do teorie Greenových funkcí pro obyčejné diferenciální

Více

POSLOUPNOSTI A ŘADY INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ

POSLOUPNOSTI A ŘADY INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ POSLOUPNOSTI A ŘADY Gymnázium Jiřího Wolkera v Prostějově Výukové materiály z matematiky pro vyšší gymnázia Autoři projektu Student na prahu 21. století - využití ICT ve vyučování matematiky na gymnáziu

Více

2. Určete jádro KerL zobrazení L, tj. nalezněte alespoň jednu jeho bázi a určete jeho dimenzi.

2. Určete jádro KerL zobrazení L, tj. nalezněte alespoň jednu jeho bázi a určete jeho dimenzi. Řešené příklady z lineární algebry - část 3 Typové příklady s řešením Příklad 3.1: Zobrazení L: P 3 R 23 je zobrazení z prostoru P 3 všech polynomů do stupně 3 (včetně nulového polynomu) do prostoru R

Více

Algoritmická matematika 3 Mgr. Petr Osička, Ph.D. ZS 2014. Rozděl a panuj

Algoritmická matematika 3 Mgr. Petr Osička, Ph.D. ZS 2014. Rozděl a panuj Algoritmická matematika 3 KMI/ALM3 Mgr. Petr Osička, Ph.D. ZS 2014 1 Základní princip Rozděl a panuj Technika rozděl a panuj je založená na následující myšlence. Z dané vstupní instance I vygenerujeme

Více

0.1 Úvod do lineární algebry

0.1 Úvod do lineární algebry Matematika KMI/PMATE 1 01 Úvod do lineární algebry 011 Lineární rovnice o 2 neznámých Definice 011 Lineární rovnice o dvou neznámých x, y je rovnice, která může být vyjádřena ve tvaru ax + by = c, kde

Více

Pojem relace patří mezi pojmy, které prostupují všemi částmi matematiky.

Pojem relace patří mezi pojmy, které prostupují všemi částmi matematiky. Relace. Pojem relace patří mezi pojmy, které prostupují všemi částmi matematiky. Definice. Mějme množiny A a B. Binární relace R z množiny A do množiny B je každá množina uspořádaných dvojic (a, b), kde

Více

Soustavy rovnic pro učební obory

Soustavy rovnic pro učební obory Variace 1 Soustavy rovnic pro učební obory Autor: Mgr. Jaromír JUŘEK Kopírování a jakékoliv další využití výukového materiálu je povoleno pouze s uvedením odkazu na www.jarjurek.cz. 1. Soustavy rovnic

Více

Operace s maticemi. 19. února 2018

Operace s maticemi. 19. února 2018 Operace s maticemi Přednáška druhá 19. února 2018 Obsah 1 Operace s maticemi 2 Hodnost matice (opakování) 3 Regulární matice 4 Inverzní matice 5 Determinant matice Matice Definice (Matice). Reálná matice

Více

Lineární algebra : Úvod a opakování

Lineární algebra : Úvod a opakování Lineární algebra : Úvod a opakování (1. přednáška) František Štampach, Karel Klouda LS 013/014 vytvořeno: 19. února 014, 13:15 1 0.1 Lineární prostory R a R 3 V této přednášce si na jednoduchém příkladu

Více

7. Funkce jedné reálné proměnné, základní pojmy

7. Funkce jedné reálné proměnné, základní pojmy , základní pojmy POJEM FUNKCE JEDNÉ PROMĚNNÉ Reálná funkce f jedné reálné proměnné je funkce (zobrazení) f: X Y, kde X, Y R. Jde o zvláštní případ obecného pojmu funkce definovaného v přednášce. Poznámka:

Více

Matematika 2 Úvod ZS09. KMA, PřF UP Olomouc. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25

Matematika 2 Úvod ZS09. KMA, PřF UP Olomouc. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25 Matematika 2 Úvod Jiří Fišer KMA, PřF UP Olomouc ZS09 Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25 Studijní materiály web předmětu: aix-slx.upol.cz/ fiser St. Trávníček: Matematická analýza kag.upol.cz/travnicek/1-matan.

Více

Struktura a architektura počítačů (BI-SAP) 5

Struktura a architektura počítačů (BI-SAP) 5 Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Struktura a architektura počítačů (BI-SAP) 5 doc. Ing. Hana Kubátová, CSc. Katedra číslicového návrhu Fakulta informačních technologii

Více

Dynamické programování

Dynamické programování Dynamické programování prof. Ing. Pavel Tvrdík CSc. Katedra počítačových systémů Fakulta informačních technologií České vysoké učení technické v Praze c Pavel Tvrdík, 2010 Efektivní algoritmy (BI-EFA)

Více

Značení 1.1 (posloupnost výsledků pokusu). Mějme posloupnost opakovaných (i závislých) pokusů,

Značení 1.1 (posloupnost výsledků pokusu). Mějme posloupnost opakovaných (i závislých) pokusů, Rekurentní jevy Značení. (posloupnost výsledků pokusu). Mějme posloupnost opakovaných (i závislých) pokusů, kde každý má tutéž konečnou nebo spočetnou množinu výsledků E, E,...}. Pak E j,..., E jn } značí

Více