arXiv 1310.21182013-10-08cs.DS

基于不相交集并的控制子搜索

Finding Dominators via Disjoint Set Union

Wojciech Fraczak, Loukas Georgiadis, Andrew Miller, Robert E. Tarjan

摘要：

在有向图中寻找支配者的问题有许多重要的应用，特别是在计算机代码的全局优化中。虽然存在线性和近线性时间算法，但它们使用复杂的数据结构。我们开发了一个算法，发现支配者，只使用一个“静态树”不相交集数据结构，除了简单的列表和地图。该算法在近似线性或线性时间内运行，这取决于不相交集数据结构的实现。我们给出了几个版本的算法，包括一个计算循环嵌套信息（需要在许多种全局代码优化），可以进行自我证明，使计算的支配者的正确性是很容易验证。

英文摘要：

The problem of finding dominators in a directed graph has many important applications, notably in global optimization of computer code. Although linear and near-linear-time algorithms exist, they use sophisticated data structures. We develop an algorithm for finding dominators that uses only a "static tree" disjoint set data structure in addition to simple lists and maps. The algorithm runs in near-linear or linear time, depending on the implementation of the disjoint set data structure. We give several versions of the algorithm, including one that computes loop nesting information (needed in many kinds of global code optimization) and that can be made self-certifying, so that the correctness of the computed dominators is very easy to verify.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

并行不交集并

Concurrent Disjoint Set Union

