Principy indukce a rekurentní rovnice

Podobné dokumenty
Principy indukce a rekursivní algoritmy

Rekurentní rovnice, strukturální indukce

Rekurentní rovnice, strukturální indukce

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

Základy elementární teorie čísel

Základy elementární teorie čísel

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.

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)

Kapitola 11: Lineární diferenciální rovnice 1/15

LDF MENDELU. Simona Fišnarová (MENDELU) LDR druhého řádu VMAT, IMT 1 / 22

Diferenˇcní rovnice Diferenciální rovnice Matematika IV Matematika IV Program

Fakt. Každou soustavu n lineárních ODR řádů n i lze eliminací převést ekvivalentně na jednu lineární ODR

9.5. Soustavy diferenciálních rovnic

Pomocný text. Polynomy

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

Diferenciální rovnice 3

Nejdřív spočítáme jeden příklad na variaci konstant pro lineární diferenciální rovnici 2. řádu s kostantními koeficienty. y + y = 4 sin t.

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

Hlubší věty o počítání modulo

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

Okruh Lineární rovnice v Z m Těleso Gaussova eliminace (GEM) Okruh Z m. Jiří Velebil: X01DML 19. listopadu 2007: Okruh Z m 1/20

9.3. Úplná lineární rovnice s konstantními koeficienty

Soustavy lineárních diferenciálních rovnic I. řádu s konstantními koeficienty

Soustavy lineárních rovnic

Polynomy nad Z p Konstrukce faktorových okruhů modulo polynom. Alena Gollová, TIK Počítání modulo polynom 1/30

Těleso racionálních funkcí

1 Lineární prostory a podprostory

Věta o dělení polynomů se zbytkem

Vztah limity k aritmetickým operacím a uspořádání

Podobnost matic. Definice 8.6. Dány matice A, B M n (C). Jestliže existuje regulární matice P M n (C) tak,

8.3). S ohledem na jednoduchost a názornost je výhodné seznámit se s touto Základní pojmy a vztahy. Definice

Výroková a predikátová logika - IV

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

Odpřednesenou látku naleznete v kapitole 3.1 skript Abstraktní a konkrétní lineární algebra.

1 Polynomiální interpolace

Úvod do informatiky. Miroslav Kolařík

10 Přednáška ze

Matematika 4 FSV UK, LS Miroslav Zelený

Lineární algebra : Metrická geometrie

FIT ČVUT MI-LOM Lineární optimalizace a metody. Dualita. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

1 Linearní prostory nad komplexními čísly

Arnoldiho a Lanczosova metoda

6 Lineární geometrie. 6.1 Lineární variety

4 Počítání modulo polynom

Matematika 2 LS 2012/13. Prezentace vznikla na základě učebního textu, jehož autorem je doc. RNDr. Mirko Rokyta, CSc. J. Stebel Matematika 2

Učební texty k státní bakalářské zkoušce Matematika Diferenciální rovnice. študenti MFF 15. augusta 2008

PŘEDNÁŠKA 2 POSLOUPNOSTI

Hlubší věty o počítání modulo

1 Determinanty a inverzní matice

6. Lineární ODR n-tého řádu

9.4. Rovnice se speciální pravou stranou

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

2.6. VLASTNÍ ČÍSLA A VEKTORY MATIC

Soustavy linea rnı ch rovnic

Matematika 3. Úloha 1. Úloha 2. Úloha 3

Výroková a predikátová logika - V

Matematická analýza III.

DEFINICE,VĚTYADŮKAZYKÚSTNÍZKOUŠCEZMAT.ANALÝZY Ib

3. přednáška 15. října 2007

Lineární algebra : Lineární zobrazení

8 Kořeny cyklických kódů, BCH-kódy

21ˆx 0 mod 112, 21x p 35 mod 112. x p mod 16. x 3 mod 17. α 1 mod 13 α 0 mod 17. β 0 mod 13 β 1 mod 17.

Modely Herbrandovské interpretace

Lineární algebra : Polynomy

Soustavy. Terminologie. Dva pohledy na soustavu lin. rovnic. Definice: Necht A = (a i,j ) R m,n je matice, b R m,1 je jednosloupcová.

Doporučené příklady k Teorii množin, LS 2018/2019

Základy teorie množin

Matematické důkazy Struktura matematiky a typy důkazů

ALGEBRA. Téma 5: Vektorové prostory

Vlastní čísla a vlastní vektory

MKI Funkce f(z) má singularitu v bodě 0. a) Stanovte oblast, ve které konverguje hlavní část Laurentova rozvoje funkce f(z) v bodě 0.

Drsná matematika III 6. přednáška Obyčejné diferenciální rovnice vyšších řádů, Eulerovo přibližné řešení a poznámky o odhadech chyb

