Modelltentamen. Ditt svar ska vara ett ändligt uttryck utan summationstecken.

Relevanta dokument
SF2715 Tillämpad kombinatorik Kompletterande material och övningsuppgifter Del IV

SF2715 Tillämpad kombinatorik, 6hp

Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL2 och Media 1, SF1610 och 5B1118, onsdagen den 17 augusti 2011, kl

Lösningsförslag till övningsuppgifter, del V

Lösning av tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, tisdagen den 27 maj 2014, kl

Lösning till tentamensskrivning på kursen Diskret Matematik, moment B, för D2 och F, SF1631 och SF1630, den 1 juni 2011 kl

, S(6, 2). = = = =

Lösning till tentamensskrivning i Diskret Matematik, SF1610 och 5B1118, torsdagen den 21 oktober 2010, kl

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 11 april, 2002

Institutionen för matematik, KTH Mats Boij. Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 20 december, 2000

Lösningsförslag till tentamensskrivning i SF1610 Diskret Matematik för CINTE 30 maj 2018, kl

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 22 augusti, 2001

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 14 augusti, 2002

Kap.6 Grafer. Egenskaper: Handskakningslemmat och Eulers formel Sats om eulerkrets/väg Isomorfi och representation av grafer Graffärgning

DEL I. Matematiska Institutionen KTH

Matematiska Institutionen KTH. Lösningar till några övningar inför lappskrivning nummer 7, Diskret matematik för D2 och F, vt08.

Hjalpmedel: Inga hjalpmedel ar tillatna pa tentamensskrivningen. 1. (3p) Los ekvationen 13x + 18 = 13 i ringen Z 64.

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A

SF1624 Algebra och geometri Lösningsförsag till modelltentamen

Övningshäfte 3: Funktioner och relationer

DEL I. Matematiska Institutionen KTH

Explorativ övning 9 RELATIONER OCH FUNKTIONER

SF2703 Algebra grundkurs Lösningsförslag med bedömningskriterier till tentamen Fredagen den 5 juni 2009

Algoritmer, datastrukturer och komplexitet

Tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610, onsdagen den 20 augusti 2014, kl

Efternamn förnamn pnr årskurs

Lösningsförslag till övningsuppgifter, del II

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A

SF1624 Algebra och geometri

Om gruppers verkan på

Dagens program. Linjära ekvationssystem och matriser

MVE022 Urval av bevis (på svenska)

Kontinuerliga funktioner. Ytterligare en ekvivalent formulering av supremumaxiomet

Lösning till tentamensskrivning i Diskret Matematik för CINTE och CMETE, SF1610 och 5B1118, tisdagen den 7 januari 2014, kl

SF1624 Algebra och geometri Lösningsförslag med bedömningskriterier till kontrollskrivning 2 Fredagen den 28 januari, 2011

6. Matriser Definition av matriser 62 6 MATRISER. En matris är ett rektangulärt schema av tal: a 11 a 12 a 13 a 1n a 21 a 22 a 23 a 2n A =

Algoritmer, datastrukturer och komplexitet

Efternamn förnamn ååmmdd kodnr

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A. (1 p) (c) Bestäm avståndet mellan A och linjen l.

x 23 + y 160 = 1, 2 23 = ,

Lösning till tentamensskrivning i Diskret Matematik för CINTE och CMETE, m fl, SF1610, tisdagen den 2 juni 2015, kl

Lösning till tentamensskrivning på kursen Linjär algebra, SF1604, den 12 mars 2013 kl

SF1625 Envariabelanalys Lösningsförslag till tentamen

Del 1: Godkäntdelen. TMV142 Linjär algebra Z

SF1624 Algebra och geometri Lösningsförslag till tentamen Fredagen den 23 oktober, 2009 DEL A

Om plana och planära grafer

Uppsala Universitet Matematiska Institutionen Bo Styf. Svar till tentan. Del A. Prov i matematik Linj. alg. o geom

1 Konvexa optimeringsproblem grundläggande egenskaper

Diskret Matematik A för CVI 4p (svenska)

SF1624 Algebra och geometri Lösningsförslag till modelltentamen DEL A

Om plana och planära grafer

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A

SF1624 Algebra och geometri Tentamen med lösningsförslag onsdag, 11 januari 2017

Efternamn förnamn pnr kodnr

Läsanvisningar till kapitel

NUMPROG, 2D1212, vt Föreläsning 9, Numme-delen. Stabilitet vid numerisk behandling av diffekvationer Linjära och icke-linjära ekvationssystem

MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Avd. Matematik Examinator: Daniel Bergh. Lösningsförslag Algebra och kombinatorik

Lösningsförslag till skrivningen i Vektorgeometri (MAA702) måndagen den 30 maj 2005

