Hver formel nedenfor er hentet fra implementasjonen, ikke fra en brosjyre. Der en komponent er en deterministisk regel eller en heuristikk og ikke en formel, beskriver vi algoritmen nøyaktig slik den kjører, uten å dikte opp matematikk for den.
Lotto Simulator er et miljø for analyse, læring og simulering. Appen genererer kombinasjoner med seksten metoder, vurderer dem i en matematisk domstol med tolv jurymedlemmer, seks forsvarere og en Høyesterettssjef, tester ekte trekningshistorikk for rettferdighet, analyserer kalendersammenfall og spiller av en fysisk 3D-lottotrommel. Ingenting av dette endrer sannsynligheten for noe tall i en offisiell trekning – avsnitt 8 forklarer hvorfor, med tall.
Notasjon som brukes gjennomgående
der
antall hovedtall å velge mellom (for eksempel 50 i Eurojackpot)
hvor mange hovedtall som trekkes og spilles (5 i Eurojackpot)
antall tall i det separate bonustallutvalget og hvor mange bonustall som spilles (12 og 2 i Eurojackpot)
antall tidligere trekninger i det valgte analysevinduet
hvor mange ganger tallet forekom blant hovedtallene i disse trekningene
trekningsindeks, nyeste først: er den siste trekningen
binomialkoeffisienten, antall måter å velge elementer blant på
1. Systemarkitektur
Én applikasjon, én kodebase: den samme webappen kjører i nettlesere på datamaskin og mobil og, uendret, inne i iOS- og Android-appene (Capacitor WebView). Tunge og betalte beregninger kjører på serveren; alt brukeren ser, tegnes på enheten.
Enhet (web, iOS, Android)Grensesnitt, kupong og arbeidssett, de fire FREE-metodene i generatoren, frekvensdiagrammer, χ²-test, kalendermatematikk, 3D-trommel. Ren tilfeldig og 3D-trommelen henter tilfeldigheten sin fra Web Crypto API.
Edge-funksjoner (TypeScript, Deno)De tolv PRO-metodene i generatoren, alle de nitten modellene i domstolen, de tolv jurymedlemmene, de seks forsvarerne, Høyesterettssjefen, hjulsystemer og prognoseregisteret. Domstolen kjører på reproduserbare pseudotilfeldige strømmer med faste frø.
Database (PostgreSQL)Offisielle trekningsresultater med regelversjon, premietabeller, kontoer og tilganger, prognoseregisteret, der oppføringer bare kan legges til, og evalueringen av det.
DatapipelinePlanlagte jobber henter offisielle resultater, validerer hver trekning mot reglene som gjaldt da den fant sted, og publiserer datasettet etter gjeldende regler.
Hvem beregner hva
I nettleseren: FREE-metodene (Hot tall, Kombinert, Segmentdekning, Ren tilfeldig) og all beskrivende statistikk. Det offentlige bygget fjerner PRO-implementasjonene fysisk fra klienten: funksjonene deres erstattes av stubber, så et PRO-resultat kan bare komme fra serveren.
På serveren: alle PRO-metoder, hele den matematiske domstolen og Høyesterettssjefen. En forespørsel inneholder lotteriet, metoden, antall rekker (1–50) og analysevinduet; serveren henter trekningene selv, så klienten kan ikke mate den med oppdiktet historikk.
Regel om sikker avvisning: en servermodell trenger minst 5 trekninger i det valgte analysevinduet. Med færre avviser den forespørselen med et eksplisitt svar om «utilstrekkelig historikk» i stedet for å lage rekker av ingenting.
Reproduserbar beregning i domstolen
Hvert jurymedlem, hver forsvarer og hver modell i domstolen kjører på sin egen pseudotilfeldige strøm, der frøet er en hash av algoritmeversjonen, personaen, lotteriet, hele trekningshistorikken og datoen for måltrekningen. De samme dataene gir derfor alltid den samme kjennelsen, og enhver endring i historikken endrer alle strømmene.
Frøet til en beregning i domstolen og strømmen av uniforme tall som trekkes fra det.
der
algoritmeversjonen til domstolsmotoren
nøkkelen til personaen eller modellen, for eksempel identifikatoren til et jurymedlem
alle trekningene i vinduet, hovedtall og bonustall i rekkefølge
lotteriets identifikator og datoen for måltrekningen
startverdien (offset basis) i FNV-1a; hasher teksten med starttilstanden
det -te uniforme tilfeldige tallet i strømmen
Lagring og opphav
Hver kombinasjon har en opphavspost: kilden (generatormetode, jurymedlem, jurykonsensus, hjul, 3D-trekning, Høyesterettssjefen, manuell inntasting), tallene den startet med og en hendelseslogg der oppføringer bare kan legges til, med vurderinger, forslag, forsvarernes standpunkter, kjennelser, beslutninger og transformasjoner (høyst 200 hendelser). En post godtas bare hvis transformasjonene, brukt på nytt på de opprinnelige tallene, gjenskaper rekken nøyaktig; ellers vises rekken som om kilden er utilgjengelig.
Opphavskontroll: den gjeldende rekken R_m må være lik den opprinnelige rekken R_0 etter at hvert registrert bytte τ₁ … τₘ er brukt i rekkefølge.
Avstamning: når en rekke redigeres for hånd, opprettes en ny post med den forrige som forelder (opptil fire tidligere poster beholdes), slik at historikken før den manuelle endringen forblir synlig.
Prognoseregister: hver anbefaling (en generert rekke, et jurymedlems bytte, en forsvarers standpunkt, en kjennelse) skrives til et register før måltrekningen og evalueres automatisk etter det offisielle resultatet.
2. Hovedgeneratoren: seksten metoder
Generatoren har seksten valg. Fire FREE-metoder kjører i nettleseren, tolv PRO-metoder kjører på serveren. Alle velger forskjellige tall fra pluss lotteriets bonustall; de skiller seg bare i hvordan tallene vektes eller konstrueres.
Generatorpanelet: metodevelgeren og standardfiltrene
Felles byggesteiner
Vektede metoder gir hvert tall en vekt og trekker deretter sekvensielt uten tilbakelegging: hvert valg fjerner tallet og normaliserer de gjenværende vektene på nytt.
Sekvensiell vektet trekning uten tilbakelegging, brukt av alle vektbaserte metoder.
der
det -te tallet som velges til rekken,
metodens vekt for tallet
Tilfeldighet: i nettleseren bruker Ren tilfeldig og unikhetstrinnet Web Crypto API, mens Hot tall, Kombinert og Segmentdekning bruker nettleserens standardgenerator (Math.random). På serveren trekker metodene fra kryptografisk tilfeldighet, unntatt Fysisk modell (standardgenerator) og Kaos-frøet, som blander kryptografisk tilfeldighet med en høyoppløselig tidtaker. I nettleseren lages et heltall uten skjevhet i med forkastingsmetoden (rejection sampling), slik at ingen rest blir favorisert:
Forkastingsmetoden: en kryptografisk 32-bitsverdi x trekkes på nytt til den havner under det største multiplumet av M, og reduseres deretter modulo M.
Bonustall
Bonustallene (Eurojackpot 2 av 12, EuroMillions 2 av 12, Powerball 1 av 26, Mega Ball 1 av 24, Vikingtall 1 av 5, Powerball AU 1 av 20) trekkes fra sitt eget utvalg, uavhengig av hovedtallene. Lotto, SuperEnalotto og Lotto Max har ikke noe bonustall for spilleren: tilleggstallet deres trekkes av operatøren fra hovedtrommelen.
Vekten w′ⱼ for bonustallet j med c′ⱼ forekomster for metoden μ: freq = Hot tall; rnd, phys, chaos, world = Ren tilfeldig, Fysisk modell, Kaos og World-metodene; alle andre metoder bruker c′ⱼ + 2. Med færre enn 5 trekninger bruker alle metoder like vekter.
FREE-filtre og unikhet
Rekker som lages i nettleseren, går gjennom tre filtre som er slått på som standard: ikke bare partall eller bare oddetall; summen innenfor et intervall; ingen serie på mer enn tre påfølgende tall. En forkastet rekke erstattes av en uniformt tilfeldig rekke som består filtrene (bonustallene trekkes med Bayes-vektene ).
For at den samme kombinasjonen ikke skal deles ut to ganger på samme enhet, identifiseres hver FREE-rekke ved den leksikografiske rangen til hovedtallene blant alle kombinasjoner og sammenlignes med de siste 20 000 rekkene som er utstedt for det lotteriet; en gjentatt rang endres med tilfeldige ombyttinger, og som siste utvei tas den neste ubrukte rangen fra en tilfeldig affin permutasjon av alle rangene. En rekke som er endret på denne måten, sjekkes ikke mot filtrene på nytt.
Den leksikografiske rangen til en kombinasjon og den affine vandringen med full periode over alle ranger.
Kjøringsveier for FREE og PRO
Vei
Metoder
Hvor den kjører
Rekker per kjøring
Historikk
FREE
Hot tall, Kombinert, Segmentdekning, Ren tilfeldig
nettleser
opptil 5 (opptil 50 for PRO-brukere)
FREE-vinduet med nylige trekninger
PRO
de tolv andre metodene
server
opptil 50
det valgte analysevinduet, minst 5 trekninger
Hot tall
FREEI nettleseren
Formål: favorisere tallene som forekom oftest i analysevinduet.
Vekten til tallet n; med færre enn 5 trekninger er alle vektene lik 1.Flere detaljer
Kombinert
FREEI nettleseren
Formål: blande varme, middels og kalde tall i et fast forhold.
Tallene sorteres etter (ved likhet kommer det minste tallet først) og deles i tredjedeler med størrelse : varme, midtre, kalde. Rekke tar uniforme valg fra hver tredjedel:
Rekke i tar h varme, mᵢ midtre og cᵢ kalde tall; odde og like rekker bytter om andelene av midtre og kalde tall.Flere detaljer
Segmentdekning
FREEI nettleseren
Formål: spre en rekke jevnt over tallområdet.
Ett uniformt tall fra hvert av k påfølgende segmenter; det siste segmentet tar resten.Flere detaljer
Ren tilfeldig
FREEI nettleseren
Formål: den ærlige referansen – alle tall er like sannsynlige.
En kryptografisk Fisher–Yates-stokking gir hver kombinasjon samme sannsynlighet før filtreringen.Flere detaljer
Hjulmatrise
PROServer
Formål: bygge flere rekker som til sammen dekker flest mulig par fra en liten tallgruppe – et grådig dekningsdesign.
Gruppen har tall, hentet vekselvis fra den varme, den kalde og den midtre tredjedelen. Alle kombinasjoner av gruppen er kandidater (over 40 000 brukes en tilfeldig stikkprøve); hvert trinn legger til kandidaten med høyest poengsum og markerer parene dens som dekket:
Grådig poengsum for pardekning; ved likhet avgjøres valget uniformt tilfeldig.Flere detaljer
der
parene i kandidatrekken og parene som allerede er dekket av de valgte rekkene
hvor mange av de allerede valgte rekkene som inneholder tallet
er 1 hvis betingelsen er oppfylt, ellers 0
World Hot og Verden kombinert
PROServer
Formål: overføre frekvensprofilen til alle de ni støttede lotteriene til det gjeldende lotteriet.
Hvert trukket tall i hvert lotteri avbildes på sin relative posisjon og spres med en smal gaussisk kjerne ut på tallene i det gjeldende lotteriet; hvert lotteri får samme vekt per trekning, og det gjeldende lotteriets egen frekvens legges til én gang til på toppen:
World-poengsummen for tallet n; X_g er alle hovedtall trukket i lotteriet g (opptil 400 nylige trekninger etter gjeldende regler, D_g trekninger).Flere detaljer
World Hot: uniforme valg blant de tallene med høyest poengsum.
Verden kombinert: fra den øverste tredjedelen, fra den nederste tredjedelen, resten fra midten. Bonustallene er uniforme.
Markov-kjeder
PROServer
Formål: vekte tallene etter hvor ofte de fulgte tallene i forrige trekning.
Laplace-glattet overgangssannsynlighet av første orden, midlet over den siste trekningen L.Flere detaljer
der
hvor ofte tallet forekom i trekningen rett etter en trekning som inneholdt
hovedtallene i den siste trekningen
Gauss · sentralgrenseteoremet
PROServer
Formål: bygge rekker med en typisk sum. Summen av tall trukket uten tilbakelegging har
Forventning og varians for rekkesummen ved trekning uten tilbakelegging (erstattes av de empiriske verdiene når det finnes minst 5 summer).Flere detaljer
Hvert tall vektes med en gaussisk kurve rundt gjennomsnittsverdien per posisjon, og opptil 40 kandidatrekker trekkes; den med sum nærmest vinner (søket stopper tidlig innenfor ):
Vekten per tall i Gauss-metoden.
Intervallmodell Δ
PROServer
Formål: etterligne avstandene mellom nabotall i ekte trekninger.
Fra de siste 120 trekningene samler modellen det minste tallet i hver trekning og alle differensene mellom nabotall i sortert rekkefølge. En rekke bygges som en tilfeldig start pluss tilfeldige differenser; en rekke som går forbi , forkastes (opptil 300 forsøk, deretter en uniform rekke):
Empirisk bootstrap av første tall og avstander; Y_t = (y_{t,1} < … < y_{t,k}) er trekningen t i sortert rekkefølge.Flere detaljer
Bayes · Dirichlet
PROServer
Formål: frekvens med krymping mot uniform fordeling.
Posteriorforventningen for en symmetrisk Dirichlet(α)-prior oppdatert med de observerte tellingene; metoden trekker med vektene c_n + 3.Flere detaljer
Gapanalyse
PROServer
Formål: favorisere tall som ikke har kommet på lenge.
gap_n er indeksen til den nyeste trekningen som inneholder n (0 = den siste trekningen); et tall som aldri er sett, får D + ḡ.Flere detaljer
Fysisk modell av trommelen
PROServer
Formål: la en forenklet 2D-simulering avgjøre rekkefølgen kulene kommer ut i.
skiver med radius beveger seg i et enhetskvadrat med tilfeldige vindkast, en konstant drift mot utløpet, demping og elastiske kollisjoner mellom like masser; en skive som forlater kvadratet gjennom utløpet midt på bunnveggen, er trukket.
Ett trinn i 2D-modellen (y peker nedover, mot utløpet; høyst 2400 trinn). En skive går ut når 0.43 < x < 0.57 ved bunnveggen; hvis færre enn k skiver kommer ut, fullføres rekken uniformt.Flere detaljer
Elastisk kollisjon mellom like masser: normalkomponentene av hastighetene byttes.
Kaos · logistisk avbildning
PROServer
Formål: vise at et fullstendig deterministisk system kan være uforutsigbart.
Etter 100 innsvingningsiterasjoner fra et tilfeldig frø samles verdier til k forskjellige tall er funnet.Flere detaljer
Kvantekollaps
PROServerEksperimentell
Formål: en motstrømsvekt som favoriserer tall som sjelden er trukket.
Vekt med «frekvensbarriere»; de tilfeldige tallene kommer fra en buffer med kryptografiske 16-bitsverdier.Flere detaljer
System av paradokser
PROServerEksperimentell
Formål: forskningsrekker bygd på kontraintuitive egenskaper ved tilfeldige kombinasjoner. Fem arketyper brukes etter tur:
Mengden: foretrekker tall over 31 når utvalget har minst 42 tall (fødselsdager slutter på 31), med vekt 2.6 over grensen og 0.28 under, ×1.1 for multipler av 10, og tvinger deretter fram minst tall over grensen. Færre spiller slike tall, så en gevinst ville blitt delt med færre – vinnersjansen er uendret.
Sammenstøt: halvparten av rekken fra de hyppigste tallene, resten fra dem som har vært borte lengst.
Klynge: inneholder et par påfølgende tall – en egenskap som er langt vanligere i tilfeldige trekninger enn intuisjonen tilsier:
Eurojackpot omtrent 35%, Lotto 7/34 omtrent 78%.Flere detaljer
Speil: parer med .
Regresjon: tallene der den nylige raten (siste 10 trekninger) avviker mest fra den langsiktige raten.
3. Den matematiske domstolen
Domstolen vurderer en kombinasjon du allerede har. Jurymedlemmer og modeller kan foreslå å bytte ut ett tall, forsvarerne argumenterer for eller mot hvert forslag, og Høyesterettssjefen avgjør saken ut fra et strukturfelt av tidligere trekninger. Tallene endres bare når du bestemmer det – og hvert steg blir registrert.
Juryen: tolv personaer, hver med sin egen matematiske strategi
Gangen i en sak
Forslag. Et jurymedlem eller en modell går gjennom alle mulige enkeltbytter i rekken og foreslår høyst ett bytte – eller foreslår å beholde rekken.
Forsvar. Forsvarerne tar standpunkt til hvert forslag: støtte, innsigelse eller protest. En forsvarer foreslår eller setter aldri inn et tall selv.
Kjennelse. Høyesterettssjefen godtar forslaget, tilbyr et alternativ eller beholder tallet, ut fra strukturfeltet av tidligere trekninger.
Beslutning. Bare du endrer tall: godta et forslag, følg forsvaret, godta dommeren, behold originalen eller tilbakestill. Hver beslutning lagres sammen med hvem som tok den.
Fra en modell til en preferanse per tall
Hver modell reduseres til en relativ preferanse for hvert tall, der 1 betyr «modellens gjennomsnitt», sammen med en standardfeil. Modeller som er definert av en eksplisitt vektvektor, er eksakte; de andre måles ved å kjøre dem:
Eksakt relativ preferanse for Hot tall, Markov, Gauss, Bayes, Gapanalyse, Kvantekollaps, Kvante-astral og Strukturfelt.Monte Carlo-preferanse for prosedyrebaserte modeller: X₁ … X_R er R = 600 rekker fra modellen med faste frø (120 for den fysiske modellen). Konsensus midler i stedet over tre kjøringer (se kortet).
De nitten modellene
Domstolen bruker de seksten generatormetodene fra avsnitt 2 pluss tre egne modeller. Fire av dem bruker ingen historikk og er registrert uten tallpreferanse (Segmentdekning, Ren tilfeldig, Fysisk modell, Kaos); i praksis favoriserer Segmentdekning tallene i korte segmenter når ikke går opp i , og Kaos favoriserer kantene av tallområdet, slik kortene deres viser. To modeller er sammensatte (Konsensus og Strukturfelt).
Modell
Type
Grunnlag
Hot tall
vekter
Kombinert
simulert
varme / midtre / kalde tredjedeler
Segmentdekning
simulert, uten historikk
ett tall per segment
Ren tilfeldig
simulert, uniform
Fisher–Yates-stokking
Markov-kjeder
vekter
glattede overganger fra siste trekning
Gauss · sentralgrenseteoremet
vekter
gaussisk kurve rundt
Intervallmodell Δ
simulert
bootstrap av avstander
Bayes · Dirichlet
vekter
Gapanalyse
vekter
Fysisk modell
simulert, uten historikk
2D-simulering av skiver
Kaos
simulert, uten historikk
logistisk avbildning, skjev mot kantene
Kvantekollaps
vekter, eksperimentell
System av paradokser
simulert, eksperimentell
fem arketyper
Kvante-astral
vekter, eksperimentell
Månens stjernetegn og belysningsgrad
Hjulmatrise
simulert
design for pardekning
World Hot
simulert
kjerneprofil på tvers av lotterier
Verden kombinert
simulert
kjerneprofil på tvers av lotterier
Modellkonsensus
ensemble
14 medlemsmodeller
Strukturfelt
sammensatt
seks beskrivende komponenter
Strukturfelt
Server
Feltet er Høyesterettssjefens målestokk: en håndvektet sammensetning av seks beskrivende komponenter. Frekvenser, sammenkobling og pardekning deles på sitt maksimum over alle tall; fraværstid og typiskhet ligger allerede i .
Strukturfeltets poengsum for tallet n, fra 0 til 100.Flere detaljer
der
frekvensen i hele vinduet og i de siste trekningene
fraværstid,
summen av lift-verdiene for par over alle partnere , der er antall trekninger som inneholder begge
gjennomsnittlig strukturell typiskhet for trekningene som inneholder : , der er andelen partall og den standardiserte summen
pardekning, det totale antallet parobservasjoner som omfatter
Modellkonsensus
Server
Fjorten medlemsmodeller i tolv familier produserer 10 rekker hver; et tall får poeng etter hvor mange modeller og familier som valgte det, hvor ofte og hvor jevnt:
Konsensuspoengsum; domstolen midler over tre uavhengige kjøringer og bruker spredningen mellom dem som standardfeil.Flere detaljer
der
antall medlemsmodeller og modellfamilier der rekkene inneholder
totalt antall rekker som inneholder
gjennomsnittlig antall forekomster per medlemsmodell som valgte , delt på 10
Kvante-astral modell
ServerEksperimentell
En underholdningsmodell som vekter tallene etter Månen på datoen for måltrekningen, pluss en liten andel av strukturfeltet:
Kvante-astral vekt; σ ∈ {0,…,11} er stjernetegnet for Månens ekliptiske lengde på datoen for måltrekningen, I er belysningsgraden i prosent.Flere detaljer
Månens belysningsgrad i prosent ut fra alderen A i den synodiske måneden med lengde P (dager).
Slik vurderer en modell en rekke
For hvert mulig bytte – tallet går ut av rekken, tallet kommer inn – beregner modellen gevinsten og støyen i den. En gevinst teller bare hvis den er statistisk tydelig; et tap teller alltid.
Modellvurdering. Eksakte vektmodeller har SE = 0, så gevinstene deres teller alltid; byttet kvalifiserer når effect ≥ 0.10.Standardfeilen for et bytte i en simulert modell: den sammenslåtte andelen under hypotesen om at a og b er like sannsynlige. For Konsensus er SE_δ = √(se(a)² + se(b)²) over de tre kjøringene; eksakte vektmodeller har SE_δ = 0.Bonferroni-korrigert terskel over alle k(N−k) mulige bytter; Eurojackpot: 3.43.
Grunnverdi
Eurojackpot, 225 bytter
Lotto 7/34, 189 bytter
0.5
2.995
2.942
1.0
3.193
3.142
1.5
3.434
3.387
2.0
3.716
3.672
3.0
4.378
4.340
De tolv jurymedlemmene
Hvert jurymedlem har én strategi, egne kilder (modeller eller signaler fra historikken), en minste effekt og et signifikansnivå. Et jurymedlems konklusjon om en rekke er enten «behold» eller nøyaktig ett bytte; jurymedlemmene kommer ikke med innsigelser eller protester – det er forsvarets rolle.
Numerisk gevinst ved et bytte ut fra jurymedlemmets vektede kilder; λ = D/(D+40) for Eva Lind, ellers 1.Effektiv verdi av et bytte. Det beste kvalifiserende byttet vinner (ved likhet: det minste nye tallet, deretter den tidligste posisjonen); finnes det ingen, beholder jurymedlemmet rekken.
der
vekten til kilden i jurymedlemmets definisjon
, med
jurymedlemmets signifikansnivå, korrigert for bytter som i tabellen over
endringen i log-likelihood for strukturkomponenten (nats)
endringen i kupongens dekningspoengsum
Signaler beregnet fra historikken
Tre jurymedlemmer bruker signaler som leses direkte fra trekningene og ikke fra en generator. Med :
Frekvenstest. Under rettferdige trekninger er Var(c_a − c_b) = 2Dp(1−p)·N/(N−1), fordi tallene i én trekning er negativt korrelerte; deling på det forventede antallet Dp gir SE_ab.Replikasjon. Frekvens i K disjunkte vinduer med s = ⌊D/K⌋ trekninger; fordelen må tåle et fradrag på én standardfeil.Anomali. Absolutt avvik fra det forventede antallet; √(1−2/π) er standardavviket til |Z| for en standardnormalfordelt Z.
Struktur og dekning
Strukturkomponentene sammenligner en rekke med profilen til tidligere trekninger: paritet, lav/høy, klynger og avstander er kategoriske med Laplace-glatting; sum og spredning er gaussiske.
Log-likelihood: ℓ₁ kategorisk (paritet, lav/høy, klynger; J kategorier, n_j tidligere trekninger i kategori j), ℓ₂ gaussisk (sum, spredning), ℓ₃ avstander mellom nabotall.Kupongdekning: 𝒫′ er mengden av par i kupongens andre rekker; det andre leddet teller hvor mange tiergrupper i tallfeltet rekken berører.
Eva Lind · Skarpskytter
Strategi: langsiktig frekvens med bayesiansk krymping. Kilder: Bayes 0.8 + Hot tall 0.2; ; ; ingen signifikanstest (eksakte vekter).
Regel: det beste byttet er alltid rekkens minst hyppige tall → det hyppigste tallet utenfor rekken; det kvalifiserer når .
Regel: strukturleddet teller alltid, så et bytte som bringer rekken nærmere den typiske formen til tidligere trekninger, kan kvalifisere på strukturen alene.
Flere detaljer
Clara Moretti · Anomalijeger
Strategi: anomalier i begge retninger. Kilde: anomalisignalet; avstandsstruktur 0.4, som bare telles for et signifikant bytte; (Eurojackpot ); .
For anomalisignalet faller gjennomsnittet bort: bare differansen mellom de absolutte avvikene teller.Flere detaljer
Leila Haddad · Global observatør
Strategi: verdensprofilen. Kilder: World Hot 0.5 + Verden kombinert 0.5; ; ; trenger data fra de andre lotteriene.
Flere detaljer
Freya Olsen · Dekningsingeniør
Strategi: kupongdekning uten tallpreferanse. Ingen kilder; dekningsvekt 2; .
Flere detaljer
Nora Blake · Seerske
Eksperimentell
Strategi: underholdningssystemet med astrologi for trekningsdatoen. Kilde: Kvante-astral; ; trenger en dato for måltrekningen.
Flere detaljer
Derek Cole · Kjedemester
Strategi: overganger fra den siste trekningen. Kilde: Markov-kjeder; avstandsstruktur 0.4, som alltid telles; . Fordi Markov-vektene summerer seg til én, er .
Flere detaljer
Marcus Reed · Alarmsignal
Strategi: det lengste fraværet. Kilder: Gapanalyse 0.8 + Hot tall 0.2; ; ingen signifikanstest.
Flere detaljer
Victor Moreau · Trekningsmaskinens fysiker
Strategi: en fysisk skjevhet i trommelen ville gjentatt seg i hver periode. Kilde: replikasjon; (Eurojackpot ); .
Støygulvet hindrer at fire heldige vinduer ser signifikante ut.Flere detaljer
Noah Bennett · Årvåken skeptiker
Strategi: forkaste ren tilfeldighet på det strengeste nivået. Kilde: frekvenstest; (Eurojackpot ); .
Lukket form av Noahs testobservator.Flere detaljer
Elias Berg · Tryllekunstner mot strømmen
Eksperimentell
Strategi: mot mengden – sjeldnere tall. Kilder: Kvantekollaps 0.85 + System av paradokser 0.15; (Eurojackpot ); .
Når juryen genererer en rekke i stedet for å vurdere en, trekker hvert jurymedlem 40 kandidatrekker fra sine egne vekter og beholder den beste etter
Et jurymedlems stemmeseddel. Juryens rekke tar de k tallene med flest stemmer; ved likhet avgjør høyest normalisert støtte, deretter det minste tallet.
De seks forsvarerne
Forsvarerne vurderer et foreslått bytte – det gjeldende tallet og det foreslåtte, trukket og ganger i trekninger – med sine egne signaler. Positive verdier taler for forslaget:
Signal
Definisjon
frekvens
posterior
Bayes, felt, astro
struktur
stabilitet
over seks påfølgende perioder
Posteriorsannsynligheten beregnes eksakt, uten normaltilnærming:
Lukket form for betaposteriorer med heltallige parametere; betafunksjonen bruker Lanczos-tilnærmingen av log-gamma.
Beslutningsregel for byttet, der er det vektede gjennomsnittet av forsvarerens signaler:
Standpunktet ψ til en forsvarer: S støtte, P protest, O innsigelse. χ = 1 når forsvarerens kontroller består: for støtte – enstemmige signaler, samsvar fra et andre signal og strukturvetoet; for protest – bare enstemmighet og samsvar.
Thomas Keller · Oppnevnt forsvarer
FREE
Signaler: frekvens + Bayes + strukturfelt, alle må være enige; støtte ved 1, protest ved −1; trenger 20 trekninger, og med 5 til 19 trekninger arbeider han i begrenset modus med Bayes + posterior.
Flere detaljer
Elena Rossi · Statistisk advokat
Signal: frekvens, korrigert for multiple sammenligninger; strukturveto ved −1; støtte og protest ved 1.96; minst 30 trekninger.
Flere detaljer
Amelia Grant · Mot falsk trygghet
Signal: posteriorsannsynligheten for overlegenhet; støtte ved (), protest ved (); minst 10 trekninger.
Flere detaljer
Standpunkt
30
1
7
0.987
støtte
30
4
3
0.354
innsigelse
30
5
2
0.128
protest
100
6
16
0.987
støtte
Julien Morel · Strukturadvokat
Signal: samlet endring i de seks strukturelle log-likelihood-verdiene; støtte ved 0.6325 ( nats), protest ved 0.8944 (); minst 20 trekninger.
Flere detaljer
Ingrid Falk · Stabilitet over tid
Signal: seire minus tap for det foreslåtte tallet over seks påfølgende perioder; må stemme med den totale frekvensen; terskel 1.5, altså minst ; minst 30 trekninger.
Flere detaljer
Adrian Vega · Underholdningsastrologi
Eksperimentell
Signal: Kvante-astral-vektene for datoen for måltrekningen; støtte og protest ved 0.5.
Flere detaljer
Høyesterettssjefen
Dommeren avgjør et omstridt tall ved hjelp av strukturfeltet , normalisert til sitt maksimum: . Et tall er svakt hvis det ligger blant de laveste 35% av feltet.
θ er en ordningsobservator av feltverdiene sortert stigende; det gjeldende tallet er svakt når φ(n_c) < θ. Marginen m gjelder når mer enn halvparten av forsvarerne som har tatt standpunkt, protesterer.Kjennelsen V er tallet som dommeren beholder i posisjonen; den første linjen som passer, gjelder. a* er tallet med høyest feltverdi utenfor rekken som ikke er forslaget.
Høyesterettssjefens analyse og anbefaling
For hele rekker oppgir dommeren en poengsum for rekken og foreslår å bytte ut opptil av de svakeste tallene under med de sterkeste tallene utenfor rekken. Du velger selv hvilke bytter som skal gjennomføres. Uten rekker gir dommeren en anbefaling: uniformt tilfeldige utkast forbedres på samme måte og returneres med opphavet sitt.
Rekkepoengsum i Høyesterettssjefens analyse.
Beslutninger, puljer og historikk
Beslutninger: godta forslaget, godta forsvaret, godta dommeren, behold originalen, tilbakestill. Tallene endres bare når du godtar et forslag, godtar en kjennelse fra dommeren som bytter ut tallet, eller tilbakestiller; hver endring er en transformasjon i opphavsposten.
Massebeslutninger: høyst ett bytte per tall. «Godta alle flertallsbytter» gjennomfører bare alternativer som mer enn halvparten av de utvalgte jurymedlemmene har valgt; «Bruk alle forslag» tar for hvert tall flertallsalternativet, ellers det med flest stemmer, og hopper over uavgjorte tilfeller.
Puljer: en vurdering av opptil 50 rekker med den samme oppstillingen av personaer teller som ett forsøk; rekker som allerede er analysert, hoppes over, og en avbrutt pulje fortsetter etter den samme planen.
Historikk: hendelsestypene er juryvurdering, modellvurdering, forslag, forsvarsvurdering, dommervurdering, beslutning og transformasjon; loggen holder opptil 200 hendelser og forkaster aldri en transformasjon eller de siste vurderingene.
Domstolen stilles til ansvar
Hver påstand skrives til prognoseregisteret før trekningen og vurderes etterpå mot tilfeldigheten. For påstander om tall med grunnsjanse :
H er antall treff. En kilde rangeres bare med minst 30 tall over minst 3 trekninger.
4. 3D-trommelen: fysikkmotoren
3D-trekningen er en sanntidssimulering av stive legemer: kulene er legemer med masse, treghet, friksjon og restitusjon, drevet av tyngdekraften, en omrøringsrotor og et luftfelt, og den trukne kulen er den som fysisk faller gjennom utløpet. Det er en troverdig fysisk modell av en trommel, ikke et opptak av en ekte maskin.
90 SuperEnalotto-kuler i det simulerte kammeret
Motor og koordinater
Fysikken kjører i Rapier 3D (versjon 0.14, WebAssembly); visningen bruker Three.js (r169). Koordinatsystemet er høyrehendt med opp og origo i midten av kammeret; rotoraksen er den horisontale -aksen, og peker mot betrakteren.
Kammer: en sfære med radius enheter, bygd som et trekantnett med innoverrettede normaler og et sirkulært utløp i bunnen (halvvinkel ).
Kuler: sfærer med radius og tetthet 1; én kule per tall, fra 5 til 90 kuler.
Rotor: en kinematisk aksel med seks armer der de kapselformede padlene er dimensjonert slik at de stopper 0.14 enheter fra glasset i rotasjonsplanet, pluss en mindre trearmet rotor som skifter retning mellom blandefasene.
Sperre: en sylindrisk plugg i utløpet som fjernes når en kule får lov til å gå ut.
Masse, treghetsmoment og vekt for en kule i modellenheter.
Skala og Froude-likhet
Én modellenhet er 10 cm: en kule på 40 mm er 0.4 enheter, og kammeret er en sfære på 600 mm. Tyngdekraften er redusert til enheter/s² i stedet for de virkelige . Bevegelse som domineres av tyngdekraft og treghet, ser lik ut når Froude-tallet er det samme, så simuleringen tilsvarer en maskin i full størrelse med en langsommere klokke:
Størrelser med merke (′) hører til modellen. Likt Froude-tall ved lik lengde: hastigheter skaleres med √γ og tider med 1/√γ.
Krefter
Hver kule følger Newtons andre lov med de kreftene som koden faktisk bruker:
F_D luftmotstand, F_W analytisk vegg, F_S sug ved utløpet, F_C kontakter med kuler, rotor og sperre (beregnet av Rapier); τ de tilhørende dreiemomentene. Rapier bruker også en liten lineær demping og vinkeldemping, og hastighetene er begrenset til 22 enheter/s og 105 rad/s som sikkerhetsnett.
Luftfelt og kvadratisk luftmotstand
Blåseren er modellert som et foreskrevet lufthastighetsfelt ; hver kule påvirkes av kvadratisk luftmotstand mot den lokale lufthastigheten. Motstandskonstanten er bestemt av en terminalhastighet på 48 enheter/s:
I stille luft når en fallende kule v_t = √(g/k_d) = 48 enheter/s, omtrent 8.7 m/s i virkelig skala.Sentral oppstrøm: sterkest på aksen nær bunnen (102 ved y = −3, 68 i midten, 34 på toppen); ρ_h er den horisontale avstanden fra aksen.
Virvel: en horisontal rotasjon på 11 enheter/s om den vertikale aksen.
Innoverstrøm: utenfor 60% av radien, opptil mot sentrum, slik at kulene holder sirkulasjonen i gang i stedet for å klamre seg til glasset.
Turbulens: jevn tredimensjonal verdistøy (value noise) med amplitude 58 som driver i tid; det er en fast deterministisk funksjon, ikke en tilfeldighetsgenerator.
Vindkast mot stillstand: en kule som blir liggende for lenge i bunnen, på toppen, ved veggen eller nesten ubevegelig, får et lokalt vindkast lagt til lufthastigheten, som fortsatt virker gjennom luftmotstanden.
Analytisk sfærisk vegg
I tillegg til nettet håndheves glasset som en eksakt sfære på hastighetsnivå, noe som hindrer tunnelering og gir korrekt rulling. Med utovervendt normal , utovergående hastighet og inntrengning :
Spekulativ kontaktmargin v* og restitusjon e (e_b er kulens restitusjon; null under slakkhastigheten, slik at en kule i ro ikke kan dirre).Normalrespons, brukes bare hvis v_n > v*.Coulomb-friksjon i kontaktpunktet; s er den tangentielle glidehastigheten v + ω × (−r n̂), μ = ½(μ_b + 0.35) med μ_b kulens friksjon.
Kontakter mellom legemer
Kontaktene kule–kule, kule–rotor og kule–sperre løses av Rapiers føringsløser med kontinuerlig kollisjonsdeteksjon på kulene. Koeffisientene kombineres ved gjennomsnitt:
Par
Friksjon
Restitusjon
kule – kule
0.16
0.55
kule – glass
0.255
0.415
kule – padle
0.19
0.525
kule – arm eller aksel
0.17
0.35
kule – sperre
0.23
0.375
Dempingen er liten under trekningen (lineær 0.05, vinkel 0.035) og sterk mens kulene legger seg til ro (2.4). Det finnes ingen parameter for rullemotstand: rullingen bremses bare av demping og kontaktfriksjon.
Tidssteg og integrasjon
Simuleringen går fram i faste steg uavhengig av skjermens oppdateringsfrekvens; hvert skjermbilde kjører så mange faste steg som sanntiden krever, høyst fem:
Akkumulator med fast steg: et skjermbilde med varighet Δt_f kjører n faste steg (høyst 5); hvert steg deles i 2 Rapier-delsteg på h = 1/120 s med 6 løseriterasjoner.
Innenfor et delsteg oppdaterer motoren hastighetene ut fra kreftene og deretter posisjonene ut fra de nye hastighetene – den semi-implisitte (symplektiske) Euler-metoden som impulsbaserte motorer bruker, vist her som det generelle prinsippet:
Generell form: F er de påførte kreftene, F_c føringskreftene (kontaktkreftene) som Rapiers iterative løser finner.
Appens egne krefter (luft, vegg, sug) beregnes én gang per steg ut fra tilstanden ved starten av steget og holdes konstante over begge delstegene. Rotoren er kinematisk og får nytt mål i hvert delsteg:
Eksponentiell tilnærming av rotorhastigheten mot målet; blandingen går syklisk gjennom 2.4, 2.9, 2.1 og 2.7 rad/s.
Slik velges en kule
Etter 1 s oppstart og 2.6 s blanding åpnes sperren. Mens utløpet er åpent, avtar oppstrømmen over det jevnt, den sentrale strålen reduseres til 62%, og et sug på omtrent 2.2 kulevekter (omtrent 4 etter 5 s) trekker kuler nær utløpet:
Sug nær utløpet (y < −1.6 og horisontal avstand < 0.6); t_c er tiden siden sperren ble åpnet.
Den trukne kulen er den første som har sentrum under ; hvis flere gjør det i samme steg, den laveste. Ingen tilfeldige tall brukes i det øyeblikket. De tilfeldige tallene i en trekning er kulenes startplassering og en liten starthastighet og startrotasjon, hentet fra Web Crypto API (på nytt når et separat bonustallutvalg lastes inn). Kulen beveger seg deretter langs utgangsbanen til kulestativet; den bevegelsen er skriptet, ikke simulert.
Visning, simulering og tilfeldighet
Simulering: faste steg på 1/60 s; kvalitetsnivåene (ultra, høy, middels, lav) endrer bare skygger, bloom, oppløsning og detaljnivået i nettene, aldri fysikken.
Visning: hvert skjermbilde viser det sist fullførte steget; det er ingen interpolering mellom stegene.
Tilfeldighet: kreftene er deterministiske; utfallet avhenger av startplasseringen og, fra og med den andre kulen, også av hvor lang tid visningen av den forrige kulen tar på enheten, så en trekning kan ikke spilles av nøyaktig på nytt.
5. Statistikk over ekte trekninger
Analyseskjermene beskriver historiske trekninger. De svarer på «hva skjedde» og «er dette forenlig med et rettferdig lotteri», aldri på «hva kommer til å skje».
Frekvenser, varme og kalde tall
For hvert tall teller appen forekomstene i vinduet og viser dem ved siden av det forventede antallet i et rettferdig lotteri; standardavviket er oppgitt her som referanse:
Forventet antall (vises i appen) og standardavviket (referanse) for ett tall over D uavhengige trekninger.
Varme og kalde: de fem hyppigste og de fem minst hyppige tallene, hver med sitt forventede antall (krever minst 5 trekninger).
Frekvensstolper: røde når et talls andel overstiger 1.3 ganger den forventede andelen, blå under 0.7 ganger.
Varmekart: farge etter min–maks-normalisering .
Varmekart: fargen viser bare tidligere frekvens
Rettferdighetstest: χ² med korreksjon
χ²-testen sjekker om tellingene er forenlige med like sannsynligheter. I én trekning tas de tallene uten tilbakelegging, noe som gjør tellingene negativt korrelerte; den vanlige multinomiske testobservatoren blir da for liten, og appen korrigerer den:
Pearsons testobservator med korreksjon for trekning uten tilbakelegging; krever minst 10 trekninger.Regularisert øvre ufullstendig gammafunksjon, beregnet med rekkeutvikling og kjedebrøk.
p-verdi
Vurdering
ikke noe signifikant avvik
avvik i grenseland
statistisk signifikant avvik
χ²-test for rettferdighet og posisjonskontroll
Posisjonell Q-test
Med minst 30 fullstendige trekninger tester appen også gjennomsnittet for hver sorterte posisjon (Coronel-Brizio et al., arXiv:0806.4595). Det -te minste av tall trukket fra har forventning og kovarians
δ er vektoren av differanser mellom de observerte posisjonsgjennomsnittene og μ over m trekninger.
Par, sammenligninger og kontroller
Par: en 12 × 12-matrise over hvor ofte de 12 hyppigste tallene forekom sammen (minst 10 trekninger). Dette er rå tellinger; som referanse er det forventede antallet for et gitt par i rettferdige trekninger .
Sammenligning av lotterier: jackpotsjanse, pris og kostnaden ved å kjøpe alle kombinasjonene.
Kontroll av matematikken: appen beregner på nytt og sammenligner med den lagrede konstanten, og sjekker trekningene i analysevinduet for verdier utenfor tallområdet, feil antall kuler og dupliserte datoer.
Premienivåer: offisielle premietabeller per trekning. Trekningsbildet viser gjennomsnittet av de siste 60 ekte premietabellene; bare for et lotteri helt uten premiedata anslås antall vinnere ut fra sannsynlighetene for premienivåene i avsnitt 8 og et antatt salgsvolum, så de tallene er bare illustrasjoner.
Simulering av et helt liv med spill
50-årssimuleringen bruker sannsynligheten for minst én jackpot på uavhengige rekker:
Sannsynligheten for minst én jackpot på T rekker; C er antall jackpotkombinasjoner, d trekninger per uke, r rekker per trekning.
6. Kalenderanalyse
Kalenderanalysen leter etter sammenfall mellom trekningsdatoer og trukne tall – for eksempel at dagen i måneden er blant kulene – og sammenligner hver observert andel med andelen ren tilfeldighet ville gitt.
Utvalg av trekninger
Trekningene kan filtreres etter år, måned, samme måned på tvers av alle år eller et datointervall, og etter regelperiode. Frekvenslistene (varme, kalde, lengst borte) bruker rå tellinger i utvalget; et tall som er umulig i alle de valgte periodene, utelates, og et utvalg som blander perioder, merkes med en advarsel, fordi et tall som bare er gyldig i den nyere perioden, ser falskt «kaldt» ut. Datoreglene nedenfor tar hensyn til regelperiodene: en trekning teller for en regel bare hvis minst én kandidat er et gyldig tall etter reglene for akkurat den trekningen.
Observert andel for en datoregel: C_t er kandidattallene for trekningen t, X_t de trukne tallene, Ω_t de gyldige tallene etter reglene som gjaldt; ℰ er de kvalifiserte trekningene.
Ti datoregler
Regel
Kandidattall for en trekning den DD.MM.ÅÅÅÅ
dag
DD
måned
MM
år
ÅÅÅÅ mod 100
time
timen for trekningen, der operatøren publiserer den
årets sifre
de forskjellige sifrene i ÅÅÅÅ
tverrsum av året
summen av sifrene i ÅÅÅÅ
tverrsum av tosifret år
summen av sifrene i ÅÅÅÅ mod 100
tverrsum av dagen
summen av sifrene i DD
tverrsum av datoen
summen av alle sifrene i DD, MM og ÅÅÅÅ
iterert tverrsum
tverrsummen av datoen redusert til ett siffer
En kandidat lik 0 ignoreres, og en trekning teller bare én gang for en regel selv om flere av tallene treffer.
Tilfeldig forventning
For en trekning av tall blant mulige verdier og en mengde på kandidattall er sannsynligheten for at ingen kandidat trekkes, hypergeometrisk:
P₀: ingen kandidat trekkes; P≥1: minst én trekkes. Kandidater utenfor tallområdet i trekningens regelperiode forkastes.Forventet treffandel r̂ over de kvalifiserte trekningene ℰ, hver med sin egen regelperiode; P^M og P^B for hovedtall og bonustall kombineres som uavhengige.Kalendertreff sammenlignet med tilfeldigheten
Tolkning av andelene
Par listes fra 30 trekninger og tripler fra 120 (bare kombinasjoner som er sett minst to ganger, de ti hyppigste); under 100 trekninger vises en advarsel om lite utvalg. Med 100 trekninger har en andel nær 20% fortsatt et 95%-intervall på omtrent prosentpoeng.
7. Historisk arkiv og regelperioder
Lotterier endrer reglene sine. En trekning gir bare mening sammen med reglene som gjaldt på datoen, så hver lagret trekning har med seg sin regelversjon.
Modeller og analyser bruker bare trekninger som er sammenlignbare med dagens regler. To perioder sammenlignes gruppe for gruppe:
Perioden e er sammenlignbar for hovedtallene når antall og tallområde stemmer (venstre), og for bonustallene når hver bonusgruppe 𝓑 stemmer (høyre). En trekning med sammenlignbare hovedtall, men andre bonusregler, beholder hovedtallene og mister bonustallene.Arkivet merker hver trekning med regelperioden sin
8. Sannsynlighet og begrensninger
Hver offisiell trekning er et uavhengig tilfeldig eksperiment. Ingen historikk, modell, domstol eller simulering endrer sannsynligheten for noen kombinasjon.
Jackpotsannsynlighet
Jackpotsannsynligheten for én rekke etter gjeldende regler (til høyre: Eurojackpot); lotterier uten bonustall for spilleren bruker bare den første faktoren.
Lotteri
Regler
Jackpotsjanse
Lotto (Norge)
7/34
1 : 5 379 616
Vikinglotto
6/48 + 1/5
1 : 61 357 560
Eurojackpot
5/50 + 2/12
1 : 139 838 160
EuroMillions
5/50 + 2/12
1 : 139 838 160
Powerball
5/69 + 1/26
1 : 292 201 338
Mega Millions
5/70 + 1/24
1 : 290 472 336
SuperEnalotto
6/90
1 : 622 614 630
Lotto Max
7/52
1 : 133 784 560
Powerball AU
7/35 + 1/20
1 : 134 490 400
Alle premienivåer
Å treffe nøyaktig av de hovedtallene og av de bonustallene er et produkt av to hypergeometriske sannsynligheter:
For et tilleggstall trukket fra samme trommel (Lotto, SuperEnalotto, Lotto Max) er den andre faktoren (k−i)/(N−k) for «+1».
Premienivå i Eurojackpot
Sjanse
5 + 2
1 : 139 838 160
5 + 1
1 : 6 991 908
5 + 0
1 : 3 107 515
4 + 2
1 : 621 503
4 + 1
1 : 31 075
3 + 2
1 : 14 125
4 + 0
1 : 13 811
2 + 2
1 : 985
3 + 1
1 : 706
3 + 0
1 : 314
1 + 2
1 : 188
2 + 1
1 : 49
Hvorfor ingen metode kan slå tilfeldigheten
Hvis trekningene er uavhengige og alle kombinasjoner er like sannsynlige, er den betingede sannsynligheten for neste trekning gitt en hvilken som helst historikk den samme som uten den, og det forventede antallet treffede hovedtall er det samme for hver rekke, uansett hvordan den ble laget:
H er antall treffede hovedtall i en rekke. Eurojackpot: 5 · 5/50 = 0.5 per rekke for alle metoder.