← デモ一覧へ戻る

水差し問題：4Lと3Lの水差しで、4L側に正確に2Lを作る

4L 3L
4L側: 0 / 4 L (4L, 3L)=(0,0) 3L側: 0 / 3 L
    初期状態は (0,0)。ゴール状態は (2,0) です。
    定式化: 状態 = (4L側の水量, 3L側の水量)
    目標 = (2,0)
    • R1〜R6を使って状態遷移を作る
    • 履歴を追って「発火系列」を確認する