首页/论文/0906.3483

arXiv 0906.34832009-06-18cs.DScs.DCcs.DM

分布式系统中若干包路由问题的高效离线算法

Efficient Offline Algorithmic Techniques for Several Packet Routing Problems in Distributed Systems

Mugurel Ionut Andreica, Nicolae Tapus

发表信息：: Acta Universitatis Apulensis - Mathematics-Informatics, no. 18, pp. 111-128, 2009. (ISSN: 1582-5329)

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

在本文中，我们考虑几个问题，在分布式系统中的包路由。每个问题都是用图论的术语来制定的，对于每个问题，我们都提出了有效的，新颖的算法技术来计算最优解。我们处理的主题如下：瓶颈路径（树）、具有非线性成本的最优路径、具有多个优化目标的最优路径、在一系列网络链路故障下维护聚合连接性信息，以及若干其他路径。

英文摘要：

In this paper we consider several problems concerning packet routing in distributed systems. Each problem is formulated using terms from Graph Theory and for each problem we present efficient, novel, algorithmic techniques for computing optimal solutions. We address topics like: bottleneck paths (trees), optimal paths with non-linear costs, optimal paths with multiple optimization objectives, maintaining aggregate connectivity information under a sequence of network link failures, and several others.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

网格环境下更好的在线确定性分组路由

Better Online Deterministic Packet Routing on Grids

我们考虑以下基本路由问题。对手在源处任意输入数据包，每个数据包具有任意目的地。流量受到链路容量和缓冲区大小的限制，数据包可能随时被丢弃。路由算法的目标是最大化吞吐量，即，将尽可能多的数据包发送到目的地。我们的主要结果是一个$O\left(\log n\right)$竞争确定性算法的$n$节点线网络（即，$1$维网格），仅要求缓冲器能够存储至少$5$分组，并且链路能够每步递送至少$5$分组。我们注意到，即使对于随机算法，即使在允许大缓冲区和宽链路的情况下，$O(\log n)$也是已知的最佳比率。对于具有恒定大小缓冲区和恒定容量链路的此问题，先前最好的确定性算法是$O(\log^5 n)$ -竞争性算法。我们的算法的工作原理类似于准入控制算法，如果一个数据包在到达时没有立即丢弃，那么它就被“接受”并保证被传递。我们还展示了如何将我们的算法扩展到任何恒定维网格的polylog竞争算法。

2015-01-25cs.DS

O（congestion + dilation）包路由的一个简单证明

A simpler proof for O(congestion + dilation) packet routing

在存储转发路由问题中，数据包必须沿着给定的路径路由，使得最新数据包的到达时间最小化。Leighton，Maggs和Rao的一个突破性的结果表明，这总是可以在时间O（拥塞+膨胀）内完成，其中拥塞是使用边的最大路径数，膨胀是路径的最大长度。然而，分析是相当《双城之战》和复杂的，并通过迭代改进不可行的调度来工作。在这里，我们提供了一个更容易理解的分析，它是基于条件期望。像[LMR 94]一样，我们更简单的分析也保证了恒定大小的边缘缓冲区就足够了。此外，这是一个开放的问题，例如由Wiese陈述，是否存在任何情况下，所有调度都需要至少（1 + k）*（拥塞+扩张）步骤，对于常数k> 0。我们肯定地回答这个问题，利用概率结构。

2012-07-02cs.DMcs.DSmath.CO

一个分组路由模型对流的收敛性

Convergence of a Packet Routing Model to Flows Over Time

