Chromatic subdivision of a simplicial complex
暂无分享,去创建一个
We prove that the protocol complex of the immediate snapshot read/write complex for n+ 1 processors is a simplicial subdivision of the input complex. Our proof is purely geometric, using the Schlegel diagram construction.
[1] Maurice Herlihy,et al. The topological structure of asynchronous computability , 1999, JACM.
[2] G. Ziegler,et al. Basic properties of convex polytopes , 1997 .
[3] Dmitry N. Kozlov,et al. Combinatorial Algebraic Topology , 2007, Algorithms and computation in mathematics.
[4] Hagit Attiya,et al. Distributed Computing: Fundamentals, Simulations and Advanced Topics , 1998 .