01.08.2013 Views

Schack och matematik

Schack och matematik

Schack och matematik

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Jun<br />

2004<br />

School of Mathematics and Systems Engineering<br />

Reports from MSI - Rapporter från MSI<br />

<strong>Schack</strong> <strong>och</strong> <strong>matematik</strong><br />

– En studie om springarproblemet<br />

Amir Moaveni<br />

MSI Report 04052<br />

Växjö University ISSN 1650-2647<br />

SE-351 95 VÄXJÖ ISRN VXU/MSI/MA/E/--04052/--SE<br />

1


Sammanfattning<br />

<strong>Schack</strong> har fascinerat människan i århundraden. Dess rötter kan spåras till Indien så långt<br />

tillbaka som till ca 600 e kr. Det som fångat människan är dess rika mångfald då taktik <strong>och</strong><br />

planering av varje drag är centralt i spelet. Få spel har så enkla regler men samtidigt så<br />

komplexa spelmönster som schack.<br />

På grund av springarens speciella rörelse på schackbrädet anses den vara bland de mest<br />

intressanta pjäserna att studera. Springarproblemet är gammalt <strong>och</strong> behandlades redan av<br />

Leonard Euler (1707-83). Frågan är om springaren kan ta sig runt brädet <strong>och</strong> därvid besöka<br />

varje ruta en <strong>och</strong> endast en gång <strong>och</strong> om det finns en sådan tur är följdfrågan hur många olika<br />

sådana turer det finns. I den här uppsatsen studeras springarproblemet som är en av många<br />

frågeställningar i schacksammanhang, med hjälp av grafteori. Springarens färd på brädet<br />

illustreras med grafer.<br />

2


INNEHÅLLSFÖRTECKNING<br />

1 INLEDNING............................................................................................................................................................................... 4<br />

1.1 SCHACKETS HISTORIA .......................................................................................................................................................4<br />

1.2 MATEMATIKER INTRESSERAR SIG FÖR SCHACK.............................................................................................................4<br />

1.3 NÅGRA KÄNDA PROBLEM .................................................................................................................................................5<br />

1.3.1 Åtta damer.................................................................................................................................................................... 5<br />

1.3.2 Icke-attackerande torn ............................................................................................................................................... 6<br />

1.3.3 Minimalt <strong>och</strong> maximalt antal kungar...................................................................................................................... 7<br />

2 INTRODUKTION TILL SPRINGARCYKEL/TUR...................................................................................................... 9<br />

2.1 VAD ÄR SPRINGARCYKEL/TUR? .......................................................................................................................................9<br />

2.2 BAKGRUND..........................................................................................................................................................................9<br />

3 GRAFTEORI...........................................................................................................................................................................11<br />

3.1 GRUNDLÄGGANDE BEGREPP INOM GRAFTEORI ...........................................................................................................12<br />

3.2 BIPARTIT GRAF .................................................................................................................................................................13<br />

3.3 EULERSKA GRAFER..........................................................................................................................................................14<br />

3.4 HAMILTONSKA GRAFER..................................................................................................................................................15<br />

4 MATEMATISK BESKRIVNING PÅ SPRINGARPROBLEMET...........................................................................16<br />

4.1 TILLÄMPNING AV WARNSDORFFS METOD....................................................................................................................17<br />

4.2 FINNS DET NÅGRA GENERELLA REGLER FÖR EN SPRINGARCYKEL?..........................................................................21<br />

4.3 GÅR DET ATT RÄKNA ALLA SPRINGARCYKLER FÖR ETT N X M BRÄDE?...................................................................22<br />

4.4 CLIQUE OCH COCLIQUES.................................................................................................................................................23<br />

5 SAMMANFATTNING..........................................................................................................................................................25<br />

6 REFERENSER.........................................................................................................................................................................27<br />

3


1 Inledning<br />

1.1 <strong>Schack</strong>ets historia<br />

Med största säkerhet uppfanns schacket i Indien. <strong>Schack</strong> nämns första gången i sanskritkällor<br />

från ca 600 e.Kr. Man har dessutom funnit primitiva schackpjäser från ca 150 e.Kr. Det är<br />

möjligt att schack är äldre än så, men det finns inga källor som kan verifiera det.<br />

<strong>Schack</strong> kallades ursprungligen chaturanga som betyder 'fyra lemmar' som syftar på<br />

uppdelningen av de indiska vapenslagen i historisk tid. Chaturanga simulerade de olika<br />

vapenslagen kavalleri, elefanter, infanteri <strong>och</strong> stridsvagn [4].<br />

Chaturanga spreds på 600-talet till Persien. Perserna introducerade schackmatt samt begreppet<br />

schack. Tidigare kunde man slå kungen. Engelskans rook för torn kommer av det gamla<br />

persiska ordet rukh. Det persiska ordet för kung, shah, har gett upphov till spelets namn på de<br />

flesta språk idag. Teorin om spelet växte snabbt. Teoretiker skrev verk om öppningsteori,<br />

systematisk taktik samt om strategiska teman i mittspel <strong>och</strong> slutspel. År 833 fällde Al-<br />

Mamum, kalifen i Bagdad, detta yttrande: -”Det är märkligt att jag som härskar över världen<br />

från Indus i öster till Andalusien i väster inte kan hantera 32 schackpjäser på detta lilla bräde”.<br />

Det islamiska imperiets expansion medförde att spelet spreds till Mellanöstern, Nordafrika<br />

<strong>och</strong> Sydeuropa. Det är framförallt via Spanien som schack tog sig till Europa. De första<br />

källorna som nämner schack i Europa är från strax efter år 1000. Araberna var dock mest<br />

framstående fram till 1200-talet då starka europeiska spelare började framträda. Efter 1200talet<br />

började européerna förändra reglerna för att göra spelet mer spännande <strong>och</strong> intressant.<br />

Den äldsta bevarade schackboken är från 1497. Den är skriven av Luis Ramirez de Lucena<br />

som bl.a. gav rådet att man skulle se till att motståndaren är berusad innan man börja spela.<br />

Vid slutet 1500-talet var schackreglerna slutligen i stort sett fastlagda. Internationaliserade<br />

regler jämnade vägen för de riktigt stora schackspelarna. Den förste av dessa var spanjoren<br />

Ruy Lopez som uppfann spanskt försvar <strong>och</strong> som förmodligen var sin tids bäste spelare. Han<br />

besegrade Italiens <strong>och</strong> Spaniens bästa spelare <strong>och</strong> skrev den inflytelserika boken Libro de la<br />

Invencion Liberal y Arte del Juego del Ajxedrez. Andra stora spelare från denna tid var Paolo<br />

Boi, Alessandro Salvio <strong>och</strong> Gioachino Greco, alla från Italien.<br />

Centrum för det europeiska intellektuella livet flyttade norrut under sena renässansen <strong>och</strong><br />

schacklivet följde efter. 1700-talets överlägset bäste spelare var fransmannen André Danican<br />

Philidor. Han var också en erkänd musikkompositör. Philidors försvar är uppkallat efter<br />

honom. Philidor spelade bl.a. i England <strong>och</strong> Frankrike <strong>och</strong> besegrade allt motstånd. Han<br />

förnyade den analytiska tekniken <strong>och</strong> införde nya modernistiska positionella begrepp, såsom<br />

bondekedjans betydelse.<br />

1.2 Matematiker intresserar sig för schack<br />

