单项选择题
极大极小分析法中，用于极大极小分析法中计算各节点分数的是（）
A.估价函数B.代价函数C.启发式函数D.价值函数
单项选择题 在有序搜索中，如果节点x在希望树中，若x是（），则其所有子节点都在希望树中。
单项选择题 本原问题所对应的节点称为（）
单项选择题 对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是（）
