La segunda oración usa la notación [matemáticas] \ vee ^ 9_ {j = 1} p (i, j, n) [/ matemáticas]. Esta es una abreviatura de [math] p (i, 1, n) \ vee p (i, 2, n) \ vee \ cdots \ vee p (i, 9, n) [/ math], donde cada [math] \ vee [/ math] representa una disyunción (lógica o). Entonces, la expresión [matemáticas] R (i, n) = \ vee ^ 9_ {j = 1} p (i, j, n) [/ matemáticas] significa que la fila [matemáticas] i [/ matemáticas] contiene el número [matemáticas] n [/ math] si la primera celda de la fila contiene el número o la segunda celda contiene el número o etc.
La oración que cita hace lo mismo, pero con una conjunción: [matemáticas] R (i) = \ land ^ 9_ {i = 1} \ vee ^ 9_ {n = 1} p (i, j, n) = \ land ^ 9_ {n = 1} R (i, n) = R (i, 1) \ land R (i, 2) \ land \ cdots \ land R (i, 9) [/ math]. En otras palabras, una fila [matemáticas] i [/ matemáticas] es válida si contiene un 1 y contiene un 2 y … etc.
La siguiente oración hace esto nuevamente para afirmar que todas las filas cumplen con este criterio al agregar otra capa de conjunciones iteradas: [matemática] \ vee ^ 9_ {i = 1} \ vee ^ 9_ {n = 1} \ vee ^ 9_ {j = 1} p (i, j, n) = \ vee ^ 9_ {i = 1} R (i) [/ math], lo que significa que el rompecabezas de Sudoku es (potencialmente válido) si la primera fila contiene los 9 dígitos, la segunda la fila contiene los 9 dígitos, etc.
- ¿Dónde y cómo se superponen la programación y las matemáticas?
- ¿Cuáles son algunos conceptos en el cálculo lambda que es bueno saber antes de aprender programación funcional?
- Suponiendo que uno tenga una experiencia limitada en programación, matemáticas y neurociencia, ¿cómo se ingresa a un programa de posgrado para inteligencia artificial o neurociencia computacional?
- ¿Cuál es la complejidad temporal de un programa que calcula el número n de Fibonacci mediante la memorización?
- ¿Hay alguna buena idea sobre cómo optimizar la biblioteca matemática fundamental del sistema?
El ejercicio 65 es relativamente simple, ya que el problema es simétrico en filas y columnas. El ejercicio 66 es más complicado, pero no debería ser tan difícil.