瓦片自组装中的分布式共识
分布式、并行与集群计算
2010-07-20 v3 神经与进化计算
摘要
实验室研究表明，容错的形式理论对于利用纳米级自组装作为计算媒介至关重要。多位研究者已表达了一种直觉，即自组装现象与分布式计算领域相关。本文形式化了部分这种直觉。我们构建了能够模拟某些分布式系统中无等待共识问题求解的瓦片组装系统。（对于潜在的未来工作，这或许可以允许分析和管理瓦片组装中的结合错误，并在分布式计算中产生积极结果，因为我们的瓦片组装模型中的“阻塞”类似于分布式计算模型中的崩溃故障。）我们还定义了一个对“传统”共识问题的强化版本，以明确分布式计算文献中通常隐含的对共识算法的期望。我们证明，这个强化共识问题的解仅能由二维瓦片组装模型模拟两个进程的情况，而三维瓦片组装模型可以模拟任意数量进程的分布式系统中该问题的解。
引用
@article{arxiv.0902.3631,
title = {Distributed Agreement in Tile Self-Assembly},
author = {Aaron Sterling},
journal= {arXiv preprint arXiv:0902.3631},
year = {2010}
}
备注
The extended abstract of this paper won the Best Student Paper Award at DNA 15. The current version has been accepted for publication in Natural Computing