ça me rappelle le labo ça : méthode de résolution SAT (résoudre une "bête" équation en algèbre de bool ):
mouliner pendant des heures avec des méthodes d'informaticiens de parcours d'arbre pour voir s'il y en une bonne
refaire un n+unième démonstrateur de théorème ou autre programme équivalent cherchant à redéterminer à partir de l'équation la solution de manière symbolique
ou trouver une solution satisfaisante en faisant appel à des méthodes inspirées de la physique (réseau de spin + monte carlo et d'autres que j'ai oubliées).
Bien que je sois plus à la page les méthodes que j'ai vu en oeuvre ne sont pas dans l'article wikipedia. :/ (et ma mémoire et trop floue pour que je complète de manière pertinente)
[^] # Re: Trouvez l'intrus
Posté par Jul (site web personnel) . En réponse à la dépêche Mancoosi : un projet européen dédié aux mises à jour de logiciels libres. Évalué à 2.
mouliner pendant des heures avec des méthodes d'informaticiens de parcours d'arbre pour voir s'il y en une bonne
refaire un n+unième démonstrateur de théorème ou autre programme équivalent cherchant à redéterminer à partir de l'équation la solution de manière symbolique
ou trouver une solution satisfaisante en faisant appel à des méthodes inspirées de la physique (réseau de spin + monte carlo et d'autres que j'ai oubliées).
Bien que je sois plus à la page les méthodes que j'ai vu en oeuvre ne sont pas dans l'article wikipedia. :/ (et ma mémoire et trop floue pour que je complète de manière pertinente)
Il y a quoi de fun dans ce domaine en ce moment ?