The \textsc{Red-Blue Separation} problem on graphs

From MaRDI portal
Publication:6168089

DOI10.1016/J.TCS.2023.114061arXiv2211.08283OpenAlexW4383197825MaRDI QIDQ6168089FDOQ6168089


Authors: S. Dev, Sanjana Dey, Florent Foucaud, Ralf Klasing, Tuomo Lehtilä Edit this on Wikidata


Publication date: 8 August 2023

Published in: Theoretical Computer Science (Search for Journal in Brave)

Abstract: We introduce the Red-Blue Separation problem on graphs, where we are given a graph G=(V,E) whose vertices are colored either red or blue, and we want to select a (small) subset SsubseteqV, called red-blue separating set, such that for every red-blue pair of vertices, there is a vertex sinS whose closed neighborhood contains exactly one of the two vertices of the pair. We study the computational complexity of Red-Blue Separation, in which one asks whether a given red-blue colored graph has a red-blue separating set of size at most a given integer. We prove that the problem is NP-complete even for restricted graph classes. We also show that it is always approximable in polynomial time within a factor of 2lnn, where n is the input graph's order. In contrast, for triangle-free graphs and for graphs of bounded maximum degree, we show that Red-Blue Separation is solvable in polynomial time when the size of the smaller color class is bounded by a constant. However, on general graphs, we show that the problem is W[2]-hard even when parameterized by the solution size plus the size of the smaller color class. We also consider the problem Max Red-Blue Separation where the coloring is not part of the input. Here, given an input graph G, we want to determine the smallest integer k such that, for every possible red-blue coloring of G, there is a red-blue separating set of size at most k. We derive tight bounds on the cardinality of an optimal solution of Max Red-Blue Separation, showing that it can range from logarithmic in the graph order, up to the order minus one. We also give bounds with respect to related parameters. For trees however we prove an upper bound of two-thirds the order. We then show that Max Red-Blue Separation is NP-hard, even for graphs of bounded maximum degree, but can be approximated in polynomial time within a factor of O(ln2n).


Full work available at URL: https://arxiv.org/abs/2211.08283







Cites Work


Cited In (3)





This page was built for publication: The \textsc{Red-Blue Separation} problem on graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6168089)