MITTUNIVERSITETET TFM. Modelltenta Algebra och Diskret Matematik. Skrivtid: 5 timmar. Datum: 1 oktober 2007

Lösning till tentamensskrivning på kursen Diskret Matematik, moment A, för D2 och F, SF1631 och SF1630, den 10 januari 2011 kl

Algoritmer, datastrukturer och komplexitet

1. (3p) Ett RSA-krypto har de offentliga nycklarna n = 33 och e = 7. Dekryptera meddelandet 5. a b c d e. a a b c d e

Matematiska Institutionen KTH. Lösning till några övningar inför lappskrivning nummer 5, Diskret matematik för D2 och F, vt09.

SF1624 Algebra och geometri Tentamen Torsdag, 17 mars 2016

Kap. 8 Relationer och funktioner

x 1 x 2 x 3 x 4 mera allmänt, om A är en (m n)-matris, då ger matrismultiplikationen en avbildning T A : R n R m.

Linjär Algebra M/TD Läsvecka 2

Efternamn förnamn pnr programkod

Kompletteringsmaterial. K2 Något om modeller, kompakthetssatsen

ax + y + 2z = 3 ay = b 3 (b 3) z = 0 har (a) entydig lösning, (b) oändligt många lösningar och (c) ingen lösning.

SF2715 Applied Combinatorics// Extra exercises and solutions, Part 2

LÖSNINGAR TILL UPPGIFTER TILL RÄKNEÖVNING 1

MITTUNIVERSITETET TFM. Tentamen Algebra och Diskret Matematik A (svenska) Skrivtid: 5 timmar. Datum: 9 januari 2007

Lösningsförslag till tentamen i SF1861 Optimeringslära för T. Torsdag 28 maj 2010 kl

SF1626 Flervariabelanalys Lösningsförslag till tentamen DEL A

SF1624 Algebra och geometri Lösningsförslag till tentamen DEL A

f(x) = x 1 g(x) = x 2 2x + 3.

Sådana avbildningar kallar vi bijektioner mellan A och B (eller från A till B).

Lösningsförslag, preliminär version 0.1, 23 januari 2018

KTH, Matematik. Övningar till Kapitel , 6.6 och Matrisframställningen A γ av en rotation R γ : R 2 R 2 med vinkeln γ är

Diskret matematik: Övningstentamen 1

SF2703 Algebra grundkurs Lösningsförslag med bedömningskriterier till tentamen Måndagen den 9 mars 2009

Permutationer med paritet

1. (3p) Bestäm den minsta positiva resten vid division av talet med talet 31.

Grafer och grannmatriser

SF1626 Flervariabelanalys Tentamen Tisdagen den 12 januari 2016

Algoritmer, datastrukturer och komplexitet

Lösningsförslag till Tentamen i 5B1118 Diskret matematik 5p 20 december, 2001

Om relationer och algebraiska


2MA105 Algebraiska strukturer I. Per-Anders Svensson

Preliminärt lösningsförslag

Lars-Daniel Öhman Lördag 2 maj 2015 Skrivtid: 9:00 15:00 Hjälpmedel: Miniräknare, lock till miniräknare

MA2047 Algebra och diskret matematik

Algebra och Diskret Matematik A (svenska)

Googles sidrankning - linjär algebra värt en förmögenhet

SF1658 Trigonometri och funktioner Lösningsförslag till tentamen den 19 oktober 2009

Facit åk 6 Prima Formula

Hjälpmedel: inga Chalmers tekniska högskola Datum: kl Telefonvakt: Peter Hegarty (a) Låt (3p)

DEL I. Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604, den 15 mars 2010 kl

Transkript:

SF2715 Tillämpad kombinatorik, våren 2009 Jakob Jonsson Modelltentamen Denna modelltentamen är tänkt att illustrera svårighetsgraden på en riktig tentamen. Att en viss typ av uppgift dyker upp här innebär inte att en liknande uppgift är vare sig mer eller mindre sannolik att dyka upp på en riktig tentamen. 1. Definiera a 0 = 0 och a n = 4a n 1 2 n 1 för n 1. Beräkna den genererande funktionen f(x) = n 0 a n x n. Ditt svar ska vara ett ändligt uttryck utan summationstecken. 2. För en mängd M av partitioner av talet n, definiera konjugatet till M att vara mängden {λ T : λ M}, där λ T betecknar konjugatet till partitionen λ. Beskriv konjugatet till följande mängder: (a) Mängden av alla partitioner av n med egenskapen att alla delar är olika stora. (b) Mängden av alla partitioner av n med egenskapen att den näst största delen är högst hälften så stor som den största delen. 3. Låt G vara grafen i nedanstående figur. Avgör om G är Hamiltonsk. Ditt svar ska motiveras med en explicit Hamiltoncykel eller ett bevis för att Hamiltoncykler saknas.

