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 S⊆V , called red-blue separating set , such that for every red-blue pair of vertices, there is a vertex s∈S 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 2ln⁡n , where n is the order of the input graph. 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 of the graph 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 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(ln2⁡n) , where n is the order of the input graph. 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.

Separating path systems in trees

Separating paths systems of almost linear size

Vertex-separating path systems in random graphs

Separating Path Systems for the Complete Graph

Tree decompositions and many-sided separations

Separating the edges of a graph by a linear number of paths

Separating the edges of a graph by cycles and by subdivisions of $K_4$

Finding shortest non-separating and non-disconnecting paths

Shortest Path Separators in Unit Disk Graphs

Spanning 2-Forests and Resistance Distance in 2-Connected Graphs

An exact upper bound for the minimum size of a path system that weakly separates a clique

Compact I/O-Efficient Representation of Separable Graphs and Optimal Tree Layouts

On the Size of Minimal Separators for Treedepth Decomposition

On separating families of bipartitions

Local 2-separators

Packing and finding paths in sparse random graphs

Treewidth reduction for constrained separation and bipartization problems

Leaf-to-leaf distances in Catalan trees

The RED-BLUE SEPARATION problem on graphs

Path Partitions of Phylogenetic Networks

Minimal separators in graph classes defined by small forbidden induced subgraphs