Søk i sekvenser. Sekvenssøk. Sammenstillinger av sekvenser. Global og lokal sammenstilling. Global sammenstilling: Lokal sammenstilling:

Størrelse: px
Begynne med side:

Download "Søk i sekvenser. Sekvenssøk. Sammenstillinger av sekvenser. Global og lokal sammenstilling. Global sammenstilling: Lokal sammenstilling:"

Transkript

1 øk i sekvenser ekvenssøk Forelesning NF3350/ sept 2007 Ole Christian ingjærde Gruppen for bioinformatikk nstitutt for nformatikk, UiO Mål:identifisere hvilke sekvenser i en sekvensdatabase som er homologe med en gitt søkesekvens (DN, N eller protein). Metode: søkesekvensen sammenliknes (sammenstilles) med hver av sekvensene i databasen. For hver sammenlikning beregnes graden av likhet (similaritet). Eksempel: i bruker søkesekvensen EYDNG mot fire databasesekvenser: OC Databasesekvens EYDNG EYDHG TEDDHNG TEDDHNE BOUM62-score ommentar 64 dentisk 59 tor similaritet 39 Moderat similaritet 23 av similaritet OC ammenstillinger av sekvenser Global og lokal sammenstilling Utgangspunkt: ekvenser p, p 2,..., p k (DN, N, eller protein) Hypotese om at sekvensene (eller deler av dem) har utviklet seg i generasjoner fra en felles ukjent sekvens q gjennom mutasjoner, insersjoner og delesjoner i DN. q p p 2... p k- p k Oppgave: Finne den mest trolige tegn-for-tegn korrespondansen mellom sekvensene (hvor tegn = aminosyre eller nukleotid). vgjøre om similariteten mellom sekvensene er signifikant, dvs overstiger det en ville forvente å finne hvis sekvensene ikke var relaterte. OC Global sammenstilling: ammenstilling av hele sekvenser (alle tegn) an brukes når sekvensene er av omtrent samme lengde og er relaterte (eller forventes å være det) over hele området. okal sammenstilling: ammenstilling av delsekvenser fra hver sekvens En del av oppgaven er da å finne ut hvilke delsekvenser fra hver sekvens som skal benyttes Brukes når sekvensene har ulik lengde; og/eller kun visse regioner i sekvensene antas å være relaterte (konserverte områder, domener se boka side 4) OC

2 Typer av sammenstillinger lgoritmer for sammenstilling Global okal Global okal arvis G--TGG- GTGM...GT......G-T... arvis Dynamisk programmering (Needleman-unsch) Dynamisk programmering (mith-aterman) FT BT -BT Multippel TCTCG--G TC-CG--G TGTCGC-G TGTCGCG T-TCC-G TC...CGC...CTC... TC...CGC...GT... GC...CGC...GT... TC...GT OC Multippel Dynamisk programmering (Carillo-ipman) Clustal ClustalX (Clustal + grafikk) Dynamisk programmering (Carillo-ipman) MEME Merk: dynamisk programmering gir optimal løsning, men er ekstremt plass- og regnekrevende når det er mange sekvenser (n > 2) OC imilaritet BOUM62 imilaritet: grad av likhet mellom sekvenser. Måles etter at sekvensene er sammenstilt. Definerer en score for hvert par av aminosyrer, basert på estimerte sannsynligheter for mutasjoner mellom dem. F.eks. er s(g,) = -2. Merk at matrisen er symmetrisk, så s(g,) = s(,g). T T H H core Totalscore = 22 imilaritet kan måles på flere måter. Enkeltscorene ovenfor kommer fra et score-system som kalles BOUM62. OC OC

3 Hvordan BOUM62 er beregnet Eksempel på blokker Utgangspunkt: ca 2000 konserverte områder fordelt på ca 500 proteinfamilier (= grupper av relaterte proteiner): roteinfamilie: roteinfamilie: roteinfamilie: Y FY YY YF YYT FY YY YY FYT FYT Y CYYG CHYH HYT CHY YG HYM HYM TYT TYT THYGG THYGG YDG NG NG NG G NG G G G G NG NG DG onserverte områder For hver av de ca 2000 konserverte områdene har vi en multippel sammenstilling (= blokk) uten bruk av gap. OC For enkelhets skyld antar vi i fortsettelsen at datagrunnlaget bare består av disse to blokkene: Blokk : Blokk 2: CC CD CCC CD CCDD D CDCD OC Trinn : lustring av nære sekvenser Trinn 2: Observert andel aminosyrer hver blokk grupperes sekvenser med 62% likhet sammen. i finner likheten mellom alle par av sekvenser: CC CCC CCDD CDCD CD CD D CC 00% 80% 60% 60% CD 00% 50% 50% CCC 00% 60% 60% CD 00% 50% CCDD 00% 60% D 00% CDCD 00% De to første sekvensene i Blokk grupperes ngen gruppering i Blokk 2 Finn andelen observerte, C og D: ekting av grupperte sekvenser 2 2 Blokk : Blokk 2: CC CD CCC CD CCDD D CDCD C D minosyrer ntall ndel.5/27 8.5/27 7/27 OC OC

4 Trinn 3: Observert andel aminosyrepar Trinn 4: Forventet andel aminosyrepar Finn andelen observerte par av sammenstilte aminosyrer: Finn forventet andel av alle par av sammenstilte aminosyrer: ekting av grupperte sekvenser 2 2 i teller ikke med par innenfor en gruppe i vekter parene når de telles opp, hvis det foreligger vekter. Blokk : Blokk 2: CC CD CCC CD CCDD D CDCD - -C -D C-C C-D D-D ntall 2+5= =9 6+=7 +2=3 +0= ndel 7/27 9/27 7/27 3/27 /27 lle 5+2=27 OC C -D C-C C-D D-D Totalt Forventet andel.5/27 *.5/27 2 *.5/27 * 8.5/27 2 *.5/27 * 7/27 8.5/27 * 8.5/27 2 * 8.5/27 * 7/27 7/27 * 7/27 OC Trinn 5: Finn log-ratio unktplott Finn forventet andel av alle par av sammenstilte aminosyrer: - -C -D C-C C-D D-D Observert andel 7/27 0 9/27 7/27 3/27 /27 Forventet andel Observert andel 2log2 Forventet andel erdiene i høyre kolonne avrundes til nærmeste heltall dette gir BOUM62-verdiene (med en liten modifikasjon).... Gir et visuelt bilde av korrespondansen mellom to sekvenser: OC OC

5 dentiske sekvenser Gap EYDGTNG EYDGTNG EYD------NG EYDGTNG OC OC Flere gap nverterte segmenter E---GT--G EYD---TNG GNTGDYE EYDGTNG OC OC

6 epetisjoner okal similaritet GTTCGCTTTCGCGCGCGCGCGCGCGCGCGCGTTCGTCTG GTTCGCTTTCGCGCGCGCGCGCGCGCGCGCGTTCGTCTG TGHCEYDGGDG TMECHTNEYDGEDNCH OC OC rogrammer for å lage punktplott Eksempel på bruk av Dotlet Dotter (arolinska nstitutet): Drosophila melanogaster T protein plottet mot seg selv: lasmodium falciparum protein plottet mot seg selv: Dotlet (wiss nstitute for Bioinformatics): dotmatcher (i programpakken EMBO): i ser en serie repeterte regioner. i ser et område med mange repetisjoner - et område av "lav kompleksitet" OC B OC

