LØSNINGSFORSLAG SIF5015 DISKRET MATEMATIKK Onsdag 18. desember 2002

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

LØSNINGSFORSLAG, SIF 5015, DISKRET MATEMATIKK 12. august 2003 Oppgave 1. La oss begynne med å bygge en ikke-deterministisk maskin:

EKSAMEN I FAG TMA4140 DISKRET MATEMATIKK Tirsdag 16. desember 2003 Tid :

TMA4140 Diskret Matematikk Høst 2018

LF, KONTINUASJONSEKSAMEN TMA

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG

Eksamensoppgave i TMA4140 Diskret matematikk

{(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)}

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

FASIT/LF FOR EKSAMEN TMA4140, H07

LØSNINGSFORSLAG KONT 07, TMA4140

Matematikk for IT. Prøve 1. Torsdag 17. september Løsningsforslag. 22. september 2015

Matematikk for IT. Prøve 1. Onsdag 18. september Løsningsforslag

Eksamensoppgave i TMA4140 Diskret matematikk

Matematikk for IT Eksamen. Løsningsforslag

Niels Henrik Abels matematikkonkurranse Løsninger

Løsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

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

Eksamensoppgave i TMA4140 Diskret matematikk

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

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

LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1

Korteste vei i en vektet graf uten negative kanter

MIDTSEMESTERPRØVE I FAG TMA4140 DISKRET MATEMATIKK Mandag 20. oktober 2003 Tid : INSTRUKSJONER:

TMA4140 Diskret Matematikk Høst 2016

QED 1 7. Matematikk for grunnskolelærerutdanningen. Bind 2. Fasit kapittel 1 Tallenes hemmeligheter

EKSAMEN. Oppgavesettet består av 11 oppgaver med i alt 21 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten i for i = 0, 1, 2, 3, 4, og så er W 4 svaret

MAT1140: Kort sammendrag av grafteorien

Vann i rør Ford Fulkerson method

TMA4140 Diskret Matematikk Høst 2016

Løysingsforslag til eksamen i MA1301-Talteori, 30/

EKSAMEN. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

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

Eksamen MAT H Løsninger

EKSAMEN. Emne: Emnekode: Matematikk for IT ITF Dato: Eksamenstid: til desember Hjelpemidler: Faglærer:

Kryptering Kongruensregning Kongruensregning i kryptering Litteratur. Hemmelige koder. Kristian Ranestad. 9. Mars 2006

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

MAT1030 Diskret Matematikk

Go with the. Niende forelesning. Mye matematikk i boka her ikke så komplisert, men mye å holde styr på.

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

Emnenavn: Matematikk for IT. Eksamenstid: Faglærer: Christian F Heide

For en tid siden ble jeg konfrontert med følgende problemstilling:

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. INF1080 Logiske metoder for informatikk

Dette brukte vi f.eks. til å bevise binomialteoremet. n i. (a + b) n = a i b n i. i=0

Oversikt over kryptografi

Emnenavn: Matematikk for IT. Eksamenstid: Faglærer: Christian F Heide

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)

Øvingsforelesning 4. Modulo hva er nå det for no? TMA4140 Diskret Matematikk. 24. og 26. september 2018

Eksamen i Elementær Diskret Matematikk - (MA0301)

EKSAMEN. Oppgavesettet består av 9 oppgaver med i alt 21 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

UNIVERSITETET I OSLO

Eneboerspillet del 2. Håvard Johnsbråten, januar 2014

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

EKSAMEN. To A4-ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt.

Kommentarer til Eksamen IM005 - V02

MA1301 Tallteori Høsten 2014 Løsninger til Eksamen

Løsningsforlag til eksamen i Diskret matematikk. 29. november 2017

LØSNINGSFORSLAG EKSAMEN V06, MA0301

MAT1030 Diskret matematikk

LO118D Forelesning 10 (DM)

Løsningsforslag til 3. oblogatoriske oppgave i Diskret Matematikk. Høsten 2018

True False. Q(0, 1, 2) yq(0, y, y) x yq(x, y, 10) x yq(x, y, x + x) y xq(x, y, x + x) x y Q(x, y, x + x) y x Q(x, y, x + x) x y zq(x, y, z)

