首页/论文/2006.01311

arXiv 2006.013112020-06-01cs.DC

最小$α$ -支配集的自稳定算法

Self-stabilizing Algorithm for Minimal $α$-Dominating Set

Badreddine Benreguia, Hamouma Moumen

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文提出了一种求最小$α$ -支配集的自稳定算法。$α$ -支配参数在自稳定范式中还没有使用过。在分布式守护进程下，对一个具有$n$节点和$m$边的任意图，该算法收敛于$O(nm)$步.仿真试验和数学证明表明了算法的有效性。

英文摘要：

A self-stabilizing algorithm for the minimal $α$-dominating set is proposed in this paper. The $α$-domination parameter has not used before in self-stabilization paradigm. Using an arbitrary graph with $n$ nodes and $m$ edges, the proposed algorithm converges in $O(nm)$ moves under distributed daemon. Simulation tests and mathematical proofs show the efficiency of the algorithm.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

自稳定算法的格线性扩展

Extending Lattice linearity for Self-Stabilizing Algorithms

在这篇文章中，我们专注于将格线性的概念扩展到自稳定程序。格线性允许节点使用关于其他节点状态的旧信息执行其操作，并且仍然保持正确性。它通过消除节点之间的同步需求来增加程序执行的并发性。的扩展-表示为最终格线性算法-进行与服务需求为基础的最小支配集（SDDS）问题，这是一个概括的支配集问题的一个例子，它收敛于$2n$移动。随后，我们还表明，同样的方法可以用于其他各种问题，包括最小顶点覆盖，最大独立集和图着色。

2021-10-18cs.DC

在高度动态分布系统中实现最小支配集

Enabling Minimal Dominating Set in Highly Dynamic Distributed Systems

我们解决的问题，计算一个最小的支配集在高度动态的分布式系统。我们假设弱连通性，即，网络可能在每个时刻断开，并且拓扑变化是不可预测的。我们对通信只做了很弱的假设：每个过程都可以无限地与其他过程通信（不一定是直接通信）。我们的贡献是三方面的。首先，我们提出了一个新的最小支配集的定义，适合于时变图的情况下，似乎比现有的更相关。接下来，我们提供了一个必要和充分的拓扑条件存在的一个确定性算法的最小支配集建设在我们的设置。最后，我们提出了一种新的衡量时变图的时间复杂度，以允许算法之间的公平比较。事实上，这种措施考虑到通信延迟归因于动态的图形，而不是算法。

2015-02-02cs.DC

自稳定分布式协同复位

Self-Stabilizing Distributed Cooperative Reset

自稳定是一种通用的容错方法，其特征在于系统在任何有限数量的瞬时故障之后最终恢复正确行为的能力。在本文中，我们提出了一个自稳定的重置算法工作在匿名网络。该算法以分布式非集中式方式重置网络，即，它是多启动器，因为每个检测到不一致的进程都可以启动重置。它也是协作的，因为它协调并发的重置执行以获得效率。我们的方法是通用的，因为我们的重置算法允许为各种问题和设置构建自稳定的解决方案。作为一个事实，我们表明，它适用于静态和动态规范，因为我们提出了有效的自稳定复位为基础的算法（1-最小）$f，g）-联盟（一般化的支配集问题）在确定的网络和匿名网络的一致性问题。请注意，后两个实例增强了现有技术。事实上，在前一种情况下，我们的解决方案比以前的解决方案更一般;而在后一种情况下，所提出的一致性算法的复杂性优于文献中以前的解决方案。

2019-04-19cs.DC

面向自稳定分布式算法的R(1)W(1)通信模型

The R(1)W(1) Communication Model for Self-Stabilizing Distributed Algorithms

Ryukoku University（近江学园大学）；Hiroshima University（广岛大学）；Kyushu Institute of Technology（九州工业大学）；Fukui University of Technology（福井工业大学）

本文提出R(1)W(1)通信执行模型，在该模型下设计了三类图问题的自稳定分布式算法，并给出可在同步消息传递模型中模拟该模型算法的转换器。

2025-10-06cs.DC

边缘和雾生态系统的自稳定控制平面

A Self-stabilizing Control Plane for the Edge and Fog Ecosystems

雾计算现在正在成为弥合传感设备之间的计算和连接差距的主导范例（也称为“事物”）和延迟敏感服务。然而，随着雾部署通过在高度动态和易失性的网络结构上积累大量互连的设备来扩展，现在比以往任何时候都更需要在出现故障时进行自我配置和自我修复。使用自稳定的流行方法，我们提出了一个分布式控制平面的容错框架，使雾服务，以应付和恢复一个非常广泛的故障模型。具体来说，我们的模型考虑了网络的不确定性，数据包丢失，节点故障停止故障，以及违反系统设计操作的假设，如系统状态的任意损坏。我们的自稳定算法保证在恒定数量的通信回合内自动恢复，而无需外部（人为）干预。为了展示该框架的有效性，所提出的自稳定算法过程的正确性证明伴随着一个全面的评估，该评估具有开放和可重复的测试平台，利用来自智能交通领域的真实数据。结果表明，我们的框架确保了雾生态系统在恒定时间内从故障中恢复，分析计算正确，而系统控制平面的开销则与物联网负载呈线性关系。

