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

Like dokumenter
LØSNINGSFORSLAG SIF5015 DISKRET MATEMATIKK Onsdag 18. desember 2002

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

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG

Eksamensoppgave i TMA4140 Diskret matematikk

Eksamensoppgave i TMA4140 Diskret matematikk

Obligatorisk oppgave 2 i MAT1140, Høst Løsninger og kommentarer

Løsningsforslag for 1. obligatoriske oppgave høsten 2014

TMA4140 Diskret Matematikk Høst 2018

MA1301 Tallteori Høsten 2014 Løsninger til Eksamen

LØSNINGSFORSLAG EKSAMEN V06, MA0301

Eksamen MAT H Løsninger

LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1

Matematikk for IT Eksamen. Løsningsforslag

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

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

Eksamensoppgave i TMA4140 Diskret matematikk

LØSNINGSFORSLAG KONT 07, TMA4140

LF, KONTINUASJONSEKSAMEN TMA

Oversikt over det kinesiske restteoremet

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

FASIT/LF FOR EKSAMEN TMA4140, H07

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

MAT1030 Diskret Matematikk

TMA4140 Diskret Matematikk Høst 2016

TMA4140 Diskret Matematikk Høst 2018

Matematikk for IT, høsten 2017

Kapittel 4: Logikk. MAT1030 Diskret Matematikk. Oppsummering. En digresjon. Forelesning 6: Utsagnslogikk og predikatlogikk.

TMA 4140 Diskret Matematikk, 1. forelesning

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

Oversikt over kvadratiske kongruenser og Legendresymboler

Forelesning 14 torsdag den 2. oktober

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

Eksamen i Elementær Diskret Matematikk - (MA0301)

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

Kapittel 4: Logikk (utsagnslogikk)

MAT1030 Diskret Matematikk

TMA4140 Diskret Matematikk Høst 2016

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

Oversikt over lineære kongruenser og lineære diofantiske ligninger

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

Matematikk for IT, høsten 2015

LØSNINGSFORSLAG EKSAMEN VÅR07, MA0301

MAT1030 Diskret matematikk

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Forelesning 23: Grafteori

Sekventkalkyle for utsagnslogikk

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

Løsningsforslag oblig. innlevering 1

MIDTSEMESTERPRØVE I TMA4140 Diskret matematikk. 13. oktober 2017 Tid:

Noen løsningsforslag/fasitsvar

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

Fasit - det står en sort prikk bak riktig svar. (NB! Rekkefølgen på oppgavesettene varierte).

Hint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017.

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk

Relativt primiske tall

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

Forelesning 23. Grafteori. Dag Normann april Oppsummering. Oppsummering. Oppsummering. Digresjon: Firefarveproblemet

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

Kommentarer til Eksamen IM005 - V02

MAT1030 Diskret matematikk

Emne 13 Utsagnslogikk

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

UNIVERSITETET I OSLO

Øvingsforelesning 5. Binær-, oktal-, desimal- og heksidesimaletall, litt mer tallteori og kombinatorikk. TMA4140 Diskret Matematikk

Oversikt over kryptografi

MAT1030 Forelesning 6

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

Sammensatte utsagn, sannhetsverditabeller. MAT1030 Diskret matematikk. Sammensatte utsagn, sannhetsverditabeller

Løsningsforslag til 1. obligatorisk oppgave i Diskret matematikk, høsten 2016

MAT1030 Diskret Matematikk

Chapter 1 - Discrete Mathematics and Its Applications

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

Forelesning 19 torsdag den 23. oktober

Forelesning 2 torsdag den 21. august

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)

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

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.

TMA 4140 Diskret Matematikk, 3. forelesning

Forelesning 10 torsdag den 18. september

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

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

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

Forelesning 7 mandag den 8. september

Forelesning 9 mandag den 15. september

Kompleksitet og Beregnbarhet

TMA4100 Matematikk 1 Høst 2012

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk

Kapittel 4: Logikk (fortsettelse)

MAT1030 Diskret matematikk

Prøveunderveiseksamen i MAT-INF 1100, H-03

Niels Henrik Abels matematikkonkurranse Løsninger

Kombinatorikk. MAT1030 Diskret Matematikk. Oppsummering av regneprinsipper

MAT1030 Diskret Matematikk

MAT1030 Diskret matematikk

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

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

MAT1030 Diskret matematikk

Transkript:

