![Page 1: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/1.jpg)
Proving Lower Bounds on Graph Drawing Problems
Rajat AnantharamDepartment of Gaming and Media Technology
Utrecht University
![Page 2: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/2.jpg)
Objective Technique for proving exponential area
lower bounds
The Logic Engine Description Illustration Simulation Extension
![Page 3: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/3.jpg)
Tune ups
Planar acyclic graphs
Exponential variables
Planar straight line Upward drawing
Upper and Lower bounds
![Page 4: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/4.jpg)
s1
s0
t0
t1
G1
Sn
Sn-1
Sn-2
Tn-2
Tn-1
Tn
Gn-1Gn
(a)
(b)
Digraphs G1 and Gn
![Page 5: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/5.jpg)
Theorem 1
Given any resolution rule, a planar straight line upward drawing of digraph Gn (with 2n + 2 vertices) has area 2n)
![Page 6: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/6.jpg)
Approach to Proving
With An as the minimum area of a planar straight line upward drawing Gn We use induction to prove that
An >= 4. An -2
Since A1 >= c for some constant c depending on the resolution rule, this implies the claimed result.
![Page 7: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/7.jpg)
Variable Instantiation
n straight line drawing of Gn with min area
n-1 straight line drawing of Gn-1 by removing vertices and edges sn and tn
n-2 for Gn-2 and so on ..
![Page 8: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/8.jpg)
Variable Instantiation – Part 2
Horizontal line through vertex sn-2
Horizontal line through vertices tn-2
Line extending edge (tn-3, tn-2)
Angle formed by edge (tn-3, tn-2) and the x-axis
Angle fomed by edge (sn-2, sn-3) and the x-axis
Line paralle to through vertex sn-2
Line extending edge (sn-2, sn-3)
![Page 9: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/9.jpg)
![Page 10: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/10.jpg)
![Page 11: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/11.jpg)
Observations Leading to Inference
Area(P) >= 2 * Area(n-2) >= 2 * An-2
An = Area(n) >= Area(P) + Area(Area
An = 2 * Area(P) >= 4 * Area(n-2) = 4 * An-2
![Page 12: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/12.jpg)
Logic Engine
![Page 13: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/13.jpg)
Links in a Chain Each armature is connected to
the shaft by a chainWhen the engine lies flat then the
chain can be in two possible positions – viz.aj and aj*
If xj = 1, aj = xj If xj = 0, aj* = xj
For clauses c1, c2, ... cm the chain links are numbered in outward order as 1,2, ... m
![Page 14: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/14.jpg)
Flags and Flag Collision Two flags attached along the same
row across two armatures collide with each other if they point towards each other
Flag connected to the outermost armature An collides with the frame if it points towards it
If literal xj appears in the clause ci then link i of aj is unflagged
If the literal xj * appears in the clause ci then the link i of aj * is unflagged
The Flag
![Page 15: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/15.jpg)
Theorem
An instance of NAE3SAT is a “yes” instance if and only if the corresponding logic engine has a flat collission free configuration.
![Page 16: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/16.jpg)
And .. The proof Assume “yes” instance of NAE3SAT
Rotate armatures such that if truth assignment t(xj) = 1, aj is on top and if t(xj) = 0, aj is in bottom
Since clause ci contains atleast one literal y with t(y) = 1 and atleast one literal z with t(z) = 0 there’s atleast one unflagged link in each row.
So we allign the chain such that the flaggs from the remaining link point towards the unflagged link leading to “no collission”
A similar analogy can be drawn from a flat collission free configuration thereby implying the validity of the theorem
![Page 17: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/17.jpg)
Logic engine and a graph Drawing Problem
To prove that the following problem is NP-Hard Theorem :
“Unit length planar straight line drawing of a graph is NP-Hard”
The question: - Is there a straight line planar drawing of G such that every edge is of length one ?
![Page 18: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/18.jpg)
Prelude
How to construct the unversal part of a logic graph?
A graph G is uniquely drawable if all the unit length planar drawings f G can be obtained through translation, rotation, scaling, mirroring
![Page 19: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/19.jpg)
Construction of the Logic Engine
Each unit length of the constructed Logic Engine corresponds to the link graph
Armature and Outer frame is necessarily unique
The max Euclidean distance b/w the extremal endpoints to the shaft gives the number of edges in the shaft making its construction unique as well
![Page 20: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/20.jpg)
Hence the Proof
The logic graph corresponding to an instance of NAE3SAT with n variables and m clauses has O((m+n)2) vertices and edges and the time taken to construct the logical graph is linear in the size of the graph
![Page 21: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/21.jpg)
Extending Usage of Logic Graphs Is there a grid drawing of a tree T, such that each edge
has length one ?
Is there a grid drawing of tree T of area at most K ? – where K is an integer.
Is there a drawing of tree T such that T is a minimum spanning tree of the vertex locations?
Is there a drawing of graph G such that G is the mutual nearest neighbour graph of the vertex location?
![Page 22: Proving Lower Bounds on Graph Drawing Problems](https://reader036.vdocuments.us/reader036/viewer/2022062521/56816799550346895ddcd596/html5/thumbnails/22.jpg)
Thank You