Ända sedan schackspelet uppfanns i Indien för cirka 1500 år sedan har spelet roat <strong>och</strong><br />

fascinerat människor världen över. Egenskaper som pjäsernas rörelser på brädet, taktik <strong>och</strong><br />

planering av varje drag, brädets enkelhet <strong>och</strong> spelets oändliga utmaningar har gjort många<br />

människor nyfikna på schackspelet. Särskilt har <strong>matematik</strong>er varit intresserade av att studera<br />

schack eftersom spelet delar <strong>matematik</strong>ens logik <strong>och</strong> abstraktion vad gäller problemlösning.<br />

Ansträngningar att skapa en matematisk teori för schackspelet har hittills inte medfört några<br />

konkreta resultat trots att kända <strong>matematik</strong>er som Euler, Gauss, Vanermonde, Legendre har<br />

studerat området [1]. En del matematiska teorier såsom grafteori, aritmetik,<br />

4


kombinationsanalys <strong>och</strong> geometri har används som hjälpmetod för att analysera spelet. Och i<br />

vissa fall har schackspelet även kunnat användas i matematiska sammanhang.<br />

Springarproblem, som behandlas i denna uppsats, är ett exempel på hur matematiska teori<br />

används inom schack <strong>och</strong> vice versa.<br />

Trots flera hundra års analys <strong>och</strong> studium av schack <strong>och</strong> dess oändliga kombinationer är spelet<br />

än idag mycket intressant på grund av dess fantastiskt stora kombinationsmöjligheter.<br />

De flesta matematiska studier <strong>och</strong> forskningar om schack har gjorts i syfte att söka<br />

sifferhemligheterna hos schackbrädet <strong>och</strong> schackpjäsernas rörelser. Det görs även andra<br />

matematiska studier inom detta område. Två frågor som brukar ställas i detta sammanhang är:<br />

• Hur många pjäser av en given typ kan placeras på ett schackbräde utan att de<br />

attackerar varandra?<br />

• Vad är minsta antalet pjäser som krävs för att täcka eller attackera alla rutor på ett<br />

bräde?<br />

1.3 Några kända problem<br />

1.3.1 Åtta damer<br />

Ett av de mest kända problemen, är ”Åtta damer”, som framlades av M. Bezzel i Berlin<br />

Schachzeitung i 1848. Frågan är hur åtta damer kan ställas upp på ett 8 x 8 rutor stort<br />

schackbräde så att ingen dam kan slå den andra? Och om det går, hur många kombinationer<br />

finns det? Frank Nauck publicerade 1850 i Illustrierte Zeitung 12 kombinationslösningar på<br />

problemet. Den tyske <strong>matematik</strong>ern Gauss räknade ut 92 olika kombinationer för detta<br />

problem. Egentligen finns det bara 12 kombinationer, men de övriga fås genom att vända på<br />

schackbrädet <strong>och</strong> genom symmetriska uppställningar. Motsvarande problem med åtta torn har<br />

inte mindre än 40 320 olika varianter. Med löparen blir kombinationsmöjligheter ännu fler<br />

[11].<br />

Bilden 1.1 visar ett av sätten att ställa upp åtta damer så att de inte kan slå varandra.<br />

Bild 1.1<br />

Det går givetvis att utveckla problemet ”åtta damer” till det mer generella problemet ”n<br />

damer” på ett n x n bräde. För n < 4 är det ganska enkelt att kontrollera att det inte finns<br />

lösning på problemet med undantaget för det triviala fallet med en dam på ett 1 x 1 bräde.<br />

Antalet ”fundamentala” kombinationslösningar F(n) <strong>och</strong> alla lösningar inklusive rotation av<br />

schackbrädet <strong>och</strong> symmetriska uppställningar S(n), för n=1,…,12 framgår av tabell 1.1 [17].<br />

5


n 1 2 3 4 5 6 7 8 9 10 11 12<br />

F(n) 1 - - 1 2 1 6 12 46 92 341 1784<br />

S(n) 1 - - 2 10 4 40 92 352 724 2680 14200<br />

Tabell 1.1<br />

Någon generell metod för att räkna ut alla kombinationer för ”n damer” på ett n x n bräde har<br />

jag inte sett någonstans. Djupare undersökning av detta problem ligger utanför denna uppsats.<br />

Ett annat intressant problem med damen är finna minsta antalet damer som behövs för att<br />

täcka, eller attacker, alla rutor Det behövs minst fem damer för att täcka eller attackera alla<br />

rutor på ett 8 x 8 bräde. Det finns inte mindre än 638 olika ”fundamentala”<br />

kombinationslösningar på detta problem. Bilden 1.2 visar en av dessa lösningar.<br />

Bild 1.2<br />

Det är intressant att notera att fem damer även kan täcka bräden med 9 x 9, 10 x 10 <strong>och</strong> 11 x<br />

11 rutor [17].<br />

1.3.2 Icke-attackerande torn<br />

Ett annat intressant exempel är att bestämma antalet icke-attackerande torn på bräden med 8 x<br />

8 rutor. Svaret är 8 torn, diagonalt placerade på 8 x 8 brädet. Maximalt antal icke-attackerande<br />

torn som kan placeras på ett bräde med n x n rutor är n <strong>och</strong> totalt antal placeringssätt av n<br />

icke-attackerande torn på n x n brädet är n! [18]. Bilden 1.3 visar 8 icke-attackerande torn på 8<br />

x 8 brädet.<br />

Bild 1.3<br />

6


1.3.3 Minimalt <strong>och</strong> maximalt antal kungar<br />

Den icke-attackerande pjäsen kan givetvis vara kung, springare eller löpare. Som ett sista<br />

exempel i detta avsnitt har jag valt icke-attackerande kungar men återkommer till detta<br />

problem i avsnitt 4.4 för pjäsen springare. Det kanske inte är så svårt att svara på den frågan<br />

efter lite laborering med pjäserna på brädet, även om det kräver tålamod <strong>och</strong> systematiskt<br />

tankearbete. Bilden 1.4 visar 16 icke- attackerande kungar på schackbrädet [18].<br />

Bild.1.4<br />

Finns det då någon generell metod för att räkna ut det maximala antalet icke-attackerande<br />

kungar k (n) på ett n x n rutor stort bräde? Generellt gäller:<br />

k(n)=n 2 /4 n jämn<br />

k(n)=(n+1) 2 /4 n udda<br />

Minsta antalet kungar (bild 1.5) för att täcka eller attackera alla rutorna på ett bräde med 8 x 8<br />

rutor är 9 [18].<br />

Bild 1.5<br />

Det är inte bara kul att syssla med den här sortens problemlösningar, utan ibland kan det<br />

komma till praktisk nytta också. I den ryska (sovjetiska) filmen ”Havets skräck” skildras<br />

utnyttjandet av schackkunskaper. Filmen handlar om sovjetmarinens arbete med att rensa upp<br />

tyska minfält som en viktig sjöfartsled efter andra världskriget. Efter omfattande sökning<br />

lyckades man oskadliggöra 32 av 36 minor. All uppmärksamhet var givetvis riktad på att hitta<br />

de fyra återstående minorna som utgjorde en stor fara för sjöfarten. Kapten Ratonov, en av<br />

dem som intensivt försökte lösa problemet, fick veta att den som placerat ut minorna var en<br />

tysk ingenjör med mycket stort intresse för schack. Ratonov, själv schackentusiast, kom på<br />

7


några springarproblem <strong>och</strong> fick idén att minorna kunde vara utplacerade som på schackbrädet<br />

enligt ett schema. Detta antagande visade sig vara riktigt <strong>och</strong> ledde till att alla återstående<br />

minorna hittades <strong>och</strong> oskadliggjordes [11].<br />

I denna 10-poängsuppsats demonstreras samspelet mellan schack <strong>och</strong> <strong>matematik</strong>. För att göra<br />

det har jag valt att utgå från ett konkret problem, nämligen Springarproblemet. I avsnitt 2 ges<br />

en introduktion till springarproblemet. Därefter introduceras grafteori i avsnitt 3 för att vidare<br />

i avsnitt 4 studera matematiska tillämpningar på springarproblemet.<br />

8


2 Introduktion till Springarcykel/tur<br />

Pjäsen springare är på grund av sin speciella L- rörelse på schackbrädet intressant att studera.<br />

Bilden 2.1 visar springarens förflyttning på brädet.<br />

Bild 2.1<br />

2.1 Vad är springarcykel/tur?<br />

Springarproblemet går ut på att hitta en tur på n x m bräde där springaren besöker varje ruta<br />

endast en gång. Det finns två varianter av springarproblemet. Den första varianten är att finna<br />

en tur där springaren besöker alla rutorna endast en gång. Denna tur kallas springartur. Den<br />

andra varianten av springarproblemet är att finna en cykel som täcker alla rutor på brädet <strong>och</strong><br />

även här besöks alla rutor endast en gång. Med cykel menas att pjäsen kommer tillbaka till<br />

utgångspunkten, eller att startrutan är nåbar från sista rutan i färden. Den här varianten kallas<br />

för springarcykel <strong>och</strong> är intressant för den är exempel på en Hamiltoncykel i en graf (se<br />

avsnitt 3.4). Problemet att finna sådana tillhör NP-kompletta problem dvs det går inte att hitta<br />

en algoritm som garanterat kan finna en lösning inom en tid som kan uttryckas med hjälp av<br />

polynom(NP = non deterministic Polynomial Time) [22].<br />

2.2 Bakgrund<br />

År 1759 lämnades den första uppsatsen om springarproblemet till vetenskapliga akademin i<br />

Berlin av <strong>matematik</strong>ern Euler. Han hade analyserat problemet <strong>och</strong> kunde i sina studier bland<br />

annat konstatera att det inte finns någon cykel på ett bräde med udda antal rutor samt att på ett<br />

5 x 5 bräde börjar eller slutar alla turer i hörnrutan. Euler koncentrerade sig på schackbrädet<br />

med på 8 x 8 rutor för att konstruera turer. Bild 2.2 visar en springartur konstruerad av Euler.<br />

1 48 31 50 33 16 63 18<br />

30 51 46 3 62 19 14 35<br />

47 2 49 32 15 34 17 64<br />

52 29 4 45 20 61 36 13<br />

5 44 25 56 9 40 21 60<br />

28 53 8 41 24 57 12 37<br />

43 6 55 26 39 10 59 22<br />

54 27 42 7 58 23 38 11<br />

Bild 2.2<br />

9


Många <strong>matematik</strong>er har analyserat springarproblematiken ur olika perspektiv för att finna en<br />

generell metod som är applicerbar för alla n x m bräden. Hittills har dessa studier inte lett till<br />

någon generell lösning på problemet. Det är lätt att tänka sig sökprocedurer för att gå igenom<br />

alla färdvägar <strong>och</strong> hitta alla turer eller cykler som kan finnas men eftersom beräkningstiden<br />

antas växa exponentiellt med brädets storlek blir det i praktiken omöjligt att undersöka stora<br />

bräden.<br />

Ett sätt att ta reda på om det finns sådana turer eller cykler är att helt enkelt pröva alla möjliga<br />

vägar som springaren kan välja mellan. De flesta slutar i en återvändsgränd, dvs springaren<br />

kommer till en ruta varifrån den inte kan ta sig vidare utan att hamna på en ruta som redan<br />

besökts. Denna metod kallas ”Backtracking”. Metoden går ut på att man backar ett steg <strong>och</strong><br />

provar en annan väg <strong>och</strong> har man redan provat alla val då får man backa ett steg till osv.<br />

Problemet att hitta springarturer/cykler är hanterbart på ett mindre bräde. På ett 6 x 6 rutors<br />

bräde är backtracking en användbar metod för att räkna antalet turer <strong>och</strong> cykler. På ett sådant<br />

bräde finns 9 862 olika springarcykler, ett resultat som fås efter att ha provat 4 056 367 434<br />

drag [4].<br />

På ett 8 x 8 rutors schackbräde visar sig problemet vara en tidskrävande process som är riktig<br />

utmanande även för dagens datorer. Bild 2.3 visar olika färdvägar för springaren på 8 x 8<br />

brädet.<br />

Bild 2.3 Springarcykel<br />

En annan praktisk metod för att konstruera springarturer/cykler upptäcktes redan på början av<br />

1800-talet av H.C Warnsdorff [26]. Warnsdorffs metod går ut på att undvika att skapa<br />

återvändsgränder – dvs rutor från vilka springaren inte kan ta sig vidare utan att hamna på en<br />

redan besökt ruta. Ínför varje drag undersöks därför vilka nya rutor som springaren har att<br />

välja mellan. Sedan noteras hur många nya valmöjligheter <strong>och</strong> fria utgångar nya rutorna har<br />

<strong>och</strong> därefter väljer springaren att gå till den ruta som har minst fria utgångar kvar.<br />

Warnsdorffs metod ger lösningar, men inte samtliga. Det går att göra vägval i strid med<br />

metoden <strong>och</strong> ändå uppnå en komplett färdväg för springaren. Det finns ett drag av<br />

godtycklighet i detta då vägvalen ofta är likvärdiga enligt metoden <strong>och</strong> på riktigt stora bräden<br />

uppstår problem. Warnsdorrf själv hade knappast möjlighet att undersöka detta. Dagens<br />

datorexperiment visar att metoden inte fungerar för schackbräde större än 76 x 76 rutor men<br />

den fungerar ganska bra för mindre bräden. Bild 2.4 visar springarfärder på 5 x 5 <strong>och</strong> 6 x 6<br />

rutor stora bräden. I avsnitt 4 visas en tillämpning av metoden.<br />

10


Bild 2.4<br />

Springarfärder illustreras bäst med grafer (se avsnitt 3). Rutorna på brädet är hörn i grafen <strong>och</strong><br />

springarens förflyttning från till exempel ruta a1 till b3 utgör en kant i grafen. Därför är det<br />

naturligt att se problemet med att finna springarfärder som ett grafteoretiskt problem.<br />

Arnd Roth applicerade en algoritm som Axel Conrad upptäckte 1994 [15] för att hitta<br />

Hamiltonturer (definieras i 3.4) i grafer svarande mot springarens rörelse på schackbrädet.<br />

Enligt denna algoritm finns Hamiltontur för n =5. Roth styckade brädet i mindre schackbräden<br />

<strong>och</strong> hittade turer på bräden n= 5 till 8. Med n avses antal rutor på brädet <strong>och</strong> antalet hörn i<br />

grafen. Bilderna 2.4 <strong>och</strong> 2.5 visar turer ritade av Roth.<br />

