LO118D Forelesning 6 (DM)



Like dokumenter
Forelesning 4 torsdag den 28. august

Forelesning 6 torsdag den 4. september

Forelesning 5 mandag den 1. september

Forelesning 2 torsdag den 21. august

LO118D Forelesning 2 (DM)

LØSNINGSFORSLAG EKSAMEN VÅR07, MA0301

LO118D Forelesning 3 (DM)

Forelesning 7 mandag den 8. september

Forelesning 9 mandag den 15. september

Forelesning 1 mandag den 18. august

TMA4140 Diskret Matematikk Høst 2018

TMA4140 Diskret matematikk Høst 2011 Løsningsforslag Øving 7

MAT1030 Diskret Matematikk

TMA4140 Diskret Matematikk Høst 2016

Repetisjon: høydepunkter fra første del av MA1301-tallteori.

LF, KONTINUASJONSEKSAMEN TMA

Løsningsforslag Prøveeksamen i MAT-INF 1100, Høsten 2003

Løsningsforslag Øving 7 TMA4140 Diskret matematikk Høsten 2008

1. Bevis følgende logiske ekvivalens: ((p q) p) (p q) 2. Bestem de sannhetsverdier for p, q og r som gjør følgende utsagn galt: (p (q r)) (q r p)

MA1301 Tallteori Høsten 2014 Løsninger til Eksamen

MAT1030 Diskret Matematikk

Slides til 4.1 og 4.2: Eksempler på feil i induksjonsbevis. Andreas Leopold Knutsen

Forelesning 11 mandag den 22. september

MA1301 Tallteori Høsten 2014 Oversikt over pensumet for midtsemesterprøven

Ukeoppgaver fra kapittel 10 & Induksjonsbevis

Rekursiv programmering

Grafteori. MAT1030 Diskret matematikk. Induksjonsbevis

MAT1030 Diskret matematikk

LO118D Forelesning 12 (DM)

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG

LO118D Forelesning 10 (DM)

UNIVERSITETET I OSLO

MA1301 Tallteori Høsten 2014

Rekurrens. MAT1030 Diskret matematikk. Rekurrens. Rekurrens. Eksempel. Forelesning 16: Rekurrenslikninger. Dag Normann

Løsningsforslag for eksamen i brukerkurs i matematikk A (MA0001)

Utførelse av programmer, metoder og synlighet av variabler i JSP

Løsningsforslag Øving 5 TMA4140 Diskret matematikk Høsten 2010

Løsningsforslag oblig. innlevering 1

24. AUGUST Diskret matematikk. onsdag 23. august 2017

Algoritmer og datastrukturer Kapittel 9 - Delkapittel 9.1

MAT1030 Forelesning 17

UNIVERSITETET I OSLO

OPPGAVESETT MAT111-H17 UKE 34. Oppgaver til seminaret 25/08

Test, 2 Algebra. Innhold. 2.1 Tallfølger. R2, Algebra Quiz

LØSNINGSFORSLAG SIF5015 DISKRET MATEMATIKK Onsdag 18. desember 2002

Andre forelesning Forelesning i Matematikk 1 TMA4100

MA1301 Uke 1: In(tro)duksjon

Vi skal nå lære hvordan vi kan finne en formel for å bestemme det n te elementet i en tallfølge av 2. grad.

Korteste Vei I. Lars Vidar Magnusson Kapittel 24 Hvordan finne korteste vei Egenskaper ved korteste vei

Alle mot alle. Åttende forelesning. (eller eller Bellman-Ford, eller BFS, alt ettersom) fra alle noder.

KAPITTEL 3 Litt logikk og noen andre småting

Matematikk for IT, høsten 2017

UNIVERSITETET I OSLO

TMA4100 Matematikk 1, 4. august 2014 Side 1 av 12. x 2 3x +2. x 2

Litt mer mengdelære. INF3170 Logikk. Multimengder. Definisjon (Multimengde) Eksempel

Største felles divisor. (eng: greatest common divisors)

MAT1030 Diskret matematikk

INF3170 Forelesning 2