Introduksjon. MAT1030 Diskret matematikk. Søkealgoritmer for grafer. En graf

MAT1030 Diskret matematikk

MAT1030 Forelesning 30

Introduksjon. MAT1030 Diskret Matematikk. Introduksjon. En graf. Forelesning 22: Grafteori. Roger Antonsen

Mer om likninger og ulikheter

Emnenavn: Matematikk for IT. Eksamenstid: Faglærer: Christian F Heide

MAT1030 Forelesning 23

EKSAMEN. Oppgavesettet består av 16 oppgaver. Ved sensur vil alle oppgaver telle like mye med unntak av oppgave 6 som teller som to oppgaver.

Tallinjen FRA A TIL Å

EKSAMENSOPPGAVE. Godkjent kalkulator; Rottmanns tabeller; To A4 ark egne notater (håndskrevne, trykte, eller blandede).

Løsningsforslag til 1. del av Del - EKSAMEN

Matematikk 15 V-2008

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

Cr) Høgskoleni østfold

Teorem 10 (Z n, + n ) er en endelig abelsk gruppe. 8. november 2005 c Vladimir Oleshchuk 35. Teorem 11 (Z n, ) er en endelig abelsk gruppe.

Frankering og computer-nettverk

Korteste vei problemet (seksjon 15.3)

1 C z I G + + = + + 2) Multiplikasjon av et tall med en parentes foregår ved å multiplisere tallet med alle leddene i parentesen, slik at

Matematikk for IT, høsten 2016

Høgskoleni østfold. EKSAMEN Ny og utsatt

Mengder, relasjoner og funksjoner

Oblig 1 - MAT2400. Fredrik Meyer

MIDTSEMESTERPRØVE I TMA4140 Diskret matematikk. 14. oktober 2016 Tid:

Tallregning og algebra

Forelesning 19 torsdag den 23. oktober

Oversikt over bevis at det finnes uendelig mange primtall med bestemte egenskaper

Før vi begynner. Kapittel 5: Relasjoner og funksjoner. MAT1030 Diskret Matematikk. Litt om obligen og studentengasjementet

Kapittel 5: Relasjoner

KJENT OG UKJENT I ELEMENTÆR TALLTEORI. Dan Laksov KTH, Stockholm

Forelesning 22 MA0003, Mandag 5/ Invertible matriser Lay: 2.2

ADDISJON FRA A TIL Å

TMA4140 Diskret Matematikk Høst 2016

LØSNINGSFORSLAG UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. Oppgave 1 Mengdelære (10 poeng)

Funksjoner og andregradsuttrykk

Forelesning 1. Algoritmer, pseudokoder og kontrollstrukturer. Dag Normann januar Vi som skal undervise. Hva er diskret matematikk?

Matematikk for IT. Prøve 1. Torsdag 18. september Løsningsforslag

MAT1030 Diskret Matematikk

Transkript:

Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 7 LØSNINGSFORSLAG SIF55 DISKRET MATEMATIKK Onsdag 8. desember 22 Oppgave a) Vi vil ha 77x (mod 3), så vi trenger en x som er en løsning til 77x =3c eller 77x 3c =. Ved Euklid s algoritme har vi 77 = 3 5 + 2 3 = 2 + så 77 og 3 har som største felles divisor,så ligningssettet har en løsning: = 3 2 = 3 (77 3 5) = 6 3 77. Dermed er eninverstil77modulo3, så den inversen vi søker er x =2. b) 3 er et primtall og 3 9, så Fermats lille setning forteller oss at 9 2 (mod 3). 477 = 23 2 + og 9 2 (mod 3), så 9 477 2(mod 3). Dermed må viløse systemet 2x + 5y 3 (mod 3) 5x y 2 (mod 3) Multipliser den andre ligningen med 5 og legg til den første ligningen. Dette gir 77x 3 (mod 3). Multipliser hver side med en invers til 77 modulo 3 (eller se direkte) at vi har x (mod 3). Hvis vi setter dette inn i den andre ligningen får vi y 2 (mod 3). Dermed er (, ) og (3, )de mulige løsningene for (x, y) som tilfredsstiller alle kravene.

