Results 21  30
of
243
Every minorclosed property of sparse graphs is testable
, 2007
"... Suppose G is a graph of bounded degree d, and one needs to remove ɛn of its edges in order to make it planar. We show that in this case the statistics of local neighborhoods around vertices of G is far from the statistics of local neighborhoods around vertices of any planar graph G ′. In fact, a sim ..."
Abstract

Cited by 25 (3 self)
 Add to MetaCart
(Show Context)
Suppose G is a graph of bounded degree d, and one needs to remove ɛn of its edges in order to make it planar. We show that in this case the statistics of local neighborhoods around vertices of G is far from the statistics of local neighborhoods around vertices of any planar graph G ′. In fact, a similar result is proved for any minorclosed property of bounded degree graphs. As an immediate corollary of the above result we infer that many well studied graph properties, like being planar, outerplanar, seriesparallel, bounded genus, bounded treewidth and several others, are testable with a constant number of queries. None of these properties was previously known to be testable even with o(n) queries. 1
Planar Polyline Drawings with Good Angular Resolution
 Graph Drawing (Proc. GD '98), volume 1547 of LNCS
, 1998
"... . We present a linear time algorithm that constructs a planar polyline grid drawing of any plane graph with n vertices and maximum degree d on a (2n \Gamma 5) \Theta ( 3 2 n \Gamma 7 2 ) grid with at most 5n \Gamma 15 bends and minimum angle ? 2 d . In the constructed drawings, every edge h ..."
Abstract

Cited by 23 (1 self)
 Add to MetaCart
(Show Context)
. We present a linear time algorithm that constructs a planar polyline grid drawing of any plane graph with n vertices and maximum degree d on a (2n \Gamma 5) \Theta ( 3 2 n \Gamma 7 2 ) grid with at most 5n \Gamma 15 bends and minimum angle ? 2 d . In the constructed drawings, every edge has at most three bends and length O(n). To our best knowledge, this algorithm achieves the best simultaneous bounds concerning the grid size, angular resolution, and number of bends for planar grid drawings of highdegree planar graphs. Besides the nice theoretical features, the practical drawings are aesthetically very pleasing. An implementation of our algorithm is available with the AGDLibrary (Algorithms for Graph Drawing) [2, 1]. Our algorithm is based on ideas by Kant for polyline grid drawings for triconnected plane graphs [23]. In particular, our algorithm significantly improves upon his bounds on the angular resolution and the grid size for nontriconnected plane graphs....
NPCompleteness Results for Minimum Planar Spanners
"... For any fixed parameter t _> 1, a tspanner of a graph G is a spanning subgraph in which the distance between every pair of vertices is at most t times their distance in G. A minimum tspanner is a tspanner with minimum total edge weight or, in unweighted graphs, minimum number of edges. In th ..."
Abstract

Cited by 23 (0 self)
 Add to MetaCart
For any fixed parameter t _> 1, a tspanner of a graph G is a spanning subgraph in which the distance between every pair of vertices is at most t times their distance in G. A minimum tspanner is a tspanner with minimum total edge weight or, in unweighted graphs, minimum number of edges. In this paper, we prove the AlPhardness of finding minimum tspanners for planar weighted graphs and digraphs if t _> 3, and for planar unweighted graphs and digraphs if t _> 5. We thus extend results on that problem to the interesting case where the instances are known to be planar. We also introduce the related problem of finding minimum planar tspanners and establish its Alphardness for similar fixed values of t.
Checking the Convexity of Polytopes and the Planarity of Subdivisions
, 1998
"... This paper considers the problem of verifying the correctness of geometric structures. In particular, we design simple optimal checkers for convex polytopes in two and higher dimensions, and for various types of planar subdivisions, such as triangulations, Delaunay triangulations, and convex subdivi ..."
Abstract

Cited by 21 (6 self)
 Add to MetaCart
This paper considers the problem of verifying the correctness of geometric structures. In particular, we design simple optimal checkers for convex polytopes in two and higher dimensions, and for various types of planar subdivisions, such as triangulations, Delaunay triangulations, and convex subdivisions. Their performance is analyzed also in terms of the algorithmic degree, which characterizes the arithmetic precision required
The Thickness of Graphs: A Survey
 Graphs Combin
, 1998
"... We give a stateoftheart survey of the thickness of a graph from both a theoretical and a practical point of view. After summarizing the relevant results concerning this topological invariant of a graph, we deal with practical computation of the thickness. We present some modifications of a ba ..."
Abstract

Cited by 20 (0 self)
 Add to MetaCart
(Show Context)
We give a stateoftheart survey of the thickness of a graph from both a theoretical and a practical point of view. After summarizing the relevant results concerning this topological invariant of a graph, we deal with practical computation of the thickness. We present some modifications of a basic heuristic and investigate their usefulness for evaluating the thickness and determining a decomposition of a graph in planar subgraphs. Key words: Thickness, maximum planar subgraph, branch and cut 1 Introduction In VLSI circuit design, a chip is represented as a hypergraph consisting of nodes corresponding to macrocells and of hyperedges corresponding to the nets connecting the cells. A chipdesigner has to place the macrocells on a printed circuit board (which usually consists of superimposed layers), according to several designing rules. One of these requirements is to avoid crossings, since crossings lead to undesirable signals. It is therefore desirable to find ways to handle wi...
A Numerical Optimization Approach to General Graph Drawing
, 1999
"... Graphs are ubiquitous, finding applications in domains ranging from software engineering to computational biology. While graph theory and graph algorithms are some of the oldest, most studied fields in computer science, the problem of visualizing graphs is comparatively young. This problem, known as ..."
Abstract

Cited by 19 (0 self)
 Add to MetaCart
Graphs are ubiquitous, finding applications in domains ranging from software engineering to computational biology. While graph theory and graph algorithms are some of the oldest, most studied fields in computer science, the problem of visualizing graphs is comparatively young. This problem, known as graph drawing, is that of transforming combinatorial graphs into geometric drawings for the purpose of visualization. Most published algorithms for drawing general graphs model the drawing problem with a physical analogy, representing a graph as a system of springs and other physical elements and then simulating the relaxation of this physical system. Solving the graph drawing problem involves both choosing a physical model and then using numerical optimization to simulate the physical system. In this
A simple lineartime modular decomposition algorithm for graphs, using order extension
, 2004
"... ..."
An Algebra for Pomsets
, 1995
"... We study languages for manipulating partially ordered structures with duplicates (e.g. trees, lists). As a general framework, we consider the pomset (partially ordered multiset) data type. We introduce an algebra for pomsets, which generalizes traditional algebras for (nested) sets, bags and list ..."
Abstract

Cited by 17 (3 self)
 Add to MetaCart
We study languages for manipulating partially ordered structures with duplicates (e.g. trees, lists). As a general framework, we consider the pomset (partially ordered multiset) data type. We introduce an algebra for pomsets, which generalizes traditional algebras for (nested) sets, bags and lists. This paper is motivated by the study of the impact of different language primitives on the expressive power. We show that the use of partially ordered types increases the expressive power significantly. Surprisingly, it turns out that the algebra when restricted to both unordered (bags) and totally ordered (lists) intermediate types, yields the same expressive power as fixpoint logic with counting on relational databases. It therefore constitutes a rather robust class of relational queries. On the other hand, we obtain a characterization of PTIME queries on lists by considering only totally ordered types.
An O(m log n)Time Algorithm for the Maximal Planar Subgraph Problem
, 1993
"... Based on a new version of Hopcroft and Tarjan's planarity testing algorithm, we develop an O (mlogn)time algorithm to find a maximal planar subgraph. Key words. algorithm, complexity, depthfirstsearch, embedding, planar graph, selection tree AMS(MOS) subject classifications. 68R10, 68Q35, ..."
Abstract

Cited by 17 (0 self)
 Add to MetaCart
Based on a new version of Hopcroft and Tarjan's planarity testing algorithm, we develop an O (mlogn)time algorithm to find a maximal planar subgraph. Key words. algorithm, complexity, depthfirstsearch, embedding, planar graph, selection tree AMS(MOS) subject classifications. 68R10, 68Q35, 94C15 1. Introduction In [15], Wu defined the problem of planar graphs in terms of the following four subproblems: ################## 1 This work was partly supported by ThomsonCSF/DSE and by the National Science Foundation under grant CCR9002428. 2. Research at Princeton University partially supported by DIMACS (Center for Discrete Mathematics and Theoretical Computer Science), a National Science Foundation Science and Technology Center, grant NSFSTC8809648, and the Office of Naval Research, contract N0001487K0467.    2  P1. Decide whether a connected graph G is planar. P2. Find a minimal set of edges the removal of which will render the remaining part of G planar. P3. Gi...