Bug 465210 - solver says game is unwinnable but changes its mind after I make a move
Summary: solver says game is unwinnable but changes its mind after I make a move
Status: RESOLVED WORKSFORME
Alias: None
Product: kpat
Classification: Applications
Component: solver (show other bugs)
Version: 22.12.2
Platform: Arch Linux Linux
: NOR normal
Target Milestone: ---
Assignee: Stephan Kulow
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2023-02-03 04:38 UTC by SH
Modified: 2023-03-05 03:45 UTC (History)
1 user (show)

See Also:
Latest Commit:
Version Fixed In:
Sentry Crash Report:


Attachments
the game position, solver decries unwinnability; after moving the stack from column 3 starting with the black 2, onto column 4 on top of a red 3 - the game then becomes winnable again! (274.69 KB, image/png)
2023-02-03 04:38 UTC, SH
Details

Note You need to log in before you can comment on or make changes to this bug.
Description SH 2023-02-03 04:38:09 UTC
Created attachment 155907 [details]
the game position, solver decries unwinnability; after moving the stack from column 3 starting with the black 2, onto column 4 on top of a red 3 - the game then becomes winnable again!

SUMMARY
***
NOTE: If you are reporting a crash, please try to attach a backtrace with debug symbols.
See https://community.kde.org/Guidelines_and_HOWTOs/Debugging/How_to_create_useful_crash_reports
***

OBSERVED RESULT
solver says game is "no longer winnable"; I make a move and the it again says the game is winnable. doesn't make sense.

EXPECTED RESULT
A game can't change from unwinnable to winnable as a result of a valid move. The solver was wrong in at least one of the occasions - either the game did not become winnable again, or it was not unwinnable when the solver said so, or both (!), who knows.

SOFTWARE/OS VERSIONS
KDE Plasma Version: 5.26.5
KDE Frameworks Version: 5.102.0
Qt Version: 5.15.8

ADDITIONAL INFORMATION
attached screenshot of the game position one move before it's going back to winnable (see description).
Comment 1 Stephan Kulow 2023-02-03 09:02:50 UTC
A save game would help more than a screenshot
Comment 2 Bug Janitor Service 2023-02-18 03:47:13 UTC
Dear Bug Submitter,

This bug has been in NEEDSINFO status with no change for at least
15 days. Please provide the requested information as soon as
possible and set the bug status as REPORTED. Due to regular bug
tracker maintenance, if the bug is still in NEEDSINFO status with
no change in 30 days the bug will be closed as RESOLVED > WORKSFORME
due to lack of needed information.

For more information about our bug triaging procedures please read the
wiki located here:
https://community.kde.org/Guidelines_and_HOWTOs/Bug_triaging

If you have already provided the requested information, please
mark the bug as REPORTED so that the KDE team knows that the bug is
ready to be confirmed.

Thank you for helping us make KDE software even better for everyone!
Comment 3 Bug Janitor Service 2023-03-05 03:45:51 UTC
This bug has been in NEEDSINFO status with no change for at least
30 days. The bug is now closed as RESOLVED > WORKSFORME
due to lack of needed information.

For more information about our bug triaging procedures please read the
wiki located here:
https://community.kde.org/Guidelines_and_HOWTOs/Bug_triaging

Thank you for helping us make KDE software even better for everyone!