4. OBYČEJNÉ DIFERENCIÁLNÍ ROVNICE

Antonín Sadil Elementární metody řešení diferenčních rovnic

)(x 2 + 3x + 4),

Báze a dimenze vektorových prostorů

Obsah. Euler-Fermatova věta. Reziduální aritmetika. 3. a 4. přednáška z kryptografie

Posloupnosti a jejich konvergence POSLOUPNOSTI

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

1 1 x 2. Jedná se o diferenciální rovnici se separovanými proměnnými, která má smysl pro x ±1 a

Fakulta elektrotechnická. Matematika 5(d) Jiří Velebil katedra matematiky Praha,

2. série. Prvočísla. Téma: Datumodeslání: Dokažte,žekaždéprvočíslovětšínež5jdepsátvetvaru6k+1nebo6k 1,kde kjenějaké přirozené číslo.

maticeteorie 1. Matice A je typu 2 4, matice B je typu 4 3. Jakých rozměrů musí být matice X, aby se dala provést

Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť.

= je prostý orientovaný graf., formálně c ( u, v) 0. dva speciální uzly: zdrojový uzel s a cílový uzel t. Dále budeme bez

Numerické řešení nelineárních rovnic

Obyčejné diferenciální rovnice

1. Jordanův kanonický tvar

Diskrétní matematika 1. týden

Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...

Predik atov a logika - pˇredn aˇska () Predik atov a logika - pˇredn aˇska / 16

Operační výzkum. Teorie her cv. Hra v normálním tvaru. Optimální strategie. Maticové hry.

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

Lineární rovnice prvního řádu. Máme řešit nehomogenní lineární diferenciální rovnici prvního řádu. Funkce h(t) = 2

(ne)závislost. α 1 x 1 + α 2 x α n x n. x + ( 1) x Vektoru y = ( 1) y říkáme opačný vektor k vektoru y. x x = 1. x = x = 0.

HL Academy - Chata Lopata Emu (Brkos 2012) Řetězové zlomky / 27

Polynomy. Mgr. Veronika Švandová a Mgr. Zdeněk Kříž, Ph. D. 1.1 Teorie Zavedení polynomů Operace s polynomy...

Obyčejné diferenciální rovnice

Predikátová logika dokončení

Univerzita Karlova v Praze Pedagogická fakulta

Transkript:

Principy indukce a rekurentní rovnice Jiří Velebil: X01DML 22. října 2010: Indukce 1/15

Příklad Místností rozměru n budeme rozumět šachovnici rozměru 2 n 2 n, ze které je jedno (libovolné) pole vyjmuto. Toto je příklad místnosti rozměru 3: Jiří Velebil: X01DML 22. října 2010: Indukce 2/15

Příklad (pokrač.) Trimino je parketa následujícího tvaru: Dokažte indukcí: Každou místnost rozměrů n 1 lze vyparketovat triminy. Jiří Velebil: X01DML 22. října 2010: Indukce 3/15

Princip slabé indukce Ať V je nějaká vlastnost přirozených čísel. K tomu, abychom mohli usoudit, že všechna přirozená čísla n n 0 mají vlastnost V, stačí ukázat dvě věci: 1 Základní krok: číslo n 0 má vlastnost V. 2 Indukční krok: číslo n + 1 má vlastnost V, pokud předpokládáme, že číslo n má vlastnost V. Analogie s rekursivním algoritmem Všechny úlohy rozměru n n 0 jsou zpracovány, pokud: 1 Základní krok: úloha rozměru n 0 je zpracována nerekursivně. 2 Rekursivní volání: úloha rozměru n + 1 je zpracována, pokud po dekompozici je zpracována úloha rozměru n. Jiří Velebil: X01DML 22. října 2010: Indukce 4/15

Příklad Co je špatně na následujícím důkazu? 1 Je-li maximum dvou přirozených čísel 0, pak jsou si obě čísla rovna. 2 Předpokládejme, že je-li maximum dvou přirozených čísel n, pak jsou si rovna. Vezměme nyní dvě přirozená čísla a, b taková, že jejich maximum je n + 1. Pak maximum čísel a 1 a b 1 je n a podle předpokladu je a 1 = b 1. Tudíž a = b. Podle slabého principu indukce jsou si všechna přirozená čísla rovna. Korektní důkaz indukcí lze spustit jako algoritmus. Jiří Velebil: X01DML 22. října 2010: Indukce 5/15

Příklad Prvočíselný rozklad přirozeného čísla x je zápis x = p n 1 1 pn 2 2 pnr r, kde r 1 je přirozené číslo, p 1 < p 2 < < p r jsou prvočísla a n 1, n 2,..., n r jsou kladná přirozená čísla. Dokažte následující tvrzení: Každé přirozené číslo x 2 má prvočíselný rozklad. Jiří Velebil: X01DML 22. října 2010: Indukce 6/15

