Key Theorems Flashcards
(18 cards)
Hall’s Marriage Theorem
A bipartite graph T with vertex sets X and Y contains an X-complete matching if and only if for every subset A of X the number of vertices joined to A is greater or equal to the number of vertices in A
Index of H in G
The index of H in G, denoted by [G:H] is the number of left (or right) closets of H in G
Lagrange’s Theorem (Equation)
IGI = [G:H]IHI
Lagrange’s Theorem
Let G be a finite group, and H is a subgroup of G. Then:
1) The order of H divides the order of G
2) The index of H in G is the number of distinct left (or right) closets of H in G and satisfies (Lagrange’s Equation)
Cyclic Group
A group G is cyclic if there exists an element g in G (called a generator) such that every element of G can be written as power (or multiple) of g
G = <g> = (0, g, 2g, ….., (n-1)g)</g>
Path (length k between vertices)
A path of length k from vertex v to vertex w is a sequence of vertices {v = w0, w1, ……, wk = w} s.t each {wi, wi+1} is an edge
Eulerian Graph
A graph is Eulerian if it possess an Eulerian circuit (circuit where every edge is used exactly once) - all even vertices
Semi-Eulerian Graph
A graph is semi-Eulerian if it possesses an Eulerian path (path where every edge is used exactly once) - exactly 2 vertices of odd degree
Complete Graph
A graph where every vertex connects with every other vertex
Bipartite Graph
A graph where the vertex sets can be partitioned into 2 sets, X and Y, s.t all edges are between vertices in X and Y
Matching in Bipartite Graph
A matching in a bipartite graph is a set of edges M if no two edges in M have a common vertex
Graph
A graph T = (V,E) is a pair of a (finite) set V of vertices and a set E of unordered pairs of vertices, called edges
We define the size of T to be its number IEI of edges
Adjacency
We say that vertices an and b are adjacent if {a,b} is an edge. In that case,k we say a,b are incident to the edge {a,b}
Weighted Graph
A weighted graph (T,w) is a graph T=(V,E) with an associated weight function w:E - R, that assigns a weight to each edge
Hamiltonian Path
A path is called a Hamiltonian path if it uses each vertex exactly once
Order
Written IGI, is the number of elements in G (may be finite or infinite)
Cyclic
A group G is a cyclic group if there exists x in G s.t G is equal to <x></x>
Eulerian Path (in a graph)
A graph has a circuit which passes through each edge exactly once if it is connected and every vertex has an even degree