2020-11-04cs.DC

一种自稳定的最小k-k算法

A Self-Stabilizing Minimal k-Grouping Algorithm

考虑最小k-分组问题：给定图G=（V，E）和常数k，将图G划分为直径不大于k的子图，使得任意两个子图的并的直径大于k.我们给出了一个沉默的自稳定的异步分布式算法，这个问题的复合原子模型的计算，假设网络有唯一的进程标识符。我们的算法在弱公平守护进程下工作。时间复杂度（即，达到合法配置的轮数）是O（nD/k），其中n是网络中的进程数，\diam是网络的直径。每个进程的空间复杂度为O（（n + n_{false}）log n），其中n_{false}是错误标识符的数量，即，不匹配任何进程的标识符，但在初始配置时存储在至少一个进程的本地存储器中的标识符。我们的算法保证收敛后的组数至多为$2n/k+1$。我们还给出了一种新的组合技术，重复连接一个沉默的算法，我们称之为循环组合。

2019-07-25cs.DC

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

极小弱$\mathcal{ST}$ -可达有向无圈图的自稳定构造

Self-Stabilizing Construction of a Minimal Weakly $\mathcal{ST}$-Reachable Directed Acyclic Graph

我们提出了一个自稳定算法来构造一个最小的弱$\mathcal{ST}$ -可达有向无环图（DAG），它适用于无线网络上的消息路由。给定一个任意的简单连通无向图$G=(V, E)$和两组节点，即节点$\mathcal{S} (\subset V)$和目标$\mathcal{T} (\subset V)$，$G$的有向子图$\vec{G}$是$G$上的弱$\mathcal{ST}$ -可达DAG，如果$\vec{G}$是一个DAG，并且每个发送者都能到达至少一个目标，并且每个目标都能从$\vec{G}$中的至少一个发送者到达。我们称$G$上的弱$\mathcal{ST}$ -可达DAG $\vec{G}$是极小的，如果$\vec{G}$的任意真子图不再是弱$\mathcal{ST}$ -可达DAG.此DAG是原始（或强）$\mathcal{ST}$可达DAG的宽松版本，其中每个目标都可以从每个发送方到达。这是因为强$\mathcal{ST}$可达的DAG $G$并不总是存在;即使在$|\mathcal{S}|=|\mathcal{T}|=2$的情况下，某些图也没有强$\mathcal{ST}$可达的DAG。另一方面，对于任意的$|\mathcal{S}|$和$|\mathcal{T}|$，该算法总是构造出一个弱$\mathcal{ST}$可达的DAG.此外，所提出的算法是自稳定的，即使…

2020-11-18cs.DC

最终格线性算法

Eventually Lattice-Linear Algorithms

本文提出最终格线性算法，通过仅在状态空间子集上诱导格结构，为最小支配集、最小顶点覆盖、极大独立集、图着色和2-支配集等问题设计了自稳定算法，并证明其收敛速度优于现有方法。

2024-01-13cs.DCcs.DS

通信优化稳定性sur Canaux non Fiables et non FIFO

Communication Optimalement Stabilisante sur Canaux non Fiables et non FIFO

自稳定协议具有恢复合法行为的能力，无论其初始状态如何。大多数的作品在自稳定假设共享内存模型或使用可靠的FIFO通道的通信。在这篇文章中，我们感兴趣的自稳定系统使用有界但不可靠和非FIFO通道。我们提出了一个稳定的通信协议与最佳故障恢复。更详细地说，该协议模拟了一个可靠的FIFO通道，并确保了最小数量的丢失，复制，创建和重新排序的消息。

2011-04-20cs.DC

连通顶点覆盖和团分解问题的自稳定算法

Self-stabilizing algorithms for Connected Vertex Cover and Clique decomposition problems

在许多无线网络中，既没有固定的物理主干，也没有集中的网络管理。这种网络的节点必须自组织，以维持用于路由消息的虚拟骨干。此外，网络的任何节点都可以是恶意攻击的先验来源。因此，一方面主干网必须是容错的，另一方面它可以是有用的，以监测所有的网络通信，以确定攻击尽快。我们感兴趣的最小\emph{Connected Vertex Cover}问题，一个推广的经典最小顶点覆盖问题，它允许获得一个连接的骨干。最近，Delbot等人~ \cite{DelbotLP13}提出了一种新的集中式算法，具有恒定的近似比$2$。在本文中，我们提出了一个分布式和自稳定版本的算法具有相同的近似保证。据作者所知，这是第一个分布式和容错算法，这个问题。所考虑的问题的解决方法是基于一个连接的最小团分区的建设。因此，我们还设计了第一个分布式自稳定算法，这是独立的利益。

