Definitions Flashcards
Simple Graph
A simple graph is an ordered pair G = (V,E), where V is a non empty finite set called the set of vertices of G and E is a set of unordered pairs of V called edges
Adjacent
If {x,y} € E then x and y are called adjacent and are incident with the edge {x,y}
Complete Graph
A complete graph of n vertices denoted K_n, is a graph such that every pair of vertices is connected with an edge.
Empty Graph
The empty graph on n vertices denoted E_n is a graph with n vertices and no edges
Subgraph
G’=(V’,E’) is a subgraph of G=(V,E) iff V’ C= V and E’ C=E
Spanned Subgraph
G’=(V’,E’) is a spanned subgraph of G=(V,E) iff it is a subgraph of G for all x,y € V’, {x,y} € E implies {x,y} € E’
Isomorphic
The graphs G and G’ are isomorphic iff there exists a function ø: V U E -> V’ U E’ such that ø gives a bijection between V and V’ and between E and E’ and furthermore for any edge {x,y} € E, ø({x,y}) = {ø(x),ø(y)}
Order of a graph
The order of a graph, G=(V,E) is |V|, the number of vertices
Size of a graph
The size of a graph G=(V,E) is |E|, the number of edges
Degree of a vertex
The degree of a vertex x € V, denoted d(x), is the number of edges incident with it
Walk
A walk is an alternating sequence of vertices and edges. x0e1x1e2….enxn such that x0….xn are vertices and e1…en are edges where ei connects xi-1 and xi
Path
A path is a walk with unique vertices
Cycle
A cycle is a closed walk with no repeated vertices other than the x0 = xn
The relation ~ on V by x~y
Let G=(V,E) be a graph. Define the relation ~ on V by x~y iff there exists a path beginning at x which ends at y
Connected
G is called connected iff it has one connected component