Tilbagevendende formel

En tilbagevendende formel er en formel af den form , der udtrykker hvert medlem af sekvensen i form af de foregående medlemmer og nummeret på medlemmet af sekvensen .

Den generelle problematik ved beregninger ved hjælp af rekursive formler er genstand for teorien om rekursive funktioner .

En tilbagevendende ligning er en ligning, der forbinder flere på hinanden følgende medlemmer af en bestemt numerisk sekvens. En sekvens, der opfylder en sådan ligning, kaldes en tilbagevendende sekvens .

Eksempler

For at bestemme koefficienterne er det tilstrækkeligt at fastslå det for alle . Derefter opnås straks det velkendte resultat: hvor er radius af den omskrevne cirkel .

Lineære tilbagevendende ligninger

En lineær tilbagevendende ligning med konstante koefficienter har formen:

Her  er ikke-negative heltal,  er en sekvens af tal,  er konstante tal, ,  er en given funktion af .

Homogene lineære tilbagevendende ligninger

Antag, at en sekvens af tal opfylder en homogen lineær tilbagevendende ligning , hvor  er ikke-negative heltal,  gives konstante tal og .

Betegn ved sekvensens genererende funktion . Lad os bygge et polynomium . Dette polynomium kan ses som en sekvensgenererende funktion . Overvej produktet af at generere funktioner . Koefficienten ved og er bestemt af relationen og er lig med nul. Det betyder, at polynomiet højst har grad , så graden af ​​tælleren for den rationelle funktion er mindre end nævnerens grad.

Det karakteristiske polynomium i en lineær tilbagevendende ligning kaldes et polynomium . Rødderne til dette polynomium kaldes karakteristiske. Det karakteristiske polynomium kan repræsenteres som , hvor  er forskellige karakteristiske rødder,  er multiplicitet af karakteristiske rødder, .

Det karakteristiske polynomium og polynomiet er forbundet med relationen . På denne måde

En rationel funktion kan repræsenteres som summen af ​​brøker:

Hver brøk i dette udtryk har formen , så den kan udvides til en potensrække af følgende form

.

Koefficienten for i denne serie er lig med

Derfor er den genererende funktion og den generelle løsning af den lineære tilbagevendende ligning, hvor højst  er et polynomium i grad .

Eksempel

Lad det kræves at finde en løsning på ligningen med randbetingelser og .

Denne ligning har et karakteristisk polynomium , hvor , . Den generelle løsning har formen . Vi erstatter , vi får . Vi får værdier , . Således .

Ansøgninger

Der er en formel, der udtrykker det generelle udtryk for en lineær tilbagevendende sekvens i form af rødderne af dets karakteristiske polynomium. For eksempel for Fibonacci-sekvensen er en sådan formel Binets formel . Rekursive formler bruges til at beskrive køretiden for en algoritme, der rekursivt kalder sig selv. I en sådan formel er den tid, der kræves for at løse problemet med inputvolumen , udtrykt som tiden til løsning af hjælpeunderopgaver. [en]

Se også

Noter

  1. T. Kormen, C. Leizerson, R. Rivest, K. Stein. Algoritmer. Konstruktion og analyse = Introduktion til algoritmer / I. Krasikov. - Forlaget "Williams", 2005. - S. 79. - 1296 s.

Litteratur