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

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

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

DEL I. Matematiska Institutionen KTH

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

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

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

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

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

1. (3p) Ett RSA-krypto har parametrarna n = 77 och e = 37. Dekryptera meddelandet 3, dvs bestäm D(3). 60 = = =

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

DEL I. Matematiska Institutionen KTH

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

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

DEL I. Matematiska Institutionen KTH

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

Efternamn förnamn pnr årskurs

Efternamn förnamn pnr årskurs

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

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

Efternamn förnamn ååmmdd kodnr

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

Efternamn förnamn pnr årskurs

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

Efternamn förnamn pnr kodnr

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

a n = A2 n + B4 n. { 2 = A + B 6 = 2A + 4B, S(5, 2) = S(4, 1) + 2S(4, 2) = 1 + 2(S(3, 1) + 2S(3, 2)) = 3 + 4(S(2, 1) + 2S(2, 2)) = = 15.

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

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

Efternamn förnamn pnr programkod

Efternamn förnamn pnr årskurs

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

Matematiska Institutionen KTH. Lösning till tentamensskrivning på kursen Linjär algebra II, SF1604, den 9 juni 2011 kl

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

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

1. (a) (1p) Undersök om de tre vektorerna nedan är linjärt oberoende i vektorrummet

DEL I. Matematiska Institutionen KTH

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

18 juni 2007, 240 minuter Inga hjälpmedel, förutom skrivmateriel. Betygsgränser: 15p. för Godkänd, 24p. för Väl Godkänd (av maximalt 36p.

Tentamen TMV210 Inledande Diskret Matematik, D1/DI2

Lösning av tentamensskrivning på kursen Linjär algebra, SF1604, för CDATE, CTFYS och vissa CL, tisdagen den 20 maj 2014 kl

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

8(x 1) 7(y 1) + 2(z + 1) = 0

Lösningar till utvalda uppgifter i kapitel 5

Några satser ur talteorin

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

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

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

MS-A0409 Grundkurs i diskret matematik Appendix, del II

NÅGOT OM KRYPTERING. Kapitel 1

Lösningar för tenta i TMV200 Diskret matematik kl. 14:00 18: Svar: Ja, det gäller, vilket kan visas på flera sätt (se nedan).

Material till kursen SF1679, Diskret matematik: Lite om kedjebråk. 0. Inledning

RSA-kryptering och primalitetstest

SF2715 Tillämpad kombinatorik, 6hp

Kimmo Eriksson 12 december Att losa uppgifter av karaktaren \Bevisa att..." uppfattas av manga studenter

Grupper och RSA-kryptering

Tentamen TMV210/MMGD10 Inledande Diskret Matematik, D1/GU

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

Hela tal LCB 1999/2000

σ 1 = (531)(64782), τ 1 = (18)(27)(36)(45), τ 1 σ 1 = (423871)(56).

Kinesiska restsatsen

Lösningar för tenta i TMV200 Diskret matematik kl. 14:00 18:00

Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik

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

Lösningsförslag till övningsuppgifter, del V

Sats 2.1 (Kinesiska restsatsen) Låt n och m vara relativt prima heltal samt a och b två godtyckliga heltal. Då har ekvationssystemet

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

MS-A0409 Grundkurs i diskret matematik Sammanfattning, del II

Algebra och Diskret Matematik A (svenska)

Diskret matematik: Övningstentamen 4

Övningshäfte 6: 2. Alla formler är inte oberoende av varandra. Försök att härleda ett par av de formler du fann ur några av de övriga.

Lösningsförslag till övningsuppgifter, del II

Matematik 5 Kap 2 Diskret matematik II

Kvalificeringstävling den 30 september 2008

2 (6) k 0 2 (7) n 1 F k F n. k F k F n F k F n F n 1 2 (8)

Om plana och planära grafer

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

Algebra och Diskret Matematik A (svenska)

Resträkning och ekvationer

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

MA2047 Algebra och diskret matematik

Diskret matematik: Övningstentamen 1

Föreläsning 7. Felrättande koder

Låt n vara ett heltal som är 2 eller större. Om a och b är två heltal så säger vi att. a b (mod n)

Explorativ övning 5 MATEMATISK INDUKTION

Om plana och planära grafer

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

MYSTERIER SOM ÅTERSTÅR

Kapitel 2: De hela talen

LMA033/LMA515. Fredrik Lindgren. 4 september 2013

Explorativ övning 5 MATEMATISK INDUKTION

TMV166 Linjär Algebra för M. Tentamen

Övningshäfte 2: Induktion och rekursion

Tentamen i kurserna Beräkningsmodeller (TDA181/INN110) och Grundläggande Datalogi (TDA180)

Träd och koder. Anders Björner KTH

inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men

Lösningar till Algebra och kombinatorik

29 Det enda heltalet n som satisfierar båda dessa villkor är n = 55. För detta värde på n får vi x = 5, y = 5.

Algebra I, 1MA004. Lektionsplanering

MS-A0409 Grundkurs i diskret matematik II

Induktion, mängder och bevis för Introduktionskursen på I

Transkript:

Matematiska Institutionen KTH Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL och Media, SF60 och 5B8, onsdagen den 7 augusti 0, kl 4.00-9.00. Examinator: Olof Heden Hjälpmedel: Inga hjälpmedel är tillåtna på tentamensskrivningen. Betygsgränser: (Totalsumma poäng är 36p.) 3 poäng totalt eller mer ger minst omdömet Fx 5 poäng totalt eller mer ger minst betyget E 8 poäng totalt eller mer ger minst betyget D poäng totalt eller mer ger minst betyget C 8 poäng totalt eller mer ger minst betyget B 3 poäng totalt eller mer ger minst betyget A Generellt gäller att för full poäng krävs korrekta och väl presenterade resonemang. DEL I Var och en av nedanstående uppgifter svarar mot en kontrollskrivning. Godkänt resultat på en kontrollskrivning ger automatiskt full poäng på motsvarande uppgift. Att lösa en uppgift som man på detta sätt redan har till godo ger inga extra poäng.. (3p) Bestäm samtliga lösningar x och y till den diofantiska ekvationen 58x + 496y = 8. Lösning: Vi söker först, och med hjälp av Euklides algoritm, den största gemensamma delaren till talen 58 och 496: 496 = 58 0 58 = 3 0 0 = 0 så sgd(496, 58) =. Den givna ekvationen är då ekvivalent med ekvationen 9x + 48y = 4. Beräkningarna ovan ger, efter division med, att = 3 0 9 = 3( 9 48) 9 = 5 9 3 48, och efter multiplikation med 4: 4 = 9 00 + 48 ( 5). En lösning till givna ekvationen är alltså x = 00 och y = 5. Låt x och y beteckna en godtycklig annan lösning, dvs 9x + 48y = 4. Subtraktion ger då att eller ekvivalent 9(x 00) + 48(y + 5) = 0, 9(x 00) = 48(y + 5). Eftersom 9 och 48 saknar gemensamma delare måste 48 dela x 00, dvs x 00 = k 48

för något heltal k. Detta substituerat i ekvationen ovan ger och division med 48 ger nu 9 k 48 = 48(y + 5) 9 k = y + 5 Slutsatsen blir att om x och y är lösningar till den givna ekvationen så finns ett heltal k sådanat att x = 00 + k 48 y = 5 k 9 Vi ser nu omvänt att för varje heltal k så gäller 9x + 48y = 9(00 + k 48) + 48( 5 k 9) = 9 00 + 48 ( 5) = 4. Således SVAR: x = 00 + k 48 och y = 5 k 9 där k kan vara vilket heltal som helst.. (3p) En klass med åtta flickor och åtta pojkar skall utse en grupp om fem klassrepresentanter. På hur många olika sätt kan man sätta samman en grupp av klassrepresentater i denna klass om alla flickor utom flickorna B och C vägrar vara med om pojken A utses. För full poäng krävs att svaret ges i formen av ett heltal. Lösning: Vi betraktar två möjliga fall: Fall : Pojken A väljs inte till klassrepresentant. Av total 8 + (8 ) = 5 elever skall man då utse 5 elever. Antalet sätt detta kan ske på är ( ) 5 5 4 3 = = 3003. 5 3 4 5 Fall : Pojken A väljs. Det återstår då att välja 4 elever bland +(8 ) = 9 elever. Antalet sätt detta kan ske på är ( ) 9 = 9 8 7 6 4 3 4 = 6. SVAR: 3003 + 6 = 39. 3. (3p) Bestäm tre olika delgrupper till gruppen G = (Z 4, +) som samtliga innehåller elementet 6. Lösning: Vi tar tre cykliska delgrupper 6 = {6,, 8, 0} 3 = {3, 6, 9,, 5, 8,, 0} = {, 4, 6, 8,...,, 0} men också gruppen G innehåller elementet 6 och är en delgrupp till sig själv. 4. (a) (p) Ett RSA-krypto har parametrarna n = 5, e = 3. Dekryptera meddelandet, dvs bestäm D(). Lösning: Då n = 5 = 3 7 så är m = (3 )(7 ) = 3. Den dekrypterande nyckeln d ges av villkoret e d (mod m). Enkel huvudräkning ger att 3 = 3 +, så 3 (mod 3), och alltså är d =. Då gäller att D() = d (mod 5) och vi får SVAR: D() = 8. D() 5 5 048 5 40 5 + 8 5 8.

(b) (p) Ett RSA-kryto har parametern n = 5. Ange samtliga möjliga värden på parametern e som man kan välja till detta val av parametern n. Lösning: Enligt läroboken är enda kravet på krypteringsnyckeln e att det skall finnas ett tal d, sådant att e d (mod m), där n = p q produkt av två olika primtal och m = (p )(q ). Eftersom, med givet n = 5 vi har att m = 3, så kan vi välja de tal e till vilka det finns ett tal d med e d (mod 3). Enligt den allmänna teorin för räkning i ringarna Z n som finns i läroboken kan vi då välja precis de tal e sådana att sgd(e, 3) =, vilket är de udda talen. Så vi svarar med SVAR: De positiva udda talen. 5. (3p) I en planär sammanhängande graf med noder (hörn) har noderna valenserna (graderna),,, 3, 3, 3, 4, 4, 4, 5 och 6. Bestäm antal områden som uppstår vid en plan ritning av grafen, ytterområdet medräknat. Lösning: Valenssumman är + + + 3 + 3 + 3 + 4 + 4 + 4 + 5 + 6 = 36, så antalet kanter är e = 36/ = 8. Eulers polyederformel ger då, eftersom grafen är sammanhängande, att antalet områden r är lika med r = e v + = 8 + = 9. SVAR: Nio områden. DEL II 6. (3p) Bestäm antalet hela tal n mellan och 000, dvs n 000, som inte är delbara med något av talen 4, 6 eller 8. Lösning: Låt A, B och C beteckna de mängder av tal mellan och 000 som är delbara med 4, 6 resp. 8. Svaret ges då av 000 A B C. Formen för inklusion exklusion som vi kommer att använda lyder Då och så A B C = A + B + C A B A C B C + A B C. A = 000 4 A B = 000 = 50, B = 000 = 66, C = 000 6 8 = 5, = 83, A C = 000 = 5, B C = 000 8 4 = 4, A B C = 000 4 = 4, SVAR: 000 (50 + 66 + 5) + (83 + 5 + 4) 4 = 667. 3

7. (3p) Visa, t ex med hjälp av ett induktionsbevis, att lösningen till rekursionsekvationen a n = a n + 6a n n =, 3,..., med begynnelsevärdena a 0 = 7 och a = 4, ges av talföljden a n = 5 n + ( 3) n, n = 0,,,.... Lösning: Rekursionsekationen definierar en talföljd, och vår uppgift är att visa att denna talföljd överensstämmer med den i uppgiften givna. Vi använder ett induktionsbevis. De givna talföljden överensstämmer med den av rekursionsekvationen definierade talföljden för n = 0 och n = ty a 0 = 5 0 + ( 3) 0 = 7, a = 5 + ( 3) = 4. Antag nu att den explicit givna talföljden överensstämmer med den av rekursionesekvationen definierade talföljden för alla tal n < k, för något tal k. Då gäller att vilket lätt förenklas till a k = (5 k + ( 3) k ) + 6(5 k + ( 3) k ) a k = 0 k + 6( 3) k ) + 30 k + ( 3) k = 5 k + ( 3) k, dvs, då kommer den explicit givna talföljden att överensstämma med den rekursivt givna talföljden också för n = k. Enligt induktionsprincipen överensstämmer nu den explicit givna talföljden med den rekursivt definierade talföljden för alla naturliga tal n. 8. (a) (p) Bestäm en abelsk (kommutativ) icke-trivial delgrupp till gruppen S 3 av permutationer på mängden {,, 3} DEL III Lösning: Vi kan välja en cyklisk delgrupp till S 3, t ex den delgrupp som genereras av permutationen ( 3): ( 3) = {( 3), ( 3 ), id}. Denna grupp är cyklisk, par definition, och alla cykliska grupper är abelska. (b) (p) Bevisa att varje icke-abelsk (icke-kommutativ) grupp G har minst två olika abelska icke-triviala delgrupper. Lösning: Gruppen med bara ett element e är abelsk, så om gruppen G inte är abelsk måste det finnas minst ett element g e. Detta element genererar en cyklisk delgrupp g, som är abelsk (eftersom den är cyklisk), och då inte kan innehålla alla element i den icke abelska gruppen G. Om h är ett annat element i G så genererar h en cyklisk delgrupp h som är abelsk. Vi har nu hittat två abelska delgrupper till G, nämligen g och h. (c) (p) Är påståendet i deluppgiften ovan sant för abelska grupper. Motivera ditt svar! Lösning: Nej, det finns många exempel på att påståendet i b)-uppgiften inte gäller för abelska grupper. Till exempel den abelska gruppen G = (Z p, +), där p är ett primtal, har inga icketriviala delgrupper. Vidare till exempel (Z 4, +) har bara en icketrivial delgrupp, delgruppen H = {0, }, och är abelsk. Om du i denna del använder eller hänvisar till satser från läroboken skall dessa citeras, ej nödvändigvis ordagrant, där de används i lösningen. 4

