Topology the immediate snapshot complexes
Topology the immediate snapshot complexes
复制标题
拓扑即时快照复合体
DOI：
10.1016/j.topol.2014.08.032
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Dmitry N.
中科院分区：
文献类型：
--
作者：
Kozlov;Dmitry N.
即时快照复合体是在分布式计算的理论背景下引入的协议复合体的组合模型。在以前的工作中，我们已经开发了一种形式语言的见证结构，以定义和分析这些复杂的。本文研究了直接快照复形的拓扑结构。已知这些配合物总是纯的，并且它们是伪流形。在这里，我们证明了两个进一步独立的拓扑性质。首先，我们表明，立即快照复合物是可折叠的。其次，我们证明了这些复形同胚于闭球。具体地说，给定任何直接快照复形P（r <$），我们证明存在同胚φ：Δ| supp r <$|− 1→ P（r <$），使得φ（σ）是P（r <$）的子复形，只要σ是单纯复形Δ中的单纯形|supp r <$|-1。
The immediate snapshot complexes were introduced as combinatorial models for the protocol complexes in the context of theoretical distributed computing. In the previous work we have developed a formal language of witness structures in order to define and to analyze these complexes. In this paper, we study topology of immediate snapshot complexes. It is known that these complexes are always pure and that they are pseudomanifolds. Here we prove two further independent topological properties. First, we show that immediate snapshot complexes are collapsible. Second, we show that these complexes are homeomorphic to closed balls. Specifically, given any immediate snapshot complex P (r¯), we show that there exists a homeomorphism φ: Δ| supp r¯|− 1→ P (r¯), such that φ (σ) is a subcomplex of P (r¯), whenever σ is a simplex in the simplicial complex Δ| supp r¯|− 1.
登录
查看更多内容
影响因子：
1.3
作者：
D. Kozlov
通讯作者：
D. Kozlov
即时快照读/写模型的标准协议复合体
DOI：
--
发表时间：
2014
期刊：
arXiv.org
影响因子：
--
作者：
D. Kozlov
通讯作者：
D. Kozlov
视图复合体的拓扑
DOI：
--
发表时间：
2013
期刊：
arXiv.org
影响因子：
--
作者：
D. Kozlov
通讯作者：
D. Kozlov
立即原子快照和快速重命名
DOI：
--
发表时间：
1993
期刊：
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
影响因子：
--
作者：
E. Borowsky;E. Gafni
通讯作者：
E. Gafni
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
D. Kozlov
通讯作者：
D. Kozlov