7 ymbolalfabeter ekvenser Et symbolalfabet er en endelig mengde av symboler, f.eks. rotein-alfabetet: = {, C, D, E, F, G, H,,,, M,N,,,,, T,,, Y} DN-alfabetet: = {, T, C, G} N-alfabetet: = {, U, C, G} Når vi ser på sammenstillinger med gap, vil det være underforstått at symbolalfabetet erstattes av {} hvor (skrives av og til ) kalles indelsymbolet eller gapsymbolet. OC Med en sekvens av lengde n mener vi en sekvens x = x x 2...x n av symboler over et gitt symbolalfabet, dvs x i for i=,2,...,n. i skriver x i:k for delsekvensen x i x i+...x k ( i k n ) Delsekvensen x i:i skrives også som x i i kan sette sammen sekvenser, f.eks. slik som her: x :n = x :k x k+:n hvor k < n OC Global sammenstilling Global sammenstilling En global sammenstilling er et par (w, z) hvor: w og z er sekvenser over samme alfabet w og z har samme lengde. i sier at w i og z i er sammenstilt (i=,2,...) Merk at w i eller z i (men ikke begge samtidig) kan være et indelsymbol. For å understreke at det kan forekomme indelsymboler (dvs gap) i sammenstillingen bruker vi av og til betegnelsen gap-sammenstilling (eller sammenstilling med gap). a x og y være to sekvenser (uten indelsymboler). En global sammenstilling av x og y av lengde n er et par (x*, y*) hvor: x* fremkommer fra x ved å sette inn null eller flere indelsymboler y* fremkommer fra y ved å sette inn null eller flere indelsymboler x* og y* begge har lengde n OC OC

8 Eksempel corefunksjoner nta at vi har følgende sekvenser: x = DY y = JY En global sammenstilling av x og y av lengde 7: - D - Y x* = -D-Y J - Y y* = J-Y En global sammenstilling av lengde 9: D - Y x* = ---D-Y - J Y y* = --J-Y En scorefunksjon er en funksjon (w, z) som: er definert over alle globale sammenstillinger (w, z) over et valgt alfabet (f.eks. aminosyrealfabetet) tar heltallige eller reelle verdier er symmetrisk, dvs (w, z) = (z, w) for alle globale sammenstillinger (w, z). OC OC ineære scorefunksjoner ineære scorefunksjoner En lineær scorefunksjon er en scorefunksjon som tilfredsstiller følgende betingelse: w : z : T T H H For enhver global sammenstilling (w, z) av lengde n> kan vi skrive (w i, z i ) ( wz, ) = ( w: k, z: k) + ( wk+ : n, zk+ : n) for alle k < n. Det følger av definisjonen over at for en global sammenstilling (w, z) av lengde n og en lineær scorefunksjon så er n = + + n n = i i i= ( wz, ) ( w, z ) ( w, z ) ( w, z ) OC ( wz, ) = ( T, T) + (, ) ( H, H) En lineær scorefunksjon er fullstendig bestemt hvis vi kjenner (a,b) for alle a,b (a eller b kan være et indelsymbol) OC

9 ineær scorefunksjon eksempel ineær scorefunksjon - eksempel 2 (a,a) = (a,b) = 0 hvis a b (a, -) = (-, a) = - g hvor g 0 kalles gapstraff (for alle a ) (for alle a,b ) (for alle a ) (a,b) = BOUM62-scoreverdien til symbolparet (a,b) (a, - ) = (-, a) = - g Eksempel (med gapstraff g = ): Eksempel (med gapstraff g = ): (-N, ) = (,) + (,) + (-,) + (N,) = (-) + 0 = 0 (-N, ) = (,) + (,) + (-,) + (N,) = 4 + (-) + (-) + (-4) = -2 OC OC ffin gapstraff Eksempel Gapstraffene vi har sett på til nå har vært lineære: straffen for et gap er proporsjonal med lengden av gapet. Det vil normalt være mer biologisk realistisk å straffe åpning av et gap hardere enn utvidelse av et eksisterende gap. En måte å gjøre dette på er å benytte en affin gapstraff. Her er en scorefunksjon som benytter affin gapstraff: ( wz, ) = ( w, z ) g g i i open extend wi ( wi, zi) er ( wi, zi) er zi start på gap utvidelse av gap corefunksjonen er nå ikke lenger lineær! ( wz, ) = ( w, z ) g g i i open extend wi ( wi, zi) er ( wi, zi) er zi start på gap utvidelse av gap a (a,b) være BOUM62-scoren. a g open = 5 og g extend = Da har vi f.eks.: (, T) = (,) + (,) - g open -g extend = (-5) + (-) = 3 OC OC

10 ndre gapstraffer Optimale sammenstillinger Et annet eksempel på ulineær gapstraff: a (...) være en valgt lineær/ulineær scorefunksjon. gapstraff = g + log k, k = lengden av gapet open a x og y være to (ikke nødvendigvis like lange) sekvenser Også i dette tilfellet vil scorefunksjonen bli ulineær. Eksempel med (a,b) = BOUM62-scoren og g open = 5: (, T) = (,) + (,) + (, T) = (-5) + log 2 = 4 + log 2 En optimal global sammenstilling av (x, y) er en global sammenstilling (x*, y*) av (x, y) som tilfredsstiller (*, x y*) = max (, x y) ( xy, ) hvor maksimum er over alle globale sammenstillinger av ( xy, ). ( xy, ) Generelt kan det eksistere flere optimale sammenstillinger. OC OC Brute-force algoritme Grafisk representasjon av sammenstilling Brute-force algoritme for å finne alle optimale globale sammenstillinger: Finn alle globale sammenstillinger av (x,y) Beregn score for hver av dem Finn sammenstillingen med høyest score To forutsetninger for at dette skal gå i praksis:. i må ha en metode for å generere alle globale sammenstillinger 2. i må klare å behandle alle globale sammenstillinger i rimelig tid i skal se at er lett, mens 2 er vanskelig. OC nta at vi skal sammenstille disse to sekvensene: i setter opp følgende tabell: Definisjon: Med residy menes et symbol i symbolalfabetet (ikke et indel-symbol). En sammenstilling av sekvensene kan beskrives som en serie med flytt en vei - fra øverste venstre hjørne til nederste høyre hjørne. ovlige flytt: Flytt mot høyre nedover ammenstilling residy gap gap residy OC diagonalt residy residy 40

11 OC Eksempler - - OC Oppgave ett opp sammenstillingen som svarer til veien i diagrammet over: OC Oppgave 2 i har følgende parvise sammenstilling: - - C G N - D D C - - N E Fyll inn tabellen slik at den svarer til sammenstillingen over: C G N D D C N E OC ammenstillinger = veier Det er intuitivt klart fra det vi har sett at: Til hver parvise sammenstilling eksisterer det en og bare en vei gjennom tabellen Til hver vei gjennom tabellen eksisterer det en og bare en parvis sammenstilling Dermed: Å finne en optimal sammenstilling av sekvensene er ekvivalent med å finne en optimal vei gjennom tabellen.

