A neat paper related to the issue of formalizing "rigidity" in such puzzle games as escape: http://www.phil.uu.nl/~oostrom/cki20/02-03/japansepuzzles/ASP.pdf