I thought this was a good introduction to that problem of unwinnable configurations.

https://www.youtube.com/watch?v=vGIDzGvsrV8

Sounds like a good opportunity to dust off those graph algorithms many of us learned in undergrad CS.