Lösningsförslag till övningsuppgifter, del II

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

Lösningsförslag till övningsuppgifter, del V

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

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

Algebra och kryptografi Facit till udda uppgifter

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

Kappa 2014, lösningsförslag på problem 5

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

Lösningar till udda övningsuppgifter

Tentamen TMV210 Inledande Diskret Matematik, D1/DI2

Kontinuitet och gränsvärden

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

Grafer och grannmatriser

Föreläsning 8 i kursen Ma III, #IX1305, HT 07. (Fjärde föreläsningen av Bo Åhlander)

Lösningar till Algebra och kombinatorik

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

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

Om relationer och algebraiska

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

1 Grundläggande kalkyler med vektorer och matriser

Lösningar till utvalda uppgifter i kapitel 5

TNA001- Matematisk grundkurs Tentamen Lösningsskiss

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

Kombinatorik. Kapitel 2. Allmänt kan sägas att inom kombinatoriken sysslar man huvudsakligen med beräkningar av

DEL I. Matematiska Institutionen KTH

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

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

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

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

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.

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

TAMS79: Föreläsning 10 Markovkedjor

Algebra och kryptografi

Hela tal LCB 1999/2000

SKOLORNAS MATEMATIKTÄVLING Svenska Matematikersamfundet. Lösningsförslag till naltävlingen den 20 november 2004

2MA105 Algebraiska strukturer I. Per-Anders Svensson

Uppsala Universitet Matematiska Institutionen Thomas Erlandsson

4x 1 = 2(x 1). i ( ) får vi 5 3 = 5 1, vilket inte stämmer alls, så x = 1 2 är en falsk rot. Svar. x = = x x + y2 1 4 y

SF2715 Tillämpad kombinatorik, 6hp

Diskret matematik, lektion 2

Föreläsningsanteckningar Linjär Algebra II Lärarlyftet

Högskolan i Skövde (SK, JS) Svensk version Tentamen i matematik Lösningsförslag till del I

SF1661 Perspektiv på matematik Tentamen 24 oktober 2013 kl Svar och lösningsförslag. z 11. w 3. Lösning. De Moivres formel ger att

(A B) C = A C B C och (A B) C = A C B C. Bevis: (A B) C = A C B C : (A B) C = A C B C : B C (A B) C A C B C

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

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

DEL I. Matematiska Institutionen KTH

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

En bijektion mellan två mängder A och B som har ändligt antal element kan endast finnas om mängderna har samma antal element.

Diofantiska ekvationer

Matriser. En m n-matris A har följande form. Vi skriver också A = (a ij ) m n. m n kallas för A:s storlek. 0 1, 0 0. Exempel 1

Högstadiets matematiktävling 2018/19 Finaltävling 19 januari 2019 Lösningsförslag

ÄNDLIGT OCH OÄNDLIGT AVSNITT 4

Lektion 8: Konstruktion av semantiska tablåer för PTL-formler

(N) och mängden av heltal (Z); objekten i en mängd behöver dock inte vara tal. De objekt som ingår i en mängd kallas för mängdens element.

1 De fyra fundamentala underrummen till en matris

Bisektionsalgoritmen. Kapitel Kvadratroten ur 2

Frågorna 1 till 6 ska svaras med sant eller falskt och ger vardera 1

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

Matematiska uppgifter

= y(0) för vilka lim y(t) är ändligt.

MS-A0409 Grundkurs i diskret matematik Sammanfattning, del II

Tentamen i Komplex analys, SF1628, den 21 oktober 2016

Exempel. Komplexkonjugerade rotpar

MVE022 Urval av bevis (på svenska)

Mer om analytisk geometri

Relationer. 1. Relationer. UPPSALA UNIVERSITET Matematiska institutionen Erik Melin. Specialkursen HT07 23 oktober 2007

Permutationer med paritet

Föreläsning 5: Kardinalitet. Funktioners tillväxt

Euklides algoritm för polynom

Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret Lektion 4

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

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

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

3. Bestäm med hjälpa av Euklides algoritm största gemensamma delaren till

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

Algebra och kombinatorik 10/ Föreläsning 4. Låt X vara en ändlig mängd. En permutation av X är en bijektiv funktion X X. Sats: S n =n!