Side 2 av 7 Oppgave 2 Hvis x er tallet gjesten tenker på kan vi uttrykke at restene er 2, 3og5ved x 2 (mod 7) x 3 (mod ) x 5 (mod 3) 7 3 =, så den kinesiske restsetningen forteller oss at det finnes en unik løsning til systemet over slik at x<. For hver ligning finner vi en løsning som er kongruent med null i de to andre ligningene: Invers til 3 = 43 modulo 7, 43 3(mod7), og5ereninverstil3modulo7, så5er en invers til 3 modulo 7. Dermed er x =2 5 3 = 43 en løsning til den første ligningen, og x er kongruent med null i de to andre. Invers til 7 3 = 9 modulo, 9 3 (mod ), og4ereninverstil3modulo, så4eren invers til 7 3 modulo. Ta x 2 =3 4 7 3 = 92. Inversen til 7 = 77 modulo 3, 77 (mod 3), og ereninverstil modulo 3, så ereninverstil7 modulo 3. Ta x 3 =5 ( ) 7 = 385. Dermed vil x + x 2 + x 3 = 43 + 92 385 = 237 være en løsning til systemet over. Alle tall som er kongruent med dette tallet modulo 7 3 = er også løsninger, så løsningen vi ser etter er x = 237 2 = 35. Så tallet gjesten tenkte på var 35. Oppgave 3 a) Siden et tre ikke kan ha kretser kan et tre med 4 hjørner bare ha tre kanter. Et slikt tre kan heller ikke ha færre kanter, siden det da ikke kan være sammenhengende. Alle slike trær med et hjørne med grad 3 er isomorfe: La isomorfien sende hjørnet med grad 3 i det ene treet til hjørnet med grad 3 i det andre treet. De andre hjørnene kan knyttes sammen tilfeldig, siden den eneste naboen de kan ha er hjørnet med grad 3. Hvis et tre med fire hjørner og 3 kanter ikke har et hjørne med grad 3 må vihatohjørner med grad og to med grad 2. Slike trær vil også alltid være isomorfe: Velg et hjørne med grad en i hvert tre og knytt disse sammen med isomorfien. De vil kun ha en nabo, så knytt disse sammen. Dette hjørnet vil ha to naboer. Den ene er hjørnet vi startet ved, den andre er et hjørne med grad 2. Knytt disse sammen. Deretter står det bare et hjørne ihvergrafigjen,så disse skal knyttes sammen.

Side 3 av 7 Dermed finnes det 2 forskjellige typer trær med 4 hjørner. b) En sammenhengende enkel graf med fire hjørner kan ha enten 3, 4, 5 eller 6 kanter. De med 3 kanter er nøyaktig beskrevet i deloppgaven over. Det finnes også bare en type slik graf med 6 kanter (alle hjørnene har grad 3 og er naboer med hverandre). Vi trenger derfor finne ut hvor mange muligheter vi har med enten 4 eller 5 kanter. 4 kanter: Vi kan ta utgangspunkt i grafene med 3 kanter, og legge til en kant. Siden vi skal ha en enkel graf er det begrensede muligheter. Til den til høyre over kan vi lage følgende to typer: Fra den til venstre i deloppgaven over kan vi bare lage en type graf ved å legge til en kant, nemlig den til venstre over. Dermed finnes det 2 typer enkle sammenhengende grafer med 4hjørnerogfirekanter. 5 kanter: Vi kan enten få disse ved å legge til en kant på de med fire kanter eller trekke fra en kant fra de med 6 kanter. Uansett får vi bare en type graf: To hjørner med grad 2; disse er ikke naboer. To hjørner med grad 3; disse er naboer med alle. Dermed har vi 2 + 2 + + = 6 forskjellige enkle sammenhengende grafer med 4 hjørner Hvis vi i tillegg regner med de ikkesammenhengende grafene: En graf uten kanter. En med en kant. To med 2 kanter.

