6 votos

Permutaciones para satisfacer una restricción difícil

En una pila de n cartas distintas en orden {1,2,3,4,...,n} desde arriba, defina la distancia entre 2 tarjetas como el número de tarjetas que las separan. 2 cartas son vecinas si son adyacentes en la pila original, si su índice difiere en 1.

¿Cuántas reordenaciones de cartas (permutaciones) satisfacen lo siguiente?

I) La suma de las distancias entre cualquier tarjeta y su vecina/s (llame a esa suma $S_n$ para la tarjeta $n$ ), es distinta para todos los $n$ tarjetas.

II) $S_n$ es distinta para todos los $n$ y sólo toman valores menores que $n$ .


Edición 1 Un ejemplo aclara las condiciones.

Digamos que tenemos 3 cartas en la pila original en orden 1,2,3 desde arriba. Reordenar las cartas en el orden 2,3,1 desde arriba. Entonces:

La tarjeta 1 está a la distancia 1 de su antigua tarjeta vecina 2. $S_1$ =1

La tarjeta 2 está a la distancia 1 de la tarjeta 1 pero a la distancia 0 de la tarjeta 3. $S_2$ =1+0=1

La tarjeta 3 está a distancia 0 de la tarjeta 2. $S_3$ =0

Por lo tanto, esta reordenación/barajada no satisface las condiciones de la pregunta, ya que tanto $S_1$ y $S_2$ son 1.


Edición 2 : JLee y LaBird amablemente escribieron programas para generar los datos (¡muchas gracias!). Usando los datos hice un gráfico rápido para adivinar las posibles relaciones entre n y la proporción de permutaciones que satisfacen la condición 1 con respecto al número total de permutaciones de longitud n. Este es un enfoque menos que científico, pero en el espíritu de la contribución, espero que esto pueda "desencadenar" formas de resolver el problema.

ratio plot and log of ratio plot

Breve comentario: Parece que la pendiente del gráfico logarítmico se está estabilizando en torno a -1/2, aunque esto es una mera suposición sin más datos.


Mi intento: Hice una lista de observaciones básicas, tratando de relacionar este problema con métodos conocidos, pero con poco éxito.

i) Dejemos que el orden original de las cartas sea 1,2,3,4 ..,n para simplificar desde la parte superior de la pila. Después de que el orden de las cartas sea aleatorio, la distancia entre las cartas 2 y 3 contribuirá tanto a S2 como a S3, ya que antes eran vecinas.

ii) La cuestión es análoga a una rana que da n-1 saltos en un tablero de 1*n, etiquetado como 1,2,3,4 ..n de izquierda a derecha. Empezando por la casilla que representa la nueva posición de la carta 1, la rana da saltos de manera que en la mª vuelta se encuentra en la casilla que representa la nueva posición de la mª carta. Las restricciones son que cada casilla debe ser cubierta exactamente una vez y la magnitud del primer y último salto, y la suma de las magnitudes de 2 saltos consecutivos cualesquiera deben ser distintos.

iii) Las cartas 1 y n sólo tienen 1 vecino, por lo que después de reordenar, S1 y Sn son las distancias entre la carta 1 y su antiguo vecino y la carta n y su antiguo vecino, respectivamente.

iv) En la parte i) Sn puede tomar cualquier valor de 0 a 2n-5. Si una carta k permanece adyacente a sus vecinas, entonces Sk=0. Si Sn>n-3 para algún n, entonces podemos deducir que las antiguas cartas vecinas están ahora ambas por encima o ambas por debajo de la carta n Sn alcanza un valor máximo de 2n-5 cuando una carta está en la parte inferior del mazo y sus dos antiguas vecinas en la parte superior del mazo. Sólo es necesario utilizar n de esos valores, por lo que n-4 quedará sin utilizar.

v) Para la parte ii), Sn sólo puede tomar valores de 0 a n-1. Por tanto, cada valor debe tomarse una vez. Esto significa que exactamente una carta k debe permanecer junto a todas sus antiguas vecinas en la nueva disposición. Esto se hace para que Sk pueda tomar el valor 0. No estoy seguro de que esta disposición sea posible.

vi) En n=4, hay exactamente 4 valores posibles para Sn : (0,1,2,3). Para cada valor mayor de n, los valores posibles de Sn superan a n.

¿Existen estrategias para analizar/abordar problemas como éste? ¿Puede resolverse este problema para un n pequeño como n=5?

gracias como siempre

2voto

Eugene Puntos 919

Esta no es una respuesta completa, pero espero que esta respuesta pueda desencadenar algunas ideas para obtener mejores respuestas.

Hay dos observaciones que he hecho:

(1) El número de permutaciones que satisfacen las condiciones debe ser un número par (incluyendo $0$ ). La razón es por simetría. Si ( $X_1, X_2, X_3, \dots, X_{n-2}, X_{n-1}, X_n$ ) es una respuesta, entonces ( $X_n, X_{n-1}, X_{n-2}, \dots, X_3, X_2, X_1$ ) también debe ser una respuesta.

