Se kilde til Ikke-transitive terninger

En mængde af [[spilleterning|terninger]] er '''ikke-transitiv''', hvis den indeholder tre terninger, A, B og C, med den egenskab, at A giver et højere resultat end B ved mere end halvdelen af alle kast, B giver et højere resultat end C ved mere end halvdelen af alle kast, men hvor det ikke er sandt, at A giver højere resultat end C ved mere end halvdelen af alle kast. Med andre ord, en mængde terninger er ikke-transitiv, hvis [[relation (matematik)|relationen]] «giver et højere resultat end i mere end halvdelen af alle kast» ikke er transitiv.

Det er muligt at finde mængder af terninger med den stærkere egenskab, at for hver terning i mængden er der en anden terning i mængden som ved kast giver et højere resultat i mere end halvdelen af alle kast. Ved at bruge et sådant sæt terninger, er det muligt at finde på spil, som er partiske på måder, som folk uden erfaring med ikke-transitive terninger ikke ville forvente. (Se eksempel).

== Eksempler ==
[[Fil:Intransitive dice 2.svg|thumb|Et eksempel på ikketransitive terninger (De modsatte sider har samme værdi som de viste).]]

Se på følgende sæt terninger:
* Terning ''A'' har siderne 2, 2, 4, 4, 9, 9.
* Terning ''B'' har siderne 1, 1, 6, 6, 8, 8.
* Terning ''C'' har siderne 3, 3, 5, 5, 7, 7.
Sandsynligheden for at ''A'' giver et højere kast end ''B'', sandsynligheden for at ''B'' giver et højere kast end ''C'', og sandsynligheden for at ''C'' giver et højere kast end ''A'' er alle lig ''5/9'', sådan at dette sæt terninger er ikke-transitivt. Faktisk har dette sæt den stærkere egenskab, at for hver terning i sættet er der en anden terning, som giver højere kast i mere end halvdelen af alle kast.

Lad os nu se på følgende spil, som spilles med et sæt terninger.
# Den første spiller vælger en terning fra sættet.
# Den anden spiller vælger en af de resterende terninger.
# Begge spillere kaster med deres terning, spilleren med flest øjne vinder.
Hvis dette spil spilles med et sæt transitive (almindelige) terninger, så er det enten et retfærdigt spil eller partisk til fordel for den første spiller, fordi den første spiller altid kan finde en terning, som ikke bliver slået af nogen anden terning i mere end halvdelen af alle kast. Hvis spillet derimod spilles med terningsættet fra ovenstående eksempel, så er det partisk til fordel for den anden spiller, fordi denne altid kan finde en terning, som slår terningen valgt af spiller 1 i mere end halvdelen af alle kast.

== Variationer af ikke-transitive terninger ==

=== Efrons terninger ===

'''Efrons terninger''' er et sæt af fire ikke-transitive terninger opfundet af [[Bradley Efron]].

[[Fil:Efron dice 2.svg|thumb|Efrons terninger.]]
De fire terninger A, B, C og D har følgende antal øjne på deres seks sider:
* A: 4, 4, 4, 4, 0, 0
* B: 3, 3, 3, 3, 3, 3
* C: 6, 6, 2, 2, 2, 2
* D: 5, 5, 5, 1, 1, 1

==== Sandsynligheder ====
Hver af terningerne i sættet slås af den foregående terning i listen med en sandsynlighed lig 2/3: :<math>P(A>B) = P(B>C) = P(C>D) = P(D>A) = {2 \over 3}</math>

[[Fil:Efron c d.svg|thumb|Et betinget [[sandsynlighedsregning|sandsynlighedstræ]] kan bruges til at finde sandsynligheden for, at C giver højere kast end D.|link=Special:FilePath/Efron_c_d.svg]]
Terning B har et konstant antal øjne; A slår den i 2/3 af kastene, fordi fire af dens seks sider har flere øjne.

Tilsvarende slår B C med en sandsynlighed på 2/3, fordi kun to af C's sider har flere øjne.

P(C>D) kan beregnes ved at summere betingede sandsynligheder for to hændelser:
* C kaster 6 (sandsynlighed 1/3); vinder uanset D (sandsynlighed 1)
* C kaster 2 (sandsynlighed 2/3); vinder kun, hvis D kaster 1 (sandsynlighed 1/2)

Den totale sandsynlighed for at C vinder er derfor
:<math>\left( {1 \over 3}\times1 \right) + \left( {2 \over 3}\times{1 \over 2} \right) = {2 \over 3}</math>

Med en tilsvarende beregning finder vi sandsynligheden for at D vinder over A som
:<math>\left( {1 \over 2}\times1 \right) + \left( {1 \over 2}\times{1 \over 3} \right) = {2 \over 3}</math>

