证明“图G与图F同构当且仅当它们有相合的VC算法”的结论，对于简单有向图依然成立。...

令S为有限交换环或有限交换群，S的k次幂映射迭代图G(S，k)是这样的一个有向图:该图的顶点由S的所有元素构成，图中的两个顶点a∈S到b∈S......

设Mn{0,1}是所有n阶0-1矩阵的集合,若Ai∈ Mn{0,1},i=0,1,2,...,k,但Ak+1(?)Mn{0,1},则k称为A的指数,亦称为矩阵指数,用θ(A)=k表......