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
Previous exploration of a Fact should factor into the Fact's popularity rating #18
If, for example, all but one of the WhatIfs in a Logic have explored a certain Fact, and the one remaining WhatIf has partially reduced that Fact, that Fact will have a popularity rating of 1, when really that Fact should be rated high on account of the synergy of exploring that Fact with other WhatIfs having already explored that Fact.
A good way to rate it high in accord with the potential for synergy with other WhatIfs is to rate it at N, where N is the number of WhatIfs in that Logic.
fiveham
commented
8 years ago
If, for example, all but one of the WhatIfs in a Logic have explored a certain Fact, and the one remaining WhatIf has partially reduced that Fact, that Fact will have a popularity rating of 1, when really that Fact should be rated high on account of the synergy of exploring that Fact with other WhatIfs having already explored that Fact.
A good way to rate it high in accord with the potential for synergy with other WhatIfs is to rate it at N, where N is the number of WhatIfs in that Logic.