全局变换的 accretive 计算
分布式、并行与集群计算
2021-08-17 v2 多智能体系统
范畴论
元胞自动机与格子气
摘要
全局变换构成了一个范畴框架，将图变换适配用以描述给定数据结构上的全同步规则系统。本文关注可被描述为预层（presheaf）的数据结构，并研究此类同步规则系统的计算方面。为获得在线算法，在每个同步步内的子步骤于语义层面被完整研究。这引出了 accretive 规则系统的定义以及刻画这些系统的局部准则。最后给出了针对此类系统的在线计算算法。
引用
@article{arxiv.2103.09636,
title = {Accretive Computation of Global Transformations},
author = {Alexandre Fernandez and Luidnel Maignan and Antoine Spicher},
journal= {arXiv preprint arXiv:2103.09636},
year = {2021}
}