View Single Post
Old 2021-06-02, 21:26   #9
"Walter S. Gisler"
Sep 2020

1510 Posts

Originally Posted by uau View Post
I'm not familiar with docplex which seems to be what the code uses to generate the specific guesses, but it seems like it probably just chooses some arbitrary permutation which has the given number of matches with every previous try - if your first try got 4 matches and second 5, then on third try it'll try some permutation that has 4 choices in common with the first and 5 with second.
Yes, you are completely right. And I realize this is a much more intuitive explanation than my attempt

Think of docplex as a black box. There are plenty of other libraries I could have used: CBC, Gurobi, OR-Tools, one of many SAT solvers etc.
Walter is offline   Reply With Quote