LØSNINGSFORSLAG, SIF 5015, DISKRET MATEMATIKK 12. august 200 Oppgave 1. La oss begynne med å bygge en ikke-deterministisk maskin: s 0 s 1 gjennkjenner 0 1og s 0 gjennkjenner (0 1). Fra dette ser vi at s 0 s 1 0 gjennkjenner (0 1) 0, og følgende automat vil gjennkjenne (0 1) 0 1: s 1 0 0 s 0 s 2 1 s En litt enklere automat som gjør samme jobben er følgende: s 1 0 s 0 s 2 Vi må nå gjøre en av disse to siste automatene deterministiske, la oss gjøre dette for den siste av dem. Vi begynner med å lage en tabell: s 0 0 s 1,s 2 s 0 1 s 1,s 2 s 1,s 2 0 s 1,s 2 s 1,s 2 1 s 1 s 1 0 s 1,s 2 s 1 1 s 1 Dette gir oss følgende deterministiske endelig-tilstandsmaskin M slik at L(M) =L(w) (Vi har kalt tilstanden som tilsvarer s 0 for t 0, (s 1, s 2 ) for t 1 og s 1 for t 2. 1

0 t 0 t 1 0 1 t 2 1 Oppgave 2. En tautologi er et utsagn som alltid er sant, uavhengig av sannhetsverdiene til utsagnsvariablene, og en selvmotsigelse er et utsagn som alltid er usant. Vi kan for eksempel lage sannhetstabeller for å sjekke dette. Her er tabeller for henholdsvis A, B og C : p q p q p (p q) p (p q) q 0 0 0 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 1 p q p q p (p q) q (p (p q)) 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 1 1 1 1 p q r r q p q (r q) (p q) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 Fra disse tabellene ser vi at A og C er tautologiene, mens det ikke finnes noen selvmotsigelser. Oppgave. Hvis hun kjøper x poser vil hun ha kjøpt 19x klosser. Når hun deler dette på 2blirdetenrestpå en. En annen måte å uttrykke dette på er: 19x 1 (mod 2) (x er en invers til 19 modulo 2.) 2

Vi bruker Euklids algoritme: 2 = 19 + 4 19 = 4 4+ 4 = +1 1=4 =5 4 19 = 5 2 6 19. Dette viser at 6 er en invers til 19 modulo 2. (Legge også merketilat dette viser at 5 er en invers til 2 modulo 19. Vi vil bruke dette i den neste oppgaven.) 6 +2k er inverser til 19 modulo 2 for alle heltall k, og dette er alle inversene siden 19 og 2 er relativt primiske. Dermed er 17 den minste positive inversen. M.a.o.: Hun kjøpte 17 poser med klosser. Oppgave 4. Fordi 19 og 2 er relativt primiske forteller den kinesiske restsetningen oss at det finnes en løsning, at hvis x er en løsning så erx + 47k det også hvisk er et heltall (19 2 = 47) og at dette er alle løsningene. Vi begynner med å finne en løsning: La oss først finne et tall x 1 slik at x 1 4 (mod 2) og x 1 0 (mod 19). Vi vet fra oppgave at 6 er en invers til 19 modulo 2, så ( 6) 19 1 (mod 2), så4 ( 6) 19 4 (mod 2). Fordi 19 er en faktor i 456 = 4 ( 6) 19 kan vi ta x 1 = 456. På samme måte finner vi at x 2 =6 5 2 = 690 tilfredsstiller x 2 0 (mod 2) og x 2 6 (mod 19) fordi 5 er en invers til 2 modulo 19. Dermed er x = x 1 + x 2 = 456 + 690 = 24 en løsning. Dermed vet vi at alle løsninger er på formen 24 + 47k. Hvis vi tar f.eks. k = 1 får vi 20 som en negativ løsning. Oppgave 5. a) Hver kant har to endepunkt, så vi har 12 ender som kommer inn til 4 hjørner. Skal alle hjørnene ha lik grad, må denne dermed være 12 =. 4 b) Hvis jeg skal e og slutte i et bestemt hjørne, betyr dette at og slutt medfører at dette hjørnet er endepunkt for to kanter (enten

endepunkt for to forskjellige kanter, eller begge endepunktene til en kant (som dermed er en løkke)). Hvis jeg eventuelt kommer innom dette hjørnet før jeg stopper, blir hjørnet truffet to ganger til for hver gang jeg er innom. Jeg kan ikke komme inn eller ut av hjørnet langs en ende jeg allered har kommet inn eller ut, så graden til dette hjørnet må være et partall. Siden alle hjørnene i grafene våre har grad i alle hjørnene, er det ikke mulig ågålangskantene slik beskrevet i oppgaven. Med samme argumentasjon som over, ser vi at der vi er og stopper, hvis vi er og stopper på forskjellig sted, må hjørnene ha odde grad. For de to andre hjørnene derimot viser argumentasjonen over at graden må være partall. Dette er heller ikke mulig. c) Her er 5 forskjellige grafer som tilfredsstiller kravene våre, og som ikke er isomorfe med hverandre. La oss for eksempel sammenligne de to første. I den første er alle hjørnene naboer, mens det er ikke tilfellet i den andre. Dermed kan de ikke være isomorfe. (Samme argument viser at ingen av de andre heller er isomorfe med den første.) På lignende vis ser vi også atingen av grafene med løkker kan være isomorfe med noen av de uten løkker, siden en løkke ved et hjørne sier at dette hjørnet er nabo med seg selv. Oppgave 6. Hver av de åtte mennene hilser på fire kvinner, noe som gir 4 8 = 2håndhilsninger. En mann hilser på syv menn. La oss se på en mann av gangen. Den første hilser på 7 stykker. Den neste hilser også på syv, men en av dem har vi allerede talt med, så det er 6 flere håndhilsninger som finner sted. For tredjemann har vi allerede talt med to hilsninger, så det er 5 som gjenstår. Dette fortsetter til vi kommer til sistemann. Alle hans hilsninger er talt med allerede. Vi fårdermed7 + 6 + 5 + 4 + + 2 + 1 + 0 = 28håndhilsninger blandt mennene. Dette gir totalt 60 håndhilsninger. Oppgave 7. a) La oss begynne med venstre ulikhet: Vi ser at ulikheten er sann for n = 2 fordi 1 2 =1< 2 = 8. 4

