Code-Based Scheduling (cont…)

Lower-bound minimum throughput re-defined:

(3)

(4)

Constrains to guarantee  uniqueness re-defined:

If (4) is re-written as: