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

基本属性

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

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

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

局部结构属性

EmptyGraphQ  ▪  UndirectedGraphQ  ▪  DirectedGraphQ  ▪  LoopFreeGraphQ  ▪  SimpleGraphQ  ▪  WeightedGraphQ

全局结构属性

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

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

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