问答题

案例分析题

指出下列公式中的约束变元和自由变元

(∀x)(P(x)→Q(y))

【参考答案】

<上一题 目录 下一题>
热门 试题

问答题
Prim算法是另一个求最小生成树的算法,它的基本思想是:从任选一个结点v0(T0)开始,用最小代价连接v0与v0之外的某个结点,得子树T1,再用最小代价连接T1上某个结点与T1之外某个结点得到子树T2,如继续下去,直到所有的结点都被连接起来为止.用Prim算法求如图所示的最小生成树.
问答题
n个结点的非连通简单无向图的边数最多可为多少?最少呢?
相关试题
  • 对任意集合A,B 和C,试证明A×(B∪C)=...
  • 求¬P∨(Q∧R)的合取范式与主合取范式。
  • 设图G=,V={v1,v2,v3,v4},E=...
  • 设关系R的关系图如下,试(1)写出R的关系...
  • 设个体域D={1,2,3,4},则谓词公...