Assignment 7 solutions

1. From the start state, if Carl slides, we’d be in AB_CXYZ.

2. From the start state, if Yolanda jumps (over Xavier), we’d be in state ABCYX_Z.

3. From the start state, it’s not possible for Zora to move.

   • Precondition for A/B/C sliding to adjacent: stone immediately to right must be empty.

   • Precondition for A/B/C jumping over: stone immediately to right must contain a frog. Stone one more to the right must be empty.

   • Precondition for X/Y/Z sliding: stone immediately to left must be empty.

   • Precondition for X/Y/Z jumping over: stone immediately to left must contain a frog. Stone one more to the left must be empty.

4. Complete graph below.