Problema di compleanno generalizzato

12

Stasera, la mia fidanzata mi ha portato a cena fuori per festeggiare il mio compleanno. Mentre eravamo fuori, ho sentito Happy Birthday cantato da 5 diversi ospiti (incluso me stesso), in un ristorante pieno di 50 persone. Questo mi ha fatto pensare: il problema del compleanno originale (trovare la probabilità che 2 persone in una stanza Ncondividano lo stesso compleanno) è molto semplice e diretto. Ma per quanto riguarda il calcolo della probabilità che almeno le kpersone non Ncondividano lo stesso compleanno?

Nel caso ti stia chiedendo, la probabilità di almeno 5 persone su 50 in totale che condividono lo stesso compleanno è di circa 1/10000.

La sfida

Dati due numeri interi Ne k, dove N >= k > 0, hanno prodotto la probabilità che almeno le kpersone di un gruppo Ncondividano lo stesso compleanno. Per semplificare le cose, supponi che ci siano sempre 365 possibili compleanni e che tutti i giorni sono ugualmente probabili.

Per k = 2questo si riduce al problema compleanno originale, e la probabilità è 1 - P(365, N)/(365)**N(dove P(n,k)è il numero di permutazioni k-lunghezza formati da n elementi ). Per valori maggiori di k, questo articolo di Wolfram MathWorld potrebbe rivelarsi utile.

Regole

  • L'output deve essere deterministico e il più accurato possibile per la lingua scelta. Ciò significa che nessuna stima di Monte Carlo o approssimazione di Poisson.
  • Ne knon sarà più grande dell'intero rappresentabile più grande nella lingua scelta. Se la lingua scelta non ha valori massimi sugli interi (a parte i vincoli di memoria), allora Ne kpuò essere arbitrariamente grande.
  • Gli errori di precisione derivanti da inesattezze in virgola mobile possono essere ignorati: la soluzione dovrebbe assumere galleggianti perfettamente precisi e di precisione infinita.

Casi test

Formato: k, N -> exact fraction (float approximation)

2, 4 -> 795341/48627125 (0.016355912466550306)
2, 10 -> 2689423743942044098153/22996713557917153515625 (0.11694817771107766)
2, 23 -> 38093904702297390785243708291056390518886454060947061/75091883268515350125426207425223147563269805908203125 (0.5072972343239854)
3, 3 -> 1/133225 (7.5060987051979735e-06)
3, 15 -> 99202120236895898424238531990273/29796146005797507000413918212890625 (0.0033293607910766013)
3, 23 -> 4770369978858741874704938828021312421544898229270601/375459416342576750627131037126115737816349029541015625 (0.01270542106874784)
3, 88 -> 121972658600365952270507870814168157581992420315979376776734831989281511796047744560525362056937843069780281314799508374037334481686749665057776557164805212647907376598926392555810192414444095707428833039241/238663638085694198987526661236008945231785263891283516149752738222327030518604865144748956653519802030443538582564040039437134064787503711547079611163210009542953054552383296282869196147657930850982666015625 (0.5110651106247305)
4, 5 -> 1821/17748900625 (1.0259790386313012e-07)
4, 25 -> 2485259613640935164402771922618780423376797142403469821/10004116148447957520459906484225353834116619892120361328125 (0.0002484237064787077)
5, 50 -> 786993779912104445948839077141385547220875807924661029087862889286553262259306606691973696493529913926889614561937/7306010813549515310358093277059651246342214174497508156711617142094873581852472030624097938198246993124485015869140625 (0.00010771867165219201)
10, 11 -> 801/8393800448639761033203125 (9.542757239717371e-23)
10, 20 -> 7563066516919731020375145315161/4825745614492126958810682272575693836212158203125 (1.5672327389589693e-18)
10, 100 -> 122483733913713880468912433840827432571103991156207938550769934255186675421169322116627610793923974214844245486313555179552213623490113886544747626665059355613885669915058701717890707367972476863138223808168550175885417452745887418265215709/1018100624231385241853189999481940942382873878399046008966742039665259133127558338726075853312698838815389196105495212915667272376736512436519973194623721779480597820765897548554160854805712082157001360774761962446621765820964355953037738800048828125 (1.2030611807765361e-10)
10, 200 -> 46037609834855282194444796809612644889409465037669687935667461523743071657580101605348193810323944369492022110911489191609021322290505098856358912879677731966113966723477854912238177976801306968267513131490721538703324306724303400725590188016199359187262098021797557231190080930654308244474302621083905460764730976861073112110503993354926967673128790398832479866320227003479651999296010679699346931041199162583292649095888379961533947862695990956213767291953359129132526574405705744727693754517/378333041587022747413582050553902956219347236460887942751654696440740074897712544982385679244606727641966213694207954095750881417642309033313110718881314425431789802709136766451022222829015561216923212248085160525409958950556460005591372098706995468877542448525403291516015085653857006548005361106043070914396018461580475651719152455730181412523297836008507156692430467118523245584181582255037664477857149762078637248959905010608686740872875726844702607085395469621591502118462813086807727813720703125 (1.21685406174776e-07)
code-golf  combinatorics  probability-theory 
— Mego
fonte
9
Buon compleanno (in ritardo)!
— Luis Mendo,
Forse aggiungi un paio di casi di test per piccoli numeri?
— Luis Mendo,
@LuisMendo Ne aggiungerò altri dopo aver dormito qualche ora :)
— Mego,
6
Vale la pena notare che la probabilità che le persone mangino in un ristorante probabilmente non è indipendente dal fatto che sia il loro compleanno, quindi la probabilità di cinque compleanni su 50 persone è probabilmente superiore a quanto suggerirebbe la logica del problema del compleanno.
— Glen O
@GlenO Ottimo punto!
— Luis Mendo,