Princip silné indukce Ať V je nějaká vlastnost přirozených čísel. K tomu, abychom mohli usoudit, že všechna přirozená čísla n n 0 mají vlastnost V, stačí ukázat dvě věci: 1 Základní krok: číslo n 0 má vlastnost V. 2 Indukční krok: číslo n + 1 má vlastnost V, pokud předpokládáme, že všechna přirozená čísla k, kde n 0 k < n + 1, mají vlastnost V. Analogie s rekursivním algoritmem Úloha rozměru n n 0 je zpracována, pokud: 1 Základní krok: úloha rozměru n 0 je zpracována nerekursivně. 2 Rekursivní volání: úloha rozměru n + 1 je zpracována, pokud po dekompozici jsou zpracovány úlohy rozměru k, kde n 0 k < n + 1. Jiří Velebil: X01DML 22. října 2010: Indukce 7/15

Věta Princip silné indukce je logicky ekvivalentní principu slabé indukce. Náznak důkazu: Platí-li silný princip indukce, platí i slabý princip. Využívá faktu, že každá neprázdná konečná množina přirozených čísel má nejmenší prvek. Má každá neprázdná podmnožina přirozených čísel nejmenší prvek? Jiří Velebil: X01DML 22. října 2010: Indukce 8/15

Každá neprázdná podmnožina přirozených čísel má nejmenší prvek. Věta je logicky ekvivalentní principům indukce. Důsledek Přijmeme-li (kterýkoli) princip indukce, musíme přijmout princip dobrého uspořádání. A naopak: přijmeme-li princip dobrého uspořádání, musíme přijmout princip indukce. Jiří Velebil: X01DML 22. října 2010: Indukce 9/15

je logicky ekvivalentní s tvrzením V přirozených číslech neexistuje klesající nekonečná posloupnost. Důležité v teorii rekursivních algoritmů: terminaci rekursivního algoritmu zaručí variant (= rozměr dat, který se zmenšuje, nelze však zmenšovat do nekonečna). Jiří Velebil: X01DML 22. října 2010: Indukce 10/15

Definice Lineární rekurentní rovnice k-tého řádu s konstantními koeficienty je a k X (n + k) + a k 1 X (n + k 1) + + a 0 X (n) = f (n) kde a k 0. Terminologie: Koeficienty: čísla a k, a k 1,..., a 0 Pravá strana: posloupnost f (n) Příslušná homogenní rovnice: a k X (n + k) + a k 1 X (n + k 1) + + a 0 X (n) = 0 Charakteristická rovnice: a k λ k + a k 1 λ k 1 + + a 0 = 0 Jiří Velebil: X01DML 22. října 2010: Indukce 11/15

Kompletní řešení homogenní rovnice 1 Vyřešíme charakteristickou rovnici a k λ k + a k 1 λ k 1 + + a 0 = 0. Kořeny: λ 1 (násobnost k 1 ),..., λ r (násobnost k r ). 2 Kořen λ 1 násobnosti k 1 1 přidá k 1 různých posloupností do fundamentálního systému: λ n 1, n λ n 1, n 2 λ n 1,..., n k 1 1 λ n 1 (analogicky přispějí kořeny λ 2,..., λ r ). 3 Fundamentální systém má celkově k různých posloupností, protože k 1 + k 2 + + k r = k. 4 Kompletní řešení homogenní rovnice je lineární kombinace fundamentálního systému Jiří Velebil: X01DML 22. října 2010: Indukce 12/15

Odhad partikulárního řešení pro pravou stranu A n P(n), kde A je číslo a P(n) je polynom 1 d je násobnost A jako kořene charakteristické rovnice. (Násobnost 0 znamená: A není kořen). 2 Odhad partikulárního řešení: n d A n p(n), kde p(n) je polynom stejného stupně jako P(n). 3 Koeficienty polynomu p(n) získáme z požadavku, že n d A n p(n) má řešit danou nehomogenní rovnici. Pro složitější pravou stranu lze použít princip superposice. Jiří Velebil: X01DML 22. října 2010: Indukce 13/15

Kompletní řešení nehomogenní rovnice 1 Sečteme kompletní řešení homogenní rovnice a partikulární řešení. 2 Jsou-li zadány počáteční podmínky: nakonec určíme koeficienty lineární kombinace fundamentálního systému. Jiří Velebil: X01DML 22. října 2010: Indukce 14/15

1 Důkaz indukcí = rekursivní algoritmus. 2 a variant zaručí terminaci rekursivního algoritmu. 3 Řešení rekurentních rovnic je podobné řešení diferenciálních rovnic. Jiří Velebil: X01DML 22. října 2010: Indukce 15/15