渡河问题

摆渡人要把狼、羊、菜渡河，但是人不在的时候会狼吃羊，羊吃菜

把所有可能的状态都写出来，FWSC 有十六种可能，排除 WSC FW FC WS SC（同时要考虑对岸的情况）

然后画出状态的转移的有向图（以一边为准）

如果能够找到一条到空集的通路，则成功