Empecemos por todas las cuadrículas positivas, es decir, las que tienen todos los productos fila y columna positivos, y determinemos su número. Lo más sencillo que se nos ocurre es rellenar $(N-1)\times(N-1)$ subgrid arbitrario y usar la última fila y columna para arreglar cualquier problema de signos que encontremos $$ \begin{matrix} 1 & 1 & -1 & ?\\ -1 & 1 & -1 & ?\\ 1 & -1 & 1 & ?\\ ? & ? & ? & ?\\ \end{matrix} $$ Exigiendo cada uno de los escritos $N-1$ filas y $N-1$ columnas para tener un producto positivo podemos encontrar $$ \begin{matrix} 1 & 1 & -1 & -1\\ -1 & 1 & -1 & 1\\ 1 & -1 & 1 & -1\\ -1 & -1 & 1 & ?\\ \end{matrix} $$ Ahora la única preocupación es la última celda diagonal. El problema es que no conocemos los signos de los productos de la última fila y la última columna, que están controlados por la matriz $(N-1)\times(N-1)$ . Si sus productos tienen ambos $+$ o $-$ señal de que estamos bien -- la última celda vacía está bien definida, de lo contrario estamos en problemas.
Aquí viene el truco vamos a probar lema El producto en la última fila y la última columna, que se forman como se ha descrito anteriormente, tienen siempre el mismo signo. Prueba: en lugar del signo de interrogación pongamos $x$ para terminar la matriz. $$ \begin{matrix} 1 & 1 & -1 & -1\\ -1 & 1 & -1 & 1\\ 1 & -1 & 1 & -1\\ -1 & -1 & 1 & x\\ \end{matrix} $$ Sin pérdida de generalidad supongamos que el último producto de columna es $-x$ mientras que el producto de la última fila es $+x$ . Consideremos ahora el producto de todos los números de la cuadrícula. Por un lado es igual al producto de todas las columnas-producto (excepto la última, todas son $+1$ por construcción) así $-x$ . Por otro lado es igual al producto de todos los productos-fila (excepto el último todos son $+1$ por construcción) así $+x$ . Pero $x$ debe ser $+1$ o $-1$ por lo que no puede ser $x = -x$ , por lo tanto, una contradicción. Esto último significa que siempre podemos llenar definitivamente el último elemento para que la matriz de todas las filas-columnas sea positiva, QED.
Ahora volvamos al problema. Primero, formamos un $(N-1) \times (N-1)$ submatriz (totalmente $2^{(N-1)^2}$ posibilidades). Entonces calculamos la última fila y columna para que sea todo positivo, lo que siempre es posible por lema, así $2^{(N-1)^2}$ rejillas totalmente positivas posibles. Lo que hay que hacer a continuación está bien descrito en la otra respuesta, así que no lo duplicaré. Como resultado final deberías obtener $N^2\,2^{(N-1)^2}$ .