Bild 2.5 Springarturer på 7 x 7 <strong>och</strong> 8 x 8 bräden<br />

3 Grafteori<br />

I staden Königsberg (numera Kaliningrad) i östra Preussen sägs det att man på söndagar roade<br />

sig med att försöka promenera runt i staden så att man korsade stadens sju broar men att man<br />

endast korsade varje bro en gång. Eftersom varje försök hade misslyckats trodde många att<br />

detta var omöjligt. År 1736 fick en av dåtidens största <strong>matematik</strong>er, Leonhard Euler höra om<br />

problemet <strong>och</strong> i en artikel som publicerades samma år bevisade han att det verkligen inte<br />

kunde lösas. För att försöka lösa gåtan delade Euler staden i fyra delar <strong>och</strong> sju broar vilket<br />

illustreras i bilden nedan [16].<br />

Bild 3.1<br />

I sin artikel formulerade han följande tre regler med vilka man alltid ska kunna finna en<br />

lösning [3].<br />

11


• Om det finns fler än två landmassor (hörn) med ett udda antal broar (kanter) är sådan<br />

promenad (Eulersk tur) omöjlig att genomföra.<br />

• Om det finns exakt två landmassor (hörn) med ett udda antal broar (kanter) så kan man<br />

utföra promenaden (Eulersk tur) om man startar på en av landmassorna <strong>och</strong> slutar i den<br />

andra.<br />

• Slutligen, om det inte finns någon landmassa (hörn) med udda antal broar (kanter) kan<br />

man utföra promenaden (sluten Eulersk tur) <strong>och</strong> starta från valfritt ställe.<br />

Närmare studie av den förenklade bilden (grafen) av problemet som visas, till höger i bilden<br />

3.1 visar att ett udda antal broar leder till landsmassorna <strong>och</strong> därför är det enligt den första<br />

regeln, omöjligt att promenera runt staden på sådant sätt att man korsar varje bro precis en<br />

gång.<br />

Grafteori handlar om egenskaperna hos illustrerade figurer som är uppbyggda av två typer av<br />

element: hörn <strong>och</strong> kanter. I kommande avsnitt ges en kort genomgång av de mest<br />

grundläggande definitionerna <strong>och</strong> begreppen i grafteori. Vidare studeras bipartita grafer <strong>och</strong><br />

Eulerska <strong>och</strong> Hamiltonska grafer presenteras mera ingående.<br />

3.1 Grundläggande begrepp inom grafteori<br />

En graf kan avbildas som en figur med punkter <strong>och</strong> linjer i vilken punkterna representerar<br />

grafens hörn <strong>och</strong> linjerna representerar kanterna.<br />

En graf består av två disjunkta mängder (V,E). Elementen i V kallas för hörn. E är en<br />

delmängd av två mängder ur V. Elementen i E kallas för kanter. Med disjunkta menas att det<br />

inte skall förekomma några gemensamma element, element som i sådana fall skulle både vara<br />

hörn <strong>och</strong> kanter samtidigt.<br />

En kant förbinder exakt två hörn <strong>och</strong> därför beskrivs den lättast av sina ändpunkter.<br />

Ordningen på hörnen som beskriver en kant har ingen betydelse eftersom kanten som går från<br />

hörn u till hörn v är samma kant som går från v till u <strong>och</strong> beskrivs därför lättast med en mängd<br />

som har precis två element (tagna från hörnmängden). Observera att riktade grafer ej tas upp i<br />

denna uppsats.<br />

En kant sägs tillhöra var <strong>och</strong> en av sina ändpunkter, <strong>och</strong> två kanter som tillhör samma<br />

ändpunkter sägs vara näraliggande [7].<br />

Definition 1: En graf G består av två ändliga mängder: en mängd V(G) av hörn <strong>och</strong> en<br />

mängd E(G) av kanter (bågar), där varje kant är associerad med en mängd bestående av<br />

antingen en eller två hörn(Observera att det är alltid ett par av hörn såsom (a,a)loop eller<br />

(a,b) vanlig kant) vilka kallas kantens ändpunkter. Grafen betecknas som G=(V,E).<br />

En enkel graf innehåller inga multipla kanter eller loopar. En multigraf är en graf med flera<br />

kanter mellan samma hörn.<br />

Definition 2: Låt G vara en graf där v <strong>och</strong> w är hörn i G. En tur (promenad) från v till w är<br />

en ändlig alternerande följd av på varandra följande hörn <strong>och</strong> kanter i G. Sålunda har en tur<br />

formen v 0e1v1e2… v n-1en v n, där v-na representerar hörn, e-na representerar kanter, v0 = v, vn<br />

= w, <strong>och</strong> för alla i = 1, 2, … ,n, vi-1 <strong>och</strong> vi är ändpunkterna till ei. Den triviala turen från v till<br />

v består av det enda hörn v.<br />

12


Definition 3: Låt G vara en graf <strong>och</strong> v ett hörn i G. Graden (valensen) av v, betecknad deg(v),<br />

är lika med antalet kanter som tillhör v, med en kant som är en loop räknad två gånger. Den<br />

totala graden av G är summan av graderna hos alla hörn i G.<br />

Sats 1: Om G=(V,E) är en graf ( icke riktad), då gäller att ? v?V deg(v)=2¦ E¦ .<br />

Därav följer omedelbart att:<br />

Följdsats 2: Den totala graden hos en icke riktad graf är jämn.<br />

Definition 4: En delmängd S av hörn i en graf där alla par av hörn i S är närliggande<br />

(adjacent), kalls för Clique.<br />

Definition 5: En delmängd S av hörn i en graf där inga två hörn i S är närliggande (adjacent),<br />

kalls för Coclique.<br />

Exempel:<br />

Betrakta grafen på bild 3.2. Den har hörnmängden V={a, b, c, d, e} <strong>och</strong> kantmängden<br />

E={{a,b}, {a,d}, {b,e}, {b,d}, {c,e}, {c,d}}.<br />

Bild 3.2<br />

En cykel i grafen är till exempel a, {a,b}, b, {b,e}, e, {e,c}, c, {c,d}, d, {d,a}, a eller kortare<br />

abecda. Hörnen a, c <strong>och</strong> e har grad två, hörnen b <strong>och</strong> d har däremot grad tre.<br />

Hörnen a, b <strong>och</strong> d formar en Clique.<br />

3.2 Bipartit graf<br />

För en bipartit graf kan man dela in alla hörn i två olika grupper på ett sådant sätt att det inte<br />

finns några kanter mellan de hörn som är i samma grupp, utan det finns bara kanter som<br />

förbinder de båda grupperna. Se bild 3.3.<br />

Bild 3.3<br />

Definition 5: Grafen G=(V,E) är bipartit om V=V1U V2 med V1n V2 =Ø <strong>och</strong> varje kant av G<br />

är från formen {a,b} med a? V1 <strong>och</strong> b? V2 . Med andra ord, en graf bestående av två disjunkta<br />

13


delmängder V1 <strong>och</strong> V2 där varje hörn v1 ? V1 bara har grannar i V2 <strong>och</strong> där varje hörn v2 ?<br />

V2 bara har grannar i V1, kallas för en bipartit graf.<br />

En fullständig (komplett) bipartit graf på (m,n) hörn, betecknad km,n , är en bipartit graf med<br />

hörn v1,v2,….vm <strong>och</strong> w 1, w2, …..wn som uppfyller följande villkor:<br />

