5 research outputs found
Finding all Convex Cuts of a Plane Graph in Polynomial Time
Convexity is a notion that has been defined for subsets of \RR^n and for
subsets of general graphs. A convex cut of a graph is a
-partition such that both and are convex,
\ie shortest paths between vertices in never leave , . Finding convex cuts is -hard for general graphs. To
characterize convex cuts, we employ the Djokovic relation, a reflexive and
symmetric relation on the edges of a graph that is based on shortest paths
between the edges' end vertices.
It is known for a long time that, if is bipartite and the Djokovic
relation is transitive on , \ie is a partial cube, then the cut-sets of
's convex cuts are precisely the equivalence classes of the Djokovic
relation. In particular, any edge of is contained in the cut-set of exactly
one convex cut. We first characterize a class of plane graphs that we call {\em
well-arranged}. These graphs are not necessarily partial cubes, but any edge of
a well-arranged graph is contained in the cut-set(s) of at least one convex
cut. We also present an algorithm that uses the Djokovic relation for computing
all convex cuts of a (not necessarily plane) bipartite graph in \bigO(|E|^3)
time. Specifically, a cut-set is the cut-set of a convex cut if and only if the
Djokovic relation holds for any pair of edges in the cut-set.
We then characterize the cut-sets of the convex cuts of a general graph
using two binary relations on edges: (i) the Djokovic relation on the edges of
a subdivision of , where any edge of is subdivided into exactly two
edges and (ii) a relation on the edges of itself that is not the Djokovic
relation. Finally, we use this characterization to present the first algorithm
for finding all convex cuts of a plane graph in polynomial time.Comment: 23 pages. Submitted to Journal of Discrete Algorithms (JDA
A correction of a characterization of planar partial cubes
International audienceIn this note we determine the set of expansions such that a partial cube is planar if and only if it arises by a sequence of such expansions from a single vertex. This corrects a result of Peterin
A correction of a characterization of planar partial cubes
International audienceIn this note we determine the set of expansions such that a partial cube is planar if and only if it arises by a sequence of such expansions from a single vertex. This corrects a result of Peterin