A common mistake is forgetting to check whose turn it is when propagating win conditions. Mouse-wins propagate differently than cat-wins. Another mistake is not initializing the degree array correctly. Count the number of legal moves at each state, considering the cat cannot enter vertex .
Debug by printing the state graph for small inputs. Verify terminal states and the first few layers of backward induction manually.