hw6solns - 15-750 Graduate Algorithms Spring 2009Miller and...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 15-750 Graduate Algorithms Spring 2009Miller and Dinitz and TangwongsanAssignment 6 Solutions1Separators in outer planar graphs(20 pts.)(a)We say that a graph isouter planarif it is1) planar, and2) there exists a planar embedding such that all of the vertices are on the boundary of theouter face.Prove that all outer-planar graphs have 2-vertex-separators. Do not give a proof by algo-rithm. Use the tools developed in class.HINT:Recall that augmenting the graph does not change the size of the separators.(b)There is a natural extension of the definition of outer planar graphs. Say that a graph isk-outer planarif it can be drawn in the plane so that the vertices can be partitioned intoknested rings where all all edges stay within one ring or go between adjacent rings. Provethat allk-outer planar graphs have 2k-vertex separators.(c)Given an embedded triangulatedk-outer planar give anO(n) time algorithm to find this2k-separator.Solution:(a) Here is one clever approach. Also, the result for the second part applies to this question fork= 1.Start with a planar drawing ofG. There is some outer face containing all of the vertices.Triangulate the other faces. Observe that the dual of the triangulation is a binary tree. It sufficesto find a1-edge separator in the dual. We did this in class. The two ends of the edge are verticesof the desired separator.15-750HW 6 Solutions2(b) Fork-outer planar graphs, augment the graph to have a vertex in the outer face with edge toevery vertex in the outer ring. Add edges so there is at least one edge from every vertex toanother vertex in a smaller ring. Now, the resulting graph has a spanning tree of diameter2k.We showed in class that such graphs have2k-vertex separators. It remains to show that theseaugmentations did not violate the planarity assumption.(c) See Kozen for how to to the whole planar separator theorem constructively in linear time.2More NP-Completeness(20 pts.)Letbe a 3CNF formula. A6=-assignmentto the variables ofis one where each clause containstwo literals with unequal truth values. In other words a6=-assignment satisfieswithout assigningthree true literals in any clause.(a) Show that the negation of an6=-assignment tois also a6=-assignment.(b) Let6=SAT be the collection of 3CNF formulas that have a6=-assignment. Prove that6=SAT is NP-complete. Hint: consider replacing each clauseci= (y1y2y3) by thetwo clauses (y1y2zi) and (ziy3b), whereziis a new variable for each clauseciandbis a single additional new variable.(c) Acutin an undirected graph is a partition of the vertices into two disjoint subsetsSandT. The size of the cut is the number of edges that have one endpoint inSandthe other inT. LetMAXCUT={hG,ki |Ghas a cut of sizekor more}. Prove thatMAXCUTis NP-complete....
View Full Document

This document was uploaded on 11/03/2009.

Page1 / 6

hw6solns - 15-750 Graduate Algorithms Spring 2009Miller and...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online