在问题归约图中，如果某个非终叶节点含有与后继节点，那么只要当其后继节点（）为可解时，此非终叶节点才是可解的。

节点用来表示一种硬件；节点的标记是一个立方体；部署图中的节点可以分为处理器和设备两种类型。节点可以建模为某种硬件的通用形式；通过确定需要模型描述某个特定节点的信息还是所有节点实例的通用信息可以确定何时需要建模节点实例。

判断题查看答案

图搜索策略是实现从一个隐含图中，生成出一部分确实含有一个目标节点的显式表示子图的搜索过程。

判断题查看答案

如果原理图中的元件数目较多，使用实际导线连接显得很乱时，除了使用网络标号来表示元件引脚之间的电气连接关系外，还可以使用（）描述导线与导线或元件引脚（包括任何两个电气节点）的电气连接关系。

填空题查看答案

如果文法是无二义的，那么规范归约是指（）

单选题查看答案

规范归约（最左归约－最右推导的逆过程）的关键问题是（）。

单选题查看答案

A*算法中，如果h满足单调条件，就一定不会出现重复扩展节点问题。

判断题查看答案

在规范归约中，用（）来刻画可归约串。

单选题查看答案

算符优先分析与规范归约相比的优点是（）

单选题查看答案

TreeView控件某个节点的Nodes.Count属性值为0，说明这个节点没有下级子节点。

判断题查看答案