First, a restatement of the HW. I’ll update the post about HW 6 soon so look for that.
Today, we wrapped up the presentation of the polynomial-time planarity algorithm outlined in Wednesday’s lecture. It also gives hints about the linear-time algorithm and where the savings in time is.
The lemma is the main intuition behind why this works. Please study its proof and bring any questions to class (or ask them here)!
We’ll start the Planar Separator Theorem on Monday so please look over that section in Kozen.