Create (fallback) SATSolver Solutionfinder
@Mikescher is already working on this.
Since Oct 18, 2020.
Assessment
This issue has not been assessed yet.
Description
(Thanks to Oliver for sending me the problematic puzzle per email)
The puzzle #16230509 can't currently be fully solved by the HexSolver algorithm.
Either the current algo must be (drastically) improved or we add a second (slower) fallback step that uses some kin dof off-the-shelf SAT solver to also find these really hard solution steps
Explanation (from Oliver) how to argue the next solution step:
Start by assuming the blue-circled hex is blue. It's in the radius of the blue 4. This means all four blue cells in that radius are accounted for, even if we don't know exactly where they are, since the black 4 to the upper-right must have two blue cells inside the radius. That means a lot of cells are forced into being either black or blue respectively, as shown by the dots on each cell. This eventually leads to a contradiction between the two red-circled conditions which can't be satisfied simultaneously. Therefore, we reject the assumption and the initial blue-circled hex must in fact be black.
The current algo is definitely not able to do such complex logic and needs to be improved.
- Dominant language
- C#
- Stars
- 33
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Getting set up
This project ships no dev container, Dockerfile or contributing guide, so setting up is up to you: start from its README, and see our first-contribution guide for the general steps.
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from Mikescher/HexSolver
-
OCR failure?Open
Difficulty 4/5 3-5 days Newbie friendliness 20/100
-
Difficulty 4/5 3-5 days Newbie friendliness 20/100
-
Difficulty 4/5 3-5 days Newbie friendliness 20/100
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
All issues in Mikescher/HexSolver
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
Maintainers usually reply within 1 day
-
bug priority: P2
Difficulty 1/5 Under an hour Newbie friendliness 78/100
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
IridiumIO/CompactGUI#699 ·
Maintainers usually reply within 3 days
-
Difficulty 2/5 1-3 hours Newbie friendliness 73/100
Maintainers usually reply within 1 day
-
enhancement
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
Maintainers usually reply within 1 day