Interés y Humor - página 3970
Está perdiendo oportunidades comerciales:
- Aplicaciones de trading gratuitas
- 8 000+ señales para copiar
- Noticias económicas para analizar los mercados financieros
Registro
Entrada
Usted acepta la política del sitio web y las condiciones de uso
Si no tiene cuenta de usuario, regístrese
Así que ve a buscar el millón. Sólo consigue el paquete
Respetuosamente.
Para aclarar una pista - no necesitamos sólo un algoritmo general (probablemente hay más de uno), sino un algoritmo que permita a los ordenadores modernos resolver un problema con un gran tamaño de tablero en tiempo real. Para resolver un problema con un gran número de campos mediante los algoritmos existentes, los ordenadores modernos pueden necesitar demasiados años (y memoria)...
Hoy en día está de moda utilizar los solucionadores SAT/SMT para resolver estos problemas. Para resolverlo lo más rápido posible, tienes que expresar el problema mediante funciones booleanas en forma cnf, y luego seguir de alguna manera el ejemplo de este artículo http://www.cs.cmu.edu/~hjain/papers/sudoku-as-SAT.pdf
Salvo que el solucionador de satélites se limitará a responder si el problema puede resolverse, en forma de sí/no. No tengo ni idea de cómo obtener la respuesta en sí (arreglo de la forma) a partir de ahí, no soy bueno en esta tecnología.
Grisha mira... ahora...
En esos
https://www.youtube.com/watch?v=VpOqb-0Ec4w
es a la vez humorístico e interesante
IMHO
Aquí hay una solución bastante rápida al problema de las ocho reinas, en Python me lleva 36 milisegundos: http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm(busca el título "Eight Queens")
Necesitas esta librería de pythonhttps://github.com/Z3Prover/z3/releases y en el propio código ejecuta primero "from z3 import *" y sólo después el código del primer enlace.
No hay manera de hacer un millón, el tiempo para resolver el problema crece exponencialmente dependiendo del número de reinas, por ejemplo, el problema con 100 reinas se resuelve en aproximadamente medio minuto.
El problema no tiene solución. 7 reinas cubren toda el área del tablero de ajedrez.
Lo hace:
en una época casi épica... ¿Eh?
Aquí hay una solución bastante rápida al problema de las ocho reinas, en Python me lleva 36 milisegundos: http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm(busca el título "Eight Queens")
Necesitas esta librería de pythonhttps://github.com/Z3Prover/z3/releases y en el propio código ejecuta primero "from z3 import *" y sólo después el código del primer enlace.
No hay manera de hacer un millón, el tiempo para resolver el problema crece exponencialmente dependiendo del número de reinas, por ejemplo, el problema con 100 reinas se resuelve en aproximadamente medio minuto.
Saludos.