4. Avgör om den linjära binära koden C med kontrollmatris 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 1 är 1-rättande. Bestäm en generatormatris till C. 5. För varje n 3, beräkna antalet surjektiva funktioner från {1,..., n} till {1,..., n 2}, alltså funktioner f med egenskapen att samtliga element i {1,..., n 2} finns med bland funktionsvärdena f(1),...,f(n). (6p) 6. Låt {a n : n 0} vara en godtycklig talföljd. Definiera talföljden {b n : n 0} som b 0 = 1 och n 1 b n = a n k 1 b k. k=0 för n 1. Uttryck g(x) = n 0 b nx n som en funktion av f(x) = n 0 a nx n. (6p) 7. (a) Konstruera en planär graf med egenskapen att varje hörn i grafen är sammanbundet med exakt fyra andra hörn. Det ska tydligt framgå att din graf är planär. (2p) (b) Visa att det inte finns någon planär bipartit graf med egenskapen att varje hörn är sammanbundet med exakt fyra andra hörn. (4p) 8. Studera mängden av färgningar av hörnen i en sexhörning med färgerna röd, grön och blå med egenskapen att högst två hörn har färgen grön. Intilliggande hörn får ha samma färg. (a) Beräkna antalet färgningar med egenskaper som ovan. (2p) (b) Betrakta två färgningar som ekvivalenta om den ena färgningen kan överföras i den andra via en rotation av sexhörningen. Speglingar är ej tillåtna. Beräkna antalet ekvivalensklasser av färningar med egenskaper som ovan. (4p)

Lösningsförslag 1. Vi har att f(x) = n 0 a n x n = a 0 + n 1 = (4a m 2 m )x m+1 = 4x m 0 m 0 = 4xf(x) x 1 2x. a n x n = (4a n 1 2 n 1 )x n n 1 a m x m x m 0 (2x) m Från detta drar vi slutsatsen att f(x)(1 4x) = x/(1 2x), det vill säga f(x) = x (1 4x)(1 2x). 2. (Formuleringen av denna uppgift var nog lite diffus.) (a) Alla delar i en partition λ är olika stora om och endast om alla nollskilda kolumner i konjugatet λ T är olika långa. Att kolumn i + 1 i λ T är kortare än kolumn i är ekvivalent med att det finns någon del i λ T som är exakt lika med i. Detta gäller för 1 i m, där m är antalet delar i λ. Slutsats: Den sökta mängden består av alla partitioner µ av n med egenskapen att det finns minst en del av storlek i för 1 i m, där m är storleken på den största delen i µ. (b) Den näst största delen i λ är högst hälften så stor som den största delen om och endast om kolumn 2 är högst hälften så lång som kolumn 1 i λ T. Detta innebär att minst hälften av raderna i diagrammet för λ T bara innehåller en enda ruta, vilket är ekvivalent med att minst hälften av delarna i λ T är lika med 1. Slutsats: Den sökta mängden består av alla partitioner av n med egenskapen att minst hälften av delarna är lika med 1. 3. Observera att G är bipartit; i nedanstående figur går alla kanter mellan ett litet och ett stort hörn. Eftersom antalet stora hörn är 10 och antalet små hörn är 11 kan grafen inte ha en Hamiltoncykel. (Däremot går det att konstruera Hamiltonstigar i grafen. Detta lämnas som övning.)

4. En linjär binär kod är 1-rättande om och endast om alla kolumner i kontrollmatrisen är nollskilda och alla par av kolumner är olika. Så är fallet här, vilket innebär att C är 1-rättande. För att bestämma en generatormatris till C använder vi först elementära radoperationer för att få kontrollmatrisen på formen [I 4 X], där X är en 4 5-matris: 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1. En generatormatris ges nu av [ X T I 5 ], där X T är transponatet till X. Eftersom koden är binär behöver vi inte bry oss om minustecknet framför X T, och generatormatrisen blir 1 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1.

