juego de busqueda por permutacion

Ordenar los números naturales 1 a través de norte en un orden aleatorio (el orden es desconocido y tiene una distribución uniforme). Ahora haga una secuencia de conjeturas sobre qué número está en qué ranura, un número y una ranura a la vez. Se le dirá después de cada conjetura si es correcta o no. El juego termina cuando la orden del norte los números han sido determinados. Para el peor de los casos y el caso promedio, respectivamente, ¿hay alguna estrategia que requiera menos conjeturas que la eliminación trivial?

Parece que debido a la simetría, la estrategia óptima es adivinar aleatoriamente (sin adivinar números que ya se han encontrado, por supuesto). ¿Tiene alguna razón para sospechar que hay una mejor estrategia?
@ferson2020: Desde una perspectiva matemática, la pregunta interesante es: ¿Podemos probar que no hay mejor estrategia? No puedo de inmediato, pero parece que debería haber algún argumento de amortización inteligente que muestre que uno siempre puede necesitar preguntar norte ( norte 1 ) / 2 preguntas en el peor de los casos, o tal vez simplemente algo O ( norte 2 ) .
Una vez más, argumentaría simetría. En cualquier etapa dada, tienes alguna permutación de k < norte quedan cosas, y hay que elegir cuál está, sin pérdida de generalidad, en primera posición. Sería extraño pensar que podría haber algún sesgo debido a cualquier estrategia de que debería elegir uno de los elementos sobre los demás.
Curiosamente, creo que el valor esperado de las conjeturas correctas dadas norte artículos es el norte º parcial de la serie armónica: k = 1 norte 1 k , lo que significa que el valor esperado se aproxima al infinito cuando norte aumenta
@ ferson2020: Pero "sería extraño pensar" no es una prueba. A priori, tal vez podría haber alguna estrategia inteligente que obtenga alguna ventaja estratégica al pasar a preguntar sobre el espacio 2 antes de que sepa lo suficiente como para concluir algo definitivo sobre el espacio 1 ... entonces, en general, no puede reducir el trabajo más tarde a descubrir un permutación más pequeña de una pizarra limpia.
Está bien, pero argumentaría por inducción que cualquier estrategia en la que elijas un número al azar (que no se haya mostrado ya en un espacio diferente) es equivalente.
La pregunta no se puede responder en su forma actual porque no ha especificado los pagos del juego. Si los beneficios favorecen soluciones rápidas, existen estrategias óptimas no triviales. Por ejemplo, para norte = 3 , después de adivinar incorrectamente, digamos, 1 para la primera ranura, adivinar, digamos, 2 para la segunda ranura ofrece una 1 en 4 oportunidad de saber después 2 adivina que el arreglo es 321 si la conjetura resulta ser correcta. Por el contrario, hacer otra conjetura para el primer espacio seguramente conducirá a un total de tres conjeturas.
@joriki: edité la pregunta para especificar explícitamente el objetivo o la función de pago. ¿Que piensas ahora?
@ferson: Esto se llama el norte -ésimo número armónico y a menudo denotado por H norte .
Vale interesante! Supuse que si adivinabas mal para un espacio, te decían que estabas equivocado al decirte cuál era la respuesta correcta. ¡Le daré una oportunidad a este problema actualizado!

Respuestas (1)

No hay estrategia que cueste menos de norte ( norte 1 ) / 2 En el peor de los casos. Considere una estrategia (un menú de qué preguntas hacer en función del historial de respuestas anteriores). Considere un caso en el que todas las preguntas formuladas dan como resultado respuestas negativas (puede haber muchos de estos casos si la estrategia aleatoriza las preguntas). Supongamos que la estrategia concluye que la permutación es PAG = ( k 1 , k 2 , . . . , k norte ) . es decir, el número 1 está en la ranura k 1 , número 2 en la ranura k 2 , ... y número norte en la ranura k norte . Considere otra permutación PAG obtenido de PAG intercambiando posiciones de números i y j . La única forma en que la estrategia podría haber determinado que la permutación es PAG y no PAG es haciendo una de las siguientes dos preguntas: (1) ¿Es el número i en la ranura k j ? o (2) es número j en la ranura k i ? Así, para cada par ( i , j ) , la estrategia debería haber formulado al menos una pregunta. Puesto que hay norte ( norte 1 ) / 2 pares, la estrategia debería haber preguntado al menos norte ( norte 1 ) / 2 preguntas.

¡Lindo! La idea clave aquí es que para una estrategia óptima siempre habrá casos en los que todas las respuestas sean "no", porque si no es así, una de las preguntas sería superflua.