Les fans d'échecs et de Math apprécieront. "Lower bound": il n'ont pas trouvé LA solution. Ils ont juste prouvé que leur formule donnait un nombre minimal.
L'idée du problème n-queens:
- on a un échiquier de largeur n
- on veut placer les n reines sans qu'aucunes puissent "attaquer" une autre
- combien de combinaisons différentes on peut faire pour placer ces n reines ?
Dans un échiquier normal, où n = 8, il y a 92 manières différentes de placer les 8 reines.