A. 分支因子 B. 全部节点的个数 C. 初始状态的个数 D. 目标状态的个数
A. 消去“蕴含”连结词 B. 减少“非”连结词的辖域 C. 对变量标准化 D. 消去存在量词
A. 计算速度快 B. 空间复杂度低 C. 计算容错力 D. 易于操作