Explorativ övning 9 RELATIONER OCH FUNKTIONER

1 Positivt definita och positivt semidefinita matriser

MS-A0409 Grundkurs i diskret matematik Appendix, del II

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.

Lösningsförslag TATM

Tentamen i matematik. f(x) = ln(ln(x)),

Finaltävling i Stockholm den 22 november 2008

MS-A0409 Grundkurs i diskret matematik I

Om konvergens av serier

MS-A0409 Grundkurs i diskret matematik I

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

Lösningar till Algebra och kombinatorik

Mer om reella tal och kontinuitet

Svar till vissa uppgifter från första veckan.

Lite additioner till Föreläsningsanteckningarna. 1 Tillägg till kapitel 1.

Finaltävling i Uppsala den 24 november 2018

Denna uppdelning är ovanlig i Sverige De hela talen (Både positiva och negativa) Irrationella tal (tal som ej går att skriva som bråk)

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

1. (a) Formulera vad som skall bevisas i basfallet och i induktionssteget i ett induktionsbevis av påståendet att. 4 5 n för alla n = 0, 1, 2, 3,...

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

Lösningar till övningstentan. Del A. UPPSALA UNIVERSITET Matematiska institutionen Styf. Övningstenta BASKURS DISTANS

729G04 - Diskret matematik. Lektion 3. Valda lösningsförslag

TMV166/186 Linjär Algebra M/TD 2011/2012 Läsvecka 1. Omfattning. Innehåll Lay, kapitel , Linjära ekvationer i linjär algebra

Transkript:

