Complexity, Bounds, and Exact Algorithms for Rainbow $k$-Domination in Regular Graphs

Piotr Lange

Home/Archive/arXiv

arXiv · 2610.06906

Complexity, Bounds, and Exact Algorithms for Rainbow $k$-Domination in Regular Graphs

Piotr Lange

View original source ↗Read source document ↗Export metadata ↓

Abstract

A rainbow $k$-dominating function assigns the empty set or exactly one of the colors $\{1\},\{2\},\ldots,\{k\}$ to each vertex of a simple graph in such a way that every vertex receiving $\emptyset$ sees all $k$ colors in its neighborhood. This model has several facility-location interpretations where colored vertices represent sites hosting different types of services, and uncolored vertices represent the beneficiaries of those services who must have access to all of them. In this paper we study this domination variant in regular graphs. First, we develop lower and upper bounds for this class of graphs, and explore their structural consequences. Then, we use those results to prove NP-completeness of a decision formulation of this problem. Additionally, we derive exact formulas for the rainbow $k$-domination number of cycles, Möbius ladders and prisms. Lastly, we develop a dynamic-programming algorithm for generalized Petersen graphs of the form $P(6t, t)$ and state two conjectures based on the output of its implementation and related integer linear programming computations.

Explore related subjects

cs.DM cs.CC

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Piotr Lange. 2026-10-01. Complexity, Bounds, and Exact Algorithms for Rainbow $k$-Domination in Regular Graphs. https://arxiv.org/abs/2610.06906

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Euclidean Embeddings of Acyclic Hypergraph Line Metrics

We study Euclidean embeddings of higher-order line metrics arising from hypergraphs. For a fixed threshold $s\geq 1$, the $s$-line graph $L_s(H)$ has one vertex for each hyperedge of $H$, with two hyperedges adjacent when they intersect in at least $s$ vertices; its shortest-path metric is the native $s$-line metric. In the unrestricted setting, every finite graph occurs as the $s$-line graph of some hypergraph, so the worst-case Euclidean distortion is $Θ(\log n)$. We show that $α$-acyclicity yields a sharp improvement to $Θ(\sqrt{\log\log n})$. Although the canonical join tree of an $α$-acyclic hypergraph may have arbitrarily large stretch relative to the native metric, we prove that for every $s$, the $s$-line graphs of $α$-acyclic hypergraphs are exactly the dually chordal graphs. Using their constant-factor spanning-tree approximations together with classical tree-embedding bounds, we obtain an $O(\sqrt{\log\log n})$ Euclidean embedding bound. We then show this is asymptotically tight by realizing every finite tree as the $s$-line graph of an $α$-acyclic hypergraph. Thus, the worst-case distortion is $Θ(\sqrt{\log\log n})$, including for hypergraphs of rank at most $3s+1$.

cs.DM↗

arXiv2026

Degree Stability of Parallel Greedy Matching in Random Graphs

We study a natural synchronous greedy matching process in Erdős-Rényi random graphs $\mathbb{G}(n,p)$ and give a rigorous analysis of this parallel stochastic dynamics. The process evolves as follows: in each round, every unmatched vertex proposes to a uniformly random neighbour, and mutually proposing pairs are matched and removed from the graph, after which the process repeats on the residual graph. We consider the density regime $p=Θ(\log^{1+ε} n/n)$ for any constant $ε>0$, which lies just above the threshold for the existence of a perfect matching. We show that, with high probability, for $Θ(\log^{1+ε} n)$ rounds, every unmatched vertex keeps a constant fraction of its initial degree in the residual graph, simultaneously for all vertices and all rounds. By then, the process has matched a constant fraction of the vertices. Our analysis tracks fine-grained invariants that control the evolution of individual vertex degrees, rather than directly tracking the global degree distribution. At the local level, we analyze the per-round degree loss of a vertex via a neighbourhood-exposure martingale. We show that structural sparsity of $\mathbb{G}(n,p)$ yields $O(1)$ variance and thus the per-round degree loss is strongly concentrated around its conditional expectation. At the global level, these local concentration bounds control the increments of a martingale tracking cumulative degree loss over many rounds, allowing us to show that vertex degrees remain stable for $Ω(\log^{1+ε} n)$ rounds.

cs.DM↗

arXiv2026

Counting and Sampling Manufacturable Stacking Sequences

Designing the stacking sequence of a composite laminate is a discrete optimisation problem: each ply takes one of a few orientations, each evaluation may cost a finite-element solve, and the design must obey manufacturing rules and design guidelines, which optimisers enforce by penalty, repair or rejection. We describe the admissible set exactly. The two manufacturing rules forbid a finite set of factors, so the sequences they admit form a regular language, recognised by an automaton that tracks the last orientation and the length of its run; balance and the ten per cent rule constrain the Parikh vector and are carried by a dynamic program over automaton state and counters. One table, polynomial in N, counts the admissible sequences without producing them, draws them uniformly, and tells whether a partial sequence can still be completed. We give pseudocode, exact counts for three orientation sets, closed-form ceilings on the composition, and four of the five single-rule entries a published table left uncomputed. At 48 plies, 99.8% of the nodes of a layer-wise search tree checking the rules locally have no admissible completion on eight orientations; the completion test removes them. A one-point crossover that cuts two admissible parents only where they share an automaton state and their child closes the counters returns admissible children by construction.

cs.DM↗