用Dijkstra算法解决狼羊菜渡河问题

问题描述

  一只狼，一只羊和一筐白菜在河的一岸，一个摆渡人想把它们都渡到河的另一岸去。但是由于他的船很小，每次只能带走它们之中的一样。由于明显的原因，狼和羊或者羊和白菜在一起需要人看守。问摆渡人怎么样把它们渡过河？

问题分析

  用四维数组$(a,b,c,d)$表示狼，羊，菜，摆渡人的位置状态，其中 a , b , c , d ∈ { 0 , 1 } a,b,c,d \in \{0,1\} a,b,c,d∈{ 0,1}，$0$表示还没过岸，$1$表示已经到了河的另一边。
  1. 根据狼羊无法共存和羊菜不能共存，从$2^4=16$种情况中筛选出可能存在的状态，并视每一个状态为一个顶点，得到顶点集$V$；
  2. 根据摆渡人每次只能运输1件物品（严格来讲小于等于1件），推出所有可以直接相互转化的状态对$(v_i,v_j)$，得到边集 E E