Acertijos

[Marrullero]

Un momento de "relaxing" (con o sin café con leche)

“Dos sabios de un pueblo fueron encarcelados por un rey malvado. Este, para comprobar la inteligencia de los sabios, los encerró en celdas separadas de una torre: una miraba hacia el Este y la otra hacia el Oeste, de modo que no pudieran comunicarse entre sí. Entre ambos, podían ver todas las ciudades que componían el reino, pero ninguna ciudad era visible a la vez por los dos. El rey les dijo que las ciudades del reino eran cinco u ocho y que ambos serían liberados de inmediato luego de que alguno de ellos le comunicase al carcelero, que cada mañana les llevaba la comida, cuántas ciudades integraban el reino. Además, el rey les dijo que tenían una semana o acabarían en la horca. Pero a la tercera mañana, los dos sabios fueron liberados luego de que uno de ellos averiguara a través de un procedimiento lógico de cuántas ciudades se componía el reino. ¿Qué proceso lógico los llevó a resolver su problema? ¿Cuántas ciudades componen el reino?”

[dudametodica]

Respuesta: C=8: (4+4).

Método:
C: Ciudades (5 o 8).
Sabios: (Sx, Sy).
C5 = (1+4/4+1, 2+3/3+2).
C8 = (1+7/7+1, 2+6/6+2, 3+5/5+3, 4+4).

Libres: el 1D x respuesta de (Sx):
Sx.Ve = (5) implica Sy.Ve = (3).
Sx.Ve = (6) implica Sy.Ve = (2).
Sx.Ve = (7) implica Sy.Ve = (1).

1D post respuestas:
Sx.Ve = (1) implica Sy.Ve = (4 o 7) = (4) {x no-Libre 1D}.
Sx.Ve = (2) implica Sy.Ve = (3 o 6) = (3) {x no-Libre 1D}.
Sx.Ve = (3) implica Sy.Ve = (2 o 5) = (2) {x no-Libre 1D}.
Sx.Ve = (4) implica Sy.Ve = (1 o 4) = (4) {desconcertaría a ambos sabios (x1D)}.

Libres: el 2D x respuesta de (Sx):
Sx.Ve = (1) implica Sy.Ve = (4).
Sx.Ve = (2) implica Sy.Ve = (3).
Sx.Ve = (3) implica Sy.Ve = (2).

Libres: el 3D x respuesta de (Sx o Sy):
Sx.Ve = (4) implica Sy.Ve = (4) {x no-Libre 2D}.

...

[Dario Ruarte]

Nah... el acertijo de las ciudades es una caca !  

Si las ciudades son 5 u 8, el primer día le digo "5".

Lo peor que puede pasar es que falle y, al día siguiente le digo "8".

Ya ta' !!

Al segundo día -en el peor de los casos- y ya me tienen que soltar !!... qué clase de prueba es esa para un sabio ?

Es más, ahora me pregunto POR QUE demoraron tanto... qué hicieron para esperar TRES días si con un máximo de DOS tendrían que haber resuelto todo ?

[Ahab]

La gracia está en que los sabios no pueden responder hasta que nos sepan la respuesta correcta, y si no lo he hecho muy mal y uno de los sabios (en realidad los dos) responde el tercer día las ciudades son 8 pero no se puede saber si uno ve 3 y otro 5 o bien 4 cada uno.

Dudametódica ¿por qué no has considerado la posibilidad de que uno de los sabios no vea ninguna ciudad?

Si me he colado que alguien me lo diga sin dar la solución.

[dudametodica]

Respuesta: C=8: (4+4).

Método:
C: Ciudades (5 o 8).
Sabios: (Sx, Sy).
C5 = (0+5/5+0, 1+4/4+1, 2+3/3+2).
C8 = (0+8/8+0, 1+7/7+1, 2+6/6+2, 3+5/5+3, 4+4).

Libres: el 1D x respuesta de (Sx):
Sx.Ve = (5)  Sy.Ve = (3).
Sx.Ve = (6)  Sy.Ve = (2).
Sx.Ve = (7)  Sy.Ve = (1).
Sx.Ve = (8)  Sy.Ve = (0).

1D post respuestas:
Sx.Ve = (0)  Sy.Ve = (5 o 8) = (5) {x no-Libre 1D}.
Sx.Ve = (1)  Sy.Ve = (4 o 7) = (4) {x no-Libre 1D}.
Sx.Ve = (2)  Sy.Ve = (3 o 6) = (3) {x no-Libre 1D}.
Sx.Ve = (3)  Sy.Ve = (2 o 5) = (2) {x no-Libre 1D}.
Sx.Ve = (4)  Sy.Ve = (1 o 4) = (4) {desconcertaría a ambos sabios (x1D)}.

Libres: el 2D x respuesta de (Sx):
Sx.Ve = (0)  Sy.Ve = (5)
Sx.Ve = (1)  Sy.Ve = (4).
Sx.Ve = (2)  Sy.Ve = (3).
Sx.Ve = (3)  Sy.Ve = (2).

Libres: el 3D x respuesta de (Sx o Sy):
Sx.Ve = (4)  Sy.Ve = (4) {x no-Libre 2D}.

Ahab: no me di cuenta – gracias –.

[Ahab]

El sabio no puede responder el primer días si ve 5 el otro prodría ver 3 o 0...

[dudametodica]

Respuesta: C=8: (4+4, 3+5 o 5+3).

Método:
C: Ciudades (5 o 8).
Sabios: (Sx, Sy).
C5 = (0+5/5+0, 1+4/4+1, 2+3/3+2).
C8 = (0+8/8+0, 1+7/7+1, 2+6/6+2, 3+5/5+3, 4+4).

Libres el 1D:
Sx.Ve = (6)  Sy.Ve = (2).
Sx.Ve = (7)  Sy.Ve = (1).
Sx.Ve = (8)  Sy.Ve = (0).
 1D post respuestas:
Sx.Ve = (0)  Sy.Ve = (5 o 8) = (5) {x no-Libre 1D}.
Sx.Ve = (1)  Sy.Ve = (4 o 7) = (4) {x no-Libre 1D}.
Sx.Ve = (2)  Sy.Ve = (3 o 6) = (3) {x no-Libre 1D}.

Libres el 2D:
Sx.Ve = (0)  Sy.Ve = (5)
Sx.Ve = (1)  Sy.Ve = (4).
Sx.Ve = (2)  Sy.Ve = (3).
 2D post respuestas:
Sx.Ve = (3)  Sy.Ve = (2 o 5) = (5) {x no-Libre 2D}.
Sx.Ve = (4)  Sy.Ve = (1 o 4) = (4) {x no-Libre 2D}.
Sx.Ve = (5)  Sy.Ve = (0 o 3) = (3) {x no-Libre 2D}.

Libres el 3D:
Sx.Ve = (3)  Sy.Ve = (2 o 5) = (5) {x no-Libre 2D}.
Sx.Ve = (4)  Sy.Ve = (1 o 4) = (4) {x no-Libre 2D}.
Sx.Ve = (5)  Sy.Ve = (0 o 3) = (3) {x no-Libre 2D}.

PD: tiene razón. Creo que ahí lo resolví bien, pero aún no lo he revisado a detenidamente (parecía más sencillo en principio). Nuevamente, gracias.

...