图形（graph）是由两个非空的有限集合，V与E所组成，则G＝（V，E）。其中V是所有的顶点的集合，E是所有的边的集合。图形有两种：
(1)无方向图形，无方向图形中，表示边的两个顶点没有次序关系，因此（V1，V2）和（V2，V1）这两个顶点代表同一个边；无方向图形简称为graph。
(2)有方向图形，在有方向图形中，每一个边用一个有序对，以＜V1，V2＞表示，V1是该边的尾部，而V2是该边的头部（head）；因此（V1，V2）与（V2，V1）是代表两个不同的边；有方向的图形简称为digraph。