解空间的树结构 回溯算法通过系统地检索给定问题的解空间来确定问题的解。 这检索可以用这个解空间的树结构来简化。 为了便于讨论,引进一些关于解空间树结构的术语。 问题状态( problem state):树中的每一个结点确定所求解问 题的一个问题状态。 状态空间( state space):由根结点到其它节点的所有路径则 确定了这个问题的状态空间。 解状态( solution states):解状态是这样一些问题状态S,对 于这些问题状态,由根到S的那条路径确定了这解空间中的一 元组 *答案状态( answer states):对于这些解状态而言,由根到S的 这条路径确定了这问题的一个解(即,它满足隐式约束条件)。 状态空间树( state space tree):解空间的树结构。解空间的树结构 回溯算法通过系统地检索给定问题的解空间来确定问题的解。 这检索可以用这个解空间的树结构来简化。 为了便于讨论，引进一些关于解空间树结构的术语。 ﹡问题状态(problem state)：树中的每一个结点确定所求解问 题的一个问题状态。 ﹡状态空间(state space)：由根结点到其它节点的所有路径则 确定了这个问题的状态空间。 ﹡解状态(solution states)：解状态是这样一些问题状态S，对 于这些问题状态，由根到S的那条路径确定了这解空间中的一 个元组。 ﹡答案状态(answer states)：对于这些解状态而言，由根到S的 这条路径确定了这问题的一个解(即，它满足隐式约束条件)。 ﹡状态空间树(state space tree)：解空间的树结构