12 Finne alle sammenstillinger esultatet av kallet -G Cstep('', '', 'G', 'C'); step.m : function step(p, q, x, y) nx = size(x, 2); lle sammenstillinger av G og C: ny = size(y, 2); if (nx == 0 & ny == 0) step(,, G, C ); [p ; q] else if (nx > 0) step([p x()], [q '-'], x(2:nx), y); end if (ny > 0) step([p '-'], [q y()], x, y(2:ny)); end if (nx > 0 & ny > 0) step([p x()], [q y()], x(2:nx), y(2:ny)); end end OC G-- --C -G- --C -G -C --G -C- G- -C -G C- -G- C --G -C- -G -C --G C-- G- -C G C OC Hvor mange sammenstillinger? Finne antall sammenstillinger nta at vi har to sekvenser av lengde 5. i markerer i hver rute hvor mange veier som fører til ruten: count.m : function k = count(m, n) F G B C D E if (m == 0 n == 0) k = ; else k = count(m-, n) + count(m, n-) + count(m-, n-); end H J For å finne antall sammenstillinger av to sekvenser av lengde 5 og 7: count(5,7); ntall veier vokser meget OC raskt med lengden av sekvensene 47 OC

13 Finne antall sammenstillinger forts. Beregning av antall sammenstillinger n count(n,n) 3 Gitt to sekvenser av lengde m og n, henholdsvis. Gitt en gap-sammenstilling av sekvensene kan vi lage en sekvens av lengde m+n ved å ta symboler vekselvis fra den øverste og nederste sekvensen og fjerne gap: OC B 2 B 2 B 3 Gitt en fletting av de to sekvensene (hvor vi vet hvilke symboler som tilhører hvilken sekvens) kan vi transformere tilbake til en gap-sammenstilling av sekvensene (dette kan gjøres på flere måter): B 2 3 B 2 B B 2 B 2 -B B 2-3 B 2 B B 2 B 2 B B - onklusjon: antall gap-sammenstillinger av to sekvenser er større enn eller lik antall flettinger av sekvensene OC B 2 B 3 ntall flettinger av to sekvenser Nedre grense for antall sammenstillinger Gitt to sekvenser av lengde m og n, henholdsvis. Det er en en-til-en forbindelse mellom ulike flettinger av sekvensene og ulike utplukk av m elementer ut fra m+n elementer: 2... m 2... n i har nå sett: ntall gap-sammenstillinger av to sekvenser er ihvertfall ikke mindre enn antall flettinger av sekvensene. ntall flettinger av sekvensene (hvis de har lengde m og n) er m+ n ( m+ n)! = m m! n! Hvis sekvensene er like lange (m=n) har vi da følgende tilnærmede nedre grense for antall gap-sammenstillinger (ved tirlings approksimasjon): x x x x x 2... m+n Dermed er antall ulike flettinger av sekvensene lik m+ n ( m+ n)! = m m! n! OC (2 )! 2 2 n n n = n n! n! π n OC

14 Brute force er ubrukelig i praksis Dynamisk programmering Brute-force algoritmen er ubrukelig for lengre sekvenser: engde av x og y ntall sammenstillinger * * * nta at scorefunksjonen er lineær: n ( wz, ) = ( wi, zi) i= a (x*, y*) være en optimal global sammenstilling av (x, y). For hver k er da (x* :k, y* :k ) en optimal global sammenstilling av (x :s, y :t ) for passende valgte s og t. Bevis: t (x* :k, y* :k ) er en global sammenstilling av (x :s, y :t ) for passende valgte s og t ses lett av den grafiske representasjonen vi har sett på. Her er (s,t) den ruten vi ender opp i etter k flytt langs sammenstillingsveien. Mer effektivt: benytte dynamisk programmering. OC t (x* :k, y* :k ) er optimal er klart, for hvis den kunne erstattes av en annen sammenstilling som var bedre, ville scoren til hele sammenstillingen (x*, y*) også bli bedre (pga additiviteten) men (x*, y*) er jo optimal pr antagelse. OC Dynamisk programmering Dynamisk programmering - 2 Har ingenting med data-programmering å gjøre Teknikk for å optimere (maksimere/minimere) funksjoner Utviklet av ichard Bellman på 950-tallet for helt andre problemer enn de vi ser på her. jennetegnet ved at problemet kan splittes opp i en rekke sekvensielle steg (utføres en etter en) hvor det i hvert steg gjøres en beslutning. an formuleres som en rekursjon. OC nta at vi skal sammenstille sekvensene x og y. i kan angi ruter med koordinater: x x 2 x 3 x 4 (0,0) (,0) (2,0) (3,0) (4,0) y (0,) (,) (2,) (3,) (4,) y 2 (0,2) (,2) (2,2) (3,2) (4,2) y 3 (0,3) (,3) (2,3) (3,3) (4,3) y 4 (0,4) (,4) (2,4) (3,4) (4,4) Enhver vei til (s,t) svarer til en global sammenstilling av (x :s, y :t ). Hver slik sammenstilling (w,z) har en score (w,z). a B(s,t) være høyeste score (= optimal score) blant disse OC

15 Dynamisk programmering - 3 Dynamisk programmering - 4 nta en lineær scorefunksjon (...) med gapstraff g. i ønsker å fylle inn optimal score i hver rute: x x 2 x 3 x 4 B(0,0) B(,0) B(2,0) B(3,0) B(4,0) y B(0,) B(,) B(2,) B(3,) B(4,) y 2 B(0,2) B(,2) B(2,2) B(3,2) B(4,2) y 3 B(0,3) B(,3) B(2,3) B(3,3) B(4,3) B(0,0) = 0 B(,0) i = ( x, ) ( xi, ) = ig B(0, j) = (, y) (, yj ) = jg B( i, j ) + ( xi, yj) Bi (, j) = max Bi (, j) + ( xi, ) Bi (, j ) + (, y) y 4 B(0,4) B(,4) B(2,4) B(3,4) B(4,4) Optimal score til sammenstillingen av x med y corefunksjon: (a,a) = 2 (a,b) = 0 for a b (a,-) = - ekvenser: x = TDX y = ZTDX Beregning av B(i,j)-verdier: OC j 57 OC T D X Z T D X Dynamisk programmering - 5 T D X Z T D X ZTD--X -TDX = (-) (-) + (-) + 2 = 3 OC

Gensøk. Oppsummering. Typer av sammenstillinger. Sammenstilling av sekvenser. To prinsipper for søking etter gener i DNA:

Gensøk. Oppsummering. Typer av sammenstillinger. Sammenstilling av sekvenser. To prinsipper for søking etter gener i DNA: Oppsummering Gensøk Oppsummeringen som gis her omfatter bare de temaer som er forelest av Ole Christian, og er ikke ment å være komplett. I korte trekk gjelder for denne delen av pensum som for de øvrige:

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i : INF2300 Grunnkurs i bioinformatikk Eksamensdag : Tirsdag 15. juni 2004 Tid for eksamen : 09.00 12.00 Oppgavesettet er på : 13

Detaljer

BLAST. Blast. Noen mulige sammenstilling av CHAEFAP og CAETP. Evolusjonær basis for sekvenssammenstilling. Sekvenssammenstilling og statistikken brukt

