void main() { MCNode InitNode, unode; InitNode.m = 3; InitNode.c = 3; InitNode.b = 1; fringe.push_back(InitNode);//将初始状态空间加入到队列 while (!fringe.empty()) { unode = fringe.front(); fringe.pop_front(); if (IsGoal(unode)) { closed.push_back(unode); for (int i = 0; i != closed.size(); i++) cout << closed[i].m << "," << closed[i].c << "," << closed[i].b << endl; break; } if (!IsClosed(unode)) { closed.push_back(unode); ExpandNode(unode, unode.b, fringe); } } }

这段代码实现了野人与传教士过河问题的主要搜索流程。具体来说，代码首先定义了初始状态节点`InitNode`，表示3个传教士和3个野人都在左岸。然后，代码将初始状态加入节点列表`fringe`中。

接下来，代码进入一个循环，不断从`fringe`中取出一个节点`unode`，并将其从节点列表中移除。如果`unode`是目标节点，则将其加入到已探索节点列表`closed`中，并输出所有已探索节点的状态信息。否则，代码将`unode`加入到已探索节点列表中，并根据船的位置扩展新的节点，并将合法的新节点加入到节点列表`fringe`中。

这个循环将一直进行，直到找到目标节点或节点列表为空。由于野人与传教士过河问题是一个有限状态的问题，所以该算法一定会在有限步内找到解决方案。