2014-08-09cs.DC

紧凑确定性自稳定领导者选举：健谈的指数优势

Compact Deterministic Self-Stabilizing Leader Election: The Exponential Advantage of Being Talkative

本文主要研究领导选举问题的紧致确定性自稳定解。当要求协议是\emph{silent}时（即，当通信内容在任何执行期间从某个时间点起保持固定时），对于参与领导者选举的每个节点，存在存储器的Ω（\log n）位的下限（其中n表示系统中的节点数）。这个下界甚至在环中也成立。我们提出了一个新的确定性（非沉默）自稳定协议的n节点环，只使用O（\log \log n）每个节点的内存位，并稳定在O（n \log^2 n）轮。我们的协议有几个有吸引力的功能，使其适合于实际用途。首先，通信模型与现有编译器用于真实网络的模型相吻合。第二，环的大小（或该大小的任何上限）不需要被任何节点知道。第三，节点标识符可以具有各种大小。最后，除了弱公平调度器之外，没有同步假设。因此，我们的研究结果表明，也许令人惊讶的是，交易沉默指数改善的记忆空间并没有在稳定时间或最小假设的高成本。

2014-01-20cs.DC

Run for Cover: 通过移动智能体求解支配集

Run for Cover: Dominating Set via Mobile Agents

本文研究使用移动智能体寻找图的最小支配集，提出两种计算最小支配集的算法（分别适用于初始聚集和任意分布情况）及一个 $\ln(\Delta)$ 近似算法，为机器人守卫、覆盖等应用提供基础。

2023-09-05cs.DC

通过移动代理实现最小支配集的线性时间构造改进

Improved Linear-Time Construction of Minimal Dominating Set via Mobile Agents

Indian Statistical Institute（印度统计研究院）

本文提出通过移动代理在同步环境下以线性时间构造最小支配集，并在此过程中构建生成树和选举领导者。

2025-11-25cs.DCcs.DScs.MA

Walker能定位线段的中点吗？

Can Walker Localize The Middle Point of A Line-segment?

本文提出了一个简单的定位问题。问题是线段上的{ \em oblivious}步行者是否可以在观察方向的{ \em有限}步中定位线段的中点（即，左或右）以及到最近端点的距离。该问题是由具有{\em有限可见性}的{ \em自主移动机器人}的{\em自稳定}定位问题引起的，是分布式计算中广泛关注的抽象模型。与表面相反，这个简单的问题是否可解，以及是否尚未解决，这远非小事。本文研究了具有最小松弛的三种变式问题，并给出了它们的自稳定算法。我们还证明了一个简单的双边对称算法的不可能性定理。

2019-01-07cs.DC

早期适应趋势：使用被动通信的自稳定信息传播

Early Adapting to Trends: Self-Stabilizing Information Spread using Passive Communication

如何在系统中高效、可靠地传播信息是分布式计算中最基本的问题之一。最近，受生物学场景的启发，一些作品专注于确定在错误条件下传播信息所需的最小通信资源。在这里，我们研究了Boczkowski，Korman和Natale在[SODA 2017]中介绍的自稳定比特传播问题。这个问题考虑了一个由n个代理人组成的全连接网络，有一个二元世界的观点，其中一个被称为正确的。在任何给定的时间，每个代理持有一个意见位作为其公共输出。种群包含一个知道哪种观点是正确的源代理。这个代理人接受正确的意见，并在整个执行过程中始终坚持。我们认为，基本的Pandem模型的通信，其中每个代理观察相对较少的随机选择的代理在每一轮。非源代理的目标是快速收敛于正确的意见，尽管具有任意的初始配置，即，以自我稳定的方式。一旦人们接受了正确的观点，他们就应该永远坚持下去。受动物观察他人行为并对其做出反应的生物学场景的启发，我们专注于被动通信的极端约束模型，该模型假设当观察另一个代理时，可以提取的唯一信息是该代理的意见位。我们证明，这个问题可以解决在一个多对数在n轮的概率很高，而在每一轮的代理人的对数数量进行采样。以前的作品解决了这个问题更快，使用更少的样本，但他们这样做是通过解耦的消息发送代理从他们的输出意见，因此不适合被动通信的框架。此外，这些工作使用复杂的递归算法，具有不太可能被生物实体使用的精确时钟。相比之下，我们提出的算法…

2022-03-22cs.DC

异步发光移动机器人对能量受限移动机器人的高效自稳定仿真

Efficient Self-stabilizing Simulations of Energy-Restricted Mobile Robots by Asynchronous Luminous Mobile Robots

Tokyo Institute of Technology（东京工业大学）；Hosei University（法政大学）

本研究针对自主移动机器人群体的模型计算等价性问题，提出用Ssynch/Asynch模式的LUMI机器人仿真Rsynch模式LUMI机器人的自稳定协议，降低了Ssynch仿真的颜色需求，还实现了n=2时Asynch的最优仿真。

2024-02-04cs.DCcs.RO