Vi må nå vise induksjonssteget: vi må viseat1 2 + +(n 1) 2 < n (induksjonshypotesen) medfører at 1 2 + + n 2 < (n+1) : 1 2 + + n 2 = 1 2 + +(n 1) 2 + n 2 < n + n2 < n + n2 + n + 1 = (n +1) Den første ulikheten følger av induksjonshypotesen, og den andre er sann fordi både n og 1 er positive. Dermed er induksjonssteget vist, og ulikheten er derfor sann for alle n>1. La oss nå sepå den høyre ulikheten: Vi ser først at ulikheten er sann for n =1: 1 = 1 < 12 =1. Induksjonssteget: Vi må viseat n < 12 + + n 2 medfører at (n+1) < 1 2 + +(n +1) 2 : (n +1) = n +n 2 +n +1 = n + n2 +n +1 < 1 2 + + n 2 + n2 +n +1 < 1 2 + + n 2 +(n 2 +2n +1)=1 2 + +(n +1) 2 Den første ulikheten følger fra induksjonshypotesen, den andre fra at 2n+1 >n+ 1. Dermed er induksjonssteget bevist, så ulikheten er sann for alle n 1. For åviseatf(n) =1 2 +2 2 + n 2 er Θ(n )må vi finne tall A, B og k slik at An f(n) Bn for alle n slik at n k. I tillegg krever vi at A>0. La oss begynne med den første av disse ulikhetene, med andre ord, vi seretterettalla. Fra den andre ulikheten vi viste med induksjon får vi at vi kan velge A = 1. For å finne en B som tilfredsstiller kravene kan vi bruke den første ulikheten vi viste ved induksjon, men med n + 1 i stedet for n. Da får vi: 1 2 + + n 2 < (n +1) = n +n 2 +n +1 < n +n +n + n 5 = 8n.

Dermed kan vi bruke B = 8. Viharvistatdeneneulikhetenergyldigforn>0 og den andre for n>1, så vi kan for eksempel ta k =2. b) At g(n) erθ(n 4 ) betyr at det finnes tall A, B og k (ikke nødvendigvis de samme som i i deloppgaven over) slik at An 4 <g(n) <Bn 4 for alle n som er større enn eller lik k. Over fant vi nettopp at 1 n <f(n) < 8 n for alle n større enn eller lik to. Dette gir oss at A n7 =( 1 n )(An 4 ) <h(n) < ( 8 n )(Bn 4 )= 8B n7 for alle n som er større enn både k og to. Dette viser at h(n) erθ(n 7 ), vi kan med andre ord ta q =7. (Det er også mulig å vise at dette er den eneste mulige verdien for q.) 6