通过击中集关联L-弹性与无等待性

t-弹性条件规定，一个n进程程序仅当至少有n-t个进程正确时才需要取得进展。换言之，活跃集（即若其中所有进程均正确则要求取得进展的进程集集合）是所有至少包含n-t个进程的集合。我们证明，任意活跃集集合L解决分布式任务的能力与L的最小击中集（即与每个活跃集都有非空交集的最小基数进程子集）紧密相关。因此，寻找L的计算能力是NP完全的。对于允许参与进程采纳彼此输入或输出值的无色任务这一特例，我们通过一个简单的模拟证明，一个任务能够被L-弹性地解决，当且仅当它能够被(h-1)-弹性地解决，其中h是L的最小击中集的大小。对于一般任务，我们针对一种有限的弱可解性概念刻画了任务的L-弹性可解性：在L中某个集合的所有进程都正确的每次执行中，必须为L中某个（可能不同的）参与集合中的每个进程产生输出。给定一个任务T，我们构造另一个任务T_L，使得T是弱L-弹性可解的，当且仅当T_L是弱无等待可解的。