INF-MAT5370. Trianguleringer i planet (Preliminaries)
|
|
- Ferdinand Paulsen
- 5 år siden
- Visninger:
Transkript
1 INF-MAT5370 Trianguleringer i planet (Preliminaries) Øyvind Hjelle oyvindhj@simula.no, Simula Research Laboratory, August 23, 2009
2 Innhold Notasjon og terminologi Graf-egenskaper med trianguleringer i planet Enkle trianguleringsalgoritmer
3 Punkter og domener. Vi starter med et sett punkter i planet P = {p i }, i = 1,...,N p i = (x i,y i ). og et domene Ω i planet slik Ω og randen Ω tilfredstiller: Ω P Ω, er ett eller flere enkle lukka polygoner (ikke selvskjærende) Hjørnepunktene i Ω er punkter i P Ω er ofte den konvekse omhylningen til P, for eks. i Delaunay trianguleringer:
4 Konvekst domene til Ω
5 Hva er en triangulering? Grovt sagt er en triangulering av punktene i P en dekomponering av Ω i trekanter (P) = {t i } T i=1 som ikke overlapper hverandre, og slik at hjørnene i alle t i er punkter i P. Eksempler:
6 Notasjoner og (norske) uttrykk., (P) Triangulering (av punkter P), = {t i } T V, V I, V B Sett av noder, indre noder og randnoder E, E I, E B Tilsvarende for sidekanter (eller kanter ) T Sett av trekanter V, E, T Antall noder, sidekanter og trekanter V I, V B Antall indre noder og randnoder ( V = V I + V B ) E I, E B Tilsv. for sidekanter, E = E I + E B V ( ) Antall noder i trianguleringen v i,e i,t i Node, sidekant, trekant e i,j Sidekant mellom noder v i og v j t i,j,k Trekant med v i, v j og v k som noder Alltid definert mot klokka. C(t i,j,k ) Omskrivende sirkel til trekant t i,j,k i=1
7 Topologi og Geometri Vi skiller mellom topologi og geometri: Topologi: Noder, sidekanter og trekanter. Geometri: Punkter, kurver, flatelapper
8 Hva er en gyldig triangulering? 1 Ingen trekant t i,j,k i er degenerert, dvs. p i, p j, og p k er ikke kolineære. 2 Int(t i,j,k ) Int(t α,β,γ ) = φ (Int = Interior ) 3 Snittet t i,j,k t α,β,γ er en felles sidekant, en felles node eller φ. 4 Unionen T i=1 t i = Ω, Ω R 2 og er regulær hvis også: 5 Domenet Ω (og ) er sammenhengende 6 (og Ω) har ingen hull 7 Hvis v i er en randnode i, så er det nøyaktig to randkanter som møtes i v i, dvs. V B = E B.
9 Gyldig, ikke regulær Regulær Ikke gyldig
10 Egenskaper ved trianguleringer. Vi kan se på trianguleringer som spesialtilfeller av grafer. Det er følgende samenheng mellom antall noder, kanter og trekanter. Lemma For en regulær triangulering har vi: T = 2 V I + V B 2 (I) E = 3 V I + 2 V B 3 (II) E I = 3 V I + V B 3 (III) T = E V + 1. (IV ) (IV ) kalles Euler Polyhedron formelen, (eller Euler-Poincaré)
11 Bevis av (I), induksjonsbevis: Trivielt hvis T = 1; da er V I = 0 og V B = 3. Induksjon: Anta T 2 og at en trekant t i fjernes fra slik at også er regulær. Vi har to tilfeller: 1. t i har to randkanter i V I ( ) = V I ( ), og V B ( ) = V B ( ) 1 Anta at (I) holder for : T( ) = T( ) + 1 = ( ) 2 V I ( ) + V B ( ) = 2 V I ( ) + ( V B ( ) 1) = 2 V I ( ) + V B ( ) 2.
12 2. t i har kun en randkant i V I ( ) = V I ( ) 1, og V B ( ) = V B ( ) + 1. Anta at (I) holder for : T( ) = T( ) + 1 = ( ) 2 V I ( ) + V B ( ) = 2( V I ( ) 1) + ( V B ( ) + 1) = 2 V I ( ) + V B 2. (Bevis av (II) og (III) er øvinger.)
13 Bevis av (IV) (IV) følger ved å kombinere (I), (II) og V = V I + V B T = 2 V I + V B 2 = 3 V I + 2 V B 3 ( V I + V B ) + 1 = E V + 1. Nyttige observasjoner: Antall sidekanter og trekanter avhenger av randen Hvis vi setter inn en indre node økes T med 2 og E med 3.
14 Nedre og øvre grenser for T og E uttrykt ved antall noder i. Lemma For en regulær triangulering har vi: V 2 T 2 V 5 2 V 3 E 3 V 6.
15 Bevis. Vi bruker følgende: (I) og (II) V = V I + V B V B 3 (til bruk på høyresiden) V B V (til bruk på venstresiden) T = 2 V I + V B 2 = 2( V I + V B ) V B 2 = 2 V V B 2 E = 3 V I + 2 V B 3 = 3( V I + V B ) V B 3 = 3 V V B 3 og resultatene følger.
16 Definisjon Graden til en node v i, deg(v i ) i en triangulering er antall sidekanter som møtes i v i (eng.: degree or valency). Lemma For en triangulering (regulær eller ikke) har vi V deg(v i ) = 2 E. i=1 Proof. Trivielt; i en gyldig triangulering bidrar hver sidekant med 2 til grad-summen.
17 Når V er stor og Ω er den konvekse omhylningen til P, vil vi ha at V >> V B. Da får vi følgene nyttige uttrykk for gjennomsnittlig grad-sum (average valence): V deg(v i ) = 2 E = 2(3 V I + 2 V B 3) i=1 = 6( V I + V B ) 2 V B 6 = 6 V 2 V B 6 6 V
18 Under de samme betingelsene, V >> V B, får vi for antall trekanter og antall sidekanter: T = 2 V I + V B 2 = 2 V V B 2 2 V E = 3 V I + 2 V B 3 = 3 V V B 3 3 V Estimatene over er nyttige når vi skal estimere: CPU-tid for algoritmer, spesielt traversering lagringsbehov for datastrukturer. Ellers, ved allokering av minne.
19 En enkel trianguleringsalgoritme Algoritme: 1 Gitt randen til som et lukka polygon. 2 Triangulerer settet av randnoder V B 3 Setter inn indre punkter (noder) 4 Setter inn predefinerte sidekanter Definisjon Et punkt p i i et enkelt lukka polygon P = {p 1,... p N } kalles fremskutt (eng.: protruding) dersom 1 Den indre vinkelen ved p i i trekanten t i 1,i,i+1 er mindre enn π. (Konvensjon: p N+1 = p 1 ) 2 Trekanten t i 1,i,i+1 inneholder ingen punkter fra P utenom p i 1, p i, og p i+1. Det kan vises at et hvert lukka polygon har minst to fremskutte punkt.
20 Protruding Point Removal (a) t i-1,i,i+1 p i+1 p i p i-1 (b) 1 (c) 2 1 (d) (e) (f)
21 Algoritme (I) Triangulering av et enkelt lukka polygon P. Algoritme 1 Finn et fremskutt punkt p i i P = {p 1,...,p N }; figur (a) 2 Lag en sidekant e i 1,i+1 av punktene p i 1 og p i+1 og lag trekanten t i 1,i,i+1. La P = {p 1,...,p N } \ p i være det nye polygonet med N 1 punkter; figur (b) 3 If (N == 3), dvs. hvis P er en enkelt trekant STOP; figur (f) 4 GOTO 1.
22 Algoritme (II) Innsetting av et punkt p i i en triangulering. Algoritme 1 Lokaliser en trekant t i ; p i t i 2 If (p i Int(t i )) erstatt t i med tre nye trekanter; figur (a) else if (p i Int(e i )); dvs. e i er en kant i t i erstatt t i og naboen til t i med fire trekanter; figur (b). (a) (b) p i p i e i t i t i
23 Algoritme (I), og Algoritme (II) for alle p i Ω, gir en regulær triangulering i følge definisjonen over. Observasjon: Antall trekanter og sidekanter økes med 2 og 3 for hvert punkt som settes inn med Algoritme (II); jfr. ligning (I) og (II).
24 Triangulering med føringer (Constrained triangulation) Med føringer menes predefinerte sidekanter som skal være med i trianguleringen. Anvendleser: Representasjon av elver, veier og geologiske forkastninger i terrengmodeller. Representasjon av features i DAK-modeller. Predefinerte kanter stiller krav til datastrukturer og algoritmer som må håndtere disse til lavest mulig kostnad. Teorien for Delaunay-trianguleringer er utvidet til å håndtere føringer.
25 Algoritme (III) Innsetting av en predefinert sidekant (constrained edge). Gitt en predefinert sidekan e i,j. Anta at endepunktene p i og p j er satt inn i med Algoritme (II). Algoritme 1 For alle t i i, If (Int(t i ) e ij φ), fjern t i fra Vi får en eller flere regioner R i på hver side av e i,j innenfor enkle lukka polygoner. (Mer enn en hvis e i,j skjærer kanter i endepunkter.) 2 Trianguler hver region R i med Algoritme (I).
26 Innsetting av predefinert sidekant. (a) e i,j p j p i (b) e i,j p j p i
27 Algoritmer: Observasjoner Siden antall noder V B på randen er konstant, har vi full kontroll over antall trekanter T og antall sidekanter, E og E I i henhold til formlene (I) (IV ). Passende datastrukturer/topologistrukturer med naboskapsinformasjon er nødvendig for å unngå worst case CPU-tid, for eks. ved lokaliserng av en trekant t i i slik at et punkt p i t i. (P) er ikke entydig; for eks., i Algoritme (I) avhenger av hvilken rekkefølge fremskutte punkter behandles. Vi skal senere se på en spesiell type triangulering, Delaunay, som er (nesten) entydig.
28 Swapping / Flipping / (Exchange) Swapping er en viktig operasjon på sidekanter i en triangulering. v i+1 v i+2 e i+1,i+3 e i,i+2 v i+3 v i = {t 1,2,3,t 1,3,4 } = {t 1,2,4,t 2,3,4 }
29 Swapping... Kan kun utføres på sidekanter som er diagonaler i strengt konvekse quadrilateraler. Men kan repeteres - det kan vises at: alle mulige trianguleringer av P kan nås via en sekvens av swaps. (Det er et endelig antall trianguleringer av P). Mange trianguleringsalgoritmer er basert på swapping. Kan benyttes for å optimere trianguleringer. Swapping kan gjøres etter ulike kriterier. Hvis vi bruker Delaunay kriterier vil vi til slutt få en Delaunay triangulering som er (nesten) entydig.
30 Swapping: Eksempel Triangulering før ( a ) og etter ( b ) swapping av to sidekanter. (a) (b) Observasjon: a har flere smale trekanter enn b Smale trekanter kan gi numeriske problemer i (geometriske) algoritmer.
31 Flatetrianguleringer (Surface Triangulations) F. eks. stykkevise lineære flater:
32 Barycentriske koordinater p 3 H 2 A H 1 2 p A 1 p 1 A 3 H 3 p 2 p = (x,y,z), p i = (x i,y i,z i ), i = 1,2,3 p = b 1 p 1 + b 2 p 2 + b 3 p 3 b 1 = A 1 /A, b 2 = A 2 /A b 3 = A 3 /A A = A 1 + A 2 + A 3. Høydeverdien (funksjonsverdien i p): z p = b 1 z 1 + b 2 z 2 + b 3 z 3.
Trianguleringer i planet.
Trianguleringer i planet. Preliminaries Notasjon og teminologi Graf-egenskaper med trianguleringer i planet Enkle trianguleringsalgoritmer 1 Punkter og domener. Vi starter med et sett punkter i planet
DetaljerINF-MAT5370. Grafer og datastrukturer
INF-MAT5370 Grafer og datastrukturer Øyvind Hjelle oyvindhj@simula.no, +47 67 82 82 75 Simula Research Laboratory, www.simula.no August 3, 2009 Innhold Kort om grafer Topologiske operatorer og operasjoner,
DetaljerINF-MAT5370. Delaunay-trianguleringer og Voronoi-diagram
INF-MAT5370 Delaunay-trianguleringer og Voronoi-diagram Øyvind Hjelle oyvindhj@simula.no, +47 67 82 82 75 Simula Research Laboratory, www.simula.no September 7, 2009 Innhold Klassisk teori Optimale trianguleringer
DetaljerAlgoritmer for Delaunay-triangulering
Algoritmer for Delaunay-triangulering Øyvind Hjelle oyvindhj@simula.no, +47 67 82 82 75 Simula Research Laboratory, www.simula.no September 21, 2009 Innhold Algoritmer 1 En enkel algoritme 2 Radial Sweep
DetaljerData-avhengige trianguleringer
Data-avhengige trianguleringer Øyvind Hjelle oyvindhj@simula.no, +47 67 82 82 75 Simula Research Laboratory, www.simula.no October 5, 2009 Definition (Data-avhengig triangulering) En triangulering (P),
DetaljerAlgoritmer for Delaunay-triangulering
Algoritmer for Delaunay-triangulering 1. En enkel algoritme 2. Radial Swee 3. Steg-for-steg 4. Inkrementelle algoritmer 5. Slitt-og-hersk Innsetting av unkter Punkt-lokalisering Tidsforbruk 1 Enkel LOP-basert
DetaljerObligatoriske oppgaver 2009
Obligatoriske oppgaver 2009 Sist oppdatert August 13, 2009. Generelt: Dokumentet kan bli oppdatert etter hvert med flere obligatoriske oppgaver. Endringer og tillegg til oppgaver som allerede er gitt blir
DetaljerINF Triangulering. Med sterk støtte fra Petter Kristiansen. Skal først se på et eksempel fra Google Earth
INF 4130 17. november 2011 Triangulering Stein Krogdahl Med sterk støtte fra Petter Kristiansen Skal først se på et eksempel fra Google Earth De bruker en underliggende triangulering av landskapet, men
DetaljerVisualisering av trianguleringer og trianguleringsprosesser. Hovedfagsoppgave. Per-Idar Evensen
UNIVERSITETET I OSLO Institutt for informatikk Visualisering av trianguleringer og trianguleringsprosesser Hovedfagsoppgave Per-Idar Evensen (periev@ifi.uio.no) November 2004 2 Forord Denne hovedfagsrapporten
DetaljerMAT1140: Kort sammendrag av grafteorien
MAT1140, H-15 MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oppsummering av grafteorien i MAT1140. Vekten er på den logiske oppbygningen, og jeg har utelatt all motivasjon og (nesten)
DetaljerPlangeometri Romgeometri Høyere dimensjoner. Vinkler. Arne B. Sletsjøe. Universitetet i Oslo. Faglig-pedagogisk dag, 1.
Universitetet i Oslo Faglig-pedagogisk dag, 1. november 2012 Plangeometri Vinkelsummen i en plan trekant er 180 grader eller π. Vinkelsummen i en firkant er 2π. Proposisjon For en mangekant med vinkler
DetaljerAksiom 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.
Notat 3 for MAT1140 3 Mengder 3.1 Mengder definert ved en egenskap Det matematiske begrepet mengde har sin opprinnelse i vår intuisjon om samlinger. Objekter kan samles sammen til et nytt objekt kalt mengde.
DetaljerKomplekse tall og komplekse funksjoner
KAPITTEL Komplekse tall og komplekse funksjoner. Komplekse tall.. Definisjon av komplekse tall. De komplekse tallene er en utvidelse av de reelle tallene. Dvs at de komplekse tallene er en tallmengde som
DetaljerMAT1140: Kort sammendrag av grafteorien
MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oversikt over den delen av grafteorien som er gjennomgått i MAT1140 høsten 2013. Vekten er på den logiske oppbygningen, og jeg har utelatt
DetaljerINF2220: Forelesning 1. Praktisk informasjon Analyse av algoritmer (kapittel 2) (Binær)trær (kapittel )
INF2220: Forelesning 1 Praktisk informasjon Analyse av algoritmer (kapittel 2) (Binær)trær (kapittel 4.1-4.3 + 4.6) PRAKTISK INFORMASJON 2 Praktisk informasjon Kursansvarlige Ragnhild Kobro Runde (ragnhilk@ifi.uio.no)
DetaljerTrianguleringer og anvendelser
INF-MAT5370 Trianguleringer og anvendelser Fra seilflysimulatoren Silent Wings Bakgrunn for kurset: Kurset ble til til mens vi vi (foreleserne) arbeidet med oppdrag for industrien på SINTEF. Samtlige deler
DetaljerGrunnleggende Grafalgoritmer
Grunnleggende Grafalgoritmer Lars Vidar Magnusson 19.3.2014 Kapittel 22 Representere en graf Bredde-først søk Grafer i Informatikken Problem med grafer går ofte igjen i informatikkens verden, så det å
DetaljerKontinuasjonseksamen i fag SIF8010 Algoritmer og Datastrukturer Torsdag 9. August 2001, kl
Student nr.: Side 1 av 5 Kontinuasjonseksamen i fag SIF8010 Algoritmer og Datastrukturer Torsdag 9. August 2001, kl 0900-1500 Faglig kontakt under eksamen: Arne Halaas, tlf. 73 593442. Hjelpemidler: Alle
DetaljerOppgaver MAT2500 høst 2011
Oppgaver MAT2500 høst 2011 31. oktober 2011 Oppgaver avsnitt 1 Oppgave 1. Bruk cosinussetningen til å se at definisjonen av vinkel i planet blir riktig. Oppgave 2. Vis at d(x, y) = 0 hvis og bare hvis
Detaljerkap. 8.6 Computational Geometry Hovedkapittelet (kap. 8) dreier seg generelt om devide-and-conquer eller splitt og hersk :
INF 4130, 17. november 2011 kap. 8.6 Computational Geometry Stein Krogdahl Hovedkapittelet (kap. 8) dreier seg generelt om devide-and-conquer eller splitt og hersk : Splitt problemet opp i mindre problemer.
DetaljerGrunnleggende Grafteori
Grunnleggende Grafteori 2. September, 2019 Institutt for Informatikk 1 Dagens plan Terminologi og definisjoner Hvordan representere grafer i datamaskinen Traversering Dybde-først-søk Bredde-først-søk Topologisk
DetaljerSpenntrær, oppsummert: Kruskal: Traverserer ikke. Plukker kanter i hytt og vær Prim: Legger alltid til den noden som er nærmest treet
Spenntrær, oppsummert: Kruskal: Traverserer ikke. Plukker kanter i hytt og vær Prim: Legger alltid til den noden som er nærmest treet 1 A B D C Prim: Kruskal: AB, BD, DC DC, AB, BD 2 0 + 1 + + n 1; antall
DetaljerNewtons interpolasjon og dividerte differanser
Newtons interpolasjon og dividerte differanser Gitt (x i, y i ), for i = 0, 1,..., n, Newtons basis funksjoner er definert som 1/16 j 1 π j (x) = (x x 0 )(x x 1 ) (x x j 1 ) = (x x k ) for j = 1,..., n
DetaljerNotasjon i rettingen:
UNIVERSITETET I BERGEN Det matematisk-naturvitenskapelige fakultet Løsningsforslag med kommentarer) til Innlevering /4 i emnet MAT, høsten 207 Notasjon i rettingen: R Rett R Rett, men med liten tulle)feil
DetaljerMAT1030 Forelesning 22
MAT1030 Forelesning 22 Grafteori Roger Antonsen - 21. april 2009 (Sist oppdatert: 2009-04-21 15:13) Introduksjon Introduksjon Vi skal nå over til kapittel 10 & grafteori. Grafer fins overalt rundt oss!
DetaljerForelesningsnotat i Diskret matematikk tirsdag 1. november Pascals trekant. Legg merke til møsteret! Det gir oss Pascals identitet:
Pascals trekant Legg merke til møsteret! Det gir oss Pascals identitet: ( n + 1 k ) = ( n k 1 ) + (n k ) 1 Sjekk med tabellen! La n = 5, og k = 4: ( 5 + 1 2 ) = (6 2 ) = (5 1 ) + (5 2 ) Det stemmer! 15
DetaljerTo 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
DetaljerIntroduksjon. MAT1030 Diskret Matematikk. Introduksjon. En graf. Forelesning 22: Grafteori. Roger Antonsen
MAT1030 Diskret Matematikk Forelesning 22: Grafteori Roger Antonsen Institutt for informatikk, Universitetet i Oslo Introduksjon 21. april 2009 (Sist oppdatert: 2009-04-21 15:13) MAT1030 Diskret Matematikk
DetaljerIntroduksjon. MAT1030 Diskret matematikk. Søkealgoritmer for grafer. En graf
Introduksjon MAT13 Diskret matematikk Forelesning 21: Grafteori Roger Antonsen Matematisk Institutt, Universitetet i Oslo 9. april 28 Vi skal nå over til kapittel 1 & grafteori. Grafer fins overalt rundt
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 21: Grafteori Roger Antonsen Matematisk Institutt, Universitetet i Oslo 9. april 2008 Introduksjon Vi skal nå over til kapittel 10 & grafteori. Grafer fins overalt
DetaljerUNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. INF1080 Logiske metoder for informatikk
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag:. desember Tid for eksamen:.. INF Logiske metoder for informatikk Oppgave Mengdelære ( poeng) La A = {,, {}}, B =
DetaljerLØ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
DetaljerLøsningsforslag til 3. oblogatoriske oppgave i Diskret Matematikk. Høsten 2018
Løsningsforslag til 3. oblogatoriske oppgave i Diskret Matematikk Oppgave 1. ( 9 3 ) = 9 8 7 3 2 1 = 3 4 7 = 84 Høsten 2018 {1, 5, 9}, {1, 6, 8}, {2, 4, 9}, { 2, 5, 8}, {2, 6, 7}, {3, 4, 8}, {3, 5, 7},
DetaljerKommentarer til Eksamen IM005 - V02
Kommentarer til Eksamen IM005 - V02 Følgende oppgaver er aktuelle innenfor dagens pensum: Oppgave 1a,d,e,f,h,i Oppgave 2a,b,c Oppgave 3 Oppgave 4a,c,d I Oppgavene 1f,h,i skal det stå enkel graf (simple
DetaljerFig1. Den konvekse innhyllinga av 100 tilfeldige punkter i planet (de samme som nyttes i oppgaven.)
Oblig3 i INF2440 våren 2015-ver3. Den konvekse innhyllinga til en punktmengde - et rekursivt geometrisk problem. Innleveringsfrist fredag 27. mars kl. 23.59 En punktmengde P i planet består av n forskjellige
DetaljerMA2401 Geometri Vår 2018
MA2401 Geometri Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 6 4.5 1 La ABC være en trekant, og la D være et punkt på AB slik at A B D. Utsagnet
DetaljerINF3170 / INF4171. Intuisjonistisk logikk: Kripke-modeller, sunnhet, kompletthet. Andreas Nakkerud. 15. september 2015
INF3170 / INF4171 Intuisjonistisk logikk: Kripke-modeller, sunnhet, kompletthet Andreas Nakkerud 15. september 2015 Kripke-modeller Vi ser på modeller for et språk L. Definisjon En Kripke-modell er et
DetaljerUNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 10. desember 2013 Tid for eksamen: 09.00 13.00 Oppgave 1 Mengdelære (10 poeng)
DetaljerEksamen i TMA4180 Optimeringsteori Løsningsforslag.
Eksamen i TMA48 Optimeringsteori Løsningsforslag. Oppgave :. ordens betingelse for minima gir oss f(x) = [ 2x 2x 2 + 2 2x 2 2x 2 ] [ = som er oppfylt for når x 2 = x +. I dette punktet er [ ] 2 2 2 f(x)
DetaljerPG4200 Algoritmer og datastrukturer Forelesning 10
PG4200 Algoritmer og datastrukturer Forelesning 10 Lars Sydnes, NITH 9. april 2014 NOE Å STUSSE PÅ? Quadratic probing i Hash-tabell: ( ) 2 i + 1 p = p + ( 1) i+1 2 Underforstått forutsetning: Heltallsaritmetikk
DetaljerTMA4105 Matematikk 2 Vår 2014
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA4105 Matematikk 2 Vår 2014 Løsningsforslag Øving 7 10.4.7 Vi skal finne likningen til et plan gitt to punkter P = (1, 1,
DetaljerUke 12 inf2440 v2018. Eric Jul PSE-gruppa Ifi, UiO
Uke 12 inf2440 v2018 Eric Jul PSE-gruppa Ifi, UiO Oblig 5 veiledning, 2018 i dag, den sekvensielle løsninga. Den konvekse innhyllinga til n punkter Oblig 4 Hva er det, definisjon Hvordan ser den ut Hva
DetaljerKul geometri - overflateareal og volum av kuler
Kul geometri - overflateareal og volum av kuler Helmer Aslaksen Institutt for lærerutdanning og skoleforskning/matematisk institutt Universitetet i Oslo helmer.aslaksen@gmail.com www.math.nus.edu.sg/aslaksen/
DetaljerMAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile
MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile 1 Introduksjon: Grupper og ringer Ringer En ring er et sted hvor du kan addere, subtrahere og multiplisere. Hvis du også kan dividere kalles ringen for
DetaljerForelesning 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
DetaljerEksamensoppgave i TDT4120 Algoritmer og datastrukturer
Institutt for datateknikk og informasjonsvitenskap Eksamensoppgave i TDT0 Algoritmer og datastrukturer Faglig kontakt under eksamen Magnus Lie Hetland Telefon 98 5 99 Eksamensdato 9. august, 07 Eksamenstid
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer HØSTEN 2009 Institutt for informatikk, Universitetet i Oslo INF2220, forelesning 6: Grafer Bjarne Holen (Ifi, UiO) INF2220 H2009, forelesning 6 1 / 31 Dagens plan:
DetaljerSALG > KOSTNAD når mer enn 100 produkt selges. Virksomheten går da med overskudd.
SALG > KOSTNAD y = 20x Salg y = 0 000 Kostnad 20x > 0 000 SALG > KOSTNAD mer enn 00 produkt selges. Virksomheten går da med overskudd. Slik kan ulikheter løses grafisk En ulikhet består av en venstre side,
DetaljerNinety-nine bottles. Femte forelesning. I dagens forelesning: Mest matematiske verktøy. Først: Asymptotisk notasjon. Så: Rekurrensligninger.
I dagens forelesning: Mest matematiske verktøy. Først: Asymptotisk notasjon. Så: Rekurrensligninger. Hva slags kjøretid har denne sangen? Hvordan kan du formulere det som en rekurrensligning? Ninety-nine
DetaljerTMA4100 Matematikk1 Høst 2008
TMA400 Matematikk Høst 008 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 4 4..3 Vi skal finne absolutt maksimum og absolutt minimum verdiene for funksjonen
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF Logiske metoder for informatikk Eksamensdag:. desember Tid for eksamen:.. Oppgavesettet er på sider. Vedlegg: Ingen Tillatte
DetaljerOppsummering TMA4100. Kristian Seip. 26./28. november 2013
Oppsummering TMA4100 Kristian Seip 26./28. november 2013 Forelesningene 26./28. november Disse forelesningene er et forsøk på å se de store linjer og sammenhengen mellom de ulike deltemaene i TMA4100 delvis
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 28. november 2014 Tid for eksamen: 08.15 12.15 Oppgave 1 Mengdelære (10 poeng)
DetaljerINF3170 / INF4171. Predikatlogikk: Skolemfunksjoner; Andreordens logikk. Andreas Nakkerud. 10. september 2015
INF3170 / INF4171 Predikatlogikk: Skolemfunksjoner; Andreas Nakkerud 10. september 2015 Henkin-vitner Theorem La T være en teori med språk L, slik at T xφ(x), hvor FV (φ) = {x}. La c være en konstant som
DetaljerSemantikk Egenskaper ved predikatlogikk Naturlig deduksjon INF3170 / INF4171. Predikatlogikk: Semantikk og naturlig deduksjon.
INF3170 / INF4171 Predikatlogikk: Semantikk og naturlig deduksjon Andreas Nakkerud 3. september 2015 Eksempel Gitt en similaritetstype 0, 2; 1; 2 bygger vi en struktur (modell) hvor A = {c 1, c 2, a, b},
DetaljerRekker (eng: series, summations)
Rekker (eng: series, summations) En rekke er summen av leddene i en følge. Gitt følgen a 0, a 1, a,, a n,, a N Da blir den tilsvarende rekken a 0 + a 1 + a + + a n + + a N Bokstaven n er en summasjonsindeks.
DetaljerDenne følgen har N+1 ledd. En generell uendelig følge kan settes opp slik:
Følger En følge (eng: sequence) er en oppramsing av tall. Hvert tall i oppramsingen har et nummer eller en posisjon som er bestemt av hvor i følgen tallet står. Det første tallet har vanligvis posisjonen
DetaljerPlatonske legemer i klasserommet
Platonske legemer i klasserommet Kristian Ranestad 13. mai 2005 2 Innhold Forord iii 1 Innledning 1 2 Regulære mangekanter 3 3 Platonske legemer 7 3.1 Dualitet eller søskenforhold................... 12
DetaljerOppgaver MAT2500. Fredrik Meyer. 20. september v e + f = 2
Oppgaver MAT2500 Fredrik Meyer 20. september 2014 Oppgave 1. Beskriv et polyeder med 5 hjørner og 6 sider der alle sidene er trekanter. Beskriv to polyedre med 6 hjørner og 8 sider der alle sidene er trekanter.
DetaljerTMA4120 Matematikk 4K Høst 2015
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA41 Matematikk 4K Høst 15 Løsningsforslag Øving 9 hapter 13.7 La z. Logaritmen til z, ln z, er definert som tallene ln z ln
DetaljerINF2220: Forelesning 1
INF2220: Forelesning 1 Praktisk informasjon Analyse av algoritmer (kapittel 2) (Binær)trær (kapittel 4.1-4.3 + 4.6) Praktisk informasjon 2 Praktisk informasjon Kursansvarlige Ingrid Chieh Yu de Vibe (ingridcy@ifi.uio.no)
DetaljerKul geometri - overflateareal og volum av kuler
Kul geometri - overflateareal og volum av kuler Helmer Aslaksen Institutt for lærerutdanning og skoleforskning/matematisk institutt Universitetet i Oslo helmer.aslaksen@gmail.com www.math.nus.edu.sg/aslaksen/
DetaljerTMA4100 Matematikk 1, høst 2013
TMA4100 Matematikk 1, høst 2013 Forelesning 9 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Forelesning 9 Derivasjon I dagens forelesning skal vi se på følgende: 1 Tilnærminger til små endringer. 2 Vekstfart.
Detaljerdg = ( 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,
DetaljerMAT1030 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.
DetaljerForberedelse Kompletthet Kompakthet INF3170 / INF4171. Predikatlogikk: kompletthet, kompakthet. Andreas Nakkerud. 8.
INF3170 / INF4171 Predikatlogikk: kompletthet, kompakthet Andreas Nakkerud 8. september 2015 Forberedelse Theorem La x være en variabel som ikke forekommer i Γ eller i φ. (i) Γ φ Γ[x/c] Γ[x/c]. (ii) Hvis
DetaljerKombinatorikk. 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.
DetaljerMAT1030 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.
DetaljerMAT1030 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:
DetaljerAlgoritmer 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
DetaljerMA2401 Geometri Vår 2018
MA2401 Geometri Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 1 2.4 7 I Fanos geometri (se side 18 i læreboka) er punktene gitt ved symbolene
DetaljerLøsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008. i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. 0 1 0 0
Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008 8.4.27 Vi beregner matrisene W i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. a) W 0 = W 1 = W 2 = 1 0 0 0 1 1 0 0 b) W 0 = c) W 0 = d) W 0
DetaljerRekursiv 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Øvingsforelesning 2 - TDT4120. Grafer og hashing. Benjamin Bjørnseth
Øvingsforelesning 2 - TDT4120 Grafer og hashing Benjamin Bjørnseth Informasjon Studasser algdat@idi.ntnu.no Program Presentasjon av øving 2 Grafer og traverseringsalgoritmer BFS, DFS Hashing Gjennomgang
DetaljerNotat om Peanos aksiomer for MAT1140
Notat om Peanos aksiomer for MAT1140 1 Tall Hva er egentlig tall? Tanken her, er ikke å si hva tall er, hva deres interne struktur muligens kan være, men å si hva vi kan gjøre med dem, sett utenifra. Vi
DetaljerAlgoritmer og datastrukturer Kapittel 2 - Delkapittel 2.2
Delkapittel 2.2 Konvekse polygoner Side 1 av 7 Algoritmer og datastrukturer Kapittel 2 - Delkapittel 2.2 2.2 Konvekse polygoner 2.2.1 Konveksitet La p 0, p 1, p 2....., p n-1 være en samling på n punkter
DetaljerLO118D Forelesning 10 (DM)
LO118D Forelesning 10 (DM) Grafteori 03.10.2007 1 Korteste vei 2 Grafrepresentasjoner 3 Isomorfisme 4 Planare grafer Korteste vei I en vektet graf går det an å finne den veien med lavest total kostnad
DetaljerKurshefte GeoGebra. Ungdomstrinnet
Kurshefte GeoGebra Ungdomstrinnet GeoGebra Geometri og algebra Dynamisk geometriverktøy Algebraisk verktøy Gratis Brukes på alle nivåer i utdanningssystemet Finnes på både bokmål og nynorsk Kan lastes
DetaljerBinomialkoeffisienter
Binomialkoeffisienter Litt repetisjon: ( n r ) = n! (n r)! r! r 0, n 0 Dette gir oss fordi ( n r ) = ( n n r ) ( n n 1 ) = n ( n n 1 ) = ( n n (n 1) ) = (n 1 ) = n Andre viktige observasjoner: 0! = 1 (
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 16: Rekursjon og induksjon Roger Antonsen Institutt for informatikk, Universitetet i Oslo 17. mars 009 (Sist oppdatert: 009-03-17 11:4) Forelesning 16 MAT1030 Diskret
DetaljerTessellering og mangekanter:
Tessellering og mangekanter: 1. Hva menes med et tessellering? 2. Hva mener vi når vi sier at en figur tessellerer? 3. Hva er en mangekant? 4. Hva menes en regulær mangekant? 5. Regulære mangekanter kan
DetaljerMA2401 Geometri Vår 2018
MA2401 Geometri Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 8 5.1 9 La l og m være to parallelle linjer. Vi skal vise at det finnes ei linje
DetaljerDefinisjon av binært søketre
Binære søketrær Definisjon av binært søketre For alle nodene i et binært søketre gjelder: Alle verdiene i nodens venstre subtre er mindre enn verdien i noden Alle verdiene i nodens høyre subtre er større
DetaljerPolare trekanter. Kristian Ranestad. 27. oktober Universitetet i Oslo
Universitetet i Oslo 27. oktober 2011 Pol og polare Enhetssirkelen har likningen q(x, y) = x 2 + y 2 1 = 0 For hvert punkt a = (a 1, a 2 ) på sirkelen er tangentlinja til sirkelen definert av likningen
DetaljerDagens plan: INF Algoritmer og datastrukturer. Grafer vi har sett allerede. Det første grafteoretiske problem: Broene i Königsberg
Dagens plan: INF2220 - Algoritmer og datastrukturer HØSTEN 2009 Institutt for informatikk, Universitetet i Oslo INF2220, forelesning 6: Grafer Definisjon av en graf Grafvarianter Intern representasjon
DetaljerANDREAS LEOPOLD KNUTSEN
NOTAT OM FUNKSJONER AV FLERE VARIABLE VEDLEGG TIL BRUK I KURSET MAT112 VED UNIVERSITETET I BERGEN ANDREAS LEOPOLD KNUTSEN Dette notatet inneholder ikke noe nytt pensum i kurset MAT112 i forhold til læreboken
DetaljerKarakterer. Kapittel Homomorfier av grupper. 8.2 Representasjoner
Kapittel 8 Karakterer 8. Homomorfier av grupper I forrige kapittel definerte vi begrepet abstrakt gruppe, som en abstrakt versjon av begrepet symmetrigruppe. For å studere forbindelsen mellom abstrakte
DetaljerLøsningsforlag til eksamen i Diskret matematikk. 29. november 2017
Løsningsforlag til eksamen i Diskret matematikk 29. november 2017 Oppgave 1, 2, 3, 4, 5 og 6 teller likt. For å få full score må man vise hvordan man har kommet frem til svarene (ved f. eks. figurer eller
DetaljerNORGES INFORMASJONSTEKNOLOGISKE HØGSKOLE
Oppgavesettet består av 6 (seks) sider. NORGES INFORMASJONSTEKNOLOGISKE HØGSKOLE Matematikk R1 GEOMETRI OG VEKTORER Tillatte hjelpemidler: Alle Varighet: Ubegrenset Dato: 10.4 (Innleveringsfrist) Fagansvarlig:
DetaljerOppsummering TMA4100. Kristian Seip. 16./17. november 2015
Oppsummering TMA4100 Kristian Seip 16./17. november 2015 Forelesningene 17./18. november Denne forelesningen beskriver de store linjer og sammenhengen mellom de ulike deltemaene i TMA4100 noen tips for
DetaljerEksamen MAT H Løsninger
Eksamen MAT1140 - H2014 - Løsninger Oppgave 1 Vi setter opp en vanlig sannhetsverditabell. La Φ betegne formelen i oppgaven. Tabellen vil bli som følger: A B C A B A C Φ T T T T T T T T F T T T T F T F
DetaljerINF Algoritmer og datastrukturer
INF2220 - Algoritmer og datastrukturer HØSTEN 2016 Ingrid Chieh Yu Institutt for informatikk, Universitetet i Oslo Forelesning 5: Grafer I Ingrid Chieh Yu (Ifi, UiO) INF2220 H2016, forelesning 5 1 / 49
DetaljerMorleys teorem, Eulerlinja og nipunktsirkelen
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Morleys teorem, Eulerlinja og nipunktsirkelen til MA2401 Geometri: Morleys teorem, Eulerlinja og nipunktsirkelen I dette notatet
DetaljerEKSAMEN I TMA4180 OPTIMERINGSTEORI
Norges teknisknaturvitenskapelige universitet Institutt for matematiske fag Side av 4 Faglig kontakt under eksamen: Marte Pernille Hatlo 7359698 / 97537854 EKSAMEN I TMA48 OPTIMERINGSTEORI Fredag 2. juni
DetaljerKompleksitetsteori reduksjoner
Kompleksitetsteori reduksjoner En slags liten oversikt, eller huskeliste, for kompleksitetsteorien i INF 4130. Ikke ment å være verken fullstendig eller detaljert, men kanskje egnet til å gi noen knagger
DetaljerTMA4210 Numerisk løsning av part. diff.lign. med differansemetoder Vår 2005
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA4210 Numerisk løsning av part. diff.lign. med differansemetoder Vår 2005 Løsningsforslag Øving 2 1 Denne oppgaven er ganske
DetaljerOppsummering TMA4100. Kristian Seip. 17./18. november 2014
Oppsummering TMA4100 Kristian Seip 17./18. november 2014 Forelesningene 17./18. november Disse forelesningene er et forsøk på å se de store linjer og sammenhengen mellom de ulike deltemaene i TMA4100 delvis
DetaljerSammendrag R1. Sandnes VGS 19. august 2009
Sammendrag R1 Sandnes VGS 19. august 2009 1 1 Notasjon Implikasjon Vi skriver A B hvis påstanden A impliserer B. Det vil si at hvis påstand A er riktig, så er påstand B riktig. Ekvivalens Vi skriver A
DetaljerKapittel 10 fra læreboka Grafer
Kapittel 10 fra læreboka Grafer (utdrag) En graf er en samling punkter (noder) og kanter mellom punktene (eng. nodes, vertex, edge). En graf kalles rettet hvis kantene har en retning og urettet hvis kantene
Detaljer