随机调度覆盖算法

• randomized scheduling coverage algorithm