För alla i, k=1,2,…m <strong>och</strong> för alla j, l=1,2,…n, gäller att det finns en kant från varje hörn vi till<br />

wj. I bild 3.4 nedan illustreras k2,3 [8].<br />

Bild 3.4<br />

3.3 Eulerska grafer<br />

Vad som är intresserant i en Eulersk graf är att hitta en väg där det går att ”promenera” längs<br />

alla kanter endast en gång. Om promenaden slutar i samma hörn som den påbörjades i, då har<br />

grafen en Eulersk cykel <strong>och</strong> kallas därmed för Eulersk graf. En Eulersk graf innehåller alltså<br />

en Eulersk cykel. Om promenaden däremot inte slutar i samma hörn som den började ifrån,<br />

utan slutar i ett hörn skild från den första så är det en Eulersk tur (trail).<br />

Sats 2: En graf har en Eulersk cykel om <strong>och</strong> endast om:<br />

Grafen är sammanhängande.<br />

Alla hörn har jämna grader.<br />

Följdsats 2: En sammanhängande graf är Eulersk om <strong>och</strong> endast om dess kanter kan delas<br />

upp i disjunkta cykler.<br />

Följdsats 3: En sammanhängande graf har en Eulertur om <strong>och</strong> endast om det inte finns fler<br />

än två hörn med udda grader.<br />

Sats 1 kan appliceras för att visa att en graf har en Eulercykel, eftersom att,om det finns en<br />

Eulercykel i en graf, så måste varje hörn av grafen ha jämna grader. Med andra ord om det<br />

finns hörn av udda grader i grafen så kan det inte finnas en Eulercykel. Räcker det om varje<br />

hörn i grafen är av jämn grad? Betrakta följande icke-sammanhängande graf.<br />

Bild 3.5<br />

Alla hörn i grafen i Bild 3.5 är av jämna grader, men det finns ingen Eulercykel.<br />

14


3.4 Hamiltonska grafer<br />

Sir William Rowan Hamilton utsågs till ”Astronomer Royal of Ireland” vid tjugotvå års ålder,<br />

adlades vid trettio, <strong>och</strong> var en ledande <strong>matematik</strong>er på sin tid. Förutom sina stora upptäckter<br />

inom algebra så är han även känd som uppfinnaren av "The Travellers Dodecahedron" (Den<br />

resandes dodekaeder) även känt som "A Voyage Arond the World" (En resa runt världen).<br />

Dodekaeder-spelet kommer från ett grekiskt ord som betyder tolvsiding. Hörnen på<br />

tolvsidingen (tjugo stycken) var märkta med namn på viktiga städer som Bryssel, Canton,<br />

Dehli <strong>och</strong> så vidare, <strong>och</strong> slutade med Zanzibar. Varje hörn hade också en kort pinne runt<br />

vilken man kunde linda ett snöre. Målet för spelet var att ta ett snöre <strong>och</strong> linda det runt<br />

tolvhörningen (man fick endast följa kanterna) så att man passerade varje stad precis en gång<br />

(<strong>och</strong> därmed startade <strong>och</strong> slutade i samma stad.) En sådan resa kallades en "Resa jorden runt".<br />

Bilden 3.6<br />

Exempel 1 (med beteckningar från bild 3.6):<br />

C D M N P Q Z X H J V W R S T L K F G B <strong>och</strong> slutligen C, visar en Hamiltoncykel.<br />

Bild 3.7: Ikosaederspelet<br />

Definition 6: Låt G=(V,E) vara en graf med |V|=3, då har G en Hamiltoncykel om det finns<br />

en cykel i G som består av varje hörn i V.<br />

En intressant egenskap för en graf är om den har en Hamiltoncykel eller inte. Det är lätt att tro<br />

att det är enkelt att avgöra med tanke på att enda skillnaden mellan en Eulercykel <strong>och</strong> en<br />

Hamiltoncykel tycks vara att man i princip byter ut villkoret att gå över varje kant precis en<br />

gång mot att gå genom varje hörn precis en gång. Tyvärr verkar det vara betydligt svårare att<br />

hitta enkla kriterier som avgör om en graf har en Hamiltoncykel. Det finns kriterier som<br />

garanterar att de finns en Hamiltoncykel i en graf, men tyvärr finns det grafer som inte<br />

15


uppfyller dessa kriterier men ändå har en Hamiltoncykel, alltså tillräckliga men ej nödvändiga<br />

kriterier. Det finns dock satser som kan visa om vissa typer av grafer har Hamiltonska cykler<br />

<strong>och</strong> här introduceras två av de viktigaste.<br />

Sats 4(Ore sats): Betrakta grafen G=(V,E) där |V| = 3. Om deg (x) + deg(y) = |V| för alla<br />

icke- närliggande(grannar) x ,y ? V då har G en Hamiltonsk cykel.<br />

Bevis: För beviset se ref.[19]<br />

Följdsats 5: Betrakta en graf G=(V,E) där |V|= 3. Om deg(v)= V/2 för varje hörn v, har G en<br />

Hamiltonsk cykel.<br />

Exempel:<br />

Betrakta bild 3.8. Om G är grafen i bilden, så bildar kanterna {a, b}, {b, c}, {c, f}, {f, e}, {e,<br />

d}, {d, g}, {g, h}, {h, i} en Hamiltontur. Men har G en Hamiltoncykel?<br />

Bild 3.8<br />

Eftersom G har nio hörn måste en Hamiltoncykel i G innehålla nio kanter. Börja i hörn b för<br />

att försöka bilda en Hamiltoncykel. Från b kan både c <strong>och</strong> a nås. På grund av symmetrin i<br />

grafen spelar det ingen roll vilken hörn som väljs. Välj hörn c. Återigen går det att välja<br />

antigen hörn f eller i. Valet denna gång faller på hörn f vilket betyder att kant {c, i} tas bort<br />

från möjliga promenadvägar eftersom c redan har passerats en gång. Resonemanget blir det<br />

likartade om hörn i väljs. För att inkludera hörn i i cykelturen blir färden från f mot i. Med<br />

kanterna {c, f}{f, i} i cykelturen går det inte att ha kanten {e, f} i cykeln. Om färden tar sin<br />

väg mot e blir den fast <strong>och</strong> kan inte gå vidare <strong>och</strong> därmed finns det ingen Hamiltoncykel i den<br />

här grafen.<br />

Om en graf G har en Hamiltoncykel, så har G en subgraf (delgraf) H med följande egenskaper<br />

[10]:<br />

1. Varje hörn hos H har graden 2.<br />

2. H har samma antal kanter som hörn.<br />

3. H är sammanhängande.<br />

4. H innefattar alla hörn hos G.<br />

4 Matematisk beskrivning på springarproblemet<br />

Springarensfärd på ett schackbräde (n x m då m=n) kan illustreras med en graf eller<br />

”springargraf”. En sådan kan definieras som grafen G=(V,E) där<br />

V={ ( i , j ) | 1 = i = n, 1 = j = n }<br />

<strong>och</strong><br />

E={ ( ( i , j ) , ( k , l ) ) | ( | i - k | ,| j - l | ) =(1,2) eller<br />

(2,1) }<br />

16


I denna graf finns ett hörn för varje ruta av brädet <strong>och</strong> en kant mellan två hörn då springaren<br />

kan förflytta sig från den ena rutan till den andra. Springargrafen för fallet n=m har n 2 hörn<br />

