1) Il me semble que le nombre de positions R+D contre R et mat aidé en 4 soit très limité. En existe-t-il une liste exhaustive ?

2) Je suis à la recherche de "résultats d'impossibilité" en composition.

Est-il possible de prouver qu'un mat aidé en 5 est impossible à réaliser avec le même matériel ?

Et je pari qu'il n'y a pas de h#5. Mais sans doute il y a des gens qui ont fouille cet espace completement.

Catalogue h# (CHM) avec 6 pieces 1995

(2) Tu peux arriver a h#4.5 sans dual, si tu tourne la diagramme par pi, et remplace Dh8 par Ph7. Mais il y a un tas de RPvR h#5.0 deja.

(3) AND (NOT sol='=') AND (NOT sol='T') AND (NOT stip='0.') reduit les reponses a 9. [Il n'y a meme pas de h#4.5 (= "h#5 0.1..." aussi).] En eliminant les copies et ajoutant les jumeaux on arrive a 9 positions h#4 dans la base de donnes. Mais probablement qqn a fouille deja pour trouver tout les positions ce style, helas.

Tu lance ton browser, et tu demande http://www.softdecc.com/pdb/index.pdb.Et tu mets la commande (par exemple a='caillaud') dans la boite, et tu cliques sur SEARCH. Qu'est-ce que ce passe pour toi?

En terme de preuve, on ne veut pas reflechir trop. L'analyse de tout les positions jusqu'a 5 pieces est connu. Avec 3 pieces, c'est tres petit. (62*462*2=57288). Donc faut simplement un peu de theorie de graphs pour trouver les chemins uniques.