Definitions Flashcards
(27 cards)
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
Tree
A graph G is a tree iff it is connected and contains no cycles
Forest
G is a forest iff it contains no cycles
Spanning Tree
A spanning tree of G is a is a subgraph of G which is a tree and contains all the vertices of G
Weight of a subgraph T
The weight of a subgraph T is w(t) = (mult.)_e€E(T) 1/R_e For an edge xy, N(x,y) = (Sum.)_T w(T)
Flow or feasible flow
A flow is a function f: E(G)->Re_>=0 such that 0<=f(x,y)<=c(x,y) for every edge xy and every vertex x except for s and t we have (Sum.)_xy€E(G) f(x,y) = (Sum.)_yx€E(G) f(y,x)
Value of a flow
The value of a flow f is v(f)=(Sum.)_sy€E(G) f(s,y) - (Sum.)_ys€E(G) f(y,s)
Kirchoffs 1st Law
Let x be a vertex other than s or t, then SUM I_xy = 0 for y adjacent to x
Kirchoffs 2nd Law
Let x0x1…xn be a cycle then, SUM R_(xi-1,xi) I_(xi-1,xi) = 0 If x0=s and xn=t then the summation is equal to U, the potential difference between s and t
Ordinary Power Function
The ordinary power series generating function of a sequence {an}∞n=0 is the formal power series f(x) = (SUM_0^∞) a_n x^n. Notation: f(x) ←ops→ {an}∞n=0
