Chapter 2 Flashcards
Number of edges in a complete K.n graph:
(p(p-1))/2 , where p is the order.
Thm: Sum of the vertex degrees in a graph is equal to twice the # of edges
Because each edge contributes 2 to the total vertex degree and 1 to the total edge count.
Thm: Every graph contains an even # of edd vertices
Split the graph into its odd and even vertices, set the total degree count equal to 2q (twice the edges). Find that since 2q even, and the summed even deg is even, the only way for the odd vertices to also be even is if there is an even number of them.
If a graph has order K>=2, it is impossible that all vertices have different degree.
BWOC, assume all vertices have diff degree. Order vertices s.t. deg(v.j) = j-1 where j = 1,2,…,p (p=order max degree is p-1).
Observe v.k adjacent to all vertices, in particular v.1. But, the deg(v.1) - 0, Thus contradiction.
If every vertex of a graph G has degree r:
we say G is regular graph of degree r, or G is r-regular
What can be said about r-regular bipartite graph?
Number of edges is r|X.bar| = r|Y.bar|, thus |X.bar| = |Y.bar|
We say graphs G.1, G.2 are isomorphic if:
there exists a bijection phi: V(G.1) -> V(G.2) s.t u,v in V(G.1) are adjacent IFF phi(u), phi(v) are adjacent in G.2. We say G.1 ~ G.2.
Thm: Isomorphism is an equivalence relation.
Reflexivity: Let phi(v) = v. This is a bijection from V(G) to V(G), which preserves adjacency.
Symmetry: Suppose G.1 ~ G.2, let phi: V(G.1) -> V(G.2) be the adjacency preserving isomorphism. Then phi^-1: V(G.2) -> V(G.1) is an isomorphism.
Transitivity: Let phi: V(G.1) -> V(G.2), T: V(G.2) -> V(G.3) both be isomorphic. Then T of phi is an isomorphism
Thm: If G.1~G.2, and phi is the isomorph, degv in G.1 is equal to degphi(v) in G.2.
Let v be adjacent to only {N.1,N.2,…,N.k} s.t. degv=k.
Then phi(v) is adjacent to only {phi(N.1),phi(N.2),…,phi(N.k)} so,
Thus degphi(v) = k.
Correlary: If G.1~G.2, they have same list of vertex degrees.
H is a subgraph of another graph G if:
H is a subgraph of G if: V(H) is subset of V(G), and E(H) is subset of E(G).
Def/ V’ is subset of V(G). V’ induces:
V induces a subgraph G; s.t. V(G’) = V’ and E(G’) is the largest possible subset of E(G)
Def/ Let E; is subset of E(G). E’ induces a
E’ induces a subgraph G’, s.t. E(G’) = E’ and all v in V(G’) are endpoints of edges in E’.
Thm: Let G be a graph w/ E(G) != empty set. If all vertex induces subgraphs are regular, G is complete.
There exists an edge v.1.v.2. Let u be any other vertex. The subgraph induced by {v.1, v.2, u} is regular (by hypoth.), so is isomorphic to K.3
Thus, u is adjacent to v.1, v.2. and v.1 is thus adjacent to all vertices since u arbitrary.
To show that u adjacent to all vertices, we use same argument b/c we now know uv.1 in E(G), thus u connected to all other vertices.
Since u arbitrary, done.
Def/ a u-v walk is:
a sequence of adjacent edges, where the first is incident to u, and the last in incident to v. Can revisit edges or vertices.D
Def/ A u-v trail is:
A walk that does not repeat edges, but can repeat vertices.