9. I kursen behandlas bl a binära felrättande koder och hur sådana kan konstrueras med hjälp av så kallade kontrollmatriser (parity-check matriser). Detta kan generaliseras till ternära felrättande koder, vars ord bildas med hjälp av symbolerna 0, och. Tex kommer de kolonner som multiplicerade med matrisen H nedan 0 H = 0 ger nollkolonnen, om man räknar modulo 3, att utgöra en felrättande ternär kod C. (a) (p) Ge vettiga definitioner av avstånd och felrättning, bestäm antal fel koden C ovan kan rätta, hur många ord koden har och hur många ternära ord av längd fyra som koden C inte kan rätta. Lösning: Avståndet mellan två ord definierar vi som antalet positioner i vilka orden skiljer. Vi visar nu att om minsta avståndet mellan ord i en kod C är e + så kommer koden att kunna rätta e uppkomna fel: Inget ord x kan då ligga på avstånd e eller mindre från två olika ord c och c, ty om så vore fallet skulle man kunna ta sig från c till c genom att först ändra i högst e koordinatpositioner för att nå x och sedan med hjälp av ytterligare högst e ändringar i koordinaterna för att sedan nå c. Avståndet mellan c och c skulle då vara högst e. Nu till den specifika kod C definierad med hjälp av den givna matrisen H. Vi visar först att kodens minavstånd är 3. Antag att c och c är två ord i koden på avstånd. Då gäller att c c är ett ord av vikt, dvs ett ord c med precis två koordinater skilda från noll. Sedvanlig matriskalkyl ger Hc T = H(c c ) T = Hc T Hc T 0 0 0 = = 0 0 0 och då skulle nollkolonnen kunna erhållas som en summa av två kolonner i H, varvid en eller båda kolonnerna skulle kunna vara multiplicerade med elementet i Z 3. Så vi inspekterar kolonnerna i matrisen H och deras multipler med, och finner kolonnerna 0 samt för de övriga sex kolonnerna, ; 0 0 0,, = ; 0, Eftersom inga två av dessa kolonner är lika finns inget ord c av vikt så att Hc T = 0. Eftersom alla de åtta kolonnerna ovan är skilda från nollkolonnen finns inget ord c av vikt med Hc T = 0 och därmed inga ord på avstånd i den givna koden C. Nu har vi visat att koden C är -felsrättande. Vi visar nu att alla ord kan rättas. För den skull observerar vi först att alla kolonner utom nollkolonnen finns med i uppräkningen ovan. Om x = (x, x, x 3, x 4 ) är ett godtyckligt ord kommer multiplikationen Hx T att resultera i en av de åtta kolonnerna ovan, (eller nollkolonnen, varvid x då är ett kodord). Om t ex multiplikationen ger den sista av kolonnerna i uppräkningen ovan så kommer ordet c = (x, x, x 3, x 4 ) att multiplicerade med H att ge nollkolonnen, och därmed vara ett kodord. Ordet x ligger då på avståndet från ett kodord. OSV Alla ord kan alltså rättas unikt. Totalt finns det 3 4 ord av längd 4, och kring varje kodord befinner sig precis + 4 = 9 ord på avstånd noll eller ett. Då varje ord ligger på avstånd högst ett från ett kodord har vi att C = 34 9 = 9.. 5

