L'algorithme systématique paraît NP: si on a un motif de
notes, au moins au début quand l'arbre des possibles a encore près de 
ramifications, il y a peu d'obstructions et le nombre de cas à étudier ne sera pas énormément inférieur à
Entre factorielles et exponentielles, cela fait vite beaucoup.
Aussi on peut envisager des calculs en architecture massivement parallèle (i.e. plusieurs personnes font tourner ces algorithmes sur des problèmes différents !) pour finir d'explorer ce qui est explorable en un temps de calcul raisonnable.
Mais il parait difficile de dépasser disons
. Est-ce un cas où la recherche théorique saura repousser les limites des ordinateurs ? En particulier cela gagnerait un bon facteur si l'on pouvait infliger des limites de taille (écart maximal ?) aux rythmes cherchés, sachant qu'on retrouverait plus tard les laissés de côté en faisant agir le groupe affine (ce que j'ai fait empiriquement avec ma procédure aléatoire).