Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.32954

Acyclic 2-edge-coloured graphs: polynomial-time linkages and colouring hardness

Jørgen Bang-Jensen·Stéphane Bessy·Amadeus Reinald
View original source ↗Read source document ↗Export metadata ↓

Abstract

A path or cycle in a $2$-edge-coloured graph is alternating if consecutive edges have different colours. These objects are natural analogues of paths and cycles in graphs, and even more so in digraphs. A well-studied class is that of acyclic $2$-edge-coloured graphs, that is, those forbidding alternating cycles. In particular, (acyclic) $2$-edge-coloured graphs generalize directed (acyclic) graphs (DAGs), but the complexity of problems on DAGs is much better understood than that of the corresponding problems on acyclic $2$-edge-coloured graphs. We investigate the complexity of two such problems, whose directed counterparts are well-known. Our first result is an $n^{O(k)}$-time algorithm for the alternating $k$-linkage problem on acyclic $2$-edge-coloured graphs. This problem asks for $k$ vertex-disjoint alternating paths joining $k$ prescribed pairs of vertices. This generalizes the directed $k$-linkage algorithm for DAGs. For every fixed $k$, this also yields a polynomial-time algorithm for finding $k$ internally vertex-disjoint alternating $(s,t)$-paths, solving an open problem by Abouelaoualim et al. from 2008. We then consider the alternating chromatic number of $2$-edge-coloured graphs, defined as the minimum number of parts in a vertex partition such that each part induces an acyclic subgraph. This notion is analogous to the dichromatic number of digraphs, where it is known that deciding dichromatic number $2$ is NP-complete even on tournaments. Our second result is that deciding alternating chromatic number $2$ is NP-complete on complete $2$-edge-coloured graphs. Equivalently, deciding whether a graph can be partitioned into two induced threshold graphs is NP-complete.

Explore related subjects

cs.DSmath.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jørgen Bang-Jensen, Stéphane Bessy, Amadeus Reinald. 2026-10-23. Acyclic 2-edge-coloured graphs: polynomial-time linkages and colouring hardness. https://arxiv.org/abs/2610.32954

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

KEEP EXPLORING

Related papers

arXiv2026

Exploration of Always $S$-Connected Temporal Graphs

\emph{Temporal graphs} are a generalisation of (static) graphs, defined by a sequence of \emph{snapshots}, each a static graph defined over a common set of vertices. \emph{Exploration} problems are one of the most fundamental and most heavily studied problems on temporal graphs, asking if a set of $m$ agents can visit every vertex in the graph, with each agent only allowed to traverse a single edge per snapshot. In this paper, we introduce and study \emph{always $S$-connected} temporal graphs, a generalisation of always-connected temporal graphs where, rather than forming a single connected component in each snapshot, we have at most $\vert S \vert$ components, each defined by the connection to at least one vertex in the set $S$. We use the model of always $S$-connected temporal graphs to study \emph{subgraphs} of always-connected temporal graphs, with motivation coming from networks with a small number of ``choke-points'', such as rail networks, where all external traffic into a subnetwork comes from a limited number of external connections. We use this formulation as a tool for exploring always-connected temporal graphs admitting an \emph{$(r,b)$-division}, a partitioning of the vertex set into $r$ components, each of which is $S$-connected, where $\vert S \vert \leq b$. We show that an always $S$-connected temporal graph with $m = \vert S \vert$ and an average degree of $Δ$ can be explored by $m$ agents in $O(n^{3/2} m^2 Δ^{3/2}\log^{3/2}(n) + + nm^3)$ snapshots. Using this result as a subroutine, we show that any always-connected temporal graph with treewidth at most $k$ can be explored by a single agent in $O\left(n^{4/3} k^{9/2}\log^{5/2}(n)\right)$ snapshots, improving on the current state-of-the-art for small values of $k$.

cs.DS↗
arXiv2026

The Price of Universal Temporal Reachability

Dynamic networks are graphs in which edges are available only at specific time instants, modeling connections that change over time. The dynamic network creation game studies this setting as a strategic interaction where a set of $n$ vertices represents players. Players can add or remove time-labelled edges in order to minimize their personal cost. This cost has two components: a construction cost, calculated as the number of time instants during which a player maintains edges multiplied by a constant $α$, and a communication cost, defined as the sum of temporal distances to all other vertices in the network. Communication occurs through temporal paths, which are sequences of adjacent edges with strictly increasing time labels and no repeated vertices. For the strict temporal shortest distance, we show a constant bound for the price of anarchy for $α<2$. When $α\geq\frac{1}{8}n^2$, we show Nash equilibria with a communication cost asymptotically higher than $\frac{1}{49}n^3$. We prove that the game admits a best response cycle: there exists a sequence of individually rational strategy changes that returns to the initial strategy profile without ever reaching a Nash equilibrium. This establishes that the dynamic network creation game is not a potential game and that best response dynamics may cycle indefinitely, so convergence to a Nash equilibrium or a socially optimal outcome is not guaranteed in general.

cs.DS↗
arXiv2026

Dynamic $(Δ+1)$-Coloring Against an Adaptive Adversary: Faster, Simpler, Worst-Case, and Bounded Recourse

We study fully dynamic $(Δ+1)$-coloring against an adaptive adversary. Behnezhad, Rajaraman, and Wasim (SODA 2025) gave the first algorithm with $\tilde O(n^{8/9})$ amortized update time, later improved to $\tilde O(n^{2/3})$ by Flin and Halldórsson (ICALP 2025). We give a fully dynamic $(Δ+1)$-coloring algorithm with $\tilde O(\sqrt n)$ \textbf{worst-case} update time. Unlike previous algorithms, it avoids sparse-dense decompositions and relies only on elementary data structures, resulting in a short self-contained algorithm and analysis. Moreover, it avoids global recoloring, resulting in a worst-case recourse of $3$.

cs.DS↗