Número de parejas sentadas en la misma mesa

El problema
a b las parejas están sentadas en a mesas con 2 b asientos cada uno. Llama a una pareja "buena" pareja si están sentados en la misma mesa.

(1) ¿Cuál es la probabilidad de que, en total, haya exactamente k ¿"buenas" parejas?

Mi enfoque hasta ahora
Relaciones de recurrencia Un enfoque posible es establecer una relación de recurrencia, con pag a , b , norte que denota la probabilidad de tener exactamente k parejas "buenas". Sin embargo, el problema con esto es la ecuación de recurrencia entre pag a + 1 , b , k y pag a , b , k no será simple ya que habrá que considerar las diferentes combinaciones de personas en la mesa adicional.
Principio de inclusión y exclusión Otro enfoque posible es utilizar PIE. denotamos PAG S como la probabilidad de que sólo las parejas en S son buenas. Mientras PAG S para | S | = 1 es fácil ( PAG = b 1 / a b ), no estoy seguro de cómo proceder.

Cuando a = 2 , pag 2 , b , k es exactamente ( 2 b k ) ( 1 4 ) k ( 3 4 ) 2 b k (ley binomial).
Esto es incorrecto. Cuando a = 2 , el número de buenas parejas necesariamente debe ser par. Conseguir pag a , b , k para pequeños valores de a , b es relativamente fácil, el problema es cómo generalizar esto.
Una reformulación podría ser tomar una permutación aleatoria de 1 , , 2 a b y calcule la probabilidad de que, si norte es par, las posiciones de norte y norte + 1 son mod congruentes 2 b .
@Alexander: Pero esa parte es fácil; lo que dificulta esta pregunta es que pide la probabilidad de que haya exactamente k buenas parejas, no sólo por la probabilidad de que una determinada pareja sea buena.
@joriki Claro: solo estaba señalando que esto podría verse como un problema de permutación, lo que podría ser útil. No tengo una respuesta para esa parte.
Estaba pensando en este problema en clase hoy y me di cuenta de que no sé la respuesta a un problema mucho más simple que parece ser un primer paso obvio. Podría multiplicar el número de formas de elegir k parejas por el número de formas de colocar k parejas al azar entre las mesas y luego cronometrar el número de formas de sentar al resto de manera que ninguna pareja se siente en la misma mesa. Aunque la última parte parece difícil de resolver, estoy más interesado en la parte media. ¿De cuántas maneras puedes colocar k cosas en las ranuras a cuando las ranuras tienen capacidad b?
@SeanBallentine No creo que haya una forma general de expresar lo que necesita. Sin embargo, dado k distintos objetos para ser colocados en norte ranuras distintas, cada una con una capacidad de b , donde el orden dentro de cada ranura no es importante, lo que necesitamos encontrar es el coeficiente de X k en
( i = 0 b X i i ! ) norte
Esto se puede convertir en una relación de recurrencia, donde, si la cantidad deseada se denota como C ( norte , k ) por dado b , la recurrencia es
C ( norte , k ) = i = 0 b C ( norte 1 , k i ) i !
solo un comentario: ese "tjeng" no soy yo, ¡y no estoy seguro de quién es! Soy mathoverflow.net/users/23976/vincent-tjeng en mathoverflow
¿Por qué se eliminó esta pregunta en mathoverflow? Creo que tengo una "respuesta", aunque se trata de un montón de sumas de la forma k 1 + + k a = k F ( k 1 , , k a ) . En mi opinión, es mejor que nada, y quizás un punto de partida para mejorar.

Respuestas (1)

Recordar: a mesas, 2 b personas en cada mesa. etiquetar las parejas 1 , , a b . Definir el evento C como sigue:

C = { parejas  1 , , k  son buenos y todos los demas son malos } .
Por simetría, obsérvese que
PAG ( exactamente  k  buenas parejas ) = ( a b k )   PAG ( C ) .

calcularemos PAG ( C ) con un argumento de inclusión-exclusión.

Dejar π norte Sea la probabilidad de que las parejas 1 , , norte son buenos (independientemente de si alguna otra pareja es buena). Tenga en cuenta que por simetría de nuevo, π norte es la probabilidad de que cualquier conjunto particular de norte las parejas son buenas Definir los eventos A y A norte como sigue para norte = k + 1 , , a b :

A = { parejas  1 , , k  son buenas } A norte = { parejas  1 , , k , y  norte  son buenas } .
Observar
C = A i = k + 1 a b A i .
Exclusión inclusión:
PAG ( C ) = PAG ( A ) t = 1 a b k i 1 , , i t ( 1 ) t + 1 PAG ( A i 1 A i t ) .
De nuevo por simetría, PAG ( A i 1 A i t ) = π k + t , y aquí están ( a b k t ) términos de esta forma en la suma anterior. Así, podemos escribir
PAG ( C ) = t = 0 a b k ( 1 ) t   ( a b k t )   π k + t .
Podemos pasar a la informática. π norte .

Contemos el número de formas en que cada uno de los 2 a b se pueden asignar mesas a las personas en las que las parejas 1 , , norte son buenas. Supongamos que entre estos norte parejas, norte 1 están sentados en la mesa 1, norte 2 en la mesa 2, , y norte a están sentados a la mesa a . De este modo, norte 1 + + norte a = norte . Hay ( norte norte 1 , , norte a ) formas de elegir cuál de los norte las parejas se sientan en qué mesa. Hay ( 2 a b 2 norte 2 b 2 norte 1 , , 2 b 2 norte a ) maneras de elegir las mesas en las que el resto 2 a b 2 norte la gente se sienta Por lo tanto, el número total de formas de asignar personas a las mesas de tal manera que las parejas 1 , , norte son buenos es

norte 1 + + norte a = norte   ( norte norte 1 , , norte a )   ( 2 a b 2 norte 2 b 2 norte 1 , , 2 b 2 norte a ) .
El número total de formas de asignar todos 2 a b la gente es solo ( 2 a b ) ! ( 2 b ) ! a . De este modo,
π norte = ( 2 b ) ! a ( 2 a b ) ! norte 1 + + norte a = norte   ( norte norte 1 , , norte a )   ( 2 a b 2 norte 2 b 2 norte 1 , , 2 b 2 norte a ) .
Alternativamente, tenga en cuenta que π norte puede ser escrito
π norte = ( 2 b ) ! a   norte !   ( 2 a b 2 norte ) ! ( 2 a b ) ! C norte
dónde C norte es el coeficiente de X norte en el polinomio
( i = 0 b 1 i ! ( 2 b 2 i ) ! X i ) a .

Hola Will: leí tu prueba y creo que funciona. Hará que algunas otras personas lean esto para verificarlo antes de aceptarlo como la respuesta.