179 research outputs found
On Graph Crossing Number and Edge Planarization
Given an n-vertex graph G, a drawing of G in the plane is a mapping of its
vertices into points of the plane, and its edges into continuous curves,
connecting the images of their endpoints. A crossing in such a drawing is a
point where two such curves intersect. In the Minimum Crossing Number problem,
the goal is to find a drawing of G with minimum number of crossings. The value
of the optimal solution, denoted by OPT, is called the graph's crossing number.
This is a very basic problem in topological graph theory, that has received a
significant amount of attention, but is still poorly understood
algorithmically. The best currently known efficient algorithm produces drawings
with crossings on bounded-degree graphs, while only a
constant factor hardness of approximation is known. A closely related problem
is Minimum Edge Planarization, in which the goal is to remove a
minimum-cardinality subset of edges from G, such that the remaining graph is
planar. Our main technical result establishes the following connection between
the two problems: if we are given a solution of cost k to the Minimum Edge
Planarization problem on graph G, then we can efficiently find a drawing of G
with at most \poly(d)\cdot k\cdot (k+OPT) crossings, where is the maximum
degree in G. This result implies an O(n\cdot \poly(d)\cdot
\log^{3/2}n)-approximation for Minimum Crossing Number, as well as improved
algorithms for special cases of the problem, such as, for example, k-apex and
bounded-genus graphs
NC Algorithms for Weighted Planar Perfect Matching and Related Problems
Consider a planar graph G=(V,E) with polynomially bounded edge weight function w:E -> [0, poly(n)]. The main results of this paper are NC algorithms for finding minimum weight perfect matching in G. In order to solve this problems we develop a new relatively simple but versatile framework that is combinatorial in spirit. It handles the combinatorial structure of matchings directly and needs to only know weights of appropriately defined matchings from algebraic subroutines.
Moreover, using novel planarity preserving reductions, we show how to find: maximum weight matching in G when G is bipartite; maximum multiple-source multiple-sink flow in G where c:E -> [1, poly(n)] is a polynomially bounded edge capacity function; minimum weight f-factor in G where f:V -> [1, poly(n)]; min-cost flow in G where c:E -> [1, poly(n)] is a polynomially bounded edge capacity function and b:V -> [1, poly(n)] is a polynomially bounded vertex demand function. There have been no known NC algorithms for these problems previously
All-Pairs Minimum Cuts in Near-Linear Time for Surface-Embedded Graphs
For an undirected -vertex graph with non-negative edge-weights, we
consider the following type of query: given two vertices and in ,
what is the weight of a minimum -cut in ? We solve this problem in
preprocessing time for graphs of bounded genus, giving the first
sub-quadratic time algorithm for this class of graphs. Our result also improves
by a logarithmic factor a previous algorithm by Borradaile, Sankowski and
Wulff-Nilsen (FOCS 2010) that applied only to planar graphs. Our algorithm
constructs a Gomory-Hu tree for the given graph, providing a data structure
with space that can answer minimum-cut queries in constant time. The
dependence on the genus of the input graph in our preprocessing time is
Network Sparsification for Steiner Problems on Planar and Bounded-Genus Graphs
We propose polynomial-time algorithms that sparsify planar and bounded-genus
graphs while preserving optimal or near-optimal solutions to Steiner problems.
Our main contribution is a polynomial-time algorithm that, given an unweighted
graph embedded on a surface of genus and a designated face bounded
by a simple cycle of length , uncovers a set of size
polynomial in and that contains an optimal Steiner tree for any set of
terminals that is a subset of the vertices of .
We apply this general theorem to prove that: * given an unweighted graph
embedded on a surface of genus and a terminal set , one
can in polynomial time find a set that contains an optimal
Steiner tree for and that has size polynomial in and ; * an
analogous result holds for an optimal Steiner forest for a set of terminal
pairs; * given an unweighted planar graph and a terminal set , one can in polynomial time find a set that contains
an optimal (edge) multiway cut separating and that has size polynomial
in .
In the language of parameterized complexity, these results imply the first
polynomial kernels for Steiner Tree and Steiner Forest on planar and
bounded-genus graphs (parameterized by the size of the tree and forest,
respectively) and for (Edge) Multiway Cut on planar graphs (parameterized by
the size of the cutset). Additionally, we obtain a weighted variant of our main
contribution
Prioritized Metric Structures and Embedding
Metric data structures (distance oracles, distance labeling schemes, routing
schemes) and low-distortion embeddings provide a powerful algorithmic
methodology, which has been successfully applied for approximation algorithms
\cite{llr}, online algorithms \cite{BBMN11}, distributed algorithms
\cite{KKMPT12} and for computing sparsifiers \cite{ST04}. However, this
methodology appears to have a limitation: the worst-case performance inherently
depends on the cardinality of the metric, and one could not specify in advance
which vertices/points should enjoy a better service (i.e., stretch/distortion,
label size/dimension) than that given by the worst-case guarantee.
In this paper we alleviate this limitation by devising a suit of {\em
prioritized} metric data structures and embeddings. We show that given a
priority ranking of the graph vertices (respectively,
metric points) one can devise a metric data structure (respectively, embedding)
in which the stretch (resp., distortion) incurred by any pair containing a
vertex will depend on the rank of the vertex. We also show that other
important parameters, such as the label size and (in some sense) the dimension,
may depend only on . In some of our metric data structures (resp.,
embeddings) we achieve both prioritized stretch (resp., distortion) and label
size (resp., dimension) {\em simultaneously}. The worst-case performance of our
metric data structures and embeddings is typically asymptotically no worse than
of their non-prioritized counterparts.Comment: To appear at STOC 201
Quasipolynomiality of the Smallest Missing Induced Subgraph
We study the problem of finding the smallest graph that does not occur as an
induced subgraph of a given graph. This missing induced subgraph has at most
logarithmic size and can be found by a brute-force search, in an -vertex
graph, in time . We show that under the Exponential Time
Hypothesis this quasipolynomial time bound is optimal. We also consider
variations of the problem in which either the missing subgraph or the given
graph comes from a restricted graph family; for instance, we prove that the
smallest missing planar induced subgraph of a given planar graph can be found
in polynomial time.Comment: 10 pages, 1 figure. To appear in J. Graph Algorithms Appl. This
version updates an author affiliatio
- …