



















Abstract:In 2021, Gupta and Suzumura proposed a novel algorithm for enumerating all bounded-length simple cycles in directed graphs (arXiv:2105.10094). In this work, we present a concrete counter-example demonstrating that the proposed algorithm fails to enumerate certain valid cycles. Analyzing it, we pinpoint the precise step at which the original correctness proof breaks down. We also identify a gap in the original proof of the delay bound claimed. Finally, we propose algorithm \textsc{SimpleSearch} avoiding these flaws by construction, while achieving the delay bound $O(k(n + m))$ per cycle output or termination; where $k$ is the length bound, $n$ the number of nodes, and $m$ the number of edges in the finite simple directed graph $G$.
From: Frank Bauernoeppel [view email]
[v1]
Tue, 9 Dec 2025 09:21:41 UTC (809 KB)
[v2]
Wed, 10 Dec 2025 15:01:04 UTC (809 KB)
[v3]
Wed, 1 Jul 2026 17:38:09 UTC (770 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。