<strong>och</strong> 4n 2 - 12n +8 kanter [6].<br />

Ett springarcykelproblem kan definieras som en delmängd av Hamiltoncykelproblematiken<br />

<strong>och</strong> ett springarturproblem kan definieras till Hamiltonturproblemet. Eftersom<br />

Hamiltoncykelproblemet är ett NP-komplett problem är springarcykelproblemet också ett NPkomplett<br />

problem.<br />

Problem 1: Visa att problemet att hitta en springarcykel på ett n x m bräde är ekvivalent med<br />

att hitta en Hamiltoncykel i motsvarande graf.<br />

Lösning: I en Hamiltoncykel, behöver man besöka varje hörn i grafen G precis en gång <strong>och</strong><br />

att man besöker varje kant en gång <strong>och</strong> endast en gång <strong>och</strong> återkommer till startpunkten är<br />

alltså en cykel. Det är viktigt att notera att alla kanter inte behöver utnyttjas i en<br />

Hamiltoncykel. Det är precis denna cykel som görs då springaren förflyttar sig (L- drag) på<br />

brädet <strong>och</strong> besöker varje ruta <strong>och</strong> återvänder till startpunkten [13].<br />

Kombinatoriska metoder appliceras generellt för att hitta Hamiltoncykler i en graf [2,10] dock<br />

är detta inte tillämpbar på större grafer. Då det gäller springarproblemet har det utvecklats<br />

olika algoritmer för att försöka lösa problemet. Backtracking-algoritmen hittar lösningar men<br />

den är långsam <strong>och</strong> tidskrävande. En algoritm som passar (se 2.2) väl när det gäller att hitta<br />

springarturer <strong>och</strong> därmed Hamiltonturer är Warnsdorffs metod.<br />

4.1 Tillämpning av Warnsdorffs metod<br />

Metoden tillämpas på en springargraf genom att verifiera graden av varje nästa möjliga hörn<br />

(springarensdrag) <strong>och</strong> välja ut det hörn (ruta) som har lägsta graden. Hörn med lägsta grad<br />

ligger i riskzon för isolering <strong>och</strong> därmed är det viktigt att använda dessa hörn innan isolation<br />

inträffar. Det som gör metoden tidskrävande är att om alla eller många hörn har samma grad<br />

går algoritmen vidare ner till ”barnhörn” för att kunna hitta lägsta grad mellan alla dessa<br />

”barnhörn” osv. Ett barnhörn av ett hörn, är ett hörn som inte har besökts <strong>och</strong> kan nås med en<br />

enkel förflytning från givet hörn. Som det nämndes i avsnitt 2.2 duger metoden för mindre<br />

bräden men att den blir svårare att applicera för större bräden. Bild 4.1 visar ett praktiskt<br />

exempel på denna metod för ett 3 x 3 bräden. I bilderna 4.1 <strong>och</strong> 4.2 har standardbeteckningar<br />

för rutor på schackbräden använts.<br />

17


,3<br />

c,1 b,2<br />

a,2<br />

a,1<br />

c,3<br />

Bild 4.1<br />

Varje hörn i grafen G i bilden motsvarar en ruta på 3 x 3 brädet. Det finns ett isolerat hörn<br />

(b,2) <strong>och</strong> således finns ingen Hamiltoncykel.<br />

När det gäller ett bräde med 4 x 4 rutor som 16 hörn <strong>och</strong> 24 kanter blir problemet lite mer<br />

komplicerat.<br />

b,1<br />

c,2<br />

a,3<br />

18


a,3<br />

c,4<br />

b,4<br />

c,2<br />

b,2<br />

a,1<br />

d,4<br />

a,4<br />

d,1<br />

d,3 b,1<br />

Bild 4.2<br />

Även här finns det ingen Hamiltoncykel. Det är bara hörn (a,1), (a,4), (d,1) <strong>och</strong> (d,4) som har<br />

graden 2. Motsatta hörn har samma grannar. Det är (b,3) <strong>och</strong> (c,2) för (a,1) <strong>och</strong> (d,4), <strong>och</strong> det<br />

är (b,2) <strong>och</strong> (c,3) för (a,4) <strong>och</strong> (d,1). Om (a,1) varken är start eller ändpunkt av Hamiltonturen<br />

då måste det vara omgärdat av (b,3) <strong>och</strong> (c,2). Det samma gäller för (d,4) eftersom (a,1), (b,3),<br />

(c,2) <strong>och</strong> (d,4) måste vara första eller sista hörn i turen.<br />

Detsamma gäller för (a,4), (b,2), (c,3) <strong>och</strong> (d,1). Eftersom de andra åtta hörnen måste vara<br />

förenade genom Hamiltonturen. Det är omöjligt eftersom grafen inte är sammanhängande.<br />

Nummerordningen på bild 4.3 visar färdvägen på grafen i bild 4.2.<br />

b,3<br />

c,3<br />

3,1<br />

d,2<br />

a,2<br />

19


1 2 3 4<br />

a 1 14 7 10<br />

b 8 11 4 13<br />

c 15 2 9 6<br />

d 5 12 3<br />

Bild 4.3<br />

Det första brädet som har en tur är 5 x 5 brädet. Det finns vissa tillfällen då Warnsdorffs regel<br />

inte lyckats att hitta Hamiltonturer trots att dessa existerar. Ett typexempel på detta fall<br />

illustreras i nedanstående exempel, bild 4.4.<br />

10<br />

9<br />

8<br />

X<br />

7<br />

6<br />

1<br />

Bild 4.4<br />

X är startpunkten i denna graf. Enligt Warnsdorffs regel, borde hörn 9 väljas vilket gör<br />

Hamiltontur omöjlig i grafen.<br />

Ingo Wegener <strong>och</strong> hans kompanjoner i “Solution of the Knight’s Hamiltonian Path Problem<br />

on Chessboards”[22] försökte förbättra Warnsdorffs metod genom att dela upp större bräden<br />

till mindre bräden för vilka finns kända turer. Det fanns möjligheter att förbättra Warnsdorffs<br />

regler så att den misslyckades mer sällan. Förbättringen var förslagen av Arnd Roth [15] i<br />

hans ”Mathematica notebook”. Hans förslag gjorde att algoritmen klarade upp till 428 x 428<br />

bräden.<br />

5<br />

2<br />

4<br />

3<br />

20


4.2 Finns det några generella regler för en springarcykel?<br />

I sin studie bestämmer Schwenk [20] för vilka värden på n <strong>och</strong> m cykler inte kan existera.<br />

Cull <strong>och</strong> De Curtins [21] visade i sin tur existensen av cykler för de flesta värden på n <strong>och</strong> m.<br />

Resultatet av dessa studie kan sammanfattas så här:<br />

På ett n x m bräde 1


Bild 4.5: Grått i bilden visar mängden X <strong>och</strong> vitt visar mängden Y.<br />

I cykel C sker varje förflytning till en ruta i mängden X från en ruta tillhörande mängden Y<br />

<strong>och</strong> vice versa. Eftersom |X | = |Y|, måste cykeln pendla mellan mängden X <strong>och</strong> Y. Enligt<br />

lemma 1 måste springarens förflyttning växla mellan en svart <strong>och</strong> en vit ruta. Detta medför att<br />

alla rutor mängden X måste ha samma färg. Om man startar i en vit ruta på kanten kan man<br />