Side 4 av 7 Med tre kanter kan vi få engraftil Med fire eller flere kanter må grafen være sammenhengende for å være enkel. Dermed har vi totalt forskjellige grafer. Oppgave 4 a) Vivetatetspråk som gjennkjennes av en ikkedeterministisk endeligtilstandsautomat også kan gjennkjennes av en deterministisk en. Vi følger bokens bevis for dette og får en deterministisk N som gjennkjenner L (M 2 er allerede deterministisk): start {s,s,s 2 } {s,s } {s,s 2 } {s } {s } {s 2 } Vi kan nå slå sammen N og M 2 for åfå en automat som beskriver L. Vi endrer navn på tilstandene i M 2 til t j for å ikke blande dem sammen med tilstandene fra M.,

Side 5 av 7 start {s,s,s 2 } {s,s } {s,s 2 } {s } {s 2 } r a a b a t t 2 b b b t a t 3 a,b a,b,, I tillegg skal det gå piler fra alle tilstandene til tilstanden slik at,, a og b går ut fra hver tilstand. (M.a.o. fra tilstandene med s er skal det gå en a-pil og en b-pil til, og fra tilstandene med t er skal det gå en -pil og en -pil til.) Deterogså mulig åslå sammen M og M 2 først, og deretter lage en deterministisk automat ut av den som da oppstår, men det er kanskje litt mer arbeid? b) Vi vet at regulære mengder er nøyaktig de som generers av regulære grammatikker. Kleenes setning sier at L er en regulær mengde siden L gjennkjennes av en endeligtilstandsautomat, så det finnes en regulær grammatikk som genererer L. Oppgave 5 For at R skal være en delvis ordning kreves det at R er refleksiv, transitiv og antisymmetrisk. refleksiv: Hvis a er et tall, så vetviata deler seg selv. transitiv: Hvis a deler b og b deler c såvetviata deler c. (b = sa, c = tb så c = tsa.)

Side 6 av 7 antisymmetrisk: Hvis a deler b såvetviata b. Hvis b deler a har vi den motsatte ulikheten, så hvis begge deler hverandre ser vi at vi må haa = b. Alle egenskapene er tilfredsstilt, så R er en delvis ordning. Hassediagrammet: 8 4 6 2 3 5 7 Oppgave 6 La T være mengden av studenter som misliker tomater, Ø de som misliker øl og S de som misliker Samantha. Hvis vi normerer antallet studenter til 2 får vi T =6, Ø =8, S = 25, T Ø S = 8 og T Ø S =4. Vi ønsker å finne (T Ø) S. Fra inklusjon-ekslusjonsprinsippet har vi T Ø S = T + Ø + S T Ø T S Ø S + T Ø S og fordi S og S er disjunkte mengder: (T Ø) S + (T Ø) S = T Ø = T + Ø T Ø. I tillegg vet vi at (T Ø) S =(T S) (Ø S), så (T Ø) S = T S + Ø S T Ø S. Setter vi alt dette sammen får vi (T Ø) S = T Ø S S = 8 25 = 55 Dermed blir andelen studenter vi ser etter lik 4. Eller vi kan bruke Venn-diagramm for å løse oppgaven. (mye enklere...) Oppgave 7

Powered by TCPDF (www.tcpdf.org) Side 7 av 7 Vi kan se på (p ( q r)) (r p) som en Boolesk funksjon, og setter først opp en tabell for funksjonen (sannhetstabell). p q r q r p ( q r) r p (p ( q r)) (r p) Fra denne tabellen ser vi at ( p q r) ( p q r) ( p q r) ( p q r) (p q r) (p q r) er et utsagn med samme sannhetstabell, og dermed et logisk ekvivaleent utsagn. (Dette utsagnet er til og med på disjunktiv normal form, men det kreves ikke her.) Oppgave 8 a) f(3) = 3 i (i + j) = [( + )] + [(2 + ) + (2 + 2)] + [(3 + ) + (3 + 2) + (3 + 3)] = 24 i= j= b) f(n) = i= i (i + j) = j= (i 2 + i= i j) = j= (i 2 + i= i(i +) )= 2 2 (3i 2 + i) Vi tipper q =3. Vi må viseatf(n) ero(n 3 )ogω(n 3 ). O(n 3 ):Forf(n) erdetn ledd som skal legges sammen, alle mindre enn eller lik 3 2 n2 + n 2 som igjen er mindre enn 2n 2. Dermed er f(n) < 2n 3 for alle n. Ω(n 3 ):Vivilprøveåviseatf(n) > n 3 i=