5. Vi delar upp i två fall: Något tal k {1,..., n 2} förekommer 3 gånger bland funktionsvärdena f(1),...,f(n), och övriga tal förekommer precis en gång. Vi kan välja k på n 2 sätt. De tre tal a, b och c som uppfyller f(a) = f(b) = f(c) = k kan vi välja på ( n 3) sätt. Sedan finns det (n 3)! sätt att definiera f på {1,..., n} \ {a, b, c} så att alla värden i {1,...,n 2} \ {k} antas precis en gång. Multiplikation ger att det totala antalet funktioner i det här fallet är ( ) n (n 2) (n 3)! = 3 (n 2) 6 n!. Två tal k, m {1,...,n 2} förekommer 2 gånger var bland funktionsvärdena f(1),...,f(n), och övriga tal förekommer precis en gång. Vi antar att k < m. Vi kan välja k och m på ( ) n 2 2 sätt. De fyra tal a, b, c och d som uppfyller f(a) = f(b) = k och f(c) = f(d) = m kan vi välja på ( )( n n 2 ) 2 2 sätt. Sedan finns det (n 4)! sätt att definiera f på {1,...,n}\{a, b, c, d} så att alla värden i {1,...,n 2}\{k, m} antas precis en gång. Multiplikation ger att det totala antalet funktioner i det här fallet är ( ) ( ) ( ) n 2 n n 2 (n 2)(n 1) (n 3)! = n!. 2 2 2 8 Det totala antalet är (n 2) 6 n! + (n 2)(n 1) 8 n! = (n 2)( 1 6 + n 1 ) n! 8 6. (Jag insåg i efterhand att svårighetsgraden på denna uppgift är aningen för låg för att motsvara 6 poäng på en tentamen.) Vi har att g(x) = n 0 Vi drar slutsatsen att b n x n = 1 + n 1 b n x n = 1 + n 1 a n k 1 b k x n k 1 x k x n 1 k=0 = 1 + a n k 1 x n k 1 b k x k x k 0 n k+1 = 1 + a m x m b k x k x = 1 + f(x)g(x)x. k 0 m 0 g(x)(1 xf(x)) = 1 g(x) = 1 1 xf(x).

7. (a) Följande graf har önskade egenskaper: 2 5 4 6 1 3 (b) Anta att G är en planär bipartit graf med önskade egenskaper. Låt F vara antalet regioner (inklusive den obegränsade regionen), låt E vara antalet kanter och låt V vara antalet hörn. Vi kan anta att G är sammanhängande; annars studerar vi bara varje enskild komponent för sig. Eulers formel ger att F = E V + 2. Eftersom varje hörn är med i exakt fyra kanter och varje kant innehåller exakt två hörn måste vi ha att V = E/2. Räkna nämligen antalet par (v, e) sådana att v är ett hörn innehållet i e. Om vi summerar över e för varje fixt v och sedan summerar över e erhåller vi 4V. Om vi vänder på summationsordningen får vi 2E. Vi drar slutsatsen att F = E/2 + 2 2F = E + 4. Eftersom G är bipartit är varje region begränsad av minst fyra kanter. Detta ger att 4F är en nedre begränsing på antalet par (e, f) sådana att e är en kant i begränsningen till regionen f. Dock är varje kant med i begränsningen till högst två regioner, vilket innebär att antalet par (e, f) som ovan är högst 2E. Slutsatsen är att 4F 2E, det vill säga 2F E = 2F 4, vilket är en motsägelse.

8. (a) Vi delar in i fall: Inget hörn är grönt. Vi har då 2 6 = 64 färgningar. Ett hörn är grönt. Det finns sex sätt att välja det gröna hörnet och sedan 2 5 sätt att färga övriga hörn, alltså 6 2 5 = 192 färgningar. Två hörn är gröna. Det finns ( 6 2) = 15 sätt att välja de två gröna hörnen och sedan 2 4 sätt att färga övriga hörn, alltså 15 2 4 = 240 färgningar. Totalt har vi alltså färgningar. 64 + 192 + 240 = 496 (b) Gruppen C 6 verkar på sexhörningen via rotation. Vi använder Burnsides lemma för att lösa uppgiften. För varje gruppelement g C 6 behöver vi räkna ut fix(g), alltså antalet färgningar som fixeras av g. Vi har sex gruppelement: * Identiteten. Detta element bevarar alla färgningar, vilket ger att fix(g) = 496 enligt (a). * Rotation ±1 steg. Dessa båda element består av en enda cykel, så de bevarar enbart färgningar där alla färger är lika. Eftersom vi har högst två gröna hörn måste alla hörn vara antingen röda eller blåa, vilket ger fix(g) = 2. * Rotation ±2 steg. Dessa båda element består av två cykler med vardera tre element. Vi kan färga var och en av cyklerna blå eller röd, men ingen cykel kan färgas grön. Slutsatsen är att fix(g) = 2 2 = 4. * Rotation 3 steg. Detta element består av tre cykler med vardera två element. Högst en av cyklerna kan färgas grön, medan övriga måste färgas röd eller blå. Detta innebär att fix(g) = 2 3 +3 2 2 = 20. Burnsides lemma ger att antalet ekvivalensklasser är 1 C 6 g C 6 fix(g) = 1 6 (496 + 2 2 + 2 4 + 20) = 528 6 = 88.