动态流量建模的数学方法大致可以分为两类：离散包路由模型和连续流模型。尽管对这两类模型进行了非常重要的研究活动，但迄今为止对这些方法之间的联系知之甚少。在这项工作中，我们建立这种连接，指定一个（竞争）的数据包路由模型，这是离散的流量和时间，并证明其收敛性的深入研究模型的流量随着时间的推移与确定性排队。更准确地说，我们证明了收敛过程的限制，当减少数据包的大小和时间步长的数据包路由模型，构成了一个流随着时间的推移与多个商品。此外，我们表明，收敛结果意味着存在的近似平衡的竞争版本的数据包路由模型。这是显着的利益，因为精确的纯纳什均衡，类似于几乎所有其他竞争模型，不能保证在多商品设置。此外，介绍了确定性排队的分组路由模型是非常面向应用的，因为它是基于代理的传输模拟MATSim的网络加载模块的基础上。由于目前的工作是第一次数学形式化的模拟，它提供了一个理论基础和可证明的数学陈述MATSim的环境。

2022-12-08cs.DScs.GTmath.OC

多跳无线网络中最优包无关稳定路由

Optimal Packet-oblivious Stable Routing in Multi-hop Wireless Networks

稳定性是表征网络性能的一个重要问题，在过去的十年里，它已经成为一个主要的研究课题。粗略地说，如果在任何一个时刻等待被发送的数据包（积压）的数量是有界的，则通信网络系统被称为是稳定的。在本文中，我们介绍了一个新的家庭的组合结构，我们称之为普遍强选择器，用于提供一组传输时间表。利用这些结构，结合一些已知的排队策略，我们提出了一个包不经意路由算法，它是工作在不使用任何全局拓扑信息，并保证一定的注入率的稳定性。我们表明，该协议是渐近最优的注入率的稳定性得到保证。此外，我们还介绍了一个包无关路由算法，保证稳定性较高的流量。该算法是最佳的注射速率，其稳定性得到保证。然而，它需要使用系统拓扑的一些全局信息。

2020-05-05cs.DScs.NI

有界缓冲区网格中的在线分组路由

Online Packet-Routing in Grids with Bounded Buffers

我们提出了确定性和随机算法的竞争网络吞吐量模型\cite{AKOR}的网格中的在线数据包路由问题。在这个模型中，网络中的节点具有有限的缓冲区和有限的链路容量。该模型的目标是最大化吞吐量，即，发送的数据包的数量。我们的确定性算法是第一个在线算法与$O\left(\log^{O(1)}(n)\right)$竞争比单向网格（其中$n$表示网络的大小）。确定性在线算法是集中式的，并处理具有最后期限的数据包。该算法适用于各种范围的缓冲区大小和通信链路容量的值。特别地，它适用于范围$[3 \ldots \log n]$中的缓冲器大小和通信链路容量。我们的随机算法实现了预期的竞争比$O(\log n)$的单向线。该算法适用于宽范围的缓冲区大小和通信链路容量。特别地，它也适用于单位大小的缓冲区和单位容量的链路。该算法改进了Azar和Zachut \cite{AZ}的最佳前$O(\log^2 n)$ -竞争比。

2014-08-30cs.DS

有大小限制的缓冲区中带值和截止期的数据包调度

Scheduling Packets with Values and Deadlines in Size-bounded Buffers

出于在互联网中提供服务质量的差异化服务，我们认为网络交换机的缓冲区管理算法。我们研究了一个多缓冲区模型。网络交换机由多个大小有限的缓冲区组成，以便在任何时候，驻留在每个单独缓冲区中的数据包的数量都不能超过其容量。数据包随着时间的推移到达网络交换机;它们有值、截止日期和指定的缓冲区。在每个时间步中，最多允许发送一个未决数据包，并且该数据包可以来自任何缓冲区。目标是最大化在各自的截止日期前发送的数据包的总价值。已经为该模型提供了9.82竞争在线算法（Azar和Levy. SWAT 2006），但是还没有已知的离线算法。本文研究了多缓冲区模型的离线设置问题。我们的贡献包括一些最佳离线算法的模型的一些变种。每个变体都有其独特而有趣的算法特征。这些离线算法有助于我们在设计在线算法时更好地理解模型。

2010-05-24cs.DS

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

不考虑网络稳定性的路由

Routing Regardless of Network Stability

