Tight Upper Bounds on Color Reversal by Local Inversions
arXiv:2606.09066
Abstract
A bicoloration of a graph is a map . A local inversion at a vertex complements the subgraph induced by the neighbors of and simultaneously reverses the colors of all neighbors of . Sabidussi (Discrete Mathematics, 1987) showed that every bicolored graph on vertices without isolated vertices admits a color reversal using at most local inversions, and that any two bicolorings of such a graph can be transformed into each other using at most local inversions. Recently, Porte, Sandeep, and Santra (CALDAM 2026) improved these bounds to and , respectively. We prove the tight bound by showing that, for every graph on vertices without isolated vertices, any bicoloring can be transformed into any other bicoloring using at most local inversions. We also show that this bound is best possible: for complete graphs and stars on vertices, at least local inversions are required to reverse the colors of all vertices. Moreover, the proof of the upper bound is constructive: given two bicolorings, it produces, in polynomial time, a sequence of at most local inversions transforming one into the other.