Domination on Vertex-weighted Graphs Induce by a Coloring
María A. Garrido-Vizuete, Mucuy-kak Guevara, Alberto Márquez, Rafael Robles
TL;DR
This work defines up-color domination on vertex-colored graphs, where a dominating vertex must have a strictly larger color than the dominated one and color-0 vertices cannot dominate. It establishes NP-completeness for computing the up-color domination number $_{uc}(G,c)$ even on bipartite graphs with three colors, while giving a linear-time algorithm for trees, and introduces the chromatic up-color domination number $_{uc}(G)$ with NP-hardness results via 3-SAT reductions. The paper also studies the weight version, proving NP-completeness for both the weighted dominating set problem and the overall weight $(G)$, and provides a polynomial-time $O(n^2 )$-time algorithm for trees. Throughout, it relates these notions to classical domination, coloring, Grundy, and Roman domination, and derives tight bounds for several graph families. The results highlight rich interactions between coloring structure and domination, with clear implications for algorithm design on trees and for computational hardness on general graphs.
Abstract
This paper introduces the concept of domination in the context of colored graphs (where each color assigns a weight to the vertices of its class), termed up-color domination, where a vertex dominating another must be heavier than the other. That idea defines, on one hand, a new parameter measuring the size of minimal dominating sets satisfying specific constraints related to vertex colors. The paper proves that the optimization problem associated with that concept is an NP-complete problem, even for bipartite graphs with three colors. On the other hand, a weight-based variant, the up-color domination weight, is proposed, further establishing its computational hardness. The work also explores the relationship between up-color domination and classical domination and coloring concepts. Efficient algorithms for trees are developed that use their acyclic structure to achieve polynomial-time solutions.
