A. 问题的解可以表示成n-元组的形式 B. 问题提供显式约束确定状态空间树,并提供隐式约束来判定可行解 C. 应能设计有效的约束函数,缩小检索空间 D. 以上都不对
A. 目标函数 B. 约束函数 C. 递归函数 D. 限界函数
A. 对 B. 错