Thread: Matching problem View Single Post
2021-06-02, 21:26   #9
Walter

"Walter S. Gisler"
Sep 2020
Switzerland

1510 Posts

Quote:
 Originally Posted by uau 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.