Risposte:

3

Gelatina , 17 16 byte

ĠZL
365ṗÇ€<¬µS÷L

Estremamente inefficiente. Provalo online! (ma tieni N sotto 3 )

Come funziona

365ṗÇ€<¬µS÷L  Main link. Left argument: N. Right argument: K

365ṗ          Cartesian product; generate all lists of length N that consist of
              elements of [1, ..., 365].
    ǀ        Map the helper link over all generated lists. It returns the highest
              amount of people that share a single birthday.
      <       Compare each result with K.
       ¬      Negate.
        µS÷L  Take the mean by dividing the sum by the length.


ĠZL           Helper link. Argument: A (list of integers)

Ġ             Group the indices have identical values in A.
 Z            Zip; transpose rows with columns.
  L           Take the length of the result, thus counting columns.
— Dennis
fonte
1
"Mantieni N sotto 3" ... non è troppo restrittivo?
— Neil,
2
@Neil La soluzione è valida per tutti gli input, ma l'interprete online non sarà in grado di eseguire input in cui N> 3, a causa dei limiti di memoria e di tempo.
— Mego,
@Mego stavo solo pensando che, poiché non ha molto senso se non hai k > 1, quindi dato k <= N, se poi vuoi conservare N < 3, ciò non lascia molta scelta per i valori di Ne kche puoi provare.
— Neil,
4

MATL , 16 byte

365:Z^!tXM=s>~Ym

Il primo input è N, il secondo è k.

Provalo online!

Questo è un approccio basato sull'enumerazione, come la risposta Jelly di Dennis , quindi i numeri di input dovrebbero essere mantenuti piccoli a causa delle limitazioni della memoria.

365:   % Vector [1 2 ... 365]
Z^     % Take N implicitly. Cartesian power. Gives a 2D array with each
       % "combination" on a row
!      % Transpose
t      % Duplicate
XM     % Mode (most frequent element) of each column
=      % Test for equality, element-wise with broadcast. For each column, gives
       % true for elements equal to that column's mode, false for the rest
s      % Sum of each column. Gives a row vector
>~     % Take k implicitly. True for elements equal or greater than k
Ym     % Mean of each column. Implicitly display
— Luis Mendo
fonte
2
Hai superato Dennis, buon lavoro.
— m654,
4
@ m654 Vediamo quando si sveglia MrGreen
— Luis Mendo il
2
Beh, mi sono svegliato, ma il migliore che sono riuscito è stato un pareggio. Jelly ha davvero bisogno di un atomo medio ...
— Dennis,
@Dennis Stavo pensando lo stesso. Forse anche un atomo in modalità ?
— Luis Mendo,
0

J, 41 36 byte

(+/%#)@(<:365&(#~>./@(#/.~)@#:i.@^))

Approccio diretto simile agli altri. Si verifica un problema di memoria con n> 3 .

uso

Prende il valore di kLHS e nRHS.

   f =: (+/%#)@(<:365&(#~>./@(#/.~)@#:i.@^))
   0 f 0
0
   0 f 1
1
   1 f 1
1
   0 f 2
1
   1 f 2
1
   2 f 2
0.00273973
   0 f 3
1
   1 f 3
1
   2 f 3
0.00820417
   3 f 3
7.5061e_6

Sul mio pc, usando un i7-4770k e un timer esterno 6!:2, il calcolo per n = 3 richiede circa 25 secondi.

   timer =: 6!:2
   timer '2 f 3'
24.7893
   timer '3 f 3'
24.896

Spiegazione

(+/%#)@(<:365&(#~>./@(#/.~)@#:i.@^)) Input: k on LHS, n on RHS
          365&                       The number 365
               #~                    Create n copies of 365
                                 ^   Calculate 365^n
                              i.@    The range [0, 1, ..., 365^n-1]
                            #:       Convert each value in the range to base-n and pad
                                     with zeroes to the right so that each has n digits
                     (#/.~)@         Find the size of each set of identical values
                 >./@                Find the max size of each
        <:                           Test each if greater than or equal to k
(+/%#)@                              Apply to the previous result
 +/                                  Find the sum of the values
    #                                Count the number of values
   %                                 Divide the sum by the count and return
— miglia
fonte
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.