search

fiveham / Sudoku_Solver

Solve sudoku puzzles by representing the puzzle as a bipartite graph of truth-claims about cells' values and rule-statements that have exactly one true neighbor and removing edges as information is added
MIT License
0 stars 0 forks source link

ColorChain doesn't detect Sledgehammer scenarios until it accounts for all possible solutions of the network #17

Open fiveham opened 8 years ago

fiveham commented 8 years ago

detection of sledgehammer scenarios can be expedited by prioritizing Facts that are shared by all the WhatIfs of a given Logic over those that are not shared among all the WhatIfs of that Logic so that when a WhatIf explores further possibilities, it will be much more likely to explore the possible states of the same Fact as its siblings in the same Logic.

When getting the smallest partially affected fact to act on, instead of sorting only by small-to-large, sort by small-to-large and then sort within that sort by popularity of the Fact.

fiveham commented 8 years ago

Popularity-sorting has been added.