a discrete math course with early graph theorydiscrete.openmathbooks.org/earlygraphtheory.pdf ·...
TRANSCRIPT
![Page 1: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/1.jpg)
A discrete math coursewith early graph theory
Oscar Levin
University of Northern Colorado
Discrete Mathematics in the Undergraduate CurriculumJoint Mathematics Meeting
Baltimore; January 16, 2019
![Page 2: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/2.jpg)
Not a shameless plug
Discrete Mathematics: An Open Introduction
DiscreteMathematics
An Open Introduction
Oscar Levin
3rd Edition
A free and open source introductory discrete textbook withinteractive online ebook, pdf ebook, and print editions.
Here is why you might not want to use this book.
![Page 3: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/3.jpg)
Not a shameless plug
Discrete Mathematics: An Open Introduction
DiscreteMathematics
An Open Introduction
Oscar Levin
3rd Edition
A free and open source introductory discrete textbook withinteractive online ebook, pdf ebook, and print editions.
Here is why you might not want to use this book.
![Page 4: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/4.jpg)
A traditional schedule
1. Preliminaries (statements, sets, functions)2. Counting3. Sequences (also induction)4. Logic and proof techniques5. Graph theory
![Page 5: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/5.jpg)
Some traditional drawbacks
I Preliminaries are boring.I Counting is hard.I Proofs about number theory are unnecessary.I We run out of time for the good stuff.
![Page 6: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/6.jpg)
A better way?
5 Graph theory1 Preliminaries (statements, sets, functions)2 Counting3 Sequences (also induction)4 Logic and proof techniques
![Page 7: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/7.jpg)
What about prerequisites?
There is a reason graph theory usually goes last.
You need proof by induction and proof by contradiction.
So probably also other proof techniques and logic.
Some set theory (at least notation) is helpful. Maybe functions?
The solution: do all of these as you go, motivated by the needto do graph theory.
![Page 8: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/8.jpg)
Starting to get messy
5 Graph theory1 Preliminaries (statements, sets, functions)4 Logic and proof techniques (also induction)2 Counting3 Sequences (also induction, again)
![Page 9: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/9.jpg)
Starting to get messy
![Page 10: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/10.jpg)
Starting to get messy
![Page 11: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/11.jpg)
Example 1: Who cares about truth tables?
Consider the statement, “If a graph is regular or 3-connected,then it is not planar.” You do not need to know what these termsmean to complete this problem.(a) Make a truth table for the statement (R ∨ C)→ ¬P.(b) If you believed the statement was false, what properties
would a counterexample need to possess? Explain byreferencing your truth table.
(c) If the statement were true, what could you conclude aboutthe graph W7, which is definitely planar? Again, explainusing the truth table.
![Page 12: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/12.jpg)
Example 2: Proofs do grow on trees
If there is at most one path between any pair of vertices,then the graph is a forest. Write the first and last line of aproof of this statement provided you were to prove it directly, bycontrapositive or by contradiction. Then give a proof using anappropriate style.
Repeat the above for proving the converse: if the graph is aforest, then there is at most one path between any pair ofvertices.
Prove that any tree with at least two vertices has at least oneleaf (i.e., a degree 1 vertex). Note this can be phrased as animplication: if G is a tree with at least two vertices, then Ghas at least one vertex of degree 1.
![Page 13: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/13.jpg)
Example k + 1: Understanding induction
Prove the any tree with v vertices has v− 1 edges.
Prove that every tree is bipartite.
Prove Euler’s formula for planar graphs.
![Page 14: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/14.jpg)
What about counting?
The chromatic polynomial: how many k-colorings are there of agiven labeled graph?
P(Kn, k) = P(n, k) P(Pn, k) = k(k − 1)n P(Cn, k) =??
What makes two colorings different?
Later: you can do Principle of Inclusion/Exclusion and theDeletion-Contraction recursion.
![Page 15: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/15.jpg)
What about counting?
The chromatic polynomial: how many k-colorings are there of agiven labeled graph?
P(Kn, k) = P(n, k) P(Pn, k) = k(k − 1)n P(Cn, k) =??
What makes two colorings different?
Later: you can do Principle of Inclusion/Exclusion and theDeletion-Contraction recursion.
![Page 16: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/16.jpg)
What about counting?
The chromatic polynomial: how many k-colorings are there of agiven labeled graph?
P(Kn, k) = P(n, k) P(Pn, k) = k(k − 1)n P(Cn, k) =??
What makes two colorings different?
Later: you can do Principle of Inclusion/Exclusion and theDeletion-Contraction recursion.
![Page 17: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/17.jpg)
Sequences?
How many independent sets of vertices are there in a path oflength n?
xx
![Page 18: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/18.jpg)
Sequences?
How many independent sets of vertices are there in a path oflength n?
xx
![Page 19: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/19.jpg)
Sequences?
How many independent sets of vertices are there in a path oflength n?
xx
![Page 20: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/20.jpg)
Sequences?
How many independent sets of vertices are there in a path oflength n?
xx
![Page 21: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/21.jpg)
Sequences?
How many independent sets of vertices are there in a path oflength n?
xx
![Page 22: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/22.jpg)
Sequences?
How many independent sets of vertices are there in a path oflength n?
x
x
![Page 23: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/23.jpg)
Sequences?
How many independent sets of vertices are there in a path oflength n?
x
x
![Page 24: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/24.jpg)
Feedback and Reflection
The first half of the semester was crazy! Lots of jumpingaround; barely organized chaos.
But: the first exam went incredibly well.
The final exam average was 5% points higher than the previoussemester.
Student comments were generally positive, but pointed out thatit was confusing to jump around.
![Page 25: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/25.jpg)
Feedback and Reflection
The first half of the semester was crazy! Lots of jumpingaround; barely organized chaos.
But: the first exam went incredibly well.
The final exam average was 5% points higher than the previoussemester.
Student comments were generally positive, but pointed out thatit was confusing to jump around.
![Page 26: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/26.jpg)
Feedback and Reflection
The first half of the semester was crazy! Lots of jumpingaround; barely organized chaos.
But: the first exam went incredibly well.
The final exam average was 5% points higher than the previoussemester.
Student comments were generally positive, but pointed out thatit was confusing to jump around.
![Page 27: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/27.jpg)
Feedback and Reflection
The first half of the semester was crazy! Lots of jumpingaround; barely organized chaos.
But: the first exam went incredibly well.
The final exam average was 5% points higher than the previoussemester.
Student comments were generally positive, but pointed out thatit was confusing to jump around.
![Page 28: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/28.jpg)
A compromise
Spend one week introducing the problems and language ofgraph theory, without doing any of the theory.
Then go back to the traditional schedule, and simply sprinklegraphs on everything.
I don’t know what a textbook with this design would look like.
Also: be careful to not miss out on the graph theory content.
![Page 29: A discrete math course with early graph theorydiscrete.openmathbooks.org/EarlyGraphTheory.pdf · 2019-01-16 · A discrete math course with early graph theory Oscar Levin University](https://reader036.vdocuments.net/reader036/viewer/2022070714/5ed640b60c1f140c715b55fe/html5/thumbnails/29.jpg)
The End
Thanks!Slides (and a textbook):
discrete.openmathbooks.org/talks.php