Lösningsförslag till övningsuppgifter del II Obs! Preliminär version! Ö.1. För varje delare d till n låt A d var mängden av element a sådana att gcd(a n = d. Partitionen ges av {A d : d delar n}. n = 6: A 1 = {1 5} A 2 = {2 4} A 3 = {3} vilket ger partitionen {{1 5} {2 4} {3}}. n = 11: Alla element ligger i A 1 vilket ger partitionen {{1 2 3 4 5 6 7 8 9 10}}. n = 12: A 1 = {1 5 7 11} A 2 = {2 10} A 3 = {3 9} A 4 = {4 8} och A 6 = {6} vilket ger partitionen {{1 5 7 11} {2 10} {3 9} {4 8} {6}}. n = 16: A 1 = {1 3 5 7 9 11 13 15} A 2 = {2 6 10 14} A 4 = {4 12} och A 8 = {8} vilket ger partitionen {{1 3 5 7 9 11 13 15} {2 610 14} {4 12} {8}}. Ö.2. Längden på cykeln som innehåller elementet (0 0 är lika med det största positiva elementet k som har egenskapen att π k (0 0 = (0 0. Nu är π k (0 0 = (k mod m k mod n vilket innebär att π k (0 0 = (0 0 om och endast om k är delbart med såväl m som n. Det minsta k som uppfyller detta är k = lcm(m n = mn gcd(m n. Om gcd(m n = 1 är k = mn vilket innebär att π är en cyklisk permutation; antalet element i X är mn. Om gcd(m n > 1 är k < mn vilket innebär att π inte är en cyklisk permutation.

Ö.3. (Uppdaterad den 8 april. (a Vi har att och π 3 = π 5 = ( 1 2 3 4 5 6 7 8 9 10 11 12 3 6 9 12 2 5 8 11 1 4 7 10 = (1 3 9(2 6 5(4 12 10(7 8 11 ( 1 2 3 4 5 6 7 8 9 10 11 12 5 10 2 7 12 4 9 1 6 11 3 8 = (1 5 12 8(2 10 11 3(4 7 9 6. (b Vi observerar att vi har cykeluppdelningen för π 5 i raderna och cykeluppdelningen för π 3 i kolumnerna. Vi kan nämligen skriva och (1 3 9(2 6 5(4 12 10(7 8 11 = (1 3 9(5 2 6(12 10 4(8 11 7 (1 5 12 8(2 10 11 3(4 7 9 6 = (1 5 12 8(3 2 10 11(9 6 47. Detta innebär att vi multiplicerar med 5 för varje steg vi tar åt höger och med 3 för varje steg vi tar nedåt. Eftersom elementet i rad 0 och kolumn 0 är lika med 1 får vi att elementet i rad r och kolumn k är lika med (3 r 5 k mod 13.

Ö.4. Vi använder induktion över antalet cykler n. Basfallet i induktionen är n = 1. 1 I detta fall ska vi räkna antalet cykliska permutationer på en mängd med k element. Det finns (k 1! sådana permutationer och mycket riktigt har vi att (nk! n! k n = k! = (k 1!. 1! k1 Låt nu n 2 och studera cykeln som innehåller det största talet nk. De övriga k 1 elementen i cykeln kan väljas på ( nk 1 k 1 olika sätt och de kan ordnas på (k 1! olika sätt. Detta ger (nk 1! (nk 1! = (nk k! ((n 1k! möjliga val för cykeln. Det återstår nu nk k = (n 1k element som ska fördelas över n 1 cykler med vardera k element. Induktion över n ger att antalet möjligheter för detta är ((n 1k! (n 1! k n 1. Multiplikation ger att det totala antalet möjligheter är (nk 1! ((n 1k! ((n 1k! (nk 1! nk (nk 1! (nk! = = = (n 1! kn 1 (n 1! kn 1 nk (n 1! kn 1 n! k n. Ö.5. Vi använder induktion över antalet delmängder n. Basfallet i induktionen är n = 1. I detta fall ska vi räkna antalet partitioner av en mängd med k element bestående av en enda mängd. Det finns bara en sådan partition och mycket riktigt har vi att (nk! n! (k! n = k! 1! (k! 1 = 1. Låt nu n 2 och studera delmängden som innehåller det största talet nk. De övriga k 1 elementen i delmängden kan väljas på ( nk 1 (nk 1! = k 1 ((n 1k! (k 1! olika sätt. Det återstår nu nk k = (n 1k element som ska fördelas över n 1 delmängder med vardera k element. Induktion över n ger att antalet möjligheter för detta är ((n 1k! (n 1! (k! n 1. Multiplikation ger att det totala antalet möjligheter är = (nk 1! ((n 1k! (k 1! ((n 1k! (n 1! (k! n 1 = (nk 1! (n 1! (k! n 1 (k 1! nk (nk 1! nk (n 1! (k! n 1 (k 1! = (nk! n! (k! n. 1 Det är helt i sin ordning att ha n = 0 som basfall såväl här som i uppgift Ö.5.

Ö.6. Låt c n vara antalet 231-undvikande permutationer av {1... n}; vi sätter c 0 = 1. Låt n 1. I en given tillåten permutation π = a 1 a 2 a n låt k+1 vara den position där vi hittar talet n. Vi hävdar att de första k elementen i π måste vara de k minsta talen 1...k. Anta nämligen att något a k +1 är på någon av dessa positioner. Då måste något b k vara på någon av de positioner som ligger till höger om n. Detta innebär dock att anb bildar mönstret 231 vilket ger en motsägelse. Anta nu att var och en av a 1 a 2 a k och a k+2 a k+3 a n är 231-undvikande. Då är även hela permutationen π 231-undvikande ty de första k elementen är alla mindre än de n k sista. Omvänt gäller att var och en av a 1 a 2...a k och a k+2 a k+3... a n är 231-undvikande om π är 231-undvikande. Nu är antalet 231-undvikande permutationer av {1... k} lika med c k medan antalet 231-undvikande permutationer av {k + 2...n 1} är c n k 1. Summerar vi över k får vi n 1 c n = c k c n k 1 k=0 vilket tillsammans med startvillkoret c 0 = 1 visar att c n är lika med det n:te Catalantalet.

Ö.7. En permutation π är en involution om och endast om π 2 är identiteten. (a Vi har att Vi har att π 2 (k = π((k + m mod 2m = ((k + m + m mod 2m = (k + 2m mod 2m = k. π 2 (k = π((a k mod 2m = (a (a k mod 2m = k mod 2m. Vi har att π = (1 2 4 8 5 10 9 7 3 6. π är alltså en cyklisk permutation av längd 10. Detta medför att π 10 = (π 5 2 är identiteten vilket innebär att π 5 är en involution. Ö.8. Studera en partition av X med egenskapen att en delmängd i partitionen innehåller exakt n element. Vi har två fall: Partitionen består av två delmängder av storlek n. Det finns 2( 1 2n n sådana partitioner. Varje delmängd Y till X av storlek n ger nämligen upphov till partitionen {Y X \ Y }. Det finns ( 2n n sådana delmängder men eftersom de två delmängderna Y och X \Y ger upphov till samma partition måste vi dela detta antal med 2. Partitionen består av exakt en delmängd av storlek n. Det finns ( 2n n sätt att välja denna delmängd Y. Antalet partitioner av mängden X \ Y i minst två delmängder är B n 1; vi subtraherar 1 eftersom vi ska räkna bort partitionen {X \ Y }. Multiplikation ger att antalet partitioner av X med givna egenskaper är ( 2n n (Bn 1. Summering ger att det sökta antalet partitioner är ( ( ( 1 2n 2n 2n + (B n 1 = 2 n n n ( B n 1 2.

Ö.9. (Uppdaterad den 17 april. Låt n 1 och studera den första mängden i partitionen. Om antalet element i mängden är j finns det ( n j sätt att välja mängden. De övriga n j elementen kan partitioneras på P n j olika sätt. Den första mängden är icketom vilket innebär att j ligger mellan 1 och n. Vi får alltså att P n = n j=1 ( n P n j = [i = n j] = j n 1 i=0 ( n P i = n i n 1 För att beräkna den genererande funktionen P(x noterar vi att P(x = x n P n n! = 1 + x n P n n! n 0 n 1 = 1 + n 1 ( n x P n i i n! = 1 + n 1 i=0 n 1 = 1 + i 0 = 1 + i 0 n i+1 P i x i i! och därmed att P(x = 1/(2 e x. n 1 i=0 x i x n i P i i! (n i! = 1 + i 0 j 1 P i x i i! j 1 x j j! = 1 + P(x(ex 1 i=0 ( n P i. i x n i (n i! x i x j P i i! j! Ö.10. (Uppdaterad den 17 april. Först påminner vi om att det n:te Belltalet B n är lika med antalet partitioner av mängden {1...n}. För en given vinnande kastsvit låt A i vara mängden av pilar som hamnar i ring i. Låt k vara maximalt sådant att någon pil hamnar i ring k. Detta innebär att A k+1... A n är tomma och villkoret (3 ger att A 1...A k alla är icketomma. I synnerhet är {A 1...A k } en partition av {1...n}. Vi vill visa att vi har en bijektion mellan vinnande kastsviter och partitioner av {1...n}. För en given partition vill vi alltså visa att det finns precis en kastsvit som ger denna partition enligt ovanstående procedur. Ordna mängderna i partitionen som {A 1... A k } så att min A 1 < min A 2 < < min A k. För en given partition ordnar vi alltså mängderna i stigande följd med avseende på varje mängds minsta element. Vi har då att en vinnande kastsvit ger upphov till partitionen {A 1... A k } om och endast om A i är den mängd av pilar som hamnar i ring i för 1 i k. Villkoret (3 är nämligen ekvivalent med att det minsta elementet i A i är mindre än det minsta elementet i A j för alla i < j.

Ö.11. (a I en given permutation med k cykler studera den cykel som innehåller elementet n. Om längden på cykeln är r har vi att cykeln är på formen (x 1...x r där x r = n. Det finns (n 1!/(n r! sätt att välja elementen x 1... x r 1 och sedan c n rk 1 sätt att välja de övriga k 1 cyklerna; vi har n r återstående element. Talet r är som minst 1 och som mest n (k 1 = n k + 1 ty om r är större än n k + 1 finns det inte plats för ytterligare k 1 cykler i permutationen. Vi erhåller därmed att (b Vi är intresserade av c nk = n k+1 r=1 f k(x = n k (n 1! (n r! c n rk 1. c nk x n 1 (n 1! alltså derivatan av f k (x = n k c nk x n n!. Vi ser att n k c nk x n 1 (n 1! = n k = r 1 [m = n r] = r 1 n k+1 r=1 n r+k 1 x r 1 (n 1! (n r! c n rk 1 (n 1! m k 1 x n 1 c n rk 1 xr 1 x n r (n r! c mk 1 xm m! = 1 1 x f k 1(x. (c Vi använder induktion över k för att bevisa påståendet. För k = 0 får vi att ( ln(1 x 0 = 1 0! vilket är lika med f 0 (x. Anta att k 1. Induktion ger att Vi har nu att derivatan av f k(x = f k 1(x 1 x = 1 1 x k ( ln(1 xk 1 D( ln(1 x k! ( ln(1 xk 1. (k 1! ( ln(1 xk k! är lika med = 1 ( ln(1 xk 1 1 x (k 1! = f k 1(x 1 x. Alltså är ( ln(1 xk f k (x = + C k! för någon konstant C. Eftersom c 0k = 0 är konstanttermen i f k (x lika med noll vilket innebär att C = 0.

Ö.12. (a I en given partition med k delmängder studera den delmängd som innehåller elementet n. Om storleken på delmängden är r har vi ( n 1 r 1 möjligheter för de övriga r 1 elementen i mängden och sedan S n rk 1 sätt att välja de övriga k 1 delmängderna; vi har n r återstående element. Talet r är som minst 1 och som mest n (k 1 = n k + 1 ty om r är större än n k + 1 finns det inte plats för ytterligare k 1 delmängder i partitionen. Vi erhåller därmed att (b Vi är intresserade av S nk = n k+1 r=1 f k (x = n k ( n 1 S n rk 1 r 1 S nk x n 1 (n 1! alltså derivatan av f k (x = n k S nk x n n!. Vi ser att n k S nk x n 1 (n 1! = n k = r 1 [m = n r] = r 1 n k+1 r=1 n r+k 1 x r 1 (r 1! ( n 1 x S n 1 n rk 1 r 1 (n 1! S n rk 1 m k 1 x r 1 x n r (r 1! (n r! S mk 1 xm m! = ex f k 1 (x. (c Vi använder induktion över k för att bevisa påståendet. För k = 0 får vi att (e x 1 0 = 1 0! vilket är lika med f 0 (x. Anta att k 1. Induktion ger att f k(x = e x f k 1 (x = e x (ex 1 k 1. (k 1! Vi har nu att derivatan av (ex 1 k k! är lika med Alltså är D(e x 1 k (ex 1 k 1 k! = e x (ex 1 k 1 (k 1! = e x f k 1 (x. f k (x = (ex 1 k + C k! för någon konstant C. Eftersom S 0k = 0 är konstanttermen i f k (x lika med noll vilket innebär att C = 0.

Ö.13. Studera diagrammet för en given partition. Antalet kvadrater i kolumn 1 är lika med antalet delar. Antalet kvadrater i rad 1 är lika med den största delen i partitionen. I synnerhet har vi att en partition har högst k delar om och endast om den största delen i partitionens konjugat (se avsnitt 1 är högst k. Konjugat ger alltså en bijektion mellan partitioner med högst k delar och partitioner sådana att varje del är högst k. Ö.14. Vi har en bijektion mellan mängden av partitioner av talet n och mängden av partitioner av talet kn sådana att varje del är delbar med k. Avbilda nämligen partitionen n = x 1 + + x r på kn = kx 1 + + kx r. Ö.15. Studera en partition som är lika med sitt eget konjugat. Idén i beviset är att dela in partitionen i hakar och bilda en följd (b 1... b m så att b i är storleken på den i:te haken. För att beskriva proceduren studerar vi Figur 2 där hakarna i diagrammet är markerade med omväxlande vitt och grått. Storleken på hakarna är i tur och ordning 13 7 5 och 1 vilket ger följden (b 1 b 2 b 3 b 4 = (13 7 5 1 och alltså partitionen 26 = 13 + 7 + 5 + 1 en partition med udda och sinsemellan olika tal. Storleken på en given hake är uppenbarligen udda och minst två mer än haken precis innanför. Detta medför att följden (b 1...b m alltid består av udda och sinsemellan olika tal. Omvänt kan vi för en sådan följd sätta ihop hakar som i Figur 2 och på så sätt få en partition som är lika med sitt eget konjugat. Detta ger en bijektion mellan de två mängder av objekt som skulle räknas.

Ö.16. Se Figur 4 för de unika tablåerna. 1 5 6 7 2 8 11 12 3 9 13 15 4 10 14 16 1 2 3 5 8 9 10 14 4 6 7 11 12 13 15 16 1 3 4 5 14 2 6 7 15 16 8 9 10 11 12 13 Figur 4: De unika fullständiga tablåerna i uppgift Ö.16. I fallet med den första tablån kan vi resonera stegvis på följande sätt: (i Elementet 4 befinner sig i den fjärde raden. Detta innebär att den enda möjligheten för de tre positionerna ovanför 4 i den första kolumnen är elementen 1 2 och 3. ii Eftersom 7 ligger i den fjärde kolumnen finns det bara två möjligheter för de två positionerna till vänster om 7 i den andra och tredje kolumnen nämligen 5 och 6. (iii Eftersom elementet 10 ligger på den fjärde raden måste elementen ovanför 10 på den andra och tredje raden att vara 8 och 9. (iv Med elementet 12 i den fjärde kolumnen måste 11 ligga den tredje kolumnen direkt till vänster om 12. (v Eftersom 14 ligger i den fjärde raden och den tredje kolumnen finns det bara en möjlighet för de återstående elementen 13 15 och 16. Se Figur 5 för illustrationer av de mellanliggande stegen (i-(iv. 1 7 1 5 6 7 1 5 6 7 1 5 6 7 2 12 2 12 2 8 12 2 8 11 12 3 3 3 9 3 9 4 10 14 4 10 14 4 10 14 4 10 14 (i (ii (iii (iv Figur 5: Steg (i-(iv i lösningen till uppgift Ö.16 första tablån. På liknande sätt kan vi resonera för de två övriga tablåerna; se Figur 6 och Figur 7 för de mellanliggande stegen.

1 2 3 5 8 14 4 11 (i 1 2 3 5 8 14 4 6 7 11 (ii 1 2 3 5 8 9 10 14 4 6 7 11 (iii Figur 6: Mellanliggande steg i lösningen till uppgift Ö.16 andra tablån. 1 3 4 5 14 2 7 11 12 13 (i 1 3 4 5 14 2 6 7 11 12 13 (ii 1 3 4 5 14 2 6 7 8 9 10 11 12 13 (iii Figur 7: Mellanliggande steg i lösningen till uppgift Ö.16 tredje tablån.

( 1 2 3 4 5 6 Ö.17. Resultatet för blir 4 5 2 6 3 1 Resultatet för 1 3 6 2 5 4 ( 1 2 3 4 5 6 blir 6 3 5 1 2 4 1 2 4 3 5 6 1 2 4 3 5 6 1 3 6 2 5 4.. Att vi får samma par av tablåer fast i omvänd ordning beror på att de två permutationerna är varandras inverser. Ö.18. Resultatet blir 1 2 7 3 5 8 4 6 1 2 7 3 5 8 4 6. Tablåerna är lika eftersom permutationen är sin egen invers.

Ö.19. Resultatet blir ( a1 a 2 a 3 a n b 1 b 2 b 3 b n 1 2 3 n n + 1 n + 2 n + 3 2n. Efter n steg har vi nämligen paret ( b1 b 2 b 3 b n 1 2 3 n. Detta följer av att b 1 < b 2 < < b n. Vi använder induktion över k 0 k n för att visa att vi efter n + k steg av algoritmen har paret ( a1 a k b k+1 b n b 1 b k 1 k k + 1 n n + 1 n + k Observera att k = n ger det slutliga paret av tablåer. Basfallet k = 0 stämmer uppenbarligen. Anta att k 0 och studera steg n+k+1 av algoritmen. Det aktuella talet som ska in i algoritmen är a k+1. Enligt antagandena har vi att a k < a k+1 < b k+1. Detta innebär att a k+1 hamnar i kolumn k +1 på den position där just nu b k+1 befinner sig. Eftersom b k < b k+1 knuffas b k+1 ner till positionen längst till höger på den andra raden. Resultatet blir alltså ( a1 a k a k+1 b k+2 b n b 1 b k b k+1 1 k k + 1 k + 2 n n + 1 n + k n + k + 1 vilket avslutar induktionsbeviset..