Discussion 3A

Build-up Error in Graphs

Prove that if every vertex in a graph has positive degree, then the graph is connected.

Proof: Induction on the number of vertices nn
  1. Base case: If we have n=1n=1 vertex then the proposition is vacuously true. If we have n=2n=2 vertices with no edge then the proposition is vacuously true; with one edge between the two vertices, each edge has degree 11 (positive) and the graph is connected.
  1. Inductive hypothesis: Assume if every vertex has positive degree in a graph on kk vertices, then the graph is connected.
  1. Inductive step: Begin with a graph on kk vertices where every vertex has positive degree. The inductive hypothesis says this graph is connected. Then adding a new vertex with positive degree gives us a graph with k+1k+1 vertices, all with positive degree. Since the new vertex has positive degree, it has some edge connecting it to another vertex in the original graph, meaning the graph with k+1k+1 vertices with positive degree is connected. 
Since we proved a graph with kk vertices with positive degree that is connected can create a graph with k+1k+1 vertices with positive degree that is connected, the proof is complete.
This is actually a false statement, which can be disproved with the counterexample consisting of two disjoint edges on four vertices.
The issue is that in showing P(k)P(k+1)P(k) \Rightarrow P(k+1) in the inductive step, we incorrectly assume that the proof applies for every graph on k+1k+1 vertices with positive degree. We only show that it’s true for some graphs on k+1k+1 vertices: only the ones that can be built up from graphs on kk vertices that are already connected. 
To avoid build-up error in proofs, begin with k+1k+1 vertices/edges and remove one, so you can use the inductive hypothesis for kk vertices/edges.

Modular Arithmetic

  • If abmodma \equiv b \mod m (pronounced aa is congruent to bb modulo mm”) then a=b+mka = b + m k for some integer kk.
  • amodma \mod m is congruent to one integer in the set {0,1,,m1}\{0, 1, \cdots, m-1\}
  • If acmodma \equiv c \mod m and bdmodmb \equiv d \mod m then
  • a+bc+dmodma+b \equiv c+d \mod m
  • abcdmodma b \equiv c d \mod m
  • akckmodma^k \equiv c^k \mod m
  • aa and bb are multiplicative inverses modulo mm when ab1modma b \equiv 1 \mod m
  • aa has a multiplicative inverse if and only if gcd(a,m)=1\gcd(a, m) = 1