Estoy tratando de encontrar pistas sobre el siguiente acertijo, a ver si me lo puede encontrar en la OEIS (y añadirlo si no está ya allí):
Supongamos que te doy un arreglo triangular de bombillas de luz con una longitud de $n$:
o
o o
o o o
o o o o
o o o o o
o o o o o o
1 2 ... n
Me voy a convertir en tres bombillas de luz que forman una "vertical" de un triángulo equilátero como en el siguiente ejemplo:
o
o x
o o o
o o o o
o x o o x
o o o o o o
Antes de encender las luces, su trabajo es eliminar todas las bombillas de luz como sea posible a partir de la matriz-sin perder la capacidad de deducir el triángulo de las bombillas de que ha sido activado. Para ser claros, si una bombilla se ha eliminado, no se enciende cuando su posición se enciende.
Por ejemplo, si se ha eliminado el siguiente bombillas (marcado por .
) que sólo ver las dos siguientes luces se encienden (marcado por x
), lo cual es suficiente únicamente deducir la tercera (apagado) posición:
. .
. o . x
. . o . . o
o o o . => o o o .
o o o o . o x o o . <- the third unlit position
o . . . o o o . . . o o
Deje $a(n)$ ser el máximo número de bombillas que se pueden quitar sin introducir ninguna ambigüedad.
Con ingenua de un algoritmo, he comprobado los valores de hasta un triángulo con un lado de longitud 7, como se ve a continuación:
.
. . o
. . o o . o
. . . . . o . o o .
. . . . o o o o o . o o . o .
. . . . o o o o . o o o o o . o . o . o o
. . . o o . o o o o . . o o o . . . o o o . o . o o o
a(2) = 3 a(3) = 4 a(4) = 5 a(5) = 7 a(6) = 9 a(7) = 11
La búsqueda de esta secuencia en la OEIS vueltas hasta cientos de resultados.
Como una cota superior para esta secuencia, tenemos las diferentes configuraciones de 3, 2, 1 o 0 luces para ser capaz de representar a todos los de la $\binom{n + 1}{3}$ posible triángulos. Que es:
$$\binom{n + 1}{3} \leq \binom{b(n) - a(n)}{3} + \binom{b(n) - a(n)}{2} + \binom{b(n) - a(n)}{1} + \binom{b(n) - a(n)}{0}$$ where $b(n) = \frac{1}{2}n(n+1)$.