Professional Documents
Culture Documents
Oct 4
Oct 4
1
How close to optimal?
|𝐽𝐽∗ | |𝐽𝐽𝐺𝐺 | ? 𝑚𝑚
Small Large
Upper
bound
𝑛𝑛𝑡𝑡 → No. of uncovered points after 𝑡𝑡 iterations
So 𝑛𝑛0 = 𝐵𝐵 (𝑛𝑛) 𝑛𝑛0 > 𝑛𝑛1 > 𝑛𝑛2 > ⋯ > 𝑛𝑛 𝑇𝑇
After some finite (T) iterations, we hope to get this small enough!
𝑛𝑛𝑡𝑡 � <1
𝑡𝑡=𝑇𝑇
𝑛𝑛𝑡𝑡
Property: 𝑛𝑛𝑡𝑡+1 ≤ 𝑛𝑛𝑡𝑡 −
|𝐽𝐽∗ |
𝑛𝑛𝑡𝑡
In the (𝑡𝑡 + 1)𝑡𝑡𝑡 iteration, at least points are covered by
|𝐽𝐽∗ |
the strategy of choosing the largest uncovered set
2
Proof: 𝐵𝐵
Covered 𝑛𝑛𝑡𝑡
|𝐽𝐽∗ | many sets cover the entire 𝐵𝐵, that is, the 𝑛𝑛 elements
Therefore, one set among the |𝐽𝐽∗ | must have at least
𝑛𝑛/|𝐽𝐽∗ | elements!
As at most all 𝐽𝐽∗ sets cover the 𝑛𝑛𝑡𝑡 elements, one set
must have at least 𝑛𝑛𝑡𝑡 /|𝐽𝐽∗ | of the 𝑛𝑛𝑡𝑡 elements!