BLAST. Blast. Noen mulige sammenstilling av CHAEFAP og CAETP. Evolusjonær basis for sekvenssammenstilling. Sekvenssammenstilling og statistikken brukt Blast BLAST Sekvenssammenstilling og statistikken brukt Finner best mulig sammenstilling(er), evt. finner veldig gode sammenstillinger. Kan teoretisk unngå å finne beste sammenstilling. Avgjør om sammenstillingen

Detaljer

Mer om søking i sekvenser

Mer om søking i sekvenser Mer om søking i sekvenser agens forelesning orelesning IN335/435 26 sept 27 Ole Christian Lingjærde Gruppen for bioinformatikk Institutt for Informatikk, UiO Kort oppsummering fra sist Globale sammenstillinger

Detaljer

Dynamisk programmering

Dynamisk programmering Dynamisk programmering Metoden ble formalisert av Richard Bellmann (RAND Corporation) på 50-tallet. Programmering i betydningen planlegge, ta beslutninger. (Har ikke noe med kode eller å skrive kode å

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i : INF2300 Grunnkurs i bioinformatikk Eksamensdag : Mandag 6. juni 2005 Tid for eksamen : 09.00 12.00 Oppgavesettet er på : xx

Detaljer

Dynamisk programmering

Dynamisk programmering Dynamisk programmering Metoden ble formalisert av Richard Bellmann (RAND Corporation) på 5-tallet. Programmering i betydningen planlegge, ta beslutninger. (Har ikke noe med kode eller å skrive kode å gjøre.)

Detaljer

Dynamisk programmering Undervises av Stein Krogdahl

Dynamisk programmering Undervises av Stein Krogdahl Dynamisk programmering Undervises av Stein Krogdahl 5. september 2012 Dagens stoff er hentet fra kapittel 9 i læreboka, samt kapittel 20.5 (som vi «hoppet over» sist) Kapittel 9 er lagt ut på undervisningsplanen.

Detaljer

Forelesning 4 torsdag den 28. august

Forelesning 4 torsdag den 28. august Forelesning 4 torsdag den 28. august 1.10 Rekursjon Merknad 1.10.1. Hvert tall i sekvensen 1, 2, 4, 8, 16,... er to ganger det foregående. Hvordan kan vi beskrive sekvensen formelt? Vi kan ikke skrive

Detaljer

LØSNINGSFORSLAG, EKSAMEN I ALGORITMER OG DATASTRUKTURER (IT1105)

LØSNINGSFORSLAG, EKSAMEN I ALGORITMER OG DATASTRUKTURER (IT1105) Norges teknisk naturvitenskapelige universitet Institutt for datateknikk og informasjonsvitenskap Side 1 av 8 Faglig kontakt under eksamen: Magnus Lie Hetland LØSNINGSFORSLAG, EKSAMEN I ALGORITMER OG DATASTRUKTURER

Detaljer

LP. Leksjon 6: Kap. 6: simpleksmetoden i matriseform, og Seksjon 7.1: følsomhetsanalyse

LP. Leksjon 6: Kap. 6: simpleksmetoden i matriseform, og Seksjon 7.1: følsomhetsanalyse LP. Leksjon 6: Kap. 6: simpleksmetoden i matriseform, og Seksjon 7.1: følsomhetsanalyse matrisenotasjon simpleksalgoritmen i matrisenotasjon eksempel negativ transponert egenskap: bevis følsomhetsanalyse

Detaljer

Mer om Markov modeller

Mer om Markov modeller Høyere ordens Markov modeller Mer om Markov modeller p h mnr = Pr( Y j+ 3 = ah Y j+ 2 = am, Y j+ 1 = an, Y j = a : r For en k-te ordens Markov modell som modellerer en DNA prosess vil det være 3*4 k mulige

Detaljer

LØSNINGSFORSLAG EKSAMEN V06, MA0301

LØSNINGSFORSLAG EKSAMEN V06, MA0301 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 7 LØSNINGSFORSLAG EKSAMEN V06, MA0301 Oppgave 1 a) Sett opp en sannhetsverditabell(truth table) for det logiske uttrykket

Detaljer

Algoritmer og datastrukturer Kapittel 2 - Delkapittel 2.1

Algoritmer og datastrukturer Kapittel 2 - Delkapittel 2.1 Delkapittel 2.1 Plangeometriske algoritmer Side 1 av 7 Algoritmer og datastrukturer Kapittel 2 - Delkapittel 2.1 2.1 Punkter, linjesegmenter og polygoner 2.1.1 Polygoner og internett HTML-sider kan ha

Detaljer

Anbefalte oppgaver - Løsningsforslag

Anbefalte oppgaver - Løsningsforslag Anbefalte oppgaver - Løsningsforslag Uke 6 12.6.4: Vi finner først lineariseringen i punktet (2, 2). Vi har at Lineariseringen er derfor 2x + y f x (x, y) = 24 (x 2 + xy + y 2 ) 2 2y + x f y (x, y) = 24

Detaljer

Sekventkalkyle for utsagnslogikk

Sekventkalkyle for utsagnslogikk Sekventkalkyle for utsagnslogikk Tilleggslitteratur til INF1800 Versjon 11. september 2007 1 Hva er en sekvent? Hva er en gyldig sekvent? Sekventkalkyle er en alternativ type bevissystem hvor man i stedet

Detaljer

INF2220: Time 8 og 9 - Kompleksitet, beregnbarhet og kombinatorisk søk

INF2220: Time 8 og 9 - Kompleksitet, beregnbarhet og kombinatorisk søk INF0: Time 8 og 9 - Kompleksitet, beregnbarhet og kombinatorisk søk Mathias Lohne mathialo Rekursjonseksempel Eksempel Finn kjøretid for følgende program: (Ex11 b) 1 float foo(a) { n = Alength; 3 4 if

Detaljer

INF 4130 / / Dagens foiler hovedsakelig laget av Petter Kristiansen Foreleser Stein Krogdahl Obliger:

INF 4130 / / Dagens foiler hovedsakelig laget av Petter Kristiansen Foreleser Stein Krogdahl Obliger: INF 4130 / 9135 29/8-2012 Dagens foiler hovedsakelig laget av Petter Kristiansen Foreleser Stein Krogdahl Obliger: Tre stykker, som må godkjennes. Frister: 21. sept, 26. okt, 16. nov Andre, «nærliggende»

Detaljer

MAT1030 Plenumsregning 3

MAT1030 Plenumsregning 3 MAT1030 Plenumsregning 3 Ukeoppgaver Mathias Barra - 30. januar 2009 (Sist oppdatert: 2009-02-02 14:26) Plenumsregning 3 Oppgave 2.7 - Horners metode (a) 7216 8 : 7 8+2 58 8+1 465 8+6 3726. Svar: 3726

Detaljer

Søking i strenger. Prefiks-søking Naiv algoritme Knuth-Morris-Pratt-algoritmen Suffiks-søking Boyer-Moore-algoritmen Hash-basert Karp-Rabin-algoritmen

Søking i strenger. Prefiks-søking Naiv algoritme Knuth-Morris-Pratt-algoritmen Suffiks-søking Boyer-Moore-algoritmen Hash-basert Karp-Rabin-algoritmen Søking i strenger Vanlige søkealgoritmer (on-line-søk) Prefiks-søking Naiv algoritme Knuth-Morris-Pratt-algoritmen Suffiks-søking Boyer-Moore-algoritmen Hash-basert Karp-Rabin-algoritmen Indeksering av

Detaljer

Obligatorisk oppgavesett 1 MAT1120 H16

Obligatorisk oppgavesett 1 MAT1120 H16 Obligatorisk oppgavesett MAT0 H6 Innleveringsfrist: torsdag /09 06, innen kl 4.30. Besvarelsen leveres på Matematisk institutt, 7. etasje i N.H. Abels hus. Husk å bruke forsiden som du finner via hjemmesiden.

Detaljer

Avanserte flytalgoritmer

Avanserte flytalgoritmer Avanserte flytalgoritmer Magnus Lie Hetland, mars 2008 Stoff hentet fra: Network Flows av Ahua m.fl. (Prentice-Hall, 1993) Graphs, Networks and Algorithms, 2. utg., av Jungnickel (Springer, 2005) Repetisjon

Detaljer

Backtracking som løsningsmetode

Backtracking som løsningsmetode Backtracking Backtracking som løsningsmetode Backtracking brukes til å løse problemer der løsningene kan beskrives som en sekvens med steg eller valg Kan enten finne én løsning eller alle løsninger Bygger

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Plenumsregning 8: Ukeoppgaver Mathias Barra Matematisk institutt, Universitetet i Oslo 6. mars 2009 (Sist oppdatert: 2009-03-06 19:11) Oppgave 5.9 La A = {a, b, c} og B = {p,

Detaljer

Backtracking som løsningsmetode

Backtracking som løsningsmetode Backtracking Backtracking som løsningsmetode Backtracking løser problemer der løsningene kan beskrives som en sekvens med steg eller valg Kan enten finne én løsning eller alle løsninger Bygger opp løsningen(e)

Detaljer

Dagens stoff er hentet fra kapittel 9 i læreboka, samt kapittel 20.5 (som vi «hoppet over» sist)

Dagens stoff er hentet fra kapittel 9 i læreboka, samt kapittel 20.5 (som vi «hoppet over» sist) Dynamisk programmering Undervises av Stein Krogdahl 5. september 2012 Dagens stoff er hentet fra kapittel 9 i læreboka, samt kapittel 20.5 (som vi «hoppet over» sist) Kapittel 9 er lagt ut på undervisningsplanen.

Detaljer

MAT1030 Forelesning 25

MAT1030 Forelesning 25 MAT1030 Forelesning 25 Trær Dag Normann - 27. april 2010 (Sist oppdatert: 2010-04-27 14:16) Forelesning 25 Litt repetisjon Vi har snakket om grafer og trær. Av begreper vi så på var følgende: Eulerstier

Detaljer

(a) For regresjon brukes vanligvis kvadratisk tap: L(y, ŷ) = (y ŷ) 2. Den optimale prediktor basert på input variable x er da Ŷ = E[Y x].

(a) For regresjon brukes vanligvis kvadratisk tap: L(y, ŷ) = (y ŷ) 2. Den optimale prediktor basert på input variable x er da Ŷ = E[Y x]. FORMELSAMLING TIL STK2100 (Versjon Mai 2018) 1 Tapsfunksjoner (a) For regresjon brukes vanligvis kvadratisk tap: L(y, ŷ) = (y ŷ) 2. Den optimale prediktor basert på input variable x er da Ŷ = E[Y x]. (b)

Detaljer

Forelesning 25. MAT1030 Diskret Matematikk. Litt repetisjon. Litt repetisjon. Forelesning 25: Trær. Dag Normann

Forelesning 25. MAT1030 Diskret Matematikk. Litt repetisjon. Litt repetisjon. Forelesning 25: Trær. Dag Normann MAT1030 Diskret Matematikk Forelesning 25: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo Forelesning 25 27. april 2010 (Sist oppdatert: 2010-04-27 14:16) MAT1030 Diskret Matematikk 27. april

Detaljer

Turingmaskiner.

Turingmaskiner. Turingmaskiner http://www.youtube.com/watch?v=e3kelemwfhy http://www.youtube.com/watch?v=cyw2ewoo6c4 Søking i strenger Vanlige søkealgoritmer (on-line-søk) Prefiks-søking Naiv algoritme Knuth-Morris-Pratt-algoritmen

Detaljer

Computational Geometry

Computational Geometry Computational Geometry Grafisk Databehandling 1. Convex hull konveks innhyling 2. Nærmeste par av punkter Convex hull La P være en mengde punkter i et k-dimensjonalt rom, P R k. (Vi skal for enkelthets

Detaljer

LP. Leksjon 7. Kapittel 13: Nettverk strøm problemer

LP. Leksjon 7. Kapittel 13: Nettverk strøm problemer LP. Leksjon 7. Kapittel 13: Nettverk strøm problemer Skal studere matematiske modeller for strøm i nettverk. Dette har anvendelser av typen fysiske nettverk: internet, vei, jernbane, fly, telekommunikasjon,

Detaljer

Rekursiv programmering

Rekursiv programmering Rekursiv programmering Babushka-dukker En russisk Babushkadukke er en sekvens av like dukker inne i hverandre, som kan åpnes Hver gang en dukke åpnes er det en mindre utgave av dukken inni, inntil man

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 25: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 27. april 2010 (Sist oppdatert: 2010-04-27 14:15) Forelesning 25 MAT1030 Diskret Matematikk 27. april

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO Kandidatnummer: BOKMÅL UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i : INF3350/INF4350 Grunnkurs i bioinformatikk Eksamensdag : Tirsdag 5. desember 2006 Tid for eksamen : 15.30

Detaljer

Rekursiv programmering

Rekursiv programmering Rekursiv programmering Babushka-dukker En russisk Babushkadukke er en sekvens av like dukker inne i hverandre, som kan åpnes Hver gang en dukke åpnes er det en mindre utgave av dukken inni, inntil man

Detaljer

Eksamen i fag SIF8010 Algoritmer og Datastrukturer Tirsdag 14. Desember 1999, kl

Eksamen i fag SIF8010 Algoritmer og Datastrukturer Tirsdag 14. Desember 1999, kl Student nr.: Side 1 av 7 Eksamen i fag SIF8010 Algoritmer og Datastrukturer Tirsdag 14. Desember 1999, kl 0900-1500 Faglig kontakt under eksamen: Arne Halaas, tlf. 73 593442. Hjelpemidler: Alle kalkulatortyper

Detaljer

INF 4130 Oppgavesett 3, 20/ m/løsningsforslag

INF 4130 Oppgavesett 3, 20/ m/løsningsforslag INF 4130 Oppgavesett 3, 20/09-2011 m/løsningsforslag Oppgave 1 1.1 Løs oppgave 20.19 (B&P), (a) er vist på forelesningen og kan vel bare repeteres, men løs (b). (a) er altså løst på forelesningen. (b)

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 26: Trær Roger Antonsen Institutt for informatikk, Universitetet i Oslo 5. mai 2009 (Sist oppdatert: 2009-05-06 22:27) Forelesning 26 MAT1030 Diskret Matematikk 5.

Detaljer

Choices, choices. Tiende forelesning. Dynamisk programmering: En serie med valg der valgmulighetene er avhengige av hva vi har valgt før.

Choices, choices. Tiende forelesning. Dynamisk programmering: En serie med valg der valgmulighetene er avhengige av hva vi har valgt før. Choices, choices Tiende forelesning Dynamisk programmering: En serie med valg der valgmulighetene er avhengige av hva vi har valgt før. DAG- SP er erkeeksemplet (og den underliggende modellen for all DP).

Detaljer

Oppgaver til INF 5110, kapittel 5

Oppgaver til INF 5110, kapittel 5 Oppgaver til INF 5110, kapittel 5 Fra boka: 5.3 Vi har sett litt på denne på en forelesning 5.11 Vi har tidligere sett på: -> ) a 5.18 Forsøk også sette alternativet -> til slutt Utvid grammatikken på

Detaljer

Obligatorisk oppgave 1 i MAT1140, Høst Løsninger med kommentarer

Obligatorisk oppgave 1 i MAT1140, Høst Løsninger med kommentarer Obligatorisk oppgave 1 i MAT1140, Høst 2014. Oppgave 1 er med kommentarer En funksjon f : R R er en polynomfunksjon hvis f kan defineres som f(x) = a 0 + a 1 x + + a n x n hvor n 0 og a 0,..., a n er reelle

Detaljer

Innhold. Innledning 1

Innhold. Innledning 1 Innhold Innledning 1 1 Kompleksitetsanalyse 7 1.1 Innledning.............................. 8 1.2 Hva vi beregner........................... 8 1.2.1 Enkle operasjoner...................... 8 1.2.2 Kompleksitet........................

Detaljer

LO118D Forelesning 2 (DM)

LO118D Forelesning 2 (DM) LO118D Forelesning 2 (DM) Kjøretidsanalyse, matematisk induksjon, rekursjon 22.08.2007 1 Kjøretidsanalyse 2 Matematisk induksjon 3 Rekursjon Kjøretidsanalyse Eksempel Finne antall kombinasjoner med minst

Detaljer

Gauss-eliminasjon og matrisemultiplikasjon

Gauss-eliminasjon og matrisemultiplikasjon DUMMY Gauss-eliminasjon og matrisemultiplikasjon Lars Sydnes 9 september 2015 Sammendrag Dette notatet handler om hvordan man løser lineære ligningssystemer, altså systemer av flere ligninger i flere ukjente,

Detaljer

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon Repetisjon og mer motivasjon MAT030 Diskret matematikk Forelesning 22: Grafteori Roger Antonsen Matematisk Institutt, Universitetet i Oslo 4. april 2008 Først litt repetisjon En graf består av noder og

Detaljer

TMA4100 Matematikk 1, høst 2013

TMA4100 Matematikk 1, høst 2013 TMA4100 Matematikk 1, høst 2013 Forelesning 11 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Forelesning 11 Transcendentale funksjoner Vi begynner nå på temaet transcendentale funksjoner. I dagens forelesning

Detaljer

Gauss-Jordan eliminasjon; redusert echelonform. Forelesning, TMA4110 Fredag 18/9. Reduserte echelonmatriser. Reduserte echelonmatriser (forts.

Gauss-Jordan eliminasjon; redusert echelonform. Forelesning, TMA4110 Fredag 18/9. Reduserte echelonmatriser. Reduserte echelonmatriser (forts. Gauss-Jordan eliminasjon; redusert echelonform Forelesning, TMA4110 Fredag 18/9 Martin Wanvik, IMF MartinWanvik@mathntnuno En matrise vil normalt være radekvivalent med flere echelonmatriser; med andre

Detaljer

dg = ( g P0 u)ds = ( ) = 0

dg = ( g P0 u)ds = ( ) = 0 NTNU Institutt for matematiske fag TMA4105 Matematikk 2, øving 8, vår 2011 Løsningsforslag Notasjon og merknader Som vanlig er enkelte oppgaver kopiert fra tidligere års løsningsforslag. Derfor kan notasjon,

Detaljer

Forelesningsnotat i Diskret matematikk 27. september 2018

Forelesningsnotat i Diskret matematikk 27. september 2018 Kvadratiske matriser Hvis en matrise A er kvadratisk kan den multipliseres med seg selv. Vi skriver vanligvis A 2 istedenfor AA, A 3 istedenfor AAA, osv. Spesielt er A 1 = A. Enhetsmatriser, også kalt

Detaljer

Hva er en algoritme? INF HØSTEN 2006 INF1020. Kursansvarlige Ragnar Normann E-post: Dagens tema

Hva er en algoritme? INF HØSTEN 2006 INF1020. Kursansvarlige Ragnar Normann E-post: Dagens tema va er en algoritme? Vanlig sammenligning: Oppskrift. nput lgoritme NF1020 - ØSTEN 2006 Kursansvarlige Ragnar Normann E-post: ragnarn@ifi.uio.no Output Knuth : tillegg til å være et endelig sett med regler

Detaljer

Hvor raskt klarer vi å sortere?

Hvor raskt klarer vi å sortere? Sortering Sorteringsproblemet Gitt en array med n elementer som kan sammenlignes med hverandre: Finn en ordning (eller permutasjon) av elementene slik at de står i stigende (evt. avtagende) rekkefølge

Detaljer

Stein Krogdahl, Dino Karabeg, Petter Kristiansen. Kenneth A. Berman and Jerome L. Paul.

Stein Krogdahl, Dino Karabeg, Petter Kristiansen. Kenneth A. Berman and Jerome L. Paul. Stein Krogdahl, Dino Karabeg, Petter Kristiansen steinkr at ifi.uio.no dino at ifi.uio.no pettkr at ifi.uio.no INF 4130 / 9135 Algoritmer: Design og effektivitet Algorithms: Sequential Parallel and Distributed

Detaljer

FASIT OG TIPS til Rinvold: Visuelle perspektiv. Lineær algebra. Caspar forlag, 1.utgave 2003 og 2.opplag 2004.

FASIT OG TIPS til Rinvold: Visuelle perspektiv. Lineær algebra. Caspar forlag, 1.utgave 2003 og 2.opplag 2004. FAIT OG TIP til Rinvold: Visuelle perspektiv. Lineær algebra. Caspar forlag,.utgave og.opplag. Versjon..9. Det er ikke tatt med svar på alle oppgaver. Denne fasiten vil bli oppdatert etter hvert. Oppdager

Detaljer

MA1102 Grunnkurs i analyse II Vår 2019

MA1102 Grunnkurs i analyse II Vår 2019 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag MA1102 Grunnkurs i analyse II Vår 2019 10.2.27 a) Vi skal vise at u + v 2 = u 2 + 2u v + v 2. (1) Som boka nevner på side 581,

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT30 Diskret matematikk Plenumsregning 6: Ukeoppgaver fra kapittel Roger Antonsen Matematisk Institutt, Universitetet i Oslo. februar 008 Oppgave. Skriv følgende mengder på listeform. (a) Mengden av alle

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Plenumsregning 6: Ukeoppgaver fra kapittel 5 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 21. februar 2008 Oppgave 5.1 Skriv følgende mengder på listeform. (a) Mengden

Detaljer

Grafteori. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.

Grafteori. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori. MAT030 Diskret Matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo Grafteori 20. april 200 (Sist oppdatert: 200-04-20 4:8) MAT030 Diskret Matematikk 20. april 200

Detaljer

MAT1030 Forelesning 2

MAT1030 Forelesning 2 MAT1030 Forelesning 2 Kontrollstrukturer, tallsystemer, basis Dag Normann - 20. januar 2010 (Sist oppdatert: 2010-01-20 12:31) Kapittel 1: Algoritmer (fortsettelse) Kontrollstrukturer I går innførte vi

Detaljer

Trasendentale funksjoner

Trasendentale funksjoner Trasendentale funksjoner Department of Mathematical Sciences, NTNU, Norway September 9, 2014 Kap. 3.1 og 3.2. Forelesning 8. September. Inverse funksjoner, definisjon og eksistens Deriverte av inverse

Detaljer

Om plotting. Knut Mørken. 31. oktober 2003

Om plotting. Knut Mørken. 31. oktober 2003 Om plotting Knut Mørken 31. oktober 2003 1 Innledning Dette lille notatet tar for seg primitiv plotting av funksjoner og visualisering av Newtons metode ved hjelp av Java-klassen PlotDisplayer. Merk at

Detaljer

MAT1030 Forelesning 23

MAT1030 Forelesning 23 MAT030 Forelesning 23 Grafteori Roger Antonsen - 22. april 2009 (Sist oppdatert: 2009-04-22 2:36) Forelesning 23 Repetisjon og mer motivasjon Først litt repetisjon En graf består av noder og kanter Kanter

Detaljer

Forelesning 23. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.

Forelesning 23. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori. MAT030 Diskret Matematikk Forelesning 23: Grafteori Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 23 22. april 2009 (Sist oppdatert: 2009-04-22 2:37) MAT030 Diskret Matematikk

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo 20. april 2010 (Sist oppdatert: 2010-04-20 14:17) Grafteori MAT1030 Diskret Matematikk 20. april

Detaljer

Sorteringsproblemet. Gitt en array A med n elementer som kan sammenlignes med hverandre:

Sorteringsproblemet. Gitt en array A med n elementer som kan sammenlignes med hverandre: Sortering Sorteringsproblemet Gitt en array A med n elementer som kan sammenlignes med hverandre: Finn en ordning (eller permutasjon) av elementene i A slik at de står i stigende (evt. avtagende) rekkefølge

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 2: Kontrollstrukturer, tallsystemer, basis Roger Antonsen Institutt for informatikk, Universitetet i Oslo 14. januar 2009 (Sist oppdatert: 2009-01-14 16:45) Kapittel

Detaljer

INF2810: Funksjonell Programmering. Lokale variabler. Og trær.

INF2810: Funksjonell Programmering. Lokale variabler. Og trær. INF2810: Funksjonell Programmering Lokale variabler. Og trær. Erik Velldal Universitetet i Oslo 11. september 2019 Tema forrige uke 2 Lister som datastruktur quote Rekursjon på lister Høyereordens prosedyrer

Detaljer

TMA4100 Matematikk 1, høst 2013

TMA4100 Matematikk 1, høst 2013 TMA4100 Matematikk 1, høst 2013 Teknostart Forelesning 3 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Teknostart Forelesning 3 Tema Logikk Definisjoner og Teoremer Mengder og Egenskaper ved de Reelle Tall

Detaljer

INF Algoritmer og datastrukturer

INF Algoritmer og datastrukturer INF2220 - Algoritmer og datastrukturer Institutt for informatikk, Universitetet i Oslo INF2220, forelesning 13: Dynamisk programmering (Ifi, UiO) INF2220 H2017, forelesning 13 1 / 30 Dagens plan Dynamisk

Detaljer

Lineære ligningssystemer. Forelesning, TMA4110 Torsdag 17/9. Lineære ligningssystemer (forts.) Eksempler

Lineære ligningssystemer. Forelesning, TMA4110 Torsdag 17/9. Lineære ligningssystemer (forts.) Eksempler Lineære ligningssystemer Generell form; m ligninger i n ukjente, m n-system: Forelesning, TMA4110 Torsdag 17/9 Martin Wanvik, IMF MartinWanvik@mathntnuno a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1

Detaljer

Løsningsforslag til eksamen i fag SIF8010 Algoritmer og Datastrukturer Tirsdag 14. Desember 1999, kl

Løsningsforslag til eksamen i fag SIF8010 Algoritmer og Datastrukturer Tirsdag 14. Desember 1999, kl Student nr.: Side 1 av 7 Løsningsforslag til eksamen i fag SIF8010 Algoritmer og Datastrukturer Tirsdag 14. Desember 1999, kl 0900-1500 Faglig kontakt under eksamen: Arne Halaas, tlf. 73 593442. Hjelpemidler:

Detaljer

MAT1030 Forelesning 28

MAT1030 Forelesning 28 MAT1030 Forelesning 28 Kompleksitetsteori Roger Antonsen - 12. mai 2009 (Sist oppdatert: 2009-05-13 08:12) Forelesning 28: Kompleksitetsteori Introduksjon Da er vi klare (?) for siste kapittel, om kompleksitetsteori!

Detaljer

To geometriske algoritmer, kap. 8.6

To geometriske algoritmer, kap. 8.6 INF 4130, 18. november 2010 To geometriske algoritmer, kap. 8.6 Computational Geometry Stein Krogdahl Hovedkapittelet t (kap. 8) dreier seg generelt om devide-and-conquer eller splitt og hersk : Splitt

Detaljer

INF2810: Funksjonell Programmering. Dataabstraksjon og Trerekursjon

INF2810: Funksjonell Programmering. Dataabstraksjon og Trerekursjon INF2810: Funksjonell Programmering Dataabstraksjon og Trerekursjon Stephan Oepen & Erik Velldal Universitetet i Oslo 15. februar, 2013 Tema 2 Forrige uke Høyere-ordens prosedyrer: Prosedyrer som argumenter

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Plenumsregning 3: Ukeoppgaver fra kapittel 2 & 3 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 31. januar 2008 Oppgave 2.7 - Horners metode (a) 7216 8 : 7 8+2 58

Detaljer

Alle svar skal grunngis. Alle deloppgaver har lik vekt.

Alle svar skal grunngis. Alle deloppgaver har lik vekt. Alle svar skal grunngis. Alle deloppgaver har lik vekt. Oppgave Vi denerer matrisene A, B, og C som A = [ ] 3, B = 5 9, C = 3 3. a) Regn ut følgende matrisesummer og matriseprodukter, om mulig. Dersom

Detaljer

MAT1030 Forelesning 22

MAT1030 Forelesning 22 MAT1030 Forelesning 22 Grafteori Dag Normann - 14. april 2010 (Sist oppdatert: 2010-04-14 12:45) Kombinatorikk Oppsummering av regneprinsipper Ordnet utvalg med repetisjon: n r Ordnet utvalg uten repetisjon:

Detaljer

Kombinatorikk. MAT1030 Diskret Matematikk. Oppsummering av regneprinsipper

Kombinatorikk. MAT1030 Diskret Matematikk. Oppsummering av regneprinsipper MAT1030 Diskret Matematikk Forelesning 22: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo Kombinatorikk 14. april 2010 (Sist oppdatert: 2010-04-14 12:43) MAT1030 Diskret Matematikk 14.

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 22: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo 14. april 2010 (Sist oppdatert: 2010-04-14 12:42) Kombinatorikk MAT1030 Diskret Matematikk 14.

Detaljer

Oppgave 1 Minimum edit distance

Oppgave 1 Minimum edit distance INF-2810 V 2012 Oppgavesett 10, kalenderuke 12. Oppgave 1 Minimum edit distance Vi vil finne det minste antall redigeringsoperasjoner som kreves for å komme fra strengen A til strengen B. Strengene oppgis

Detaljer

Lineære ligningssystemer og gausseliminasjon

Lineære ligningssystemer og gausseliminasjon Kapittel Lineære ligningssystemer og gausseliminasjon Vi skal lære en metode for å finne og beskrive alle løsninger av systemer av m lineære ligninger med n ukjente Oppvarming Her er et eksempel på et

Detaljer

Modell: en binær symmetrisk kanal. binær: sendes kun 0 eller 1

Modell: en binær symmetrisk kanal. binær: sendes kun 0 eller 1 Modell: en binær symmetrisk kanal binær: sendes kun eller 1 symmetrisk: sannsynlighet av transmisjonsfeil p er samme for som for 1 Teorem. La c Z n 2. Dersom en melding c overføres via en binær symmetrisk

Detaljer

Inf109 Programmering for realister Uke 5. I denne leksjonen skal vi se på hvordan vi kan lage våre egne vinduer og hvordan vi bruker disse.

Inf109 Programmering for realister Uke 5. I denne leksjonen skal vi se på hvordan vi kan lage våre egne vinduer og hvordan vi bruker disse. Inf109 Programmering for realister Uke 5 I denne leksjonen skal vi se på hvordan vi kan lage våre egne vinduer og hvordan vi bruker disse. Før du starter må du kopiere filen graphics.py fra http://www.ii.uib.no/~matthew/inf1092014

Detaljer

b) 17 går ikke opp i 84 siden vi får en rest på 16 når 84 deles med 17 c) 17 går opp i 357 siden

b) 17 går ikke opp i 84 siden vi får en rest på 16 når 84 deles med 17 c) 17 går opp i 357 siden Avsnitt. Oppgave Diskret matematikk - Høgskolen i Oslo Løsningsforslag for en del oppgaver fra boken Discrete Mathematics and Its Applications Forfatter: Kenneth H. Rosen a) 7 går opp i 68 siden 68 7 b)