==== Den totalt set bedste terning ====

De fire terninger har forskellige sandsynligheder for at slå en terning valgt tilfældigt blandt de resterende tre:

Som vist ovenfor, vil terning A slå B i to tredjedele af kastene, men den slår kun D i en tredjedel af kastene. Sandsynligheden for at A slår C er 4/9 (A skal vise 4 ''og'' C skal vise 2). Så sandsynligheden for at A slår en anden tilfældig valgt terning er: :<math>{1 \over 3}\times \left( {2 \over 3} + {1 \over 3} + {4 \over 9} \right) = {13 \over 27}</math>

Tilsvarende vil terning B slå C i to tredjedele af kastene men kun slå A i en tredjedel af kastene. Sandsynligheden for at B slår D er 1/2 (''kun'' når D kaster 1). Så sandsynligheden for at B slår en tilfældig valgt anden terning er: :<math>{1 \over 3}\times \left( {2 \over 3} + {1 \over 3} + {1 \over 2} \right) = {1 \over 2}</math>

C slår D i to tredjedele af kastene men slår kun B i en tredjedel af kastene. Sandsynligheden for at C slår A er 5/9. Så sandsynligheden for at C skal slå en tilfældig valgt anden terning er:
:<math>{1 \over 3}\times \left( {2 \over 3} + {1 \over 3} + {5 \over 9} \right) = {14 \over 27}</math>

Endelig så vil D slå A i to tredjedele af kastene men kun slå C i en tredjedel af kastene. Sandsynligheden for at C slår B er 1/2 (''kun'' når D kaster 5). Så sandsynligheden for at D slår en anden tilfældig valgt terning er: :<math>{1 \over 3}\times \left( {2 \over 3} + {1 \over 3} + {1 \over 2} \right) = {1 \over 2}</math>

