Intéressant et Humour - page 3970
Vous manquez des opportunités de trading :
- Applications de trading gratuites
- Plus de 8 000 signaux à copier
- Actualités économiques pour explorer les marchés financiers
Inscription
Se connecter
Vous acceptez la politique du site Web et les conditions d'utilisation
Si vous n'avez pas de compte, veuillez vous inscrire
Alors va chercher le million. Va chercher le paquet.
Respectueusement.
Pour clarifier un point, nous n'avons pas seulement besoin d'un algorithme général (il y en a probablement plus d'un), mais exactement d'un algorithme qui permette aux ordinateurs modernes de résoudre un problème avec de grandes dimensions de tableau en temps réel. Pour résoudre un problème comportant un grand nombre de champs par les algorithmes existants, les ordinateurs modernes peuvent avoir besoin de trop d'années (et de mémoire)...
Aujourd'hui, il est de bon ton d'utiliser les solveurs SAT/SMT pour résoudre de tels problèmes. Pour une vitesse maximale, le problème devrait être exprimé par des fonctions booléennes sous forme de cnf, puis suivre l'exemple de cet article http://www.cs.cmu.edu/~hjain/papers/sudoku-as-SAT.pdf.
Sauf que le sat solver se contentera de répondre si le problème peut être résolu, sous la forme oui/non. Je n'ai aucune idée de la façon d'obtenir la réponse elle-même (agencement des formes) à partir de là, je ne suis pas doué pour cette technologie.
Le regard de Grisha... maintenant...
Sur ces
https://www.youtube.com/watch?v=VpOqb-0Ec4w
c'est à la fois humoristique et intéressant
IMHO
Voici une solution assez rapide au problème des huit reines, en Python cela me prend 36 millisecondes: http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm(trouver le titre "Eight Queens")
Vous avez besoin de cette bibliothèque pythonhttps://github.com/Z3Prover/z3/releases et dans le code lui-même, exécutez d'abord "from z3 import *" et ensuite seulement le code du premier lien.
Il n'y a pas moyen de faire un million, le temps pour résoudre le problème croît exponentiellement en fonction du nombre de reines, par exemple le problème avec 100 reines est résolu en environ une demi-minute.
Le problème n'a pas de solution. 7 reines couvrent toute la surface de l'échiquier.
C'est le cas :
à une époque qui était presque épique... eh ?
Voici une solution assez rapide au problème des huit reines, en Python cela me prend 36 millisecondes: http://www.cs.tau.ac.il/~msagiv/courses/asv/z3py/guide-examples.htm(trouver le titre "Eight Queens")
Vous avez besoin de cette bibliothèque pythonhttps://github.com/Z3Prover/z3/releases et dans le code lui-même, exécutez d'abord "from z3 import *" et ensuite seulement le code du premier lien.
Il n'y a pas moyen de faire un million, le temps pour résoudre le problème croît exponentiellement en fonction du nombre de reines, par exemple le problème avec 100 reines est résolu en environ une demi-minute.
Regards.