ECM 1415 Graph Theory Flashcards
Simple Graph
Each edge connects two different vertices and no two edges connect the same pair of vertices.
Multigraphs
Have multiple edges connecting the same two vertices.
Pseudograph
May include loops, as well as multiple edges connecting the same pair of vertices
Directed graph
Each edge is associated with an ordered pair of vertices (u, v)
Such an edge is said to start at u and end at v
u is the initial vertex of this edge and is adjacent to v and v is the terminal (end) vertex of this edge and is adjacent from u
Simple Directed Graph
No loops or multiple edges
Directed multigraph
Multiple directed edges
Mixed Graph
Can have directed and undirected, with multiple edges and loops
Neighborhood
The set of all neighbours of a vertex
Degree
The number of incident edges a vertex has
- A loop at a vertex contributes 2 to the degree of that vertex
Handshaking Theorem
If G = (V, E) is an undirected graph with m edges then,
2m = Total number of degrees of freedom
Each edge contributes 2 to the degree count of all vertices because an edge is incident with exactly 2 (possibly equal) vertices
This means that the sum of the degrees of the vertices is twice the number of edges
In-degrees and Out-degrees
In-degree: The number of edges which terminate at v
Out-degree: The number of edges with v as their initial vertex
Let G = (V, E) be a graph with directed edges. Then,
|E| = Number of Out-degrees = Number of In-degrees
Because each edge has an initial vertex and a terminal vertex, the sum of the in-degrees and the sum of the out-degrees of all vertices in a graph with directed edges are the same
Both of these sums are the number of edges in the graph
Complete Graph on n vertices
Kn. The simple graph that contains exactly one edge between each pair of distinct vertices
No graph Kn is bipartite for n >= 2
Cycle Graphs, Cn
The edges loop. Visually, there is a hole in the graph.
The number of vertices must be even for the graph to be bipartite
Wheel graphs, Wn
Like Cn, But there is a vertex in the middle, with all other surrounding vertices connecting to it
The number of vertices must be odd for the graph to be bipartite