Derfor er den bedste terning totalt set C med en gevinstsandsynlighed på 0,5185. C kaster også det højeste antal øjne i gennemsnit, 3 1/3. (A's gennemsnit er 2 2/3, mens B's og D's begge er nøjagtig 3.)

==== Varianter med ens gennemsnit ====

Læg mærke til, at Efrons terninger har forskelligt antal øjne i gennemsnit: gennemsnittet for A er 8/3, mens B og D begge har 3 øjne i gennemsnit, og C har 10/3. Den ikke-transitive egenskab afhænger af hvilke sider, der er mindre eller større, men afhænger ''ikke'' af det absolutte antal øjne på siderne. Så vi kan finde varianter af Efrons terninger hvor oddsene for at vinde er uændret, men alle terningerne har samme gennemsnitligt antal øjne. For eksempel,
* A: 6, 6, 6, 6, 0, 0
* B: 4, 4, 4, 4, 4, 4
* C: 8, 8, 2, 2, 2, 2
* D: 7, 7, 7, 1, 1, 1
eller
* A: 7, 7, 7, 7, 1, 1
* B: 5, 5, 5, 5, 5, 5
* C: 9, 9, 3, 3, 3, 3
* D: 8, 8, 8, 2, 2, 2
Disse terningevarianter er nyttige, for eksempel for at introducere forskellige måder at sammenligne [[Stokastisk variabel|stokastiske variable]] på (eller hvordan man ved ''bare'' at sammenligne gennemsnit kan overse essentielle detaljer).

=== Terninger med antal øjne fra 1 op til 24 ===

Et sæt på fire terninger som bruger alle tallene fra 1 op til 24 kan konstrueres som ikke-transitivt. For nabopar vil en terning vinde tilnærmelsesvist 2 af 3 gange.

For at kaste højt, så vil B slå A, C slå B, D slå C, mens A slår D.

<code>
* A: 1, 2, 16, 17, 18, 19
* B: 3, 4, 5, 20, 21, 22
* C: 6, 7, 8, 9, 23, 24
* D: 10, 11, 12, 13, 14, 15
</code>

==== Relation til Efrons terninger ====

Disse terninger er grundlæggende de samme som Efrons terninger, eftersom hvert tal i en rækkefølge af på hinanden følgende tal på samme terning kan erstattes med det laveste tal i rækkefølgen, og derefter renummerere.

<code>
* A: <span style="background:red">1, 2,</span> <span style="background:yellow">16, 17, 18, 19</span> -> 1, 1, 16, 16, 16, 16 -> 0, 0, 4, 4, 4, 4
* B: <span style="background:lime">3, 4, 5,</span> <span style="background:aqua">20, 21, 22</span> -> 3, 3, 3, 20, 20, 20 -> 1, 1, 1, 5, 5, 5
* C: <span style="background:blue">6, 7, 8, 9,</span> <span style="background:fuchsia">23, 24</span> -> 6, 6, 6, 6, 23, 23 -> 2, 2, 2, 2, 6, 6
* D: <span style="background:purple">10, 11, 12, 13, 14, 15</span> -> 10, 10, 10, 10, 10, 10 -> 3, 3, 3, 3, 3, 3
</code>

=== Miwins terninger ===

[[Fil:Miwin Wuerfel Titan.gif|thumb|Miwins terninger]]
Miwin's terninger blev opfundet i 1975 af fysikeren [[Michael Winkelmann]].

Lad os betragte et sæt på tre terninger, III, IV og V, hvor
* terning III har siderne 1, 2, 5, 6, 7, 9
* terning IV har siderne 1, 3, 4, 5, 8, 9
* terning V har siderne 2, 3, 4, 6, 7, 8
Så vil:
* sandsynligheden for at III kaster højere end IV være 17/36
* sandsynligheden for at IV kaster højere end V være 17/36
* sandsynligheden for at V kaster højere end III være 17/36

=== Sæt på tre terninger med minimale ændringer i forhold til standardterninger ===

De følgende ikke-transitive terninger adskiller sig kun på få punkter fra almindelige standardterninger med 1, 2, 3, 4, 5, 6 øjne:
* ligesom på standardterninger er det samlede antal øjne altid 21
* ligesom på standardterninger varierer antallet af øjne på siderne mellem 1 og 6
* sider med samme antal øjne forekommer maksimalt to gange per terning
* kun to sider på hver terning har et antal øjne som adskiller sig fra standardterninger:
** A: 1, '''1''', 3, 5, '''5''', 6
** B: 2, 3, '''3''', 4, '''4''', 5
** C: 1, 2, '''2''', 4, 6, '''6'''

Ligesom ved Miwins sæt, er sandsynligheden for at A vinder over B (eller B vs. C, C vs. A) 17/36. Men sandsynligheden for uafgjort er 4/36, sådan at man kun taber med 15 ud af 36 kast. Derfor er den totale gevinstforventning højere.

== Freivalds' undersøgelser ==

Mængden af ikke-transitive terninger blev undersøgt af den [[Letland|lettiske]] [[matematik]]er og [[informatik]]er [[Rusins Freivalds]]. Han viste, at hvis der er en mængde på ''n'' terninger, og hver terning kan slå den næste med en sandsynlighed på ''p'', så kan ''p'' være vilkårligt nær (men ikke lig) 3/4=0,75, når ''n'' går mod uendeligt.

== Warren Buffett ==

[[Warren Buffett]] er kendt som fan af ikke-transitive terninger. I bogen ''Fortune's Formula: The Untold Story of the Scientific Betting System that Beat the Casinos and Wall Street,'' beskrives der en diskussion mellem ham og [[Edward Thorp]]. Buffett og Thorp diskuterer deres fælles interesse for ikke-transitive terninger. "Disse er en matematisk kuriositet, en slags snydeterninger, som forvirrer de fleste folks forestillinger om sandsynlighed."

Buffett prøvede en gang at vinde et slags terningespil mod [[Bill Gates]] ved at bruge ikke-transitive terninger. "Buffett foreslog, at hver af dem valgte en af terningerne, for så at lægge resten væk. De vil så vædde om, hvem der kaster højest flest gange. Buffett tilbød Gates at vælge terning først. Dette tilbud vakte med det samme Gates' mistænksomhed. Han krævede først at få lov til at undersøge terningerne, hvorefter han krævede, at Buffett valgte først. "<ref>{{cite book|url=http://books.google.ie/books?id=Qoho6AIXTksC&pg=PA148&dq=Buffet+suggested+that+each+of+them+choose+one+of+the+dice,+then+discard+the+other+two.+They+would+bet+on+who+would+roll+the+highest+number+most+often.+Buffet+offered+to+let+Gates+pick+his+dice+first.+This+suggestion+instantly+aroused+Gates%27s+curiosity.+He+asked+to+examine+the+dice,+after+which+he+demanded+that+Buffet+choose+first |title=Bill Gates speaks: insight from the world's greatest entrepreneur - Bill Gates, Janet Lowe |publisher=Books.google.ie |access-date=2011-11-29}}</ref>

I 2010 citerede [[Wall Street Journal]] Buffett's bridgepartner [[Sharon Osberg]], som fortalte, at da hun første gang besøgte hans kontor 20 år tidligere, overtalte han hende til at spille et spil med ikke-transitive terninger, hvor det var umuligt at vinde. Hun "syntes, det var mægtig underholdende."<ref>{{cite web|url=http://finance.yahoo.com/career-work/article/111491/like-a-marriage-only-more-enduring?mod=career-leadership |title=like-a-marriage-only-more-enduring: Personal Finance News from Yahoo! Finance |publisher=Finance.yahoo.com |date=2010-12-06 |access-date=2011-11-29}}</ref>

== Sæt med ikke-transitive terninger for tre spillere ==

[[Oskar van Deventer]] indførte et sæt på syv terninger (hvor alle sider har sandsynligheden 1/6) som følger:<ref>{{cite web|url=http://www.maa.org/editorial/mathgames/mathgames_07_11_05.html|title=Math Games - Tournament Dice by Ed Pegg Jr. |publisher=The Mathematical Association of America
|date=2005-07-11 |access-date=2012-07-06}}</ref>

* A: 2, 2, 14, 14, 17, 17
* B: 7, 7, 10, 10, 16, 16
* C: 5, 5, 13, 13, 15, 15
* D: 3, 3, 9, 9, 21, 21
* E: 1, 1, 12, 12, 20, 20
* F: 6, 6, 8, 8, 19, 19
* G: 4, 4, 11, 11, 18, 18

Man kan verificere, at A slår B,C,E; B slår C,D,F; C slår D,E,G; D slår A, E, F; E slår B, F, G; F slår A, C, G; G slår A, B, D. Følgelig er der for hvilke som helst to terninger en tredje, som slår begge. Vi finder,
* G slår A,B; F slår A,C; G slår A,D; D slår A, E; D slår A,F; F slår A,G;
* A slår B,C; G slår B,D; A slår B,E; E slår B,F; E slår B,G;
* B slår C,D; A slår C,E; B slår C,F; F slår C,G;
* C slår D,E; B slår D,F; C slår D,G;
* D slår E,F; C slår E,G;
* E slår F,G.

Uanset hvilke terninger de to modspillere vælger, kan den tredje spiller finde en terning, som slår begge.

== Ikke-transitive dodekaedre ==

Som en [[analogi]] til ikke-transitive seks-sidede terninger findes der også [[dodekaeder|dodekaedre]] som kan bruges som ikke-transitive terninger.
Antallet af øjne på hver av disse terninger har summen 114. Ingen tal gentages på nogen af dodekaedrene.

Miwins dodekaedre (sæt 1) vinder cyklisk mod hinanden med [[odds]] 35:34.

Miwins dodekaedre (sæt 2) vinder cyklisk mod hinanden med odds på 71:67.

Sæt 1:
{|border="1" class="wikitable"
|D III || med blå øjne|| 1 || 2 || || || 5 || 6 || 7 || || 9 || 10 || 11 || || || 14 || 15 || 16 || || 18 
|-
|D IV || med røde øjne|| 1 || || 3 || 4 || 5 || || || 8 || 9 || 10 || || 12 || 13 || 14 || || || 17 || 18 
|-
|D V || med sorte øjne|| || 2 || 3 || 4 || || 6 || 7 || 8 || || || 11 || 12 || 13 || || 15 || 16 || 17 || 
|}
{|border="1" class="wikitable"
| [[Fil:Standard-Dodekaeder-D III.gif|thumb|nontransitive dodecahedron D III]] || [[Fil:Standard-Dodekaeder-D IV.gif|thumb|nontransitive dodecahedron D IV]]|| [[Fil:Standard-Dodekaeder-D V.gif|thumb| nontransitive dodecahedron D V]] 
|}

Sæt 2:
{|border="1" class="wikitable"
|D VI || med gule øjne|| 1 || 2 || 3 || 4 || || || || || 9 || 10 || 11 || 12 || 13 || 14 || || || 17 || 18
|-
|D VII || med hvide øjne|| 1 || 2 || || || 5 || 6 || 7 || 8 || 9 || 10 || || || || || 15 || 16 || 17 || 18 
|-
|D VIII || med grønne øjne|| || || 3 || 4 || 5 || 6 || 7 || 8 || || || 11 || 12 || 13 || 14 || 15 || 16 || ||  
|}
{|border="1" class="wikitable"
| [[Fil:Standard-Dodekaeder-D VI.gif|thumb|nontransitive dodecahedron D VI]] || [[Fil:Standard-Dodekaeder-D VII.gif|thumb|nontransitive dodecahedron D VII]]|| [[Fil:Standard-Dodekaeder-D VIII.gif|thumb|nontransitive dodecahedron D VIII]] 
|}

=== Ikke-transitive primiske dodekaedre ===

Det er også muligt at konstruere sæt af ikke-transitive dodekaedre uden gentagne antal øjne, hvor antallet af øjne på hver side altid er et [[primtal]]. Miwins primiske ikke-transitive dodekaedre vinder cyklisk mod hinanden med odds på 35:34.

Sæt 1: Antal øjne med en sum på 564.
{|border="1" class="wikitable"
|PD 11 || med blå tal|| 13 || 17 || 29 || 31 || 37 || 43 || 47 || 53 || 67 || 71 || 73 || 83 
|-
|PD 12 || med røde tal|| 13 || 19 || 23 || 29 || 41 || 43 || 47 || 59 || 61 || 67 || 79 || 83  
|-
|PD 13 || med sorte tal|| 17 || 19 || 23 || 31 || 37 || 41 || 53 || 59 || 61 || 71 || 73 || 79   
|}
{|border="1" class="wikitable"
| [[Fil:Primzahlen-Dodekaeder-PD 11bf.gif|thumb|nontransitive prime-numbers-dodecahedron PD 11]] || [[Fil:Primzahlen-Dodekaeder-PD 12bf.gif|thumb|nontransitive prime-numbers-dodecahedron PD 12]]|| [[Fil:Primzahlen-Dodekaeder-PD 13bf.gif|thumb|nontransitive prime-numbers-dodecahedron PD 13]] 
|}

Sæt 2: Antal øjne med en sum på 468.
{|border="1" class="wikitable"
|PD 1 || med gule tal|| 7 || 11 || 19 || 23 || 29 || 37 || 43 || 47 || 53 || 61 || 67 || 71 
|-
|PD 2 || med hvide tal|| 7 || 13 || 17 || 19 || 31 || 37 || 41 || 43 || 59 || 61 || 67 || 73 
|-
|PD 3 || med grønne tal|| 11 || 13 || 17 || 23 || 29 || 31 || 41 || 47 || 53 || 59 || 71 || 73  
|}

{|border="1" class="wikitable"
| [[Fil:Primzahlen-Dodekaeder-PD 1bf.gif|thumb|nontransitive prime-numbers-dodecahedron PD 1]] || [[Fil:Primzahlen-Dodekaeder-PD 2bf.gif|thumb|nontransitive prime-numbers-dodecahedron PD 2]]|| [[Fil:Primzahlen-Dodekaeder-PD 3bf.gif|thumb|nontransitive prime-numbers-dodecahedron PD 3]]
|}

== Se også ==
* [[Freivalds' algoritme]]
* [[Ikke-transitivt spil]]

== Litteratur ==
{{reflist}}

* [[Martin Gardner|Gardner, Martin]]. ''The Colossal Book of Mathematics: Classic Puzzles, Paradoxes, and Problems: Number Theory, Algebra, Geometry, Probability, Topology, Game Theory, Infinity, and Other Topics of Recreational Mathematics.'' 1st ed. New York: W. W. Norton & Company, 2001. pp.&nbsp;286–311.

* ''Spielerische Mathematik mit Miwin'schen Würfeln'', Bildungsverlag Lemberger, {{ISBN|978-3-85221-531-0}}

== Videre læsning ==

* {{cite book |last=Lowe |first=Janet |author-link=Janet Lowe |title=Bill Gates Speaks: Insight from the World's Greatest Entrepreneur |year=januar 2001 |publisher=Wiley |location=New York |isbn=9780471401698 |url=http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471401692.html |access-date=15. marts 2013 }}

== Eksterne henvisninger ==

* [http://mathworld.wolfram.com/EfronsDice.html MathWorld page]
* [https://web.archive.org/web/20020817020135/http://www.maa.org/mathland/mathtrek_04_15_02.html Ivars Peterson's MathTrek - Tricky Dice Revisited (April 15, 2002)]
* [http://www.jimloy.com/puzz/nontran.htm Jim Loy's Puzzle Page] {{Webarchive|url=https://web.archive.org/web/20061016165934/http://www.jimloy.com/puzz/nontran.htm |date=16. oktober 2006 }}
* [http://www.miwin.com Miwin official site (German)]
* [http://www.devrand.org/view/diceFinder Open Source nontransitive dice finder] {{Webarchive|url=https://web.archive.org/web/20150402222149/http://www.devrand.org/view/diceFinder |date= 2. april 2015 }}
* [http://singingbanana.com/dice/article.htm Non-transitive Dice by James Grime]
* mgf.winkelmann ''[http://www.miwin.com Miwins intransitive Dodekaeder]''
* [http://www.mathsgear.co.uk/non-transitive-dice/ Maths Gear]

{{Spil}}

[[Kategori:Sandsynlighedsregning]]