_是可解节点的子图，这些节点能够证明其初始节点是可解的 A. 与或树B. 解树C. 可解节点D. 终叶节点

本题考查与或树和解树的概念区分，核心在于理解解树的定义。解树是从初始节点到目标节点的有效路径集合，它由所有可解节点构成，能够证明初始节点的可解性。关键点在于：

1. 解树是原与或树的子图，仅包含可解节点；
2. 可解节点的存在性通过解树的构造得以证明。

选项分析

• A. 与或树：与或树是整个问题空间的结构，包含所有可能的节点，而非仅可解节点的子图。
• B. 解树：正确。解树是与或树的子图，仅包含从初始节点到目标节点的有效路径中的可解节点，能直接证明初始节点可解。
• C. 可解节点：可解节点是单个节点的状态，而非子图结构。
• D. 终叶节点：终叶节点通常指叶子节点，与题目中“子图”的概念无关。