Øvingsforelesning 7. Resten av kombinatorikk, litt modulusregning, rekurrenser og induksjon og MP13 eller MP18. TMA4140 Diskret Matematikk

MAT1030 Diskret Matematikk

Aksiom 3.1 (Likhet av mengder). La A og B være mengder. Da er A og B like hvis og bare hvis de har akkurat de samme elementene.

S høst LØSNING. 2x 10 = x(x 5) x 2 + 7x 10 = 0 x = 7± 49 4 ( 1) ( 10) x = 7±3. x = 2 x = 5. lg( ) + 3 = 5. lg( ) = 2.

UNIVERSITETET I OSLO

Differensjalligninger av førsteorden

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

Løsningsforslag til eksamenen i MAT103, våren 2016

Econ 2130 Forelesning uke 10 (HG) Geometrisk og normal fordeling

INF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]

Løsningsforslag - Parallellitet og repetisjon

Forelesning 31: Repetisjon

MAT1030 Diskret matematikk

Veiledning for å behandle søknader refusjon av sukkeravgift på Min Side

MAT1030 Forelesning 18

Matematikk for IT, høsten 2015

Rest fra sist. MAT1030 Diskret Matematikk. Rest fra sist. Rest fra sist. Eksempel (Fortsatt) Eksempel. Forelesning 18: Generell rekursjon og induksjon

INF oktober Dagens tema: Uavgjørbarhet. Neste uke: NP-kompletthet

Divide-and-Conquer. Lars Vidar Magnusson

MAT1030 Diskret matematikk

Forelesning 29: Kompleksitetsteori

MAT1030 Diskret Matematikk

Et detaljert induksjonsbevis

{(1,0), (2,0), (2,1), (3,0), (3,1), (3,2), (4,0), (4,1), (4,2), (4,3) } {(1,0), (1,1), (1,2), (1,3), (2,0), (2,2), (3,0), (3,3), (4,0)}

Repetisjon. MAT1030 Diskret Matematikk. Oppsummering. Oppsummering. Forelesning 15: Rekursjon og induksjon. Roger Antonsen

INF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]

Rekursiv programmering

Definisjon. I et binært tre har hver node enten 0, 1 eller 2 barn

Mengder, relasjoner og funksjoner

Høstemelding #9 2015

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Eksempel

Plenumsregning 1. Kapittel 1. Roger Antonsen januar Velkommen til plenumsregning for MAT1030. Repetisjon: Algoritmer og pseudokode

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

Algoritmeanalyse. (og litt om datastrukturer)

Velkommen til plenumsregning for MAT1030. MAT1030 Diskret matematikk. Repetisjon: Algoritmer og pseudokode. Eksempel fra boka. Eksempel

MAT1030 Diskret matematikk

TOPOLOGI. Dan Laksov

Oppgaver fra forelesningene. MAT1030 Diskret matematikk. Oppgave (fra forelesningen 10/3) Definisjon. Plenumsregning 9: Diverse ukeoppgaver

UNIVERSITETET I OSLO

Litt mer om eksponensialfordelingen

ITF20006 Algoritmer og datastrukturer Oppgavesett 7

Høstemelding #

Transkript:

LO118D Forelesning 6 (DM) Rekurrensrelasjoner 10.09.2007

1 Rekurrensrelasjoner

Rekurrensrelasjoner En rekurrensrelasjon definerer det n-te elementet i en følge i forhold til de foregående elementene. Følgen startes ved å ta utgangspunkt i en eller flere initialbetingelser.

Rekurrensrelasjoner Definisjon En rekurrensrelasjon for følgen a 0, a 1,... er en ligning som relaterer a n til noen av sine forgjengere a 1, a 2,..., a n 1. Initialbetingelsene til følgen a 0, a 1,... er eksplisitte verdier gitt for en endelig mengde av følgens medlemmer.

Rekurrensrelasjoner Rekurrensrelasjoner, rekursive algoritmer og matematisk induksjoner er nært beslektet. En rekurrensrelasjon bruker tidligere verdier i en følge til å finne nåværende verdi. Rekursive algoritmer bruker mindre instanser av nåværende input til å prosessere nåværende input. Det induktive steget i matematisk induksjon antar at tidligere instanser av utsagnet er sant for å bevise det nåværende utsagnet.

