Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Algorithm Completeness increase of Generator #15

Open
lucidBrot opened this issue Feb 15, 2020 · 3 comments
Open

Algorithm Completeness increase of Generator #15

lucidBrot opened this issue Feb 15, 2020 · 3 comments
Assignees
@lucidBrot
Labels
enhancement New feature or request

Comments

@lucidBrot
Copy link
Owner

No description provided.

@lucidBrot lucidBrot added the enhancement New feature or request label Feb 15, 2020
@lucidBrot lucidBrot self-assigned this Feb 15, 2020
@lucidBrot lucidBrot mentioned this issue Feb 15, 2020
Closed
@lucidBrot
Copy link
Owner Author

lucidBrot commented Feb 15, 2020 •
edited
Loading

  • Test ConsiderThereIsOnlyOneValidWayToPlaceBombs

@lucidBrot
Copy link
Owner Author

removed ConsiderThereIsOnlyOneValidWayToPlaceBombs again in f6d72ac because it is a strict subset of other rules:

ConsiderThereIsOnlyOneValidWayToPlaceBombs required that all neighbours of a perhaps-bomb-field are not already satisfied. That would then imply that the perhaps-bomb is allowed to be a bomb. And if the number of perhaps-bombs that are allowed to be bombs were equal to the number of remaining bombs required, there would only be one unique solution filling all the places.

But for when a perhaps-bomb-field is almost satisfied, another rule already exists that marks that as a bomb.

@lucidBrot
Copy link
Owner Author

The test HerbertExample is not yet passing because there is no rule yet that can solve this.

I think it's similar to ConsiderAllOptionsForTwoBombsAndFindThatOnlyOneOptionIsLegal, but more general.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lucidBrot lucidBrot

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lucidBrot