Bertrands valsats
Inom kombinatorik är Bertrands valsedelproblem frågan: "I ett val där kandidat A får p röster och kandidat B får q röster med p > q , vad är sannolikheten att A kommer att ligga strikt före B under hela räkningen?" Svaret är
Resultatet publicerades först av WA Whitworth 1878, men är uppkallat efter Joseph Louis François Bertrand som återupptäckte det 1887.
I Bertrands originalpapper skisserar han ett bevis baserat på en allmän formel för antalet gynnsamma sekvenser med hjälp av en rekursionsrelation . Han anmärker att det förefaller troligt att ett så enkelt resultat skulle kunna bevisas med en mer direkt metod. Ett sådant bevis gavs av Désiré André , baserat på observationen att de ogynnsamma sekvenserna kan delas upp i två lika sannolika fall, varav ett (fallet då B får den första rösten) är lätt att beräkna; han bevisar jämlikheten genom en explicit bijektion . En variant av hans metod är populärt känd som Andrés reflektionsmetod , även om André inte använde några reflektioner. Bertrands omröstningssats är ekvivalent med cykellemmat .
Exempel
Antag att det finns 5 väljare, varav 3 röstar på kandidat A och 2 röstar på kandidat B (så p = 3 och q = 2). Det finns tio möjligheter för ordningsföljden för de avgivna rösterna:
- AAABB
- AABAB
- ABAAB
- BAAAB
- AABBA
- ABABA
- BAABA
- ABBAA
- BABAA
- BBAAA
För ordningen AABAB är röstsiffran när valet fortskrider:
Kandidat | A | A | B | A | B |
---|---|---|---|---|---|
A | 1 | 2 | 2 | 3 | 3 |
B | 0 | 0 | 1 | 1 | 2 |
För varje kolumn är talet för A alltid större än talet för B , så A är alltid strikt före B . För ordningen AABBA är röstsiffran när valet fortskrider:
Kandidat | A | A | B | B | A |
---|---|---|---|---|---|
A | 1 | 2 | 2 | 2 | 3 |
B | 0 | 0 | 1 | 2 | 2 |
För denna ordning är B lika med A efter den fjärde rösten, så A ligger inte alltid strikt före B . Av de 10 möjliga beställningarna A alltid före B endast för AAABB och AABAB . Så sannolikheten att A alltid kommer att ligga strikt före är
och detta är verkligen lika med som satsen förutsäger.
Motsvarande problem
Istället för att beräkna sannolikheten för att en slumpmässig rösträkningsordning har den önskade egenskapen, kan man istället beräkna antalet fördelaktiga räkneorder och sedan dividera med det totala antalet sätt som rösterna kunde ha räknats på. (Detta är metoden som används av Bertrand.) Det totala antalet sätt är den binomala koefficienten ; Bertrands bevis visar att antalet gynnsamma ordningsföljder för att räkna rösterna är (även om han inte anger detta nummer explicit). Och efter division ger detta .
Ett annat ekvivalent problem är att beräkna antalet slumpmässiga vandringar på de heltal som består av n steg av enhetslängd, som börjar vid origo och slutar vid punkten m , som aldrig blir negativa. Om vi antar att n och m har samma paritet och är detta tal
När och är jämnt ger detta det katalanska talet .
[Observera att om måste vara jämnt. Annars kan den slumpmässiga promenaden inte sluta vid . Detta kan ses på följande sätt: låt vara antalet "positiva" drag, dvs till höger, och låt vara antalet "negativa" drag, dvs. vänster. Eftersom och , har vi och . Eftersom och är heltal, om måste vara ett heltal. Med andra ord måste
Bevis genom eftertanke
För att A ska ligga strikt före B under hela rösträkningen kan det inte bli oavgjort. Separera räknesekvenserna enligt första rösten. Varje sekvens som börjar med en röst på B måste nå oavgjort någon gång, eftersom A så småningom vinner. För varje sekvens som börjar med A och når oavgjort, reflektera rösterna fram till punkten för den första lika (så att alla A blir ett B och vice versa) för att få en sekvens som börjar med B. Därav varje sekvens som börjar med A och når oavgjort är en-till-en-överensstämmelse med en sekvens som börjar med B, och sannolikheten att en sekvens börjar med B är , så sannolikheten att A alltid leder omröstningen är
- sannolikheten för sekvenser som vid något tillfälle stämmer
- sannolikheten för sekvenser som hänger ihop någon gång och börjar med A eller B
- sannolikheten för sekvenser som binder ihop någon gång och börjar med B
- sannolikheten att en sekvens börjar med B
Bevis genom induktion
En annan metod för bevis är genom matematisk induktion :
- Vi lossar villkoret till . Uppenbarligen är satsen korrekt när , eftersom den första kandidaten i det här fallet inte kommer strikt före efter att alla röster har räknats (så sannolikheten är 0).
- Uppenbarligen är satsen sann om p > 0 och q = 0 när sannolikheten är 1, givet att den första kandidaten får alla röster; det är också sant när p = q > 0 som vi nyss har sett.
- Antag att det är sant både när p = a − 1 och q = b , och när p = a och q = b − 1, med a > b > 0. (Vi behöver inte ta hänsyn till fallet här, eftersom vi redan har disponerat det tidigare.) När man sedan betraktar fallet med p = a och q = b , är den sista rösten som räknas antingen för den första kandidaten med sannolikhet a /( a + b ), eller för den andra med sannolikhet b /( a + b ). Så sannolikheten för att den första går före under hela räkningen till den näst sista rösten som räknas (och även efter den sista rösten) är:
- Och så är det sant för alla p och q med p > q > 0.
Bevis via Cykellemma
Ett enkelt bevis är baserat på Dvoretzkys och Motzkins vackra cykellemma. Kalla en valsedel som dominerar om A är strikt före B under hela rösträkningen. Cykellemma hävdar att varje sekvens av A:n och B:n, där , har exakt dominerande cykliska permutationer. För att se detta, arrangera bara den givna sekvensen av A och B i en cirkel och upprepade gånger ta bort intilliggande par AB tills endast A:s återstår. Var och en av dessa A var början på en dominerande cyklisk permutation innan någonting togs bort. Så av de cykliska permutationerna av valfritt arrangemang av A-röster och B-röster dominerar.
Bevis av martingaler
Låt . Definiera den "bakåträkning" stokastiska processen
Påstående: är en martingalprocess.
Med tanke på vet vi att alltså av de första röster, var för kandidat A, och var för kandidat B.
Så, med sannolikhet , vi har och . Likadant för den andra. Beräkna sedan för att hitta .
Definiera stopptiden som antingen minsta så att eller om det inte finns någon sådan . Då är sannolikheten att kandidat A leder hela tiden bara vilket enligt den valfria stoppsatsen är
Bertrands och Andrés bevis
Bertrand uttryckte lösningen som
där är det totala antalet väljare och är antalet väljare för den första kandidaten. Han konstaterar att resultatet följer av formeln
där är antalet gynnsamma sekvenser, men "det verkar troligt att ett så enkelt resultat skulle kunna visas på ett mer direkt sätt". Ett mer direkt bevis producerades snart av Désiré André. Hans tillvägagångssätt kallas ofta felaktigt för "reflektionsprincipen" av moderna författare men använder i själva verket en permutation. Han visar att de "ogynnsamma" sekvenserna (de som når ett mellanläge) består av lika många sekvenser som börjar med A som de som börjar med B. Varje sekvens som börjar med B är ogynnsam, och det finns sådana sekvenser med ett B följt av en godtycklig sekvens av ( q -1) B och p A. Varje ogynnsam sekvens som börjar med A kan omvandlas till en godtycklig sekvens av ( q -1) B:n och p A:n genom att hitta det första B som bryter mot regeln (genom att få rösträkningen att bli lika) och radera den och byta ordningsföljd av de återstående delarna. För att vända processen, ta valfri sekvens av ( q -1) B och p A och sök från slutet för att hitta var antalet A först överstiger antalet B och växla sedan ordningen på delarna och placera ett B i mellan. Till exempel motsvarar den ogynnsamma sekvensen AABB ABAA unikt den godtyckliga sekvensen ABAA AAB . Av detta följer att antalet gynnsamma sekvenser av p A och q B är
och därmed den erforderliga sannolikheten är
som förväntat.
Variant: slipsar tillåtna
Det ursprungliga problemet är att hitta sannolikheten för att den första kandidaten alltid ligger strikt före i rösträkningen. Man kan istället överväga problemet med att hitta sannolikheten att den andra kandidaten aldrig är före (det vill säga med slipsar är tillåtna). I det här fallet är svaret
Variantproblemet kan lösas med reflektionsmetoden på liknande sätt som det ursprungliga problemet. Antalet möjliga röstsekvenser är . Kalla en sekvens för "dålig" om den andra kandidaten någonsin är före, och om antalet dåliga sekvenser kan räknas kan antalet "bra" sekvenser hittas genom subtraktion och sannolikheten kan beräknas.
Representera en röstningssekvens som en gitterbana på det kartesiska planet enligt följande:
- Starta banan vid (0, 0)
- Varje gång en röst på den första kandidaten tas emot, flytta höger 1 enhet.
- Varje gång en röst på den andra kandidaten tas emot flyttas upp 1 enhet.
Varje sådan väg motsvarar en unik sekvens av röster och kommer att sluta på ( p , q ). En sekvens är 'bra' exakt när motsvarande väg aldrig går över diagonallinjen y = x ; på motsvarande sätt är en sekvens "dålig" exakt när motsvarande bana vidrör linjen y = x + 1.
För varje "dålig" bana P definierar du en ny bana P ′ genom att reflektera delen av P fram till den första punkten den vidrör linjen över den. P ′ är en väg från (−1, 1) till ( p , q ). Samma operation återställer det ursprungliga P . Detta ger en en-till-en-överensstämmelse mellan de "dåliga" banorna och banorna från (−1, 1) till ( p , q ). Antalet av dessa vägar är och så det är antalet "dåliga" sekvenser. Detta lämnar antalet "bra" sekvenser som
Eftersom det finns totalt, är sannolikheten för att en sekvens är bra .
Faktum är att lösningarna på det ursprungliga problemet och variantproblemet är lätt relaterade. För att kandidat A ska vara strikt före under hela rösträkningen måste de få den första rösten och för de återstående rösterna (om man ignorerar den första) måste de antingen ligga strikt före eller oavgjort under hela räkningen. Därför är lösningen på det ursprungliga problemet
såsom krävs.
Omvänt kan slipsväskan härledas från fallet utan slips. Observera att antalet oavgjorda sekvenser med p+1 röster för A är lika med antalet oavgjorda sekvenser med p röster för A. Antalet oavgjorda röster med p + 1 röster för A-röster är , som genom algebraisk manipulation är , så bråkdelen av sekvenser med p röster för A-röster är .
Anteckningar
- Valsedlar, gamla och nya , L. Addario-Berry, BA Reed , 2007, i Horizons of combinatorics , Redaktörer Ervin Győri, G. Katona, Gyula OH Katona, László Lovász , Springer, 2008, ISBN 978-77-1990 -9
externa länkar
- Valsedelproblemet (inkluderar skanningar av de franska originalartiklarna och engelska översättningar)
- Bernard Bru, Les leçons de calcul des probabilités de Joseph Bertrand , problemets historia (på franska)
- Weisstein, Eric W. "Röstningsproblem" . MathWorld .