图谓词与属性

许多算法和属性需要具有某种属性的图. 这些可以是基本的属性,诸如无向的,或更深的拓扑属性,诸如连通或非循环. 在某些领域,关键的问题是:如果我们替代顶点的名称,两个图是否是一样,例如验证它们是否同构等.

参考资料参考资料

基本属性

GraphQ 验证一个表达式是否是一个图的对象

EdgeQ 验证一个表达式是否是图的一条边

VertexQ 验证一个表达式是否是图的一个顶点

局部结构属性

EmptyGraphQ  ▪  UndirectedGraphQ  ▪  DirectedGraphQ  ▪  LoopFreeGraphQ  ▪  SimpleGraphQ  ▪  WeightedGraphQ

全局结构属性

IsomorphicGraphQ 验证顶点重命名后两个图是否一样

FindGraphIsomorphism 以规则列表形式求图的同构

AcyclicGraphQ  ▪  BipartiteGraphQ  ▪  ConnectedGraphQ  ▪  EulerianGraphQ  ▪  HamiltonianGraphQ  ▪  PathGraphQ  ▪  TreeGraphQ