Calcifer » logic

Excepciones paradójicas

lvidarte — Fri, 25 Jan 2008 13:37:44 +0000

Si hay una excepción para toda regla, entoces también debería haber una excepción para la regla que dice que hay una excepción para toda regla.

«Todo es relativo» se contradice a sí misma, porque si todo es relativo entonces la misma frase es relativa y no todos los casos son relativos; con lo cual se entra en un bucle bastante curioso.

Torre de Hanoi

lvidarte — Thu, 28 Sep 2006 19:34:05 +0000

El problema de las Torres de Hanoi es curioso porque su solución es muy rápida de calcular, pero el número de pasos para resolverlo crece exponencialmente conforme aumenta el número de discos.

Resolución de la torre de cuatro discos
(imagen tomada de Wikipedia)

Es un problema que se suele plantear a menudo en ámbitos de programación, especialmente para explicar recursividad y el algoritmo para resolverlo es realmente corto:

hanoi(n, Orig, Aux, Dst)

   si (n>0) hacer

   hanoi(n-1, Orig, Dst, Aux)

   escribir(Mover Orig a Dst)

   hanoi(n-1, Aux, Orig, Dst)

A continuación se muestra una implementación Java del algoritmo. El programa se invoca de la siguiente manera:

java Hanoi n

(donde n es el numero de discos)

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

public class Hanoi

{

   public static void main(String [] args)

   {

      int numDiscs = Integer.parseInt(args[0]);

      move(numDiscs, "A", "B", "C");

   }

   protected static void move(int n, String orig, String aux, String dest)

   {

      if (n>0)

      {

         move(n-1, orig, dest, aux);

         System.out.println("Mover disco de " + orig + " a " + dest);

         move(n-1, aux, orig, dest);

      }

   }

}

Aquí pueden verse las sucesivas llamadas recursivas a la funciónmove()para el caso de 3 discos:

move(3, A, B, C)

   3>0

   move(2, A, C, B)

      2>0

      move(1, A, B, C)

         1>0

         move(0, A, C, B)

            0>0

         stdout: mover A a C

         move(0, B, C, A)

            0>0

      stdout: mover A a B

      move(1, C, A, B)

         1>0

         move(0, C, B, A)

            0>0

         stdout: mover C a B

         move(0, A, B, C)

            0>0

   stdout: mover A a C

   move(2, B, A, C)

      2>0

      move(1, B, C, A)

         1>0

         move(0, B, A, C)

            0>0

         stdout: mover B a A

         move(0, C, B, A)

            0>0

      stout: mover B a C

      move(1, A, B, C)

         1>0

         move(0, A, C, B)

            0>0

         stdout: mover A a C

         move(0, B, A, C)

            0>0

El secretario inteligente

lvidarte — Thu, 17 Aug 2006 17:35:42 +0000

Leo en el blog de Javier Smaldone la siguiente nota:

Aquí va otro problema lógico. Lo encontré hace mucho tiempo en un libro y la solución no estaba en él (yo encontré una, pero no se si será la única).

Una persona debe contratar un secretario y se presentan tres postulantes para el puesto. Reúne a las tres personas y les dice lo siguiente:

“Voy a realizar una prueba para ver quién de ustedes es más inteligente. Los sentaré en una mesa redonda, enfrentados y les vendaré los ojos. Luego, a cada uno le haré una marca en la frente que será de color rojo o de color negro.

Cuando yo se los indique, se quitarán la venda y quien vea una marca negra en la frente de alguno de los otros dos, dará un golpe en la mesa. El primero que descubra de qué color es la marca que lleva en su frente, y pueda explicarme cómo lo hizo, obtendrá el puesto.”

Acto seguido, procede a vendarles los ojos a los tres y les hace a todos una marca negra en la frente. Al recibir la orden de quitarse las vendas, todos ven al menos una marca negra (de hecho, ven dos) y los tres golpean la mesa.

Al cabo de unos instantes, uno de ellos dice tener una marca negra en la frente, explica por qué se dió cuenta y obtiene el puesto.

La pregunta es: ¿cómo lo hizo?

La respuesta:

Todos golpearon. Significa que todos vieron por lo menos una mancha negra. Esto nos deja 2 posibilidades: a) hay dos manchas negras y una roja, b) todos tienen manchas negras.

En el caso a) las dos personas con mancha negra vieron una persona con mancha negra y otra con mancha roja. Por lo tanto cualquiera de ellas podría deducir “rápidamente” que su propia mancha es negra. En definitiva, cualquiera de esas dos personas resolvería enseguida el problema.

La persona con la mancha roja vería dos negras y se limitaría a esperar que alguna de las otras personas dijese su color. Pero si la respuesta no llega rápidamente puede que también ellos vean dos manchas negras, lo que nos lleva al caso b). El primero en darse cuenta de esto diría que también su color es negro.