Bug 491558 - Solver declares "unable to determine if the game is winnable" for some Yukon games
Summary: Solver declares "unable to determine if the game is winnable" for some Yukon ...
Status: REPORTED
Alias: None
Product: kpat
Classification: Applications
Component: solver (other bugs)
Version First Reported In: 23.08.5
Platform: Other Linux
: NOR normal
Target Milestone: ---
Assignee: Stephan Kulow
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2024-08-11 01:02 UTC by Mikhail Ramendik
Modified: 2024-09-01 20:47 UTC (History)
2 users (show)

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


Attachments
save file where game is "winnable" but every possible move causes "unable to determine" (8.25 KB, application/vnd.kde.kpatience.savedgame)
2024-09-01 20:47 UTC, Mikhail Ramendik
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Mikhail Ramendik 2024-08-11 01:02:55 UTC
***
If you're not sure this is actually a bug, instead post about it at https://discuss.kde.org

If you're reporting a crash, attach a backtrace with debug symbols; see https://community.kde.org/Guidelines_and_HOWTOs/Debugging/How_to_create_useful_crash_reports
***

SUMMARY

In some Yukon games, Solver declares "Unable to determine if the game is winnable"; some of these games are winnable.


STEPS TO REPRODUCE
1. Open Yukon, deal number 1637567289 
2. Observe "Solver: Unable to determine if the game is winnable"
3. Move the 4 of hearts from stack 1 to stack 5
4. Observe "Solver: The game is winnable"
5. Move the king of spades from stack 3 to stack 1
6. Observe "Solver: Unable to determine if the game is winnable"

This happens in many other games but this example is easy to reproduce

SOFTWARE/OS VERSIONS
Linux/KDE Plasma: 
KDE Plasma Version: 5.27.11
KDE Frameworks Version: 5.115.0
Qt Version: 5.15.13

ADDITIONAL INFORMATION
Comment 1 Shlomi Fish 2024-08-12 10:35:28 UTC
Hi Mikhail!

From my experience in developing solitaire solvers, they use back-tracking, so sometimes exhaust their memory quota. https://en.wikipedia.org/wiki/Backtracking.
Comment 2 Mikhail Ramendik 2024-09-01 20:47:53 UTC
Created attachment 173217 [details]
save file where game is "winnable" but every possible move causes "unable to determine"

In this save file the solver shows "This game is winnable". However every possible move (as checked by the hint) moves to "unable to determine if the game is winnable". The game is winnable but one has to make some moves looking at "unable to detemine".