English

Halfspace separation in geodesic convexity

Discrete Mathematics 2026-04-20 v1 Combinatorics

Abstract

Let G=V,EG = V, E be a simple connected undirected graph. A set XVX \subseteq V is \emph{geodesically convex} if for any pair of vertices x,yXx, y \in X, all vertices on all shortest paths in GG from xx to yy are contained in XX. A set HVH \subseteq V is said to be a {halfspace} if both HH and its complement (denoted by HcH^c) are convex. Given two sets A,BVA, B \subseteq V, the { halfspace separation} problem asks if there exist complementary halfspaces H,HcH, H^c such that AHA \subseteq H and BHcB \subseteq H^c. The halfspace separation problem is known to be NP-complete for the geodesic convexity of general graphs. We show that geodesic halfspace separation is polynomial for weakly bridged graphs, pseudo-modular graphs, and the basis graphs of matroids.

Keywords

Cite

@article{arxiv.2604.16159,
  title  = {Halfspace separation in geodesic convexity},
  author = {Niranjan Nair},
  journal= {arXiv preprint arXiv:2604.16159},
  year   = {2026}
}
R2 v1 2026-07-01T12:14:33.327Z