Fibonacci-tallene Følgen av Fibonacci-tall er gitt av rekurrensrelasjonen: f n = f n 1 + f n 2, n 3 med initialbetingelsene: f 1 = 1, f 2 = 1

Oppsamlet rente Finn en rekurrensrelasjon for oppspart beløp A n etter n år.

Størrelse på potensmengde Vi husker at størrelsen på potensmengden er P(X ) = 2 n. Uttrykk dette med en rekurrensrelasjon.

Addisjonsprinsippet Anta at X i,..., X t er mengder og at den i-ende mengden X i har n i elementer. Hvis {X 1,..., X t } er en parvis disjunkt familie, så er antallet elementer som kan plukkes ut fra X 1 eller X 2 eller... eller X t n 1 + n 2 +... + n t

Mønster i strenger Vi definerer S n som antallet n-bit strenger som ikke inneholder mønsteret 111. Finn en rekurrensrelasjon for S n.

Multiplikasjonsprinsippet Hvis en aktivitet kan utføres i t etterfølgende steg og steg 1 kan utføres på n 1 måter, steg 2 utføres på n 2 måter,..., steg t utføres på n t måter, da er det totale antallet forskjellige aktiviteter n 1 n 2... n t.

Catalan-tallene Gitt at vi har et n n-rutenett. Vi starter i nederste venstre hjørne og går til øverste høyre hjørne, med restriksjonen at vi kun kan gå til høyre eller oppover. Antallet ruter, kalt gode ruter, kaller vi C n. Følgen av alle C n kaller vi Catalan-tallene. Vi kan uttrykke C n ved en rekurrensrelasjon.

Tårnene i Hanoi En berømt pusleoppgave er kalt Tårnene i Hanoi. Vi har tre tårn, der det første består av n skiver med gradvis mindre radius. Skivene skal flyttes enkeltvis fra det første tårnet til det tredje tårnet via det andre tårnet, men vi kan aldri ha en større skive over en mindre skive. Vi kan lage en rekurrensrelasjon for antall flytt som trengs.

Tårnene i Hanoi

Steg 1

Steg 2

Steg 3

Steg 4

Steg 5

Steg 6

Steg 7

Steg 8

Steg 9

Steg 10

Steg 11

Steg 12

Steg 13

Steg 14

Steg 15

Optimal løsning på tårnene i Hanoi Vi kan bevise med matematisk induksjon at rekurrensrelasjonen vår gir en optimal løsning.

Økonomisk spindelweb Vi kan anta en økonomisk modell der tilbud og etterspørsel er gitt ved lineære ligninger. Tilbud er gitt ved p = a bq der p er pris, q er kvantitet og a og b er positive parametre. Etterspørsel er gitt ved p = kq der p og q er samme som over, k er en positiv parameter.

Økonomisk spindelvev Vi antar at det er litt reaksjonstid mellom hvordan tilbud og etterspørsel utvikler seg. Det tar for eksempel tid å produsere varer. Vi deler tiden i diskrete intervaller, n = 0, 1,.... Basert på dette kan vi lage en rekurrensrelasjon mellom tilbud og etterspørsel.

Ackermanns funksjon Vi kan utvide definisjonen av rekurrensrelasjoner til å inkludere funksjoner over n-tupler av positive heltall. Ackermanns funksjon er et eksempel på det. Den er definert slik A(m, 0) = A(m 1, 1), m = 1, 2,... A(m, n) = A(m 1, A(m, n 1)), m = 1, 2,... n = 1, 2,... med initialbetingelsene A(0, n) = n + 1, n = 1, 2,...

Hvis vi har god tid Noen flere eksempler med matematisk induksjon: Vis ved hjelp av matematisk induksjon at 1 + 2 + 2 2 +... + 2 n = 2 n+1 1 for ikke-negative heltall n. Vis ved hjelp av matematisk induksjon at 1 + 2 +... + n = n(n + 1)/2 for positive heltall n.

Neste gang Løsning av rekurrensrelasjoner