DAG和Linear Orders中若干路径问题的复杂性

Complexity of some Path Problems in DAGs and Linear Orders

Serge Burckel

备注：: 5 pages, 3 figures

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文研究了有向无圈图中三个自然问题的计算复杂性。我们证明了它们的NP完全性，并考虑了它们对线性序的限制。

英文摘要：

We investigate here the computational complexity of three natural problems in directed acyclic graphs. We prove their NP Completeness and consider their restrictions to linear orders.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Dagstuhl报告13082：通信复杂性、线性最优化和矩阵的非负矩阵的秩的下界

Dagstuhl Report 13082: Communication Complexity, Linear Optimization, and lower bounds for the nonnegative rank of matrices

本报告记录了2013年2月在Dagstuhl城堡举行的Dagstuhl研讨会13082“通信复杂性、线性最优化和矩阵的非负矩阵的秩的下界“的计划和成果。

2013-05-17cs.CCcs.DMmath.CO

DAG上无拥塞的流重路由

Congestion-Free Rerouting of Flows on DAGs

将图中的给定配置改变为另一个配置被称为重配置问题。这些问题最近在算法图论的背景下得到了很大的兴趣。我们开始了以下的重构问题的理论研究：如何重新路由$k$不可分割的流量，在一定的需求，在一个容量限制的网络，从他们的当前路径到各自的新路径，在一个无故障的方式？这个问题立即得到应用，例如，在计算机网络的流量工程中。我们发现，这个问题一般是NP-难已经$k = 2$流，这促使我们研究重路由的最基本的一类流图，即DAG。有趣的是，我们发现，对于一般的$k$，决定是否存在一个不可分割的多商品流重路由计划，是NP-困难的，即使在DAG。这两个NP-困难证明都是非平凡的。我们的主要贡献是一个多项式时间（固定参数易处理）的算法来解决路由更新问题的有界数量的流DAG。在我们的算法的核心在于一个新的分解的流网络，使我们能够表达和解决流之间的重构依赖关系。

2017-07-28cs.CCcs.DMcs.DS

随机电路中的最长路径距离

Longest path distance in random circuits

研究了一类随机有向无圈图的距离性质。在DAG中，距离的许多自然概念都是可能的，因为节点对之间存在多条路径。回路的感兴趣距离是两个节点之间路径的最大长度。我们给出了随机DAG中典型深度（到根的距离）和最小深度的大数定律。这完成了由Devroye和Janson（2009+）发起的随机DAG中的自然距离研究（在均匀情况下）。我们还得到了分支随机游动的最小值的大偏差界，这可以看作是我们的主要结果的简化版本。

2012-05-28math.COmath.PR

时态有向无环图路径覆盖的算法与复杂度：Dilworth定理何时是动态的？

Algorithms and complexity for path covers of temporal DAGs: when is Dilworth dynamic?

本文研究时态DAG的最小时态路径覆盖（TPC）与时态不相交路径覆盖（TD-PC）的复杂度，证明多数场景下二者为NP难，同时给出部分特殊图类的多项式算法及以最大时间步加基础图树宽为参数的参数化算法。

2024-03-07cs.DMcs.DSmath.CO

拥塞最短路径的局部到全局定理

A Local-to-Global Theorem for Congested Shortest Paths

本文将有向无环图的局部到全局最短路径定理推广至无向图和有向图（往返路径），并据此证明当$k-c$为常数时无向图上的拥塞$k$-最短路径问题可在多项式时间内解决。

2023-06-27cs.CCcs.DMcs.DS

有向有序无环图的渐近分析与高效随机采样

Asymptotic analysis and efficient random sampling of directed ordered acyclic graphs

本文研究带顶点出边独立排序的新型有向无环图变体，提出可控/不可控边数的高效采样算法并推导其数量渐近等价式，还提出首个可完全控边的带标记DAG采样算法，满足应用需求。

2025-10-02cs.DMmath.CO

更多相关论文收起更多论文

有向图的燃烧数：界与计算复杂性

The Burning Number of Directed Graphs: Bounds and Computational Complexity

图的燃烧数是最近由Bonato等人提出的，虽然他们提到燃烧数可以自然地推广到有向图，但没有进一步的研究。在这里，我们介绍了有向图的燃烧，我们研究了相应的燃烧数的界限和找到这个数字的难度。我们从简单的算法和例子中推导出清晰的界限。难度问题产生了更令人惊讶的结果：寻找有向树的燃烧数是NP困难的，但FPT;然而，对于DAGs来说，它是W[2]-完全的。最后，我们给出了一个固定参数的算法来寻找燃烧数的有向图，与一个参数的启发，在系统发育网络的研究。

2020-01-10cs.DMmath.CO

有向不相交路径问题的放松：全局拥塞度量有助于

A relaxation of the Directed Disjoint Paths problem: a global congestion metric helps

在有向不相交路径问题中，我们给出一个有向图$D$和一组请求$\{(s_1, t_1), \ldots, (s_k, t_k)\}$，任务是找到一组成对顶点不相交路径$\{P_1, \ldots, P_k\}$，使得每个$P_i$是$D$中从$s_i$到$t_i$的路径。对于固定的$k=2$，该问题是NP完全的，对于DAG中的参数$k$，该问题是W[1]困难的.一些积极的结果是已知的限制下的输入有向图，如平面或有界有向树的宽度，或放宽的问题，如允许顶点拥塞。然而，对于一般的有向图，正的结果是罕见的。在这篇文章中，我们提出了一个新的全球拥塞度量的问题：我们只需要的路径是“足够不相交”，在这个意义上说，他们必须表现得很好，而不是在整个图，但在一个未指定的部分规定的参数的大小。也就是说，在不相交的足够有向路径问题中，给定一个$n$ -顶点有向图$D$，一组$k$请求，以及非负整数$d$和$s$，任务是找到连接请求的路径集合，使得$D$的至少$d$顶点出现在集合的至多$s$路径中.我们研究了这个问题的参数化的复杂性的一些选择的参数，包括有向树宽度的$D$。在其他的结果中，我们证明了这个问题是W[1]-困难的DAG参数$d$，并在积极的一面，我们给出了一个算法的时间$\mathcal{O}(n^{d+2} \cdot k^{d\cdot s})$和核的大小$d \cdot 2^{k-s}\cd…

2021-12-20cs.CCcs.DSmath.CO