aldrig komma till en svart ruta på kanten. Men från partitionen från brädet är det uppenbart att<br />

båda mängder innehåller både vita <strong>och</strong> svarta rutor. Detta är en motsägelsefullt <strong>och</strong> visar<br />

därför att det inte existerar cykler C för 4 x m.<br />

4.3 Går det att räkna alla springarcykler för ett n x m bräde?<br />

Problemet med att hitta alla springarturer <strong>och</strong> springarcykler växer när brädet blir större. För<br />

de stora brädena krävs effektiva algoritmer <strong>och</strong> kraftfulla datorer. Maximalt antal färdvägar<br />

som måste provas för att hitta springarturer är mycket större än det faktiska antalet<br />

springarturer eftersom springaren i många fall kör fast i en återvändsgränd innan den korsar<br />

hela brädet. Genom att räkna antalet tillgängliga rutor från varje ruta <strong>och</strong> multiplicera dem<br />

med varandra fås maximalt antal rutor som kan leda till turer. Men detta inkluderar även alla<br />

möjliga rutor som kan leda till en återvändsgränd för att få förståelse för hur stort problemet är<br />

kan resonemanget i exempel 1 vara till hjälp.<br />

Exempel 1: Springaren börjar sin färd från rutan högst upp till vänster på brädet. Från denna<br />

ruta finns två tillgängliga rutor, vilket medför två möjliga turer. Välj en av dessa rutor. Och nu<br />

finns fem nya tillgängliga rutor som springaren kan välja osv. Det totala antalet turer eller<br />

rättare sagt färdvägar kan fås genom att multiplicera antalet tillgängliga rutor, alltså 2 * 5 * ..<br />

Eftersom springaren besöker varje ruta endast en gång är det kanske samma sak om man<br />

multiplicerar antalet efterföljande rutor (barnruta/barnhörn) på brädet. Mot detta kan<br />

argumenteras att man måste minska alla faktorer med 1 eftersom springaren alltid kommer<br />

från en av dessa rutor men eftersom turen kan börja från vilken ruta som helst på brädet kan<br />

varje ruta vara just den första.<br />

Bilden 4.6 visar antalet färdvägar för varje ruta i ett 5 x 5 bräde <strong>och</strong> bilden 4.7 för ett 6 x 6<br />

bräde. Av bilderna framgår att om brädet växer, växer även området i mitten <strong>och</strong> fylls på med<br />

fler rutor av grad 8 ( barnruta/barnhörn) medan kanterna fylls på med fler rutor av grad 4.<br />

2 3 4 3 2<br />

3 4 6 4 3<br />

4 6 8 6 4<br />

3 4 6 4 3<br />

2 3 4 3 2<br />

Bild 4.6<br />

2 3 4 4 3 2<br />

3 4 6 6 4 3<br />

22


4 6 8 8 6 4<br />

4 6 8 8 6 4<br />

3 4 6 6 4 3<br />

2 3 4 4 3 2<br />

Bild 4.7<br />

Även om resonemanget i exempel 1ger en grov uppskattning på möjliga färdvägar, ger det en<br />

uppfattning om hur snabbt antalet möjliga färdvägar, som måste provas för att hitta<br />

springarturer/cykler, växer när brädet blir större. Ernesto Mordecki [1] visar i sitt arbete att det<br />

totala antalet lösningar, betecknat S för springarcykel är delbart med 8 <strong>och</strong> ger en grov<br />

övregräns på denna kvantitet.<br />

I.Wegener <strong>och</strong> Löbbing(1996) räknas antalet springarturer till 33 439 123 484 294 på 8 x 8<br />

brädet [5]. År 2000 instämmer Wegener [23] med B.D McKey [24] att antalet springarturer är<br />

13 267 364 410 532 vilket förefaller vara den korrekta siffran.<br />

B.D McKey gjorde ingen skillnad mellan ”cykler” <strong>och</strong> ”turer” <strong>och</strong> inte heller mellan deras<br />

riktningar. Han utgick ifrån den vänstra grafen i bild 4.8. På den högra sidan i bilden har han<br />

delat upp cykel i två grafer <strong>och</strong> tagit bort kopplingen mellan dessa från mittlinjen. Mer<br />

generellt har uttrycket nedre <strong>och</strong> övre halvans tur använts för att visa en mängd av hörnosammanhängande<br />

turer vars hörnmängd finns i den nedre <strong>och</strong> övre halvan av brädet, vars<br />

kanter är springarens rörelser, <strong>och</strong> vars ändpunkter är av grad 3 <strong>och</strong> 4.<br />

Han definierade turstrukturen av en halv- tur som den mängd av ändpunktspar som turen<br />

innefattar. Med hjälp av Backtracking hittade han alla turstrukturer i halvorna, vilken uppgick<br />

till 7934470 olika turstrukturer i varje halva. Sista steget var att matcha alla dess turstrukturspar<br />

i varje halva mot varandra.<br />

Bild 4.8<br />

4.4 Clique <strong>och</strong> Cocliques<br />

Frågan är vad är cocliques på springargrafen G <strong>och</strong> hur många icke-attackerande springare<br />

k(8) kan det finnas på 8 x8 brädet [12]?<br />

Problem 2: Visa att grafen G på n x m bräde, där n <strong>och</strong> m är positiva heltal, är bipartit.<br />

23


Lösning: Se lemma 3 i avsnitt 4.2<br />

Låt oss återgå till frågan i början av detta avsnitt. Grafen G är bipartit <strong>och</strong> därmed är svaret 32<br />

springare, vilket framgår av bilden 4.9 [14].<br />

Bild 4.9<br />

64 rutor kan partitioneras till 32 par var, enligt springarens drag. Varje par av rutor kan<br />

innehålla högst en springare. Bild 4.10 visar hur springaren täcker hela brädet (Coclique).<br />

Bild 4.10<br />

Finns det då någon generell metod för att räkna antalet icke-attackerande springare k(n) på nxn<br />

bräden? Ja, det gör det (Madachy 1979 [18]). Generellt gäller:<br />

K(n)=(n 2 +1)/2 n>1 udda<br />

K(n)=n 2 /2 n>2 jämn<br />

En Clique på G är bara en mängd av parvis (alla par av hörn) försvarande eller attackerande<br />

springare. Det kan inte bli mer än två springare eftersom G är bipartit.<br />

En annan klassik fråga i detta sammanhang är vilket som är det minsta antal springare som<br />

krävs för att antigen täcka (ockupera) eller försvara varje ruta i 8 x 8 bräden. Bilden 4.11 visar<br />

24


hur 12 springare täcker alla icke ockuperade rutor (kallad domination number ) [14]. Svaret på<br />

denna fråga för godtyckligt stort bräde är inte känd men lösningar för bräden upp till 15 x 15<br />

storlek är kända sedan 1918.<br />

Frågar man sig istället om antalet springare som försvara varje ruta, oavsett om den ockuperat<br />

eller inte på 8 x 8 i bräden, är svaret inte längre 12 utan 14. På ett n x m bräde behövs minst<br />

(m*n)/8 springare eftersom en springare attackerar högst 8 rutor [14].<br />

5 Sammanfattning<br />

Bild 4.11<br />

Ända sedan schackspelet uppfanns i Indien för cirka 1500 år sedan har spelet underhållit <strong>och</strong><br />

fascinerat människor världen över, pjäsernas rörelser på brädet, taktik <strong>och</strong> planering av varje<br />

