Common Contracts

Abstract

July 19th, 2023

• Filed
  July 19th, 2023

Note that if in Equation 2 we have S0 = {u} then the user in Equation 4 must be u. Finally, we can connect the cost of adding a set to the set system St to its MinCover with respect to St−1. Indeed, for S ∈ St, if u is the user required to exist by Equation 4, then by Equations 2, 3, and 4 it holds that