Abstract:We explore a new graph parameter, the KLX number, which quantifies the minimum edge congestion of depth-first search (DFS) traversals of a given graph. Originally motivated by a problem in RNA nanostructure design, this parameter is also of independent theoretical interest. Informally, the KLX number of a graph is defined as the minimum, over all its DFS traversals, of the maximum number of back edges that are simultaneously open during the traversal.
We provide full characterisations and linear-time recognition algorithms for graphs with KLX numbers 0, 1 and 2. We also relate KLX to tree-width, proving that any graph satisfies $\mathrm{TW} \le \mathrm{KLX}+1$. Furthermore, we show that the property $\mathrm{KLX} \le k$ is $\mathrm{MSO}_2$-expressible for every fixed $k$. Combined with the tree-width bound, this result implies that determining whether a graph has KLX number at most $k$ can be achieved in linear time for any constant $k$.
From: Codaline Bourotte [view email]
[v1]
Tue, 23 Jun 2026 15:07:00 UTC (372 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。