状态空间表示法例题.ppt

第1页，共15页，星期日，2025年，2月5日2831647528314765283164752831647528364175283147652318476528314765283167548326417528364175832147652837146523184765231847652831476528143765283167542816375483264175236841758321476528371465123847652341876528314765281437652831675428163754283641752836741523184765283164752318675428315674目标状态初始状态第2页，共15页，星期日，2025年，2月5日一个老农携带一只狐狸、一头羊羔和一筐白菜，要从南岸过河到北岸。岸边有一条小船，只有老农自己能划船，而且除了老农以外，每次只能再带一样东西过河。在整个渡河过程中，无论什么情况，若老农不在场时，则不允许狐狸和羊羔单独相处，否则羊羔会遭殃；羊羔也不得与白菜放在一起，否则羊羔会吃白菜。请问，老农如何才能把它们全部安全摆渡到北岸？[例2]农夫过河问题第3页，共15页，星期日，2025年，2月5日1.自然语言描述1）老农携带羊羔过河，把狐狸和白菜留在南岸；2）老农到达北岸，把羊羔留在北岸，并独自回到南岸；3）老农携带狐狸过河，把白菜留在南岸；4）老农到达北岸，把狐狸留下，并带上羊羔回到南岸；5）老农把羊羔留在南岸，携带白菜过河；6）老农到达北岸，把白菜和狐狸留在北岸，独自回到南岸；7）老农最后携带羊羔过河，到达北岸。问题就此解决。第4页，共15页，星期日，2025年，2月5日2.状态和操作用符号表示：M：代表老农(farmer)F：代表狐狸(fox)L：代表羊羔(lamb)C：代表白菜(cabbage)S：表示在南岸N：表示在北岸S-N：表示从南到北N-S：表示从北到南第5页，共15页，星期日，2025年，2月5日用（M，F，L，C）表示四个对象的一个状态,可有S和N两个值；改变状态的操作，可分别用1，0表示。表示对象“在船上”和“不在船上”两个值。如：初始状态：（S，S，S，S），终止状态：（N，N，N，N），中间状态：S-N（1，1，0，0）第6页，共15页，星期日，2025年，2月5日3.状态约束分析老农和其他三个对象不在同一岸（狐狸要吃羊羔，羊羔要吃白菜）(S,N,N,N)：老农在南岸，其他三个对象在北岸(N,S,S,S)：老农在北岸，其他三个对象在南岸羊羔和白菜在同一岸（羊羔要吃白菜）(S,S,N,N)：老农和狐狸在南岸，羊羔和白菜在北岸(N,N,S,S)：老农和狐狸在北岸，羊羔和白菜在南岸狐狸和羊羔在同一