Detaljer

6 Determinanter TMA4110 høsten 2018

6 Determinanter TMA4110 høsten 2018 6 Determinanter TMA4110 høsten 2018 En matrise inneholder mange tall og dermed mye informasjon så mye at det kan være litt overveldende Vi kan kondensere ned all informasjonen i en kvadratisk matrise til

Detaljer

Løsningsforslag. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer:

Løsningsforslag. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer: Løsningsforslag Emnekode: ITF75 Dato: 7. desember Emne: Matematikk for IT Eksamenstid: kl 9. til kl. Hjelpemidler: To -ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt. Faglærer: Christian

Detaljer

INF2220: Forelesning 2

INF2220: Forelesning 2 INF2220: Forelesning 2 Mer om analyse av algoritmer Analyse av binære søketrær Balanserte søketrær Rød-svarte trær (kapittel12.2) B-trær (kapittel 4.7) ANALYSE AV ALGORITMER 2 Analyse av tidsforbruk Hvor

Detaljer

INF 1040 Løsningsforslag til kapittel

INF 1040 Løsningsforslag til kapittel INF 040 Løsningsforslag til kapittel 8 Oppgave : Huffmankoding med kjente sannsynligheter Gitt en sekvens av symboler som er tilstrekkelig lang, og som inneholder de 6 symbolene A, B, C, D, E, F. Symbolene

