同等学力计算机科学与技术题库 问答题 5分 使用线性归纳和支持集策略的归结法证明 点击查看答案 进入题库练习 参考解析: 归结过程有多种,但因采用支持集策略,顶子句必须是(7),另外采用线性归结策略,规结过程不能有分支 (4分) 你可能感兴趣的试题 1 问答题 2分 猫必捕鼠。 点击查看答案 2 问答题 2分 任意两个不同的实数之间必存在另一个实数。 点击查看答案 3 填空题 2分 设kn是n个顶点(n为正整数)的完全图,对kn的每条边进行红、蓝两种颜色任意着色,部至少存在一个红色边三角形或蓝色边三角形,则最小的n是____。 点击查看答案 4 填空题 2分 表示从n个不其中同元素中取k个的组合数。 点击查看答案 5 填空题 2分 设G是有n个顶点的简单图,除其中一个顶点外,其余顶点的度(次)均为奇数。在G的补图中,有____个度为奇数的顶点。 点击查看答案