139,446 research outputs found
Testing Small Set Expansion in General Graphs
We consider the problem of testing small set expansion for general graphs. A
graph is a -expander if every subset of volume at most has
conductance at least . Small set expansion has recently received
significant attention due to its close connection to the unique games
conjecture, the local graph partitioning algorithms and locally testable codes.
We give testers with two-sided error and one-sided error in the adjacency
list model that allows degree and neighbor queries to the oracle of the input
graph. The testers take as input an -vertex graph , a volume bound ,
an expansion bound and a distance parameter . For the
two-sided error tester, with probability at least , it accepts the graph
if it is a -expander and rejects the graph if it is -far
from any -expander, where and
. The
query complexity and running time of the tester are
, where is the number of
edges of the graph. For the one-sided error tester, it accepts every
-expander, and with probability at least , rejects every graph
that is -far from -expander, where
and for any . The query
complexity and running time of this tester are
.
We also give a two-sided error tester with smaller gap between and
in the rotation map model that allows (neighbor, index) queries and
degree queries.Comment: 23 pages; STACS 201
Orthogonal Graph Drawing with Inflexible Edges
We consider the problem of creating plane orthogonal drawings of 4-planar
graphs (planar graphs with maximum degree 4) with constraints on the number of
bends per edge. More precisely, we have a flexibility function assigning to
each edge a natural number , its flexibility. The problem
FlexDraw asks whether there exists an orthogonal drawing such that each edge
has at most bends. It is known that FlexDraw is NP-hard
if for every edge . On the other hand, FlexDraw can
be solved efficiently if and is trivial if
for every edge .
To close the gap between the NP-hardness for and the
efficient algorithm for , we investigate the
computational complexity of FlexDraw in case only few edges are inflexible
(i.e., have flexibility~). We show that for any FlexDraw
is NP-complete for instances with inflexible edges with
pairwise distance (including the case where they
induce a matching). On the other hand, we give an FPT-algorithm with running
time , where
is the time necessary to compute a maximum flow in a planar flow network with
multiple sources and sinks, and is the number of inflexible edges having at
least one endpoint of degree 4.Comment: 23 pages, 5 figure
Classification of Minimal Separating Sets in Low Genus Surfaces
Consider a surface and let . If is not
connected, then we say \emph{separates} , and we refer to as a
\emph{separating set} of . If separates , and no proper subset of
separates , then we say is a \emph{minimal separating set} of . In
this paper we use methods of computational combinatorial topology to classify
the minimal separating sets of the orientable surfaces of genus and
. The classification for genus 0 and 1 was done in earlier work, using
methods of algebraic topology.Comment: 24 pages, 5 figures, 2 tables (11 pages
- …