Detaljer

MAT1030 Forelesning 19

MAT1030 Forelesning 19 MAT1030 Forelesning 19 Generell rekursjon og induksjon Roger Antonsen - 25. mars 2009 (Sist oppdatert: 2009-03-25 11:06) Forelesning 19 Forrige gang så vi på induktivt definerte mengder og noen eksempler

Detaljer

INF2220: Time 12 - Sortering

INF2220: Time 12 - Sortering INF0: Time 1 - Sortering Mathias Lohne mathialo Noen algoritmer Vi skal nå se på noen konkrete sorteringsalgoritmer. Gjennomgående i alle eksempler vil vi sortere tall etter tallverdi, men som diskutert

Detaljer

Ikke lineære likninger

Ikke lineære likninger Ikke lineære likninger Opp til nå har vi studert lineære likninger og lineære likningsystemer. 1/19 Ax = b Ax b = 0. I en dimensjon, lineære likninger kan alltid løses ved hjelp av formler: ax + b = 0

Detaljer

Diofantiske likninger Peer Andersen

Diofantiske likninger Peer Andersen Diofantiske likninger av Peer Andersen Peer Andersen 2013 Innhold Når en diofantisk likning har løsning... 3 Generell løsning av den diofantiske likningen... 4 Løsningsmetode når vi kjenner en spesiell

