阿曼多·卡斯塔涅达;达米安·伊姆斯;塞尔吉奥·拉杰斯鲍姆;米歇尔·雷纳尔 更名比既定协议弱,但要实现完美更名:亚共识任务图。 (英语) Zbl 1353.68198号 Fernández-Baca,David(编辑),《拉丁语2012:理论信息学》。第十届拉丁美洲研讨会,2012年4月16日至20日,秘鲁阿雷基帕。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-29343-6/pbk)。计算机科学课堂讲稿7256145-156(2012)。 摘要:在无等待共享记忆模型中,大量注意力都集中在理解亚共识任务的相对力量上。已经确定了两个重要的亚共识任务族:(k)-集合一致性和(M)-重命名。当\(2\leq k\leq n-1)和\(n\leq M\leq 2n-2)时,这些任务比读/写寄存器更强大,但不足以解决两个进程的一致性问题。本文研究了集合协议中重命名的权力。它表明,在(n)过程系统中,(n)-重命名严格强于(n-1)-集协议,但不强于((n-2)-集一致。此外,\(n+1)\)-重命名不能解决偶数\(n-1)\)集协议。因此,在某些情况下,集合协议和重命名在相互执行的能力上是不可比拟的。关于整个系列,请参见[Zbl 1239.68008号]. 引用于4文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:决策任务;分布式可计算性;问题层次结构;重命名;\(k)-集合协议;对称性破坏;等待自由 PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}等人,Lect。注释计算。科学。7256145-156(2012年;兹比尔1353.68198) 全文: 内政部