arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2602.10337cs.DS
收藏

环需求下的在线二分

Online Bisection with Ring Demands

University of Wrocław(弗罗茨瓦夫大学);Tel-Aviv University(特拉维夫大学);Max Planck Institute for Informatics(马克斯·普朗克 informatics 研究所)

Mateusz Basiak, Marcin Bienkowski, Guy Even, Agnieszka Tatarczuk

AI总结:

本文提出了一种随机算法,通过资源增强实现环需求下的在线二分问题,竞争比为O(ε⁻³·log²n)。

摘要:

在线二分问题要求维护一个动态划分,将n个节点分成两个等大小的集群。请求按顺序到达,作为节点对。如果节点位于不同集群,算法支付单位成本。每次请求后,算法可以迁移节点到不同集群,每迁移一个节点支付单位成本。该问题模型数据中心资源分配,其中虚拟机必须分配到服务器,平衡通信成本与迁移开销。我们研究了请求被限制在环形网络边的变体,这是分布式机器学习中环-allreduce模式的抽象。尽管有此限制,该问题仍然具有挑战性,存在Ω(n)的确定性下界。我们提出了一种随机算法,通过允许集群大小不超过(3/4 + ε)·n的资源增强,达到O(ε⁻³·log²n)的竞争比。我们的方法将问题建模为具有受限状态空间的度量任务系统。通过限制切断边(即集群之间的环边)数量不超过2k,其中k=Θ(1/ε),我们将状态空间从指数级减少到多项式级(即n^O(k))。关键技术贡献是证明这种限制仅将成本增加一个因子O(k)。我们的算法通过应用Bubeck等人[SODA 2019]的随机MTS解决方案来实现。到目前为止,针对环需求的二分问题的最佳结果是Rajaraman和Wasim[ESA 2024]提出的O(n·logn)竞争比的确定性在线算法,适用于一般情况。尽管Räcke等人[SPAA 2023]针对环需求的先前工作实现了O(log³n)的多集群结果,但他们的方法使用了资源增强因子2+ε,使其不适用于二分问题。

英文摘要:

The online bisection problem requires maintaining a dynamic partition of $n$ nodes into two equal-sized clusters. Requests arrive sequentially as node pairs. If the nodes lie in different clusters, the algorithm pays unit cost. After each request, the algorithm may migrate nodes between clusters at unit cost per node. This problem models datacenter resource allocation where virtual machines must be assigned to servers, balancing communication costs against migration overhead. We study the variant where requests are restricted to edges of a ring network, an abstraction of ring-allreduce patterns in distributed machine learning. Despite this restriction, the problem remains challenging with an $Ω(n)$ deterministic lower bound. We present a randomized algorithm achieving $O(\varepsilon^{-3} \cdot \log^2 n)$ competitive ratio using resource augmentation that allows clusters of size at most $(3/4 + \varepsilon) \cdot n$. Our approach formulates the problem as a metrical task system with a restricted state space. By limiting the number of cut-edges (i.e., ring edges between clusters) to at most $2k$, where $k = Θ(1/\varepsilon)$, we reduce the state space from exponential to polynomial (i.e., $n^{O(k)}$). The key technical contribution is proving that this restriction increases cost by only a factor of $O(k)$. Our algorithm follows by applying the randomized MTS solution of Bubeck et al. [SODA 2019]. The best result to date for bisection with ring demands is the $O(n \cdot \log n)$-competitive deterministic online algorithm of Rajaraman and Wasim [ESA 2024] for the general setting. While prior work for ring-demands by Räcke et al. [SPAA 2023] achieved $O(\log^3 n)$ for multiple clusters, their approach employs a resource augmentation factor of $2+\varepsilon$, making it inapplicable to bisection.

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

↑