即时快照读/写模型的标准协议复合体
Standard protocol complexes for the immediate snapshot read/write model
摘要：
在本文中，我们考虑一族抽象单纯复形，我们称之为立即快照复形。它们的定义是由理论上的分布式计算激发的。具体而言，这些复合体在一般即时快照执行模型中作为协议复合体出现。为了定义和分析即时快照复合物，我们使用见证结构的新语言。我们发展了严格的数学理论的见证结构，并用它来证明几个组合以及拓扑性质的即时快照复合物。特别地，我们证明了这些复合物是单纯同胚的单纯。
英文摘要：
In this paper we consider a family of abstract simplicial complexes which we call immediate snapshot complexes. Their definition is motivated by theoretical distributed computing. Specifically, these complexes appear as protocol complexes in the general immediate snapshot execution model. In order to define and to analyze the immediate snapshot complexes we use the novel language of witness structures. We develop the rigorous mathematical theory of witness structures and use it to prove several combinatorial as well as topological properties of the immediate snapshot complexes. In particular, we prove that these complexes are simplicially homeomorphic to simplices.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