Detaljer

4 Matriser TMA4110 høsten 2018

4 Matriser TMA4110 høsten 2018 Matriser TMA høsten 8 Nå har vi fått erfaring med å bruke matriser i et par forskjellige sammenhenger Vi har lært å løse et lineært likningssystem ved å sette opp totalmatrisen til systemet og gausseliminere

Detaljer

TMA4123/TMA4125 Matematikk 4M/4N Vår 2013

TMA4123/TMA4125 Matematikk 4M/4N Vår 2013 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA4123/TMA4125 Matematikk 4M/4N Vår 2013 Løsningsforslag Øving 4 1 a) Bølgeligningen er definert ved u tt c 2 u xx = 0. Sjekk

Detaljer

Prosent- og renteregning

Prosent- og renteregning FORKURSSTART Prosent- og renteregning p prosent av K beregnes som p K 100 Eksempel 1: 5 prosent av 64000 blir 5 64000 =5 640=3200 100 p 64000 Eksempel 2: Hvor mange prosent er 9600 av 64000? Løs p fra

Detaljer

KONTROLLSTRUKTURER. MAT1030 Diskret matematikk. Kontrollstrukturer. Kontrollstrukturer. Eksempel (Ubegrenset while-løkke)

KONTROLLSTRUKTURER. MAT1030 Diskret matematikk. Kontrollstrukturer. Kontrollstrukturer. Eksempel (Ubegrenset while-løkke) KONTROLLSTRUKTURER MAT1030 Diskret matematikk Forelesning 2: Flere pseudokoder. Representasjoner av tall. Dag Normann Matematisk Institutt, Universitetet i Oslo 16. januar 2008 Mandag innførte vi pseudokoder

Detaljer

INF2810: Funksjonell Programmering. Lokale variabler. Og trær.

INF2810: Funksjonell Programmering. Lokale variabler. Og trær. INF2810: Funksjonell Programmering Lokale variabler. Og trær. Erik Velldal Universitetet i Oslo 11. september 2019 Tema forrige uke 2 Lister som datastruktur quote Rekursjon på lister Høyereordens prosedyrer

Detaljer

Korteste vei problemet (seksjon 15.3)

Korteste vei problemet (seksjon 15.3) Korteste vei problemet (seksjon 15.3) Skal studere et grunnleggende kombinatorisk problem, men først: En (rettet) vandring i en rettet graf D = (V, E) er en følge P = (v 0, e 1, v 1, e 2,..., e k, v k

Detaljer