- Trạng thái tổng quát {Bộ giá trị (x,y) | x,y thuộc {0,1,2,3}} Trong đó: + x: tu sĩ + y: quỷ - Trạng thái đầu: (3, 3) - Trạng thái đích: (0, 0)