我们研究的有效性，在这个模型中的广泛的类下一跳的喜好过滤的数据包路由。这里，每个节点v具有过滤列表D（v），该过滤列表D（v）由它不希望其分组路由通过的节点组成。可接受的路径（那些避开过滤列表中节点的路径）根据下一跳进行排名，即路径开始的v的邻居。在消极的一面，我们提出了一个强大的不可逼近的结果。对于基数最多为1的过滤列表，给定一个保证存在平衡的网络，对于任何常数ε>0，在O（n^{1-ε}）的因子内近似可以路由到的最大数据包数量是NP困难的。在积极的一面，我们给出的算法表明，在两个基本的情况下，每个数据包最终将路由概率为1。第一种情况是当每个节点的过滤列表只包含其自身时，即D（v）={v}。此外，在控制平面达到平衡之前，每个分组将以正概率被路由。第二种情况是当所有过滤列表都为空时，即$\mathcal{D}(v)=\emptyset$。因此，即使节点不关心它们的数据包是否循环，一个数据包也有可能路由！此外，即使控制平面没有平衡，每个分组也将以概率1路由。

2013-01-15cs.DS

有向图上局部故障转移路由的改进算法

Improved Algorithms for Local Failover Routing on Directed Graphs

研究有向图上局部故障转移路由，通过改进算法缩小了数据包头可重写位上下界差距，给出了不同故障弧数量下所需可重写位数量，证明该方案在故障弧数量约小于节点数量时近乎最优。

2026-07-14cs.DS

无通信的分布式多仓库路径选择

Distributed Multi-Depot Routing without Communications

我们考虑并制定了一类分布式多仓库路由问题，其中服务器访问一组请求，目的是最小化所有服务器的总行程。这些问题分为两类：分布式离线路由问题，其中所有需要访问的请求从一开始就知道;分布式在线路由问题，其中请求逐渐增加。我们的配方的一个关键和新颖的特点是，服务器之间的通信是不允许的，因此提出了一个有趣的和具有挑战性的问题：什么样的性能可以实现的最佳可能的解决方案相比，从一个全知的规划完美的通信能力？最坏情况（在所有可能的请求集实例上）的性能度量由近似比（离线情况）和竞争比（在线情况）给出。我们的第一个结果表明，在线和离线的问题是有效的等效：对于相同的请求集实例，近似比和竞争比的差异最多为2的附加因子，无论在线的情况下的发布日期。因此，我们可以将注意力限制在离线问题上。对于离线问题，我们证明了由Voronoi分区给出的近似比是m（服务器的数量）。对于两类车辆段配置，当车辆段形成一条线并且当车辆段对的距离之间的比率由次线性函数f（m）上界时（即，f（m）= o（m）），分别给出了次线性逼近比为O（logm）和Θ（f（m））的划分方案.我们还讨论了我们的公式中几个有趣的开放问题：特别是，我们的初始结果（关于两个故意选择的仓库类别）如何塑造我们对开放问题的猜想。

2014-12-05cs.DCcs.DS

跳数约束不经意路由

Hop-Constrained Oblivious Routing

我们证明了存在一个不经意的路由方案，是$\mathrm{poly}(\log n)$ -竞争方面的$(congestion + dilation)$，从而解决了一个众所周知的问题不经意路由。具体地说，考虑一个无向网络和一组数据包，每个数据包都有自己的源和目的地。目标是为每个分组选择从其源到其目的地的路径，以便最小化$(congestion + dilation)$，定义如下：扩张是最大路径跳长，拥塞是包括任何单个边缘的路径的最大数目。路由方案忽略并随机地为每个数据包选择一条路径，而与其他数据包（的存在）无关。尽管有这种遗忘，所选路径具有在最佳可能值的$\mathrm{poly}(\log n)$因子内的$(congestion + dilation)$。更确切地说，对于任何整数跳限制的$h$，该不经意路由方案选择长度至多为$h \cdot \mathrm{poly}(\log n)$的路径，并且与经由长度至多为$h$跳的路径可实现的最佳可能的$congestion$相比，在$congestion$方面是$\mathrm{poly}(\log n)$竞争性的。这些路径可以在多项式时间内采样。这个结果可以被看作是Räcke [FOCS 2002，STOC 2008]著名的不经意路由结果的模拟，这些结果在$congestion$方面是$O(\log n)$ -竞争性的，但在$dilati…

