公平对手的异步可计算性定理
分布式、并行与集群计算
2020-04-20 v1
摘要
本文通过仿射任务（即标准色细分第二次迭代的子复形），提出了一大类公平对手模型的简单拓扑刻画。我们证明，该类中模型的任务可计算性恰好由相应仿射任务的迭代所捕获。公平对手包括但不限于无等待、t-弹性、和 -并发模型。我们的结果推广并改进了所有先前关于模型解决分布式任务能力的拓扑刻画。
引用
@article{arxiv.2004.08348,
title = {An Asynchronous Computability Theorem for Fair Adversaries},
author = {Petr Kuznetsov and Thibault Rieutord and Yuan He},
journal= {arXiv preprint arXiv:2004.08348},
year = {2020}
}