Opakující se vzorec

Rekurentní formule je formule, která vyjadřuje každý člen posloupnosti v podmínkách předchozích členů a čísla člena posloupnosti .

Obecná problematika výpočtů pomocí rekurzivních vzorců je předmětem teorie rekurzivních funkcí .

Rekurentní rovnice je rovnice, která spojuje několik po sobě jdoucích členů určité číselné posloupnosti. Posloupnost, která splňuje takovou rovnici, se nazývá rekurentní posloupnost .

Příklady

Pro určení koeficientů stačí stanovit, že pro všechny . Poté je okamžitě získán známý výsledek: kde je poloměr kružnice opsané .

Lineární rekurentní rovnice

Lineární rekurentní rovnice s konstantními koeficienty má tvar:

Zde  jsou nezáporná celá čísla,  je posloupnost čísel,  jsou konstantní čísla, ,  je daná funkce .

Homogenní lineární rekurentní rovnice

Předpokládejme, že posloupnost čísel splňuje homogenní lineární rekurentní rovnici , kde  jsou nezáporná celá čísla,  jsou dána konstantní čísla a .

Označme generující funkcí posloupnosti . Pojďme sestavit polynom . Tento polynom může být viděn jako posloupnost generující funkce . Zvažte součin generování funkcí . Koeficient at a je určen vztahem a je roven nule. To znamená, že polynom má stupeň nejvýše , takže stupeň čitatele racionální funkce je menší než stupeň jmenovatele.

Charakteristický polynom lineární rekurentní rovnice se nazývá polynom . Kořeny tohoto polynomu se nazývají charakteristické. Charakteristický polynom může být reprezentován jako , kde  jsou různé charakteristické kořeny,  jsou násobky charakteristických kořenů, .

Charakteristický polynom a polynom spolu souvisí vztahem . Takto,

Racionální funkce může být reprezentována jako součet zlomků:

Každý zlomek v tomto výrazu má tvar , takže jej lze rozšířit na mocninnou řadu následujícího tvaru

.

Koeficient pro v této řadě je roven

Proto je generující funkce a obecným řešením lineární rekurentní rovnice, kde  je polynom ve stupni nejvýše .

Příklad

Nechť je požadováno najít řešení rovnice s okrajovými podmínkami a .

Tato rovnice má charakteristický polynom , kde , . Obecné řešení má tvar . Nahrazením dostaneme , . Dostáváme hodnoty , . Tedy .

Aplikace

Existuje vzorec, který vyjadřuje obecný člen lineární rekurentní posloupnosti z hlediska kořenů jejího charakteristického polynomu. Například pro Fibonacciho sekvenci je takovým vzorcem Binetův vzorec . Rekurzivní vzorce se používají k popisu doby běhu algoritmu, který rekurzivně volá sám sebe. V takovém vzorci je čas potřebný k vyřešení úlohy se vstupním objemem vyjádřen časem na řešení pomocných dílčích úloh. [jeden]

Viz také

Poznámky

  1. T. Kormen, C. Leizerson, R. Rivest, K. Stein. Algoritmy. Konstrukce a analýza = Introduction To Algorithms / I. Krasikov. - Nakladatelství "Williams", 2005. - S. 79. - 1296 s.

Literatura