集合共识：由具有推论的运行集合所刻画

（集合）共识对象是必要的吗？本文给出的答案是否定的。我们表明，可以通过限制所考虑的运行集合来替代共识对象的可用性。具体而言，我们专注于即时快照模型（IIS）的运行集合，并在给定该对象的情况下识别出这一受限的 IIS 运行子集。我们进一步表明，给定一个 $(m,k)$-集合共识（即在 $n$ 个处理器的系统中为 $m$ 个处理器提供 $k$-集合共识的对象，其中 $n>m$），我们无需使用对象的精确能力，而只需使用其有效的累积集合共识能力。例如，当 $n=3, m=2, k=1$ 且所有 3 个处理器均活跃时，我们在 3 个处理器之间仅使用 2-集合共识，仿佛 2-处理器共识不可用。我们持续此过程直到至少一个处理器获得输出。我们表明，这为涉及共识对象的算法设计提出了一个新方向。