(2) Para $n = 4p+2$ o $n = 4p+3$ donde $p$ es un número entero no negativo, no habrá solución. La razón es que $\sum S_i$ debe ser un número par, ya que cuando la tarjeta $x$ es tener una distancia de $d$ de su antiguo vecino $y$ , $y$ también tiene la misma distancia $d$ de $x$ . Y esta distancia $d$ se cuenta dos veces, una dentro de $S_x$ y una vez dentro $S_y$ . Por lo tanto, $\sum S_i$ debe ser un número par. Sin embargo, la condición (II) de la pregunta requiere que $\sum S_i = \sum_{i=0}^{N-1}$ . Este número es impar cuando $n = 4p+2$ o $n = 4p+3$ (es decir $n = 2, 3, 6, 7, 10, 11, \dots$ ). Por lo tanto, no habrá solución.

Seguramente, esto no explica por qué $n = 5$ no tiene solución (según mi intento de fuerza bruta con un programa informático), y cómo encontrar el número de permutaciones que satisfacen la condición cuando $n = 4p$ o $n = 4p+1$ .

Añadido lo siguiente después de leer los comentarios de OP:

(1) De hecho, podemos hacer una afirmación más fuerte: el número de permutaciones que satisfacen las condiciones debe ser un múltiplo de $4$ (incluyendo $0$ ). La razón es la siguiente:

Si ( $X_1, X_2, X_3, \dots, X_{n-2}, X_{n-1}, X_n$ ) es una respuesta (llámese [a]), entonces ( $X_n, X_{n-1}, X_{n-2}, \dots, X_3, X_2, X_1$ ) debe ser también una respuesta (llámese [b]) según la simetría.

Además, si [a] es una respuesta, ( $n+1-X_1, n+1-X_2, n+1-X_3, \dots, n+1-X_{n-2}, n+1-X_{n-1}, n+1-X_n$ ) también es una respuesta (llámese [c]). En este caso, si expresamos cada $S_i$ en [a] y [c] como dos secuencias, estas dos secuencias serán exactamente inversas. Un ejemplo es cuando $n=4$ como ( $1, 3, 4, 2$ ) es una respuesta, ( $4, 2, 1, 3$ ) también es una respuesta (sólo hay que sustituir $i$ como $n+1-i$ ).

Por lo tanto, si [c] es una respuesta, entonces ( $n+1-X_n, n+1-X_{n-1}, n+1-X_{n-2}, \dots, n+1-X_3, n+1-X_2, n+1-X_1$ ) también es una respuesta (llámese [d]), por simetría con [c].

Ahora, lo único que tenemos que demostrar es que no contaremos dos veces o más la misma permutación. Para lo anterior $4$ respuestas, puede ocurrir que [a] sea en realidad la misma permutación que [d], o que [b] sea en realidad la misma permutación que [c]. Esto ocurre cuando $X_i + X_{n+1-i} = n-1$ por cada $i \in [1,n]$ . Pero en tal caso, la respuesta NO satisfará la condición II. La prueba es la siguiente:

Si $X_i + X_{n+1-i} = n-1$ por cada $i \in [1,n]$ Esto significa que cuando la tarjeta $1$ está en la posición $j$ (supongamos que la primera carta se indica como posición $1$ ), tarjeta $n$ está en la posición $n+1-j$ . Del mismo modo, cuando la tarjeta $2$ está en la posición $k$ , tarjeta $n-1$ está en la posición $n+1-k$ . Ahora considere la suma $S_1$ que es en realidad la distancia entre la tarjeta $1$ y tarjeta $2$ Por lo tanto $S_1 = |j-k|-1$ . A continuación, consideremos la suma $S_n$ que es, en realidad, la distancia entre la tarjeta $n$ y tarjeta $n-1$ Por lo tanto $S_n = |(n+1-j)-(n+1-k)|-1 = |j-k|-1$ ( $n+1$ debe ser mayor que $j$ y $k$ ). Como $S_1 = S_n$ la solución no satisface la condición I o II. Esto se aplica a cualquiera de los $4$ soluciones [a], [b], [c] y [d], siempre que [a]=[d] o [b]=[c]. Así que podemos afirmar con seguridad que no hay doble contabilidad, por lo que el número de permutaciones que satisfacen ambas condiciones debe ser un múltiplo de $4$ .

1voto

JLee Puntos 400

Esto tampoco es una respuesta completa, pero da los datos hasta n=9, y tal vez se puede utilizar para ver un patrón, y luego crear una fórmula basada en n.

**3-21-2015: Corrección: n=8, Cond 1 era incorrecto. Decía 412, pero el recuento correcto es 532
enter image description here

enter image description here

enter image description here

Aquí está la lista de 92 permutaciones que satisfacen la condición 2 para n = 8.

enter image description here

Aquí está la lista de 132 permutaciones que satisfacen la condición 2 para n = 9.

enter image description here

El triángulo de abajo da la cuenta de las permutaciones que cumplen la condición 1, para cada n, divididas según el primer carácter de la permutación. Por ejemplo, para n=6, hay 1 permutación de la condición 1 que empieza por 1, 3 permutaciones de la condición 1 que empiezan por 2, 2 permutaciones de la condición 1 que empiezan por 3, y así sucesivamente.... (Gracias a LaBird por los datos donde n>=10)

enter image description here

Generé la lista de permutaciones con un pequeño programa en C#, y luego la introduje en Excel e hice el resto del cálculo en la hoja de cálculo. Puedo calcular esto para valores de n más grandes si crees que sería de ayuda.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X