广度优先搜索算法中，OPEN表的数据结构实际是一个二叉树，深度优先搜索算法中，OPEN表的数据结构实际是一个（）。

谓词公式与其子句集的关系是（）。 点击查看答案

谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。 点击查看答案