论文标题
TDB:在数十亿个定向图中打破所有跳跃的周期
TDB: Breaking All Hop-Constrained Cycles in Billion-Scale Directed Graphs
论文作者
论文摘要
具有最小尺寸的反馈顶点是KARP的21个NP完整问题之一,该问题旨在打破图中的所有周期。此问题适用于各种领域,包括电子商务网络,数据库系统和程序分析。实际上,用户通常最关心的是啤酒花限制的周期(即,啤酒花数量有限的周期)。例如,在电子商务网络中,欺诈检测团队会以大量啤酒花的数量丢弃周期,因为它们的相关性较小,并且大小成倍增长。因此,在跳跃循环的背景下,即跳跃的周期覆盖范围问题,研究反馈顶点集问题是非常合理的。它涉及确定一组涵盖给定的有向图中所有跳跃周期的顶点。解决此问题的一种常见方法是使用自下而上的算法,在该算法中,它迭代地将覆盖顶点选择为结果集。基于此范式,现有作品主要关注顶点命令和几种启发式策略。在本文中,提出了完全相反的封面过程,并在其上提出了界限。令人惊讶的是,理论时期的复杂性和实际表现都得到了改善。
The Feedback vertex set with the minimum size is one of Karp's 21 NP-complete problems targeted at breaking all the cycles in a graph. This problem is applicable to a broad variety of domains, including E-commerce networks, database systems, and program analysis. In reality, users are frequently most concerned with the hop-constrained cycles (i.e., cycles with a limited number of hops). For instance, in the E-commerce networks, the fraud detection team would discard cycles with a high number of hops since they are less relevant and grow exponentially in size. Thus, it is quite reasonable to investigate the feedback vertex set problem in the context of hop-constrained cycles, namely hop-constrained cycle cover problem. It is concerned with determining a set of vertices that covers all hop-constrained cycles in a given directed graph. A common method to solve this is to use a bottom-up algorithm, where it iteratively selects cover vertices into the result set. Based on this paradigm, the existing works mainly focus on the vertices orders and several heuristic strategies. In this paper, a totally opposite cover process topdown is proposed and bounds are presented on it. Surprisingly, both theoretical time complexity and practical performance are improved.