共用题干题指出一个个体域，使下列被量化谓词的真值为真，该个体域是整数集合的最大子集。在以下各题中，A（x）表示：x>0，B（x）表示：x=5，C（x，y）表示：x+y=0 （∀x）A（x）

设A为简单有向图G的邻接矩阵．证明：A3的对角线元素a（3）ij表示经过结点vi的“三角形 的个数，即以vi一个结点的G的子图K3的个数． 点击查看答案

设n个结点的有向图G是强连通的,说出G的路径矩阵、可达性矩阵的特点． 点击查看答案