C’est une variante de DLX, en effet. La structure type DLX sert à gérer les machines qui n’ont pas encore le bon joltage et les switches qui restent à utiliser.

le joltage restant divisé par la taille de plus grand switch de cette machine.

C’est un chouïa plus subtil. Deux points sont importants :
- pour choisir le prochain switch à essayer, tu choisis la machine avec le moins de switches, puis le plus grand switch de la machine en question
- pour élaguer, le score c’est le nombre de trucs déjà faits, pour chaque machine,

J’ai fait un gist de la version non optimisée, mais avec un B&B qui marche. Elle mets 10 minutes (avec ocamlopt) chez moi. Une version type DLX est sous les 4 minutes.

gist.github.com/professeurb/...

Pour le 10.2, B&B de bourrin. Ça tourne en 5 minutes.

Cette citation vient d’où ?