A2A: “ John tiene tres pasteles. Un pastel está envenenado, y él sabe cuál. ¿Qué pregunta sí / no puede pedirle a John que descubra qué pastel está envenenado? ”
Si solo tiene un recurso para hacer una pregunta y no puede tomar ninguna otra acción, no hay tal pregunta. Una pregunta de sí-no te da un poco de información. Necesita dos bits de información para distinguir el pastel de veneno de los pasteles sin veneno.
Puede inferir esto de manera informal mirando algunas de las respuestas creativas que ha obtenido. Cada uno involucra alguna forma de obtener ese bit extra de información. Por ejemplo, obligar a John a comer uno de los pasteles para ver si muere después de hacer una pregunta sobre los otros dos pasteles.
- Si a + b + c = 1, ¿cuál es el valor mínimo posible de (a + b) / (abc) si a, byc no son negativos?
- ¿Existe una conjetura matemática para la cual se haya construido una prueba de que tal conjetura no puede ser probada ni refutada por completo?
- ¿Qué se entiende por 'mapeo topológico'?
- ¿Cuál es una manera simple de entender los puntos de ramificación en análisis complejos?
- ¿Qué son los parámetros en matemáticas? ¿Cómo se usan?
Una pregunta es suficiente para encontrar un solo pastel no venenoso. Deje que los pasteles se etiqueten como A, B y C. Luego puede hacer la pregunta: “¿Es el pastel venenoso A o B?” Si la respuesta es sí, entonces sabe que el pastel C no es venenoso. Si la respuesta es no, entonces sabes que los pasteles A y B no son venenosos. Tenga en cuenta que esta pregunta es insuficiente para determinar la torta de veneno. Si la respuesta a la pregunta es sí, entonces todo lo que sabe es que A o B son venenosas, pero no cuál. Necesitaría una pregunta adicional para determinar que
Para ver que una pregunta es insuficiente para determinar el pastel venenoso, deje que A, B y C sean una etiqueta de los pasteles. Si un pastel es venenoso, asigne a su etiqueta un valor de bit de 1. De lo contrario, asigne un valor de bit de cero a la etiqueta. Ahora considere el número binario ABC, donde ABC representa la concatenación de los bits. La pregunta original es equivalente a encontrar qué secuencia de bits 001, 010 o 100 está representada por ABC. Para responder a la pregunta, debe ser capaz de distinguir cuál de los tres estados tiene. Esto requiere una función de tres valores. Una pregunta sí / no es una función de dos valores. Por lo tanto, una pregunta sí / no es incapaz de determinar cuál de los tres estados tiene. Una enumeración exhaustiva de todas las funciones [matemáticas] f: \ {001,010,001 \} → \ {no, sí \} [/ matemáticas], mostrará que esto es cierto. El ejercicio se deja al lector.