(b) (3p) Finns det någon ternär -felsrättande kod med 3 0 ord och vars ord har längden 3? Motivera ditt svar! Lösning: Om ordlängden är 3 så kommer kring varje kodord att på avståndet högst ett befinna sig totalt + 3 = 7 = 3 3 stycken ord. Om C skulle bestå av 3 0 ord skulle antalet ord koden kan rätta att vara lika med C 3 3 = 3 0 3 3 = 3 3, dvs C skulle kunna rätta samtliga ord av längd 3 till ett kodord. Vi konstruerar nu en matris H som ger en kod C, som med vårt allmänna recept (multiplicerar ordet x med H och se vilken kolonn vi får) för felrättning har egenskapen att varje ord unikt kan rättas till ett kodord. Matrisen H skall ha 3 olika kolonner (eftersom ordlängden är 3) som tillsammans med sina multiplar med ger samtliga 6 icke nollkolonner av höjd 3. Lite trial and error ger matrisen H = 0 0 0 0 0 0 0 0 0 0 0 0 som löser problemet, eftersom dessa kolonner och deras multipler med ger 6 olika kolonner. Som i första deluppgiften ser man då också, och med samma motivering, att kodens minavstånd är 3. 0. (a) (p) Visa att om alla noder (hörn) i en bipartit graf har valensen (graden) så kan kanterna färgläggas i färgerna 0 och på ett sådant sätt att vid varje nod inträffar precis en kant av vardera färgen. Lösning: Låt grafen ha nodmängderna X och Y och där det finns inga kanter mellan noder i X och inga kanter mellan noder i Y. Om alla noder har valens så kommer grafen att bestå av enbart cykler. Varannan nod i cyklerna ligger i X och varannan i Y, så sådana cykler måste ha ett jämnt antal noder och därmed också ett jämnt antal kanter. Då kan varannan kant i respektive cykel färgas med färgen och varannan kant med färgen 0. Vid varje nod kommer då att finnas precis en 0-färgad kant och en -färgad kant. (b) (p) Visa att motsvarande påstående gäller om alla noder i en bipartit graf har valensen k = 3 och färgerna är 0, och. Lösning: Se nedan. (c) (p) Gäller ett motsvarande påstående generellt om alla noder i en bipartit graf har valensen k > 3. Lösning: Vi kommer att använda ett induktivt resonemang, och basfallet ges av deluppgift a), men vi behöver förbereda oss lite. Vi kommer att använda Halls bröllopssats. För varje delmängd A till X låter vi J(A) beteckna mängden J(A) = {y Y finns kant från y till någon nod x A}. Vårt mål är att visa att Halls villkor, dvs A J(A) för alla delmängder A till X, är uppfyllt. 6

Låt E(A) beteckna de kanter som inträffar i nod i delmängden A till X. Eftersom alla noder i mängden A har valensen k så gäller E(A) = k A. Å andra sidan har varje nod i mängden J(A) också valensen k och därmed högst k stycken kanter till noder i A så då gäller att k J(A) E(A). Tillsammans ger de bägge ekvationerna ovan att Halls villkor är uppfyllt. Det finns då en samling S k av kanter som bildar en komplett matchning i den bipartita grafen. Ta nu bort kanterna i S k. Då återstår en bipartit graf i vilken alla noder har valens k. Fortsätt nu som ovan med denna graf. Vi hittar alltså k stycken kompletta matchningar S i, i =,,..., k sådana att S i S j = för i j och E = k i=s i, där E betecknar mängden av kanter i den bipartita grafen. Dett ger att om vi färgar kanterna i kantmängden S i med färgen i så får varje kant sin bestämda färg. Dessutom, eftersom färgen på en kant bestäms av vilken matchning kanten tillhör, finner vi att vid en och samma nod kan inte inträffa två kanter med samma färg. 7