2022-10-21cs.DS

无动态标头的单位圆盘图路由

Routing in Unit Disk Graphs without Dynamic Headers

令$V\subset\mathbb{R}^2$为平面中的一组$n$位点。$V$的单位圆盘图$DG(V)$是顶点集为$V$的图，其中两个点$v$和$w$相邻当且仅当它们的欧氏距离至多为$1$ .我们为$DG(V)$开发了一个紧凑的路由方案。路由方案通过将标签$l(v)$分配给$V$中的每个站点$v$来预处理$DG(V)$。之后，对于任何两个站点$s$和$t$，该方案必须能够如下地将分组从$s$路由到$t$：给定当前顶点$r$的标签（最初，$r=s$）和目标顶点$t$的标签，该方案确定$r$的邻居$r'$。然后，该分组被转发到$r'$，并且该过程继续，直到该分组到达其期望的目标$t$。源$s$和目标$t$之间的结果路径被称为$s$和$t$的路由路径。路由方案的延伸是路由路径的总欧几里德长度与$DG(V)$中任意两个站点$s, t \in V$之间的最短路径的最大比率。我们表明，对于任何给定的$\varepsilon>0$，我们可以构建一个路由方案$DG(V)$直径$D$，实现拉伸$1+\varepsilon$和标签大小$O(\log D\log^3n/\log\log n)$（常数在$O$ -记法取决于$\varepsilon$）。在过去，已经提出了几个路由方案的单位盘图。我们的方案是第一个实现多对数标签大小和任意小的拉伸，而无需在数据包中存储任何额外的信息。

2020-02-25cs.CGcs.DS

有交换代价的在线和离线贪心算法

Online and Offline Greedy Algorithms for Routing with Switching Costs

受大规模数据中心中高速电路交换机使用的启发，我们考虑电路交换机调度问题。在这个问题中，我们给出了成对服务器之间的需求，目标是在每个时间步调度服务器之间的匹配，同时最大化总的满足需求。这个调度问题的关键在于，一旦从一个匹配转移到不同的匹配，就会引起固定的延迟$δ$，在此期间不能发送数据。对于离线版本的问题，我们提出了一个$(1-\frac{1}{e}-ε)$近似比（任何常数$ε>0$）。由于自然的线性规划松弛的问题有一个无界的完整性差距，我们采用了一种混合的方法，结合组合贪婪与随机舍入的不同合适的线性规划。对于在线版本的问题，我们提出了一个（双标准）的$ ((e-1)/(2e-1)-ε)$竞争比（任何恒定的$ε>0$），超过时间的附加因子$O(\fracδε)$。我们注意到，没有单一标准的在线算法是可能的。令人惊讶的是，我们通过将在线版本减少到离线版本来获得结果。

2019-05-07cs.DS

多边形域中的布线

Routing in Polygonal Domains

我们考虑的问题，通过多边形域$P$与$n$顶点和$h$孔的可见性图的路由数据包。我们可以对$P$进行预处理，以获得$P$的每个顶点的标签和路由表。然后，我们必须能够在$P$的任意两个顶点$p$和$q$之间路由数据分组，其中每个步骤必须仅使用目标节点$q$的标签和当前节点的路由表。对于任何固定的$\varepsilon > 0$，我们提出了一种路由方案，总是实现路由路径的长度超过最短路径的一个因素，最多$1 + \varepsilon$。标签具有$O(\log n)$位，路由表的大小为$O((\varepsilon^{-1}+h)\log n)$。预处理时间为$O(n^2\log n)$。对于简单多边形，它可以改进为$O(n^2)$。

2018-08-02cs.CGcs.DS