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.