En este papel (página 28) veo la regla para debe haber una reina en cada fila .
Mi pregunta es si no debería ser así:
Xi1 & Xi2 &....XiN...en lugar de:
Xi1 or Xi2 or....XiNRespuesta
¿Demasiados anuncios?
El texto lo tiene correcto. El $X_{i1} \lor X_{i2} \lor \dots \lor X_{iN}$ significa que una reina estará en la fila $i$ y la columna $1$ o estará en la fila $i$ y la columna $2$ , $\dots$ o estará en la fila $i$ y la columna $N$ (en otras palabras, una reina será en algún lugar en la fila $i$ ). Ahora quiere esto para todas las filas $i$ En este punto entra en juego la lógica y Se podría escribir como $$(X_{11} \lor X_{12} \lor \dots \lor X_{1N})\tag{*}\\ \land (X_{21} \lor X_{22} \lor \dots \lor X_{2N})\\ \vdots\\ \land(X_{N1} \lor X_{N2} \lor \dots \lor X_{NN}), $$ o puede hacerlo de forma más concisa (como hicieron los autores del texto): Para todo $i$ : $$X_{i1} \lor X_{i2} \lor \dots \lor X_{iN},$$ que es lo mismo que $(*)$ .
