基于搜索树的状态空间模型解决野人与修道士问题时设计两个数组分别充当Open表和Closed表以及一个存储open表的栈和一个存储解路径节点的栈的算法思路

野人与修道士问题是一个经典的人工智能问题，可以使用搜索树的状态空间模型来解决。为了避免重复搜索已经访问过的节点，可以使用两个数组来分别充当Open表和Closed表。

具体算法思路如下：

1. 初始化Open表和Closed表为空，并将初始状态加入Open表中。
2. 从Open表中取出一个状态节点作为当前节点。
3. 对当前节点进行扩展，生成所有可能的子状态，并计算它们的代价函数值。
4. 对于每个子状态，判断它是否已经在Closed表中出现过，如果是则跳过，否则将其加入Open表中。
5. 将当前节点加入Closed表中，并继续从Open表中取出下一个节点。
6. 重复步骤2-5，直到找到目标状态或者Open表为空。
7. 如果找到目标状态，则从目标状态开始反向遍历父节点，将路径节点加入解路径节点栈中。
8. 输出解路径节点栈中的节点，即可得到解路径。

在算法实现中还需要使用一个存储Open表的栈，用于在回溯时还原Open表状态，以及一个存储解路径节点的栈，用于存储解路径节点。