A Graph Theoretic Approach to Spatial Modeling of Post Disaster Shelter Camps Using Rainbow and Roman Domination Parameters

Didem Gözüpek; Piotr Lange; Joanna Raczek

Home/Archive/arXiv

arXiv · 2609.39682

A Graph Theoretic Approach to Spatial Modeling of Post Disaster Shelter Camps Using Rainbow and Roman Domination Parameters

Didem Gözüpek·Piotr Lange·Joanna Raczek

View original source ↗Read source document ↗Export metadata ↓

Abstract

Effective spatial organization of post-disaster shelter camps is essential for ensuring access to basic services while making efficient use of limited space and resources. In this paper, we propose a graph-theoretic framework for shelter-camp facility placement based on rainbow $k$-domination and Roman domination. Rainbow $k$-domination models the simultaneous accessibility of distinct facility types, such as sanitation units, kitchens, water points, and schools, whereas Roman domination is used to represent services with different capacity levels, illustrated through Wi-Fi deployment. We present an $O(nk)$-time algorithm for finding a minimum rainbow $k$-dominating set of a tree with $n$ vertices, which is linear in $n$ for fixed $k$, and computational experiments confirm its scalability on large instances. For general graphs, we establish new lower and upper bounds on the rainbow $k$-domination number. We further investigate its relationship with Roman domination, derive structural properties of graphs attaining the extremal equality between the two parameters, and prove that recognizing such graphs is NP-hard. These results provide a theoretical foundation for domination-based approaches to facility placement in post-disaster shelter planning.

Explore related subjects

cs.DM

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Didem Gözüpek, Piotr Lange, Joanna Raczek. 2026-09-30. A Graph Theoretic Approach to Spatial Modeling of Post Disaster Shelter Camps Using Rainbow and Roman Domination Parameters. https://arxiv.org/abs/2609.39682

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↗