Y a-t-il des "fonctions atypiques" qui ont permis à certain de résoudre l'énigme d'Einstein ?

Réponse publiée sur Quora

C’est un Problème de satisfaction de contraintes . Bien que ces problème soient (jusqu’à preuve du contraire ) de complexité NP , il existe des solveurs extrêmement rapides sur des problèmes de petite taille comme l’Énigme d’Einstein .

Par exemple avec python-constraint , ce petit programme

https://artificialcognition.gith…

trouve une solution en moins d’une seconde.

Une des méthodes possibles est le Min-conflicts algorithm , qu’on peut éventuellement réaliser à la main si on est un peu systématique. Pour la petite histoire, il a été inventé dans les années 1990 pour allouer le très précieux temps d’observation du telescope spatial Hubble aux astronomes.