我们开发和分析并发算法的不相交的集合联合（union-find）问题在共享内存，异步多处理器模型的计算，与CAS（比较和交换）或DCAS（双比较和交换）作为同步原语。我们给出了一个确定性的有界无等待算法，使用DCAS和有$O(m \cdot (\log(np/m + 1) + α(n, m/(np)))$的总工作界的问题与$n$元素和$m$操作解决的$p$过程，其中$α$是一个功能逆的阿克曼函数。我们给出了两个只使用CAS的随机算法，并且在期望上有相同的工作界。即使调度器是对抗的，第二随机算法的分析也是有效的。我们的DCAS和随机算法每次操作都要执行$O(\log n)$步骤，DCAS算法是最差情况，随机算法是高概率。我们的工作和步长边界只在$p$中以几何方式增长，使我们的算法真正具有可扩展性。我们证明了一类对称算法，包括我们的，没有更好的步骤或工作界是可能的。

2020-03-02cs.DCcs.DS

不交集并的一个随机并行算法

A Randomized Concurrent Algorithm for Disjoint Set Union

不交集并问题是数据结构中的一个基本问题，有着广泛的应用。我们扩展了一个已知的有效的顺序算法，这个问题得到一个简单而有效的并发等待免费的算法上运行的异步并行随机存取机（APRAM）。对我们的结果至关重要的是随机化的使用。在一定的独立性假设下，对于一个有n个元素，m个操作和p个过程的问题实例，我们的算法做Theta（m（alpha（n，m/（np））+ log（np/m + 1）预期的工作，其中期望是在算法所做的随机选择上，alpha是Ackermann函数的函数逆。此外，每个操作都需要O（log n）的步骤，具有高概率。我们的算法是显着更简单，更有效地比以前的算法提出的安德森和沃尔。在我们的独立性假设下，我们的算法实现了几乎线性的加速应用程序中，所有或大部分的进程可以保持忙碌。

2016-12-05cs.DCcs.DS

用按秩并策略构造的并查找树的识别是NP完全的

Recognizing Union-Find trees built up using union-by-rank strategy is NP-complete

不交集森林是由并查找树组成的数据结构，由于其效率而具有广泛的实际应用。尽管他们是众所周知的，没有确切的结构特征，这些树是已知的（这样的特征存在于不使用路径压缩构建的联合树）的情况下，假设联合的秩合并策略。在本文中，我们通过一个简单的推操作提供了这样一个特征，并表明，决策问题是否一个给定的树（连同其节点的秩信息）是一个联合查找树是NP完全的，补充了我们以前的类似结果的union-by-size策略。

2017-04-24cs.DS

识别并查找树是NP完全的

Recognizing Union-Find trees is NP-complete

不交集森林是由联合查找树组成的数据结构，由于其效率而具有广泛的实际应用。尽管它们是众所周知的，但这些树没有确切的结构特征是已知的（这种特征存在于不使用路径压缩构造的并集树）。在本文中，我们提供了这样一个特征，并表明，决策问题是否一个给定的树是一个联合查找树是$\NP$ -完全的。

2017-01-05cs.CCcs.DS

寻找最快的并发并查找算法

In Search of the Fastest Concurrent Union-Find Algorithm

并集问题是计算机科学中的基本问题之一，在序列情况下，人们从理论和实践两个角度对它进行了深入的研究。最近，有越来越多的兴趣在分析这个问题的并发情况下，已经提出了一些渐近有效的算法。然而，到目前为止，很少有人知道并发的Union-Find的实际性能。这项工作解决了这一差距。我们评估和分析了多种并发Union-Find算法和优化策略的性能，这些算法和策略适用于各种平台（Intel、AMD和ARM）和工作负载（社交、随机和道路网络，以及集成到更复杂的算法中）。我们首先观察到，由于有限的计算成本，诱导缓存未命中的数量是现有算法的性能的关键决定因素。我们引入新的技术，以减少这种成本，通过存储节点的优先级隐式和使用普通的读取和写入的方式，不影响算法的正确性。最后，我们表明，联合查找实现是一个有趣的应用程序transmittance内存（TM）：我们发现的最快的算法变体之一是一个顺序的，使用粗粒度锁定与锁省略优化，以减少同步成本，提高可扩展性。

2019-11-14cs.DS

可分解为大导出匹配的几乎完全图及其应用

Nearly Complete Graphs Decomposable into Large Induced Matchings and their Applications

我们描述了两种结构的（非常）密集的图，这是边不相交的工会大{ \em诱导}匹配。第一种构造展示了具有${N \choose 2}-o(N^2)$边的$N$顶点上的图，其可以被分解成成对不相交的诱导匹配，每个诱导匹配的大小为$N^{1-o(1)}$。第二种构造提供了由两个图覆盖完全图$K_N$的所有边，每个图是至多$N^{2-δ}$诱导匹配的边不相交并集，其中$δ> 0.058$。这（以强有力的形式）反驳了Meshulam的一个猜想，大大改进了Birk，Linial和Meshulam在共享信道上通信的结果，并（稍微）扩展了Håstad和Wigderson对Samorodnitsky和Trevisan的线性图检验的分析。此外，我们的结构解决了Vempala关于有向Steiner树问题的候选舍入方案的组合问题。

2011-11-08cs.DScs.ITmath.CO

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

在线不交集覆盖问题及其应用

The Online Disjoint Set Cover Problem and its Applications

给定$n$元素的论域$U$和$U$的子集集合$\mathcal{S}$，最大不相交集合覆盖问题（DSCP）是将$\mathcal{S}$划分为尽可能多的集合覆盖，其中集合覆盖被定义为其并集是$U$的子集的集合。我们认为在线DSCP，其中的子集到达一个接一个（可能是在一个对手选择的顺序），并必须可替换地分配到一些分区到达的目标，最大限度地减少竞争比。在线DSCP算法$A$的竞争比被定义为最优离线算法获得的不相交集合覆盖数与$A$在所有输入上获得的不相交集合覆盖数的最大比。提出了一种求解具有竞争比$\ln n$的DSCP的在线算法。然后，我们显示了一个下界的$Ω(\sqrt{\ln n})$的竞争比任何在线DSCP算法。在线不交集合覆盖问题在实际中有着广泛的应用，包括在线众包问题、无线传感器网络中的在线覆盖生命期最大化问题以及在线资源分配问题。

2014-11-21cs.DScs.NI

求内部点不相交长有向路的复杂性

On the complexity of finding internally vertex-disjoint long directed paths

对于两个正整数$k$和$\ell$，$(k \times \ell)$ -主轴是$k$两两内部顶点不相交的有向路径与两个顶点$u$和$v$之间的$\ell$弧的并集。我们感兴趣的（参数化）的复杂性的几个问题，包括在决定是否一个给定的有向图包含一个细分的主轴，推广最大流和最长路径问题。我们得到了以下复杂性二分法：对于一个固定的$\ell \geq 1$，找到最大的$k$，使输入有向图$G$包含一个细分的$(k \times \ell)$ -主轴是多项式时间可解的，如果$\ell \leq 3$，和NP-困难，否则。我们特别强调找到具有两条路径的纺锤体，并提出了在ETH下渐近最优的FPT算法。这些算法基于拟阵中的代表族技术，并使用颜色编码作为子程序。最后，我们研究了输入图是非循环图的情况，并给出了几个算法和硬度结果。

2017-06-27cs.CCcs.DS