drag, brädets enkelhet <strong>och</strong> spelets oändliga utmaningar. De flesta matematiska studier <strong>och</strong><br />

forskningar om schack har gjorts i syfte att söka sifferhemligheterna hos schackbrädet <strong>och</strong><br />

schackpjäsernas rörelser. Det görs även andra matematiska studier inom detta område. Två<br />

frågor som brukar ställas i detta sammanhang är,<br />

Hur många pjäser av en given typ kan placeras på ett schackbräde utan att de attackerar<br />

varandra?<br />

Vad är minsta antalet pjäser som krävs för att täcka eller attackera alla rutorna på ett bräde?<br />

Icke-attackerande torn, icke-attackerande kungar, icke-attackerande springare <strong>och</strong> åtta damer<br />

är sådana problem som tillhör denna kategorifråga. Ett annat problem som har intresserat<br />

<strong>matematik</strong>er är springarproblemet. Problemet är gammalt <strong>och</strong> behandlades redan av Leonard<br />

Euler (1707-83). Frågan är om springaren kan ta sig runt brädet <strong>och</strong> därvid besöka varje ruta<br />

en <strong>och</strong> endast en gång. Och om det finns en sådan tur, kommer genast följdfrågan hur många<br />

olika sådana turer det finns.<br />

Det finns två varianter av springarproblemet. Den första varianten är att finna en tur där<br />

springaren besöker alla rutorna endast en gång. Denna tur kallas springartur. Den andra<br />

varianten av springarproblemet är att finna en cykel som täcker alla rutor på brädet <strong>och</strong> även<br />

här besöks alla rutor endast en gång. Med cykel menas att pjäsen kommer tillbaka till<br />

utgångspunkten, eller om startrutan är nåbar från sista rutan i färden. Denna varianten kallas<br />

för springarcykel <strong>och</strong> är intressant för att den är en delmängd av Hamiltoncykel problemet<br />

som tillhör kategorin NP-kompletta problem.<br />

Kombinatoriska metoder appliceras generellt för att hitta Hamiltoncykler i en graf. Dock är<br />

detta inte tillämpbart på större grafer. Vad gäller springarproblemet har det utvecklats olika<br />

algoritmer för att lösa problemet. Backtracking-algoritmen hittar lösningar men den är<br />

25


långsam <strong>och</strong> tidskrävande. Warnsdorffs regel är en annan algoritm som appliceras i detta<br />

sammanhang.<br />

Det finns generella regler för vilka n x m bräden det finns springarcykler <strong>och</strong> springarturer på<br />

men att hitta alla de turer/cykler <strong>och</strong> räkna dem är inte det lättast då brädet blir större. Det<br />

krävs effektiva algoritmer <strong>och</strong> kraftfulla datorer. Till exempel har B.D McKay räknat antalet<br />

springarturer till 13 267 364 410 532. Han gjorde ingen skillnad mellan ”cykel” <strong>och</strong> ”turer”<br />

<strong>och</strong> inte heller mellan deras riktningar. Ernesto Mordecki har i sin uppsats försökt ge en<br />

överbegränsning för antalet springarcykler.<br />

Icke-attackerande springare (Cocliques) <strong>och</strong> försvarande eller attackerande springare (Clique)<br />

är också intressanta ur grafteorins perspektiv eftersom grafen på G på n x m bräde, där n <strong>och</strong><br />

m är positiva heltal, är bipartit.<br />

26


6 Referenser<br />

[1] Ernesto Mordecki. On the number of Knight’s Tours. Facultad de Ciencias, Centro de<br />

Matematica. Ingua 4225.11400 Montevideo.Uruguay, 2001.<br />

[2] http://www.combinatorics.org/<br />

[3] Mark R.Keen, Knight’s Tour.<br />

http://www.markkeen.com/knight.html<br />

[4] G. Jelliss, Knight’s Tour Notes.<br />

http://www.ktn.freeuk.com/<br />

[5] M. Löbbing and I.Wegener. The Number of Knight’s Tours Equals<br />

33,439,123,484,294- Counting with Binary Decision Diagrams. Electronical Journal<br />

of Combinatorics, 3 no.1.,1996<br />

[6] I. Parberry An Efficient Algorithm for the Knight’s Tour Problem. Discrete Applied<br />

Mathematics, vol.73,pp. 251-260, 1997.<br />

[7] N. Biggs, E.Lloyd, RJ.Wilson. Graph Theory. Oxford Clarendon 1986.<br />

[8] Norman L Biggs. Discrete Mathematics. Oxford Science Publications, 1985.<br />

[9] Winfried Karl Grassmann, Jean-Paul Tremblay. Logic And Discrete Mathematics.<br />

Prentice Hall, 1996.<br />

[10] Ralph P.Grimaldi. Discrete And Combinatorial Mathematics. Addison Wesley<br />

Longman,Inc.<br />

[11] Jerzy Gizycki. Stora <strong>Schack</strong>boken. Fröleen,1961.<br />

[12] Noam D Elkies, Richard P. Stanley. Mathematical Knight. Stanford University,<br />

Department of Mathematics, 2003.<br />

[13] http://www.math.harvard.edu<br />

[14] http://www.mathworld.com/<br />

[15] Arnd Roth, The Problem of the Knight.<br />

http://sunny.mpimf-heidelberg.mpg.de/people/roth/Mma/Knight.html<br />

[16] L. Euler.The Koenigsberg Bridges. Scientific American, 189, no. 1, 1953.<br />

[17] Miodrag Petkovioc. Mathematics And Chess. Dover Publications, Inc, 1997.<br />

[18] Madachy, J. S. Madachy's Mathematical Recreations. Dover Publications, 1979.<br />

[19] Ore O. Theory of Graphs. Rhode Isaland, 1962.<br />

27


[20] A.J Schwenk. Which rectangular chessboards have a knight’s tour? Mathematics<br />

Magazine, 64()5:325-332,1991.<br />

[21] P.Cull and J.DeCurtins. Knight’s tour revisted. Fibonacci Quarterly, 16:276-285,<br />

1978.<br />

[22] I.Wegener, H.Morsy, T.Hindrichs, A. Conrad. Solution of the Knight’s Hamiltonian<br />

Path Problem on Chessboards. Discrete Applied Mathematics, 50:125-134, 1994.<br />

[23] I. Wegener. Branching programs and binary decision diagrams. Theory and<br />

applications. SIAM Monographs on Discrete Mathematics and Applications. SIAM,<br />

Philadelphia, PA,2000.<br />

[24] Brendan D.MacKay. Knight’s Tours of an 8 x 8 Chessboard. Computer Science<br />

Department, Australian National University, Canberra, ACT 0200, Australia.<br />

[25] Basil Vandegriend. Finding Hamilton Cycles: Algorithm, Graphs And Performance.<br />

Edmonton, Alberta, 1998.<br />

[26] H. C Warnsdorff. von Des Rösselsprungs einfachste und allgemeinste Lösung.<br />

Schmalkalden, 1823.<br />

[27] Kevin McGown, Ananda Leininger. Knight’Tour. MIT and Oregon State University,<br />

2002.<br />

Matematiska <strong>och</strong> systemtekniska institutionen<br />

SE-351 95 Växjö<br />

tel 0470-70 80 00, fax 0470-840 04<br />

www.msi.vxu.se<br />

28

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!