Voy a demostrar que el máximo $M \leq 3nm - 2n - 2m + 2$ .
En primer lugar, hay que tener en cuenta que si asignamos a una bomba el número de vecinos que no lo son, la suma total se duplica. Así, podemos obtener un problema más simétrico, que será útil en lo que sigue. (También podríamos mostrar simplemente que cambiar todas las fichas vacías por bombas y viceversa no cambia la suma).
Por lo que sigue, valores se referirá al valor en esta formulación alternativa.
Que haya una bomba en el interior del tablero con siete vecinos claros (y por lo tanto, cero o uno vecinos de la bomba). Entonces una de las casillas ortogonalmente adyacentes tiene cuatro vecinos claros conocidos y un vecino de bomba conocido. (Si no hay bomba vecina, entonces elige cualquier casilla ortogonalmente adyacente; si la bomba vecina es ortogonalmente adyacente, elige la casilla clara directamente opuesta a la bomba; si la bomba vecina es diagonal, entonces elige cualquiera de las casillas de los dos bordes opuestos).
Como esa celda tiene 4 vecinos claros y 1 vecino bomba, tiene un valor máximo de 4 (si está en el interior), y de 1 (si está en la frontera). Si se añade una bomba a esa casilla, se añadirá uno a los valores de sus vecinos claros y no se reducirá su propio valor.
El mismo argumento se aplica a las células claras con siete bombas vecinas.
Así, vemos que podemos suponer que las celdas interiores tienen un valor máximo de 6.
Del mismo modo, demostraremos que, de forma óptima, las celdas fronterizas no alcanzan un valor de 5.
Pues si una bomba en la frontera tiene cinco vecinos claros, el vecino de enfrente tiene cuatro vecinos claros y un vecino bomba; se aplica el mismo argumento anterior.
Por lo tanto, podemos suponer que las celdas fronterizas tienen un valor máximo de 4.
Así que un límite superior para la suma máxima (en el problema original) es \begin{align} M & \leq \frac{1}{2}\left(6(m-2)(n-2) + 4(2(m-2) + 2(n-2)) + 3\cdot 4 \right) \\ & = 3(m-2)(n-2) + 5(m-2) + 5(n-2) + 6 \\ & = 3mn - 2m - 2n + 2. \end{align} Sólo hemos mostrado este límite superior para cuando $m,n \geq 2$ pero resulta que este vínculo funciona para el $1\times n$ donde se reduce a $n$ que es mayor que el máximo real de $n-1$ .
Obsérvese que un patrón de rayas, como el mostrado por el usuario ajotaxte, produce un límite inferior de $$M \geq 3mn - 3m - 2n + 2.$$
En conclusión, vemos que el máximo para $m\times n$ rejillas, con $m \leq n$ es $$ 3mn - 3m - 2n + 2 \leq M \leq 3mn - 2m - 2n + 2.$$
0 votos
Por supuesto que el máximo existe. Si se añade una bomba al tablero la suma se modificará por un valor en $\{-8,\ldots,8\}$ . Así que el máximo es menor o igual que $8*\text{lengh}*\text{width}$ .
0 votos
Para el $n*1$ el máximo es $\lceil \frac{n}{2} \rceil$ .
0 votos
El máximo parece ser $2mn-m-n$ . Este valor se alcanza fácilmente con un, por ejemplo, tablero de cuadros. Lo difícil es demostrar o refutar que es realmente el máximo.
0 votos
@miracle173 Para el $n\times 1$ el máximo es $n-1$ . Se puede conseguir alternando minas y sin minas.
0 votos
@ajotatxe: tienes razón
0 votos
¡@miracle173 Una prueba mucho más sencilla de tu límite es que cada cuadrado contiene un número que es como máximo ocho!