VALIDITÉ ET DIFFICULTÉ
Des réponses vérifiées.
Des niveaux expliqués.
40 problèmes originaux : 20 Expert et 20 Extrême, répartis entre quatre grandes familles. Les 73 tutoriels du site et le PDF historique restent inchangés.
Deux questions distinctes
La validation établit qu’une réponse respecte les contraintes et, si requis, qu’elle est unique ou optimale. La difficulté est une appréciation éditoriale des techniques et de l’exploration nécessaires ; elle n’a pas été étalonnée auprès d’un panel de personnes.
Expert demande une combinaison de déductions et d’analyses de cas. Extrême demande des chaînes plus profondes, des interactions plus nombreuses ou une recherche stratégique étendue. Aucun classement ne repose sur le seul nombre de cases vides.
Méthodes par problème
SOLO-001 · Sudoku classique · EXPERT
Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.
Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 1 hypothèses imbriquées, examine 3 états et ferme 1 branches par contradiction. Le niveau Expert demande de tenir une chaîne de possibilités en plus des interactions. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.
SOLO-002 · Sudoku classique · EXTRÊME
Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.
Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 6 hypothèses imbriquées, examine 29 états et ferme 14 branches par contradiction. Le niveau Extrême combine éliminations de candidats et analyse ramifiée profonde ; ce n’est pas un classement fondé sur le seul nombre de cases vides. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.
SOLO-003 · Sudoku classique · EXPERT
Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.
Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 1 hypothèses imbriquées, examine 3 états et ferme 1 branches par contradiction. Le niveau Expert demande de tenir une chaîne de possibilités en plus des interactions. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.
SOLO-004 · Sudoku classique · EXTRÊME
Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.
Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 8 hypothèses imbriquées, examine 81 états et ferme 40 branches par contradiction. Le niveau Extrême combine éliminations de candidats et analyse ramifiée profonde ; ce n’est pas un classement fondé sur le seul nombre de cases vides. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.
SOLO-005 · Sudoku diagonal · EXPERT
Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.
Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 2 hypothèses imbriquées, examine 5 états et ferme 2 branches par contradiction. Le niveau Expert demande de tenir une chaîne de possibilités en plus des interactions. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.
SOLO-006 · Sudoku diagonal · EXTRÊME
Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.
Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 9 hypothèses imbriquées, examine 37 états et ferme 18 branches par contradiction. Le niveau Extrême combine éliminations de candidats et analyse ramifiée profonde ; ce n’est pas un classement fondé sur le seul nombre de cases vides. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.
SOLO-007 · Sudoku irrégulier · EXPERT
Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.
Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 1 hypothèses imbriquées, examine 3 états et ferme 1 branches par contradiction. Le niveau Expert demande de tenir une chaîne de possibilités en plus des interactions. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.
SOLO-008 · Sudoku irrégulier · EXTRÊME
Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.
Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 8 hypothèses imbriquées, examine 27 états et ferme 13 branches par contradiction. Le niveau Extrême combine éliminations de candidats et analyse ramifiée profonde ; ce n’est pas un classement fondé sur le seul nombre de cases vides. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.
SOLO-009 · Sudoku Killer · EXPERT
Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.
Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 3 hypothèses imbriquées, examine 9 états et ferme 4 branches par contradiction. Le niveau Expert demande de tenir une chaîne de possibilités en plus des interactions. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.
SOLO-010 · Sudoku Killer · EXTRÊME
Énumération exacte, arrêt après deux solutions, vérification terminale de toutes les unités et cages.
Après candidats uniques, places uniques, paires/triples nus et interactions entre unités, le solveur atteint encore des bifurcations. La preuve exhaustive atteint 9 hypothèses imbriquées, examine 127 états et ferme 63 branches par contradiction. Le niveau Extrême combine éliminations de candidats et analyse ramifiée profonde ; ce n’est pas un classement fondé sur le seul nombre de cases vides. Évaluation éditoriale selon le protocole du recueil, sans calibration sur un panel de joueurs ; un autre chemin logique peut être plus court.
SOLO-011 · Mastermind avancé · EXPERT
Énumération exhaustive de tous les codes ; calcul indépendant de chaque score ; suppression des indices redondants.
La méthode de référence laisse 5 multiensemble(s) après résolution des contraintes de multiplicité ; il faut ensuite croiser leurs arrangements avec toutes les contraintes de position. Les répétitions empêchent de traiter les chiffres comme un simple ensemble. La méthode de référence combine comptage des occurrences et élimination de configurations.
SOLO-012 · Mastermind avancé · EXPERT
Énumération exhaustive de tous les codes ; calcul indépendant de chaque score ; suppression des indices redondants.
La méthode de référence laisse 1 multiensemble(s) après résolution des contraintes de multiplicité ; il faut ensuite croiser leurs arrangements avec toutes les contraintes de position. Les répétitions empêchent de traiter les chiffres comme un simple ensemble. La méthode de référence combine comptage des occurrences et élimination de configurations.
SOLO-013 · Mastermind avancé · EXTRÊME
Énumération exhaustive de tous les codes ; calcul indépendant de chaque score ; suppression des indices redondants.
La méthode de référence laisse 16 multiensemble(s) après résolution des contraintes de multiplicité ; il faut ensuite croiser leurs arrangements avec toutes les contraintes de position. La résolution combine équations de multiplicités plafonnées, permutations avec répétition et contraintes de position imbriquées. Le corrigé fournit le découpage complet de cette exploration. Le niveau Extrême reste une appréciation de cet effort manuel, sans calibration sur des joueurs.
SOLO-014 · Mastermind avancé · EXTRÊME
Énumération exhaustive de tous les codes ; calcul indépendant de chaque score ; suppression des indices redondants.
La méthode de référence laisse 1 multiensemble(s) après résolution des contraintes de multiplicité ; il faut ensuite croiser leurs arrangements avec toutes les contraintes de position. La résolution combine équations de multiplicités plafonnées, permutations avec répétition et contraintes de position imbriquées. Le corrigé fournit le découpage complet de cette exploration. Le niveau Extrême reste une appréciation de cet effort manuel, sans calibration sur des joueurs.
SOLO-015 · Cryptarithme · EXPERT
Recherche exhaustive par colonnes, retenues binaires, permutation des chiffres non encore affectés et contrôle arithmétique des deux égalités.
Dix lettres et deux additions couplées obligent à combiner retenues, injectivité et transport des contraintes entre les équations. Une première équation correcte laisse plusieurs affectations : la résolution exige un tableau de retenues et une exploration systématique, pas une simple opération à compléter.
SOLO-016 · Cryptarithme · EXPERT
Recherche exhaustive par colonnes, retenues binaires, permutation des chiffres non encore affectés et contrôle arithmétique des deux égalités.
Dix lettres et deux additions couplées obligent à combiner retenues, injectivité et transport des contraintes entre les équations. Une première équation correcte laisse plusieurs affectations : la résolution exige un tableau de retenues et une exploration systématique, pas une simple opération à compléter.
SOLO-017 · Cryptarithme · EXTRÊME
Recherche exhaustive par colonnes, retenues binaires, permutation des chiffres non encore affectés et contrôle arithmétique des deux égalités.
Dix lettres et deux additions couplées obligent à combiner retenues, injectivité et transport des contraintes entre les équations. Le grand nombre de substitutions survivant à la première équation rend l’exploration manuelle particulièrement longue ; les contrôles de retenues doivent être imbriqués dans les deux additions.
SOLO-018 · Futoshiki · EXPERT
Recherche exhaustive avec domaines, contraintes tout-différent, emplacements uniques et inégalités ; contrôle indépendant de la grille finale.
Le croisement d’unicité des lignes, d’unicité des colonnes et d’inégalités ne se ferme pas par propagation des seuls chiffres forcés dans le solveur de référence. Le niveau Expert repose sur la combinaison des bornes et des emplacements uniques, suivie d’une exploration contrôlée ; il ne découle pas seulement de la taille du carré.
SOLO-019 · Futoshiki · EXTRÊME
Recherche exhaustive avec domaines, contraintes tout-différent, emplacements uniques et inégalités ; contrôle indépendant de la grille finale.
Le croisement d’unicité des lignes, d’unicité des colonnes et d’inégalités ne se ferme pas par propagation des seuls chiffres forcés dans le solveur de référence. Des hypothèses imbriquées et des contradictions non locales sont nécessaires dans sa méthode ; cela motive le niveau Extrême, sans prétendre exclure une astuce humaine plus courte.
SOLO-020 · Futoshiki · EXTRÊME
Recherche exhaustive avec domaines, contraintes tout-différent, emplacements uniques et inégalités ; contrôle indépendant de la grille finale.
Le croisement d’unicité des lignes, d’unicité des colonnes et d’inégalités ne se ferme pas par propagation des seuls chiffres forcés dans le solveur de référence. Des hypothèses imbriquées et des contradictions non locales sont nécessaires dans sa méthode ; cela motive le niveau Extrême, sans prétendre exclure une astuce humaine plus courte.
SOLO-021 · Nonogramme · EXPERT
Énumération des placements par ligne, propagation par intersections et recherche exhaustive jusqu’à deux solutions ; nouvelle vérification des séries de la réponse.
L’intersection simple bloque ; les croisements imposent une analyse de cas imbriquée (profondeur 2, 6 branches impossibles dans le solveur). Niveau éditorial fondé sur ce besoin de coordination, pas sur le seul format de la grille.
SOLO-022 · Nonogramme · EXPERT
Énumération des placements par ligne, propagation par intersections et recherche exhaustive jusqu’à deux solutions ; nouvelle vérification des séries de la réponse.
L’intersection simple bloque ; les croisements imposent une analyse de cas imbriquée (profondeur 5, 8 branches impossibles dans le solveur). Niveau éditorial fondé sur ce besoin de coordination, pas sur le seul format de la grille.
SOLO-023 · Nonogramme · EXTRÊME
Énumération des placements par ligne, propagation par intersections et recherche exhaustive jusqu’à deux solutions ; nouvelle vérification des séries de la réponse.
L’intersection simple bloque ; les croisements imposent une analyse de cas imbriquée (profondeur 7, 34 branches impossibles dans le solveur). Niveau éditorial fondé sur ce besoin de coordination, pas sur le seul format de la grille.
SOLO-024 · Nonogramme · EXTRÊME
Énumération des placements par ligne, propagation par intersections et recherche exhaustive jusqu’à deux solutions ; nouvelle vérification des séries de la réponse.
L’intersection simple bloque ; les croisements imposent une analyse de cas imbriquée (profondeur 10, 16 branches impossibles dans le solveur). Niveau éditorial fondé sur ce besoin de coordination, pas sur le seul format de la grille.
SOLO-025 · Parcours hamiltonien · EXPERT
DFS exhaustive des chemins simples, avec contrôles nécessaires de connexité, repères, distance et parité ; comparaison de toutes les solutions jusqu’à deux.
Coordonner les intervalles entre repères, les séparations de régions et les contraintes de parité. Le solveur doit explorer 613 préfixes ; le niveau reflète cette exploration combinée, sans assimiler automatiquement temps de calcul et difficulté humaine.
SOLO-026 · Parcours hamiltonien · EXPERT
DFS exhaustive des chemins simples, avec contrôles nécessaires de connexité, repères, distance et parité ; comparaison de toutes les solutions jusqu’à deux.
Coordonner les intervalles entre repères, les séparations de régions et les contraintes de parité. Le solveur doit explorer 423 préfixes ; le niveau reflète cette exploration combinée, sans assimiler automatiquement temps de calcul et difficulté humaine.
SOLO-027 · Parcours hamiltonien · EXTRÊME
DFS exhaustive des chemins simples, avec contrôles nécessaires de connexité, repères, distance et parité ; comparaison de toutes les solutions jusqu’à deux.
Coordonner les intervalles entre repères, les séparations de régions et les contraintes de parité. Le solveur doit explorer 5682 préfixes ; le niveau reflète cette exploration combinée, sans assimiler automatiquement temps de calcul et difficulté humaine.
SOLO-028 · Placement de pentominos · EXPERT
Couverture exacte des cases et des identités de pièces, toutes orientations libres ; comptage jusqu’à deux solutions et vérification indépendante des groupes de cinq cases.
Combiner orientations, contraintes des indices et impossibilités de couverture ; 980 sous-pavages sont examinés avec choix de la case la plus contrainte. Le niveau est éditorial et ne repose pas sur une norme externe.
SOLO-029 · Placement de pentominos · EXTRÊME
Couverture exacte des cases et des identités de pièces, toutes orientations libres ; comptage jusqu’à deux solutions et vérification indépendante des groupes de cinq cases.
Combiner orientations, contraintes des indices et impossibilités de couverture ; 6105 sous-pavages sont examinés avec choix de la case la plus contrainte. Le niveau est éditorial et ne repose pas sur une norme externe.
SOLO-030 · Placement de pentominos · EXTRÊME
Couverture exacte des cases et des identités de pièces, toutes orientations libres ; comptage jusqu’à deux solutions et vérification indépendante des groupes de cinq cases.
Combiner orientations, contraintes des indices et impossibilités de couverture ; 13455 sous-pavages sont examinés avec choix de la case la plus contrainte. Le niveau est éditorial et ne repose pas sur une norme externe.
SOLO-031 · Othello / Reversi · EXPERT
Génération par partie légale depuis la position initiale standard ; minimax exhaustif mémorisé jusqu’à la fin, sans profondeur tronquée ni heuristique de feuille. Toutes les valeurs des premiers coups sont vérifiées.
Plusieurs premiers coups sont légaux ; une estimation par le gain immédiat ne remplace pas le calcul jusqu’au terme. La résolution demande un arbre minimax à plusieurs étages, avec vérification des retournements et de la mobilité. Évaluation éditoriale fondée sur les techniques requises ; non étalonnée par un panel humain.
SOLO-032 · Othello / Reversi · EXPERT
Génération par partie légale depuis la position initiale standard ; minimax exhaustif mémorisé jusqu’à la fin, sans profondeur tronquée ni heuristique de feuille. Toutes les valeurs des premiers coups sont vérifiées.
Plusieurs premiers coups sont légaux ; une estimation par le gain immédiat ne remplace pas le calcul jusqu’au terme. La résolution demande un arbre minimax à plusieurs étages, avec vérification des retournements et de la mobilité. Évaluation éditoriale fondée sur les techniques requises ; non étalonnée par un panel humain.
SOLO-033 · Othello / Reversi · EXPERT
Génération par partie légale depuis la position initiale standard ; minimax exhaustif mémorisé jusqu’à la fin, sans profondeur tronquée ni heuristique de feuille. Toutes les valeurs des premiers coups sont vérifiées.
Plusieurs premiers coups sont légaux ; une estimation par le gain immédiat ne remplace pas le calcul jusqu’au terme. La résolution demande un arbre minimax à plusieurs étages, avec vérification des retournements et de la mobilité. Évaluation éditoriale fondée sur les techniques requises ; non étalonnée par un panel humain.
SOLO-034 · Othello / Reversi · EXTRÊME
Génération par partie légale depuis la position initiale standard ; minimax exhaustif mémorisé jusqu’à la fin, sans profondeur tronquée ni heuristique de feuille. Toutes les valeurs des premiers coups sont vérifiées.
Fin de partie exigeant un arbre de défense ramifié sur dix ou onze cases, avec ordres de coups, mobilité et passes possibles. Il faut combiner calcul rétrograde, contrôle des réponses adverses et comparaison exacte des alternatives ; aucune règle locale de coin ou de majorité immédiate ne suffit. Évaluation éditoriale fondée sur les techniques requises ; non étalonnée par un panel humain.
SOLO-035 · Othello / Reversi · EXTRÊME
Génération par partie légale depuis la position initiale standard ; minimax exhaustif mémorisé jusqu’à la fin, sans profondeur tronquée ni heuristique de feuille. Toutes les valeurs des premiers coups sont vérifiées.
Fin de partie exigeant un arbre de défense ramifié sur dix ou onze cases, avec ordres de coups, mobilité et passes possibles. Il faut combiner calcul rétrograde, contrôle des réponses adverses et comparaison exacte des alternatives ; aucune règle locale de coin ou de majorité immédiate ne suffit. Évaluation éditoriale fondée sur les techniques requises ; non étalonnée par un panel humain.
SOLO-036 · Othello / Reversi · EXTRÊME
Génération par partie légale depuis la position initiale standard ; minimax exhaustif mémorisé jusqu’à la fin, sans profondeur tronquée ni heuristique de feuille. Toutes les valeurs des premiers coups sont vérifiées.
Fin de partie exigeant un arbre de défense ramifié sur dix ou onze cases, avec ordres de coups, mobilité et passes possibles. Il faut combiner calcul rétrograde, contrôle des réponses adverses et comparaison exacte des alternatives ; aucune règle locale de coin ou de majorité immédiate ne suffit. Évaluation éditoriale fondée sur les techniques requises ; non étalonnée par un panel humain.
SOLO-037 · Nim — soustraction par paires · EXPERT
Programmation dynamique exacte des nombres de Grundy, contrôle du mex et de tous les premiers coups. La propriété de somme est démontrée dans le corrigé.
Combiner récurrence mex et somme XOR de jeux non standards ; démontrer une stratégie valable pour toutes les réponses. Les tailles ne se traitent pas comme celles du Nim ordinaire. Évaluation éditoriale fondée sur les techniques requises ; non étalonnée par un panel humain.
SOLO-038 · Nim — soustraction par paires · EXPERT
Programmation dynamique exacte des nombres de Grundy, contrôle du mex et de tous les premiers coups. La propriété de somme est démontrée dans le corrigé.
Combiner récurrence mex et somme XOR de jeux non standards ; démontrer une stratégie valable pour toutes les réponses. Les tailles ne se traitent pas comme celles du Nim ordinaire. Évaluation éditoriale fondée sur les techniques requises ; non étalonnée par un panel humain.
SOLO-039 · Nim — soustraction par paires · EXTRÊME
Programmation dynamique exacte des nombres de Grundy, contrôle du mex et de tous les premiers coups. La propriété de somme est démontrée dans le corrigé.
Construire une table de Grundy à deux variables, assembler trois composantes par XOR, énumérer tous les coups gagnants et prouver la réponse universelle. La difficulté porte sur plusieurs outils combinés, pas sur un long calcul de jetons isolé. Évaluation éditoriale fondée sur les techniques requises ; non étalonnée par un panel humain.
SOLO-040 · Nim — soustraction par paires · EXTRÊME
Programmation dynamique exacte des nombres de Grundy, contrôle du mex et de tous les premiers coups. La propriété de somme est démontrée dans le corrigé.
Construire une table de Grundy à deux variables, assembler trois composantes par XOR, énumérer tous les coups gagnants et prouver la réponse universelle. La difficulté porte sur plusieurs outils combinés, pas sur un long calcul de jetons isolé. Évaluation éditoriale fondée sur les techniques requises ; non étalonnée par un panel humain.
Limites
Les statistiques dépendent de l’ordre de recherche et ne mesurent pas directement la difficulté humaine. Il peut exister une démonstration plus courte. Les variantes combinatoires sont définies dans leur énoncé et ne sont pas présentées comme des règles commerciales. Les solutions tactiques supposent exactement la position et la convention de score annoncées.