On finding convex cuts in general, bipartite and plane graphs

Abstract The general notion of convexity also applies to a graph G = ( V , E ) . A subset V c of V is called a convex set if all shortest paths with end vertices in V c remain within V c . A convex cut of G is a partition ( V 1 , V 2 ) of V such that V 1 and V 2 are convex sets (halfspaces). Finding convex cuts is NP -hard for general graphs. In this paper we first characterize the convex cuts of a connected bipartite graph G ′ in terms of 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. Specifically, we show that a cut of G ′ is convex if and only if the Djokovic relation holds for any pair of edges in its cut-set. As a consequence, all convex cuts of G ′ = { V ′ , E ′ } can be found in O ( | V ′ | | E ′ | ) . We then characterize the convex cuts of a general connected graph G using the Djokovic–Winkler relation θ and another relation τ on the edges of G. Based on this general characterization, we show how one can find all convex cuts of G in polynomial time. The key parts here are (i) describing the Djokovic–Winkler relation on the edges of G in terms of the Djokovic relation θ ′ on the bipartite graph obtained from G by subdividing each edge of G into two edges, (ii) studying the interplay of θ ′ and τ on plane curves representing convex cuts, and (iii) a running time analysis of our algorithm for finding the convex cuts. Our method for characterizing and finding convex cuts of a connected plane graph G is motivated by the concept of alternating cuts and conditions on the latter to be convex. In the last part of this paper we represent alternating cuts as plane curves and focus on their intersection pattern. If the plane curves form an arrangement of pseudolines, G is scale embedded in its dual, and any edge of G is contained in the cut-set of a convex cut of G.

[1]  Peter Winkler,et al.  Isometric embedding in products of complete graphs , 1984, Discret. Appl. Math..

[2]  Frederic Paulin,et al.  Simplicite de groupes d'automorphismes d'espaces a courbure negative , 1998, math/9812167.

[3]  Michel Deza,et al.  Clin D'oeil on L1-embeddable Planar Graphs , 1997, Discret. Appl. Math..

[4]  Hans-Jürgen Bandelt,et al.  Graphs with intrinsic s3 convexities , 1989, J. Graph Theory.

[5]  Iztok Peterin A characterization of planar partial cubes , 2008, Discret. Math..

[6]  Victor Chepoi,et al.  Distance-Preserving Subgraphs of Johnson Graphs , 2015, Comb..

[7]  Roland Glantz,et al.  Finding All Convex Cuts of a Plane Graph in Cubic Time , 2013, CIAC.

[8]  D. Djoković Distance-preserving subgraphs of hypercubes , 1973 .

[9]  Sergey V. Shpectorov,et al.  On Scale Embeddings of Graphs into Hypercubes , 1993, Eur. J. Comb..

[10]  Michel Deza,et al.  Geometry of cuts and metrics , 2009, Algorithms and combinatorics.

[11]  C. Thomassen The Jordan-Scho¨nflies theorem and the classification of surfaces , 1992 .

[12]  Maya Jakobine Stein,et al.  Convex p-partitions of bipartite graphs , 2015, Theor. Comput. Sci..

[13]  Van de M. L. J. Vel Theory of convex structures , 1993 .

[14]  David Eppstein Cubic Partial Cubes from Simplicial Arrangements , 2006, Electron. J. Comb..

[15]  Sergei Ovchinnikov Partial cubes: structures, characterizations, and constructions , 2008, Discret. Math..

[16]  Vo D. Chepoi,et al.  Isometric subgraphs of Hamming graphs and d-convexity , 1988 .

[17]  Jayme Luiz Szwarcfiter,et al.  On the Convexity Number of Graphs , 2012, Graphs Comb..

[18]  Simone Dantas,et al.  Partitioning a graph into convex sets , 2011, Discret. Math..

[19]  Feodor F. Dragan,et al.  Distance and routing labeling schemes for non-positively curved plane graphs , 2006, J. Algorithms.

[20]  Günter M. Ziegler,et al.  Oriented Matroids , 2017, Handbook of Discrete and Computational Geometry, 2nd Ed..

[21]  Tomás Feder Product graph representations , 1992, J. Graph Theory.