linear me approxima ons for domina ng sets and
play

Linear-(me Approxima(ons for Domina(ng Sets and Independent - PowerPoint PPT Presentation

Linear-(me Approxima(ons for Domina(ng Sets and Independent Domina(ng Sets in Unit Disk Graphs Celina Miraglia Herrera de Figueiredo Guilherme Dias da


  1. 100 ¡meters ¡freestyle ¡world ¡record ¡ 1995 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡2012 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡Alexander ¡Popov ¡(RUSSIA) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡Cesar ¡Cielo ¡(BRASIL) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡48.21 ¡s ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡46.91 ¡s ¡ Alexander ¡Popov ¡(RUSSIA) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡César ¡Cielo ¡(BRAZIL) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡48.21 ¡s ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡46.91 ¡s ¡ ¡ ¡ ¡ -­‑ ¡2.6% ¡

  2. Domina(ng ¡sets ¡in ¡unit ¡disk ¡graphs ¡  Vast literature on approximation algorithms: (Marathe, Breu, Hunt III, Ravi & Rosenkrantz 1995) (Hunt III, Marathe, Radhakrishnan, Ravi, Rosenkrantz & Stearns 1998)* (Nieberg, Hurink & Kern 2008)* (Gibson & Pirwani 2010)*– (general) disk graphs (Erlebach & Mihalák 2010) – weighted version (Hurink & Nieberg 2011)*– independent dominating set version (Zou, Wang, Xu, Li, Du, Wan & Wu 2011) – weighted version (De, Das & Nandy 2011) O( n + m ) graph-based 5-approximation (MBHRR’95) *PTAS  O( n 225 ) graph-based 5-approximation (NHK’08) O( n 9 ) geometric 4-approximation (DDN’11) O( n 18 ) geometric 3-approximation (DDN’11) ¡ ¡ ¡ ¡ -­‑ ¡2.2% ¡ ¡4.888… ¡ O( n + m ) graph-based ,888 -approximation Our ¡contribu(on: ¡ ¡4.888… ¡ O( n log n ) geometric ,888 -approximation (FFMS’12)

  3. Coronas ¡and ¡cores ¡ Let D be a maximal independent set of graph G ( V ,E). A corona consists of exactly 5 (five) vertices of D presenting a common neighbor in V \ D , called a . corona ¡ ¡ ¡ ¡

  4. Coronas ¡and ¡cores ¡ Let D be a maximal independent set of graph G ( V ,E). A corona consists of exactly 5 (five) vertices of D presenting a common neighbor in V \ D , called a . A corona C can be corona ¡ ¡ • reducible, if it has a core c s.t. D \ C U { c } is still a dominating set of G; ¡ ¡ or • irreducible, otherwise.

  5. Reducible ¡and ¡irreducible ¡coronas ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡reducible ¡corona ¡

  6. Reducible ¡and ¡irreducible ¡coronas ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡reducible ¡corona ¡

  7. Reducible ¡and ¡irreducible ¡coronas ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡reducible ¡corona ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡irreducible ¡corona ¡ ¡

  8. Witnesses ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡reducible ¡corona ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡irreducible ¡corona ¡ ¡ witness ¡

  9. Witnesses ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡reducible ¡corona ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡irreducible ¡corona ¡ ¡ witness ¡

  10. Witnesses ¡ Let C be a corona of graph G ( V , E ), and let c be a core of C . A vertex w is a witness of c iff cw ∉ E , and N D [ w ] ⊆ C . ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡reducible ¡corona ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡irreducible ¡corona ¡ ¡ witness ¡

  11. 4.888…-­‑approxima(on ¡ 1. Obtain a maximal independent set D 2. While there is a reducible corona C in D 3. Update D by reducing C 4. Return D Input: adjacency lists (graph) Time: O( n + m ) Input: center coordinates in Real RAM Model Time: O( n log n )

  12. 4.888…-­‑approxima(on ¡ 1. Obtain a maximal independent set D 2. While there is a reducible corona C in D 3. Update D by reducing C 4. Return D Input: adjacency lists (graph) Time: O( n + m ) Input: center coordinates in Real RAM Model Time: O( n log n ) Lemma: a maximal independent set D with no reducible coronas is a 4.888…-approximation for the minimum (independent) dominating set.

  13. 4.888…-­‑approxima(on ¡ 1. Obtain a maximal independent set D 2. While there is a reducible corona C in D 3. Update D by reducing C 4. Return D

  14. 4.888…-­‑approxima(on ¡ 1. Obtain a maximal independent set D 2. While there is a reducible corona C in D 3. Update D by reducing C 4. Return D

  15. 4.888…-­‑approxima(on ¡ 1. Obtain a maximal independent set D 2. While there is a reducible corona C in D 3. Update D by reducing C 4. Return D

  16. 4.888…-­‑approxima(on ¡ 1. Obtain a maximal independent set D 2. While there is a reducible corona C in D 3. Update D by reducing C 4. Return D

  17. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no reducible coronas (algorithm output)

  18. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution)

  19. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution)

  20. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡

  21. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡

  22. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡

  23. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡

  24. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡

  25. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡

  26. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1/2 ¡ 1 ¡ 1 ¡

  27. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1/2 ¡ 1 ¡ 1 ¡

  28. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1/2 ¡ 1 ¡ 1 ¡

  29. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1/2 ¡ 1 ¡ 1 ¡

  30. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1/2 ¡ 1 ¡ 1 ¡

  31. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1/2 ¡ 1 ¡ 1 ¡

  32. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  33. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  34. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  35. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  36. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  37. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  38. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  39. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  40. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  41. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1/3 ¡ 1 ¡ 1/3 ¡ 1 ¡ 1/3 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  42. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution)

  43. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1/3 ¡ 1 ¡ 1/3 ¡ 1 ¡ 1/3 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  44. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡ 1 ¡

  45. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) 1/3 ¡ 1 ¡ 1/3 ¡ 1 ¡ 1/3 ¡ 1 ¡ 1/2 ¡ 1 ¡ 1/2 ¡ 1 ¡

  46. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution)

  47. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution)

  48. 4.888…-­‑approxima(on ¡ D – a maximal independent set with no ¡ ¡ ¡ ¡| D | ¡ ¡ ¡ ¡ ¡| D *| ¡ ≤ ¡ ¡?? ¡ reducible coronas (algorithm output) D* – a minimum dominating set (optimum solution) average ¡of ¡ f (.) ¡

  49. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡

  50. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ C* ¡ 4,888… ¡< ¡ f ¡ ( c *) ¡≤ ¡ ¡5 ¡

  51. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ reliever ¡ C* ¡ r* ¡ 4,888… ¡< ¡ f ¡ ( c *) ¡≤ ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ f ¡ ( r *) ¡≤ ¡4 ¡

  52. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ reliever ¡ C* ¡ r* ¡ 4,888… ¡< ¡ f ¡ ( c *) ¡≤ ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ f ¡ ( r *) ¡≤ ¡4 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5

  53. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ 1 ¡ 1 ¡ 1 ¡ C* ¡ 1 ¡ 1 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5

  54. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ corona ¡ ¡ ¡ ¡ ¡ C ¡ ¡ C* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5

  55. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ corona ¡ ¡ ¡ ¡ ¡ C ¡ ¡ C* ¡ w ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡N D [ w ] ¡ ⊆ ¡ C

  56. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ corona ¡ ¡ ¡ ¡ ¡ C ¡ ¡ C* ¡ r* ¡ w ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡N D [ w ] ¡ ⊆ ¡ C

  57. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ corona ¡ ¡ ¡ ¡ ¡ C ¡ ¡ reliever ¡ C* ¡ r* ¡ 4,888… ¡< ¡ f ¡ ( c *) ¡≤ ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ f ¡ ( r *) ¡≤ ¡4 ¡ w ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡N D [ w ] ¡ ⊆ ¡ C ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5

  58. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ corona ¡ ¡ ¡ ¡ ¡ C ¡ ¡ reliever ¡ C* ¡ r* ¡ 4,888… ¡< ¡ f ¡ ( c *) ¡≤ ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ f ¡ ( r *) ¡≤ ¡4 ¡ w ¡ f ( r *) ¡> ¡4 ¡(hypothesis) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡N D [ w ] ¡ ⊆ ¡ C ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5

  59. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ corona ¡ ¡ ¡ ¡ ¡ C ¡ ¡ reliever ¡ C* ¡ r* ¡ 4,888… ¡< ¡ f ¡ ( c *) ¡≤ ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ f ¡ ( r *) ¡≤ ¡4 ¡ w ¡ f ( r *) ¡> ¡4 ¡(hypothesis) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡N D [ r* ] ¡ ∩ ¡ C = ∅ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡N D [ w ] ¡ ⊆ ¡ C

  60. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ corona ¡ K 1,6 ¡ ¡ ¡ ¡ ¡ C ¡ ¡ reliever ¡ C* ¡ r* ¡ 4,888… ¡< ¡ f ¡ ( c *) ¡≤ ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ f ¡ ( r *) ¡≤ ¡4 ¡ w ¡ f ( r *) ¡> ¡4 ¡(hypothesis) ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡N D [ r* ] ¡ ∩ ¡ C = ∅ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡N D [ w ] ¡ ⊆ ¡ C

  61. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ corona ¡ ¡ ¡ ¡ ¡ C ¡ ¡ reliever ¡ C* ¡ r* ¡ 4,888… ¡< ¡ f ¡ ( c *) ¡≤ ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( r *) ¡≤ ¡4 ¡ w ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c *) ¡= ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡N D [ w ] ¡ ⊆ ¡ C

  62. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ reliever ¡ C* ¡ r* ¡ f ¡ ( c *) ¡= ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ f ¡ ( r *) ¡≤ ¡4

  63. 4.888…-­‑approxima(on ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f : D * ⟶ (0, 5] D ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ | D | ¡ ¡ ¡ ¡ ¡ ¡ ¡= ¡ ¡ ¡average ¡of ¡ f ¡ (.) ¡over ¡D* ¡ ¡≤ ¡ ¡4,888… ¡ ¡ D* ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡| D *| ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡f ¡ ( c i *) ¡= ¡ ¡5, ¡ ¡ ¡ ¡ i ¡= ¡1, ¡2, ¡… ¡? reliever ¡ C 1 * ¡ C* ¡ r* ¡ r* ¡ f ¡ ( c *) ¡= ¡ ¡5 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ f ¡ ( r *) ¡≤ ¡4 C 2 * ¡ C 3 * ¡ C 4 * ¡ . ¡ . ¡ . ¡

  64. 4.888…-­‑approxima(on ¡ f ¡ ( c 4 *) ¡= ¡ ¡5 ¡ f ¡ ( c 1 *) ¡= ¡ ¡5 ¡ C 1 * ¡ C 4 * ¡ w 1 ¡ w 4 ¡ f ¡ ( c 2 *) ¡= ¡ ¡5 ¡ C 2 * ¡ C 3 * ¡ w 2 ¡ w 3 ¡ f ¡ ( c 3 *) ¡= ¡ ¡5 ¡ reliever ¡ r* ¡ f ¡ ( r *) ¡≤ ¡ ¡4 ¡

  65. Some ¡geometric ¡lemmas ¡ Lemma 1 (Pál 1921): If a set of points P has diameter 1, then P can be enclosed by a circle of radius 1 / . 3 Lemma 2 (Fodor 2007): The radius of the smallest circle enclosing 13 points with mutual distance ≥ 1 is (1 + ) / 2. 5 Lemma 3 (Fejes Tóth 1953): Every packing of two or more π congruent disks in a convex region has density at most / . 12

  66. Some ¡geometric ¡lemmas ¡ Lemma 1 (Pál 1921): If a set of points P has diameter 1, then P can be enclosed by a circle of radius 1 / . 3 Lemma 2 (Fodor 2007): The radius of the smallest circle enclosing 13 points with mutual distance ≥ 1 is (1 + ) / 2. 5 Lemma 3 (Fejes Tóth 1953): Every packing of two or more π congruent disks in a convex region has density at most / . 12 Lemma 4 (FFMS 2012): The closed neighborhood of a clique in a unit disk graph contains at most 12 independent vertices. Lemma 5 (FFMS 2012): The closed d -neighborhood of a vertex π in a unit disk graph contains at most (2 d + 1) 2 / 12 independent vertices, for integer d ≥ 1. Lemma 6 (FFMS 2012): If G is a (4, L )-pendant unit disk graph, then L ≤ 8. ¡

  67. Establishing ¡the ¡approxima(on ¡factor ¡ ¡ f ¡ ( c 4 *) ¡= ¡ ¡5 ¡ f ¡ ( c 1 *) ¡= ¡ ¡5 ¡ C 1 * ¡ C 4 * ¡ w 1 ¡ w 4 ¡ f ¡ ( c 2 *) ¡= ¡ ¡5 ¡ C 2 * ¡ C 3 * ¡ w 2 ¡ w 3 ¡ f ¡ ( c 3 *) ¡= ¡ ¡5 ¡ reliever ¡ r* ¡ f ¡ ( r *) ¡≤ ¡ ¡4 ¡

  68. Establishing ¡the ¡approxima(on ¡factor ¡ f ¡ ( c 4 *) ¡= ¡ ¡5 ¡ f ¡ ( c 1 *) ¡= ¡ ¡5 ¡ C 1 * ¡ C 4 * ¡ w 1 ¡ w 4 ¡ f ¡ ( c 2 *) ¡= ¡ ¡5 ¡ C 2 * ¡ C 3 * ¡ w 2 ¡ w 3 ¡ f ¡ ( c 3 *) ¡= ¡ ¡5 ¡ reliever ¡ r* ¡ f ¡ ( r *) ¡≤ ¡ ¡4 ¡ N D [ r *] ¡= ¡4 ¡

  69. Establishing ¡the ¡approxima(on ¡factor ¡ Lemma 1 (Pál 1921): If a set of points P has diameter 1, then P can be enclosed by a circle of radius 1 / . 3 Lemma 2 (Fodor 2007): The radius of the smallest circle enclosing 13 points with mutual distance ≥ 1 is (1 + ) / 2. 5 Lemma 3 (Fejes Tóth 1953): Every packing of two or more π congruent disks in a convex region has density at most / . 12 Lemma 4 (FFMS 2012): The closed neighborhood of a clique in a unit disk graph contains at most 12 independent vertices. Lemma 5 (FFMS 2012): The closed d -neighborhood of a vertex π in a unit disk graph contains at most (2 d + 1) 2 / 12 independent vertices, for integer d ≥ 1. Lemma 6 (FFMS 2012): If G is a (4, L )-pendant unit disk graph, Then L ≤ 8. ¡

  70. Establishing ¡the ¡approxima(on ¡factor ¡ f ¡ ( c 4 *) ¡= ¡ ¡5 ¡ f ¡ ( c 1 *) ¡= ¡ ¡5 ¡ C 1 * ¡ C 4 * ¡ w 1 ¡ w 4 ¡ f ¡ ( c 2 *) ¡= ¡ ¡5 ¡ C 2 * ¡ C 3 * ¡ w 2 ¡ w 3 ¡ f ¡ ( c 3 *) ¡= ¡ ¡5 ¡ reliever ¡ r* ¡ f ¡ ( r *) ¡≤ ¡ ¡4 ¡ N D [ r *] ¡= ¡4 ¡

  71. Establishing ¡the ¡approxima(on ¡factor ¡ f ¡ ( c 4 *) ¡= ¡ ¡5 ¡ f ¡ ( c 1 *) ¡= ¡ ¡5 ¡ C 1 * ¡ C 4 * ¡ w 1 ¡ w 4 ¡ f ¡ ( c 2 *) ¡= ¡ ¡5 ¡ C 2 * ¡ C 3 * ¡ w 2 ¡ w 3 ¡ f ¡ ( c 3 *) ¡= ¡ ¡5 ¡ r* ¡ f ¡ ( r *) ¡≤ ¡ ¡4 ¡ N D [ r *] ¡= ¡4 ¡

  72. Establishing ¡the ¡approxima(on ¡factor ¡ w 1 ¡ w 4 ¡ w 2 ¡ w 3 ¡ r* ¡ N D [ r *] ¡= ¡4 ¡

  73. Establishing ¡the ¡approxima(on ¡factor ¡ f ¡ ( c 4 *) ¡= ¡ ¡5 ¡ f ¡ ( c 1 *) ¡= ¡ ¡5 ¡ C 1 * ¡ C 4 * ¡ w 1 ¡ w 4 ¡ f ¡ ( c 2 *) ¡= ¡ ¡5 ¡ C 2 * ¡ C 3 * ¡ w 2 ¡ w 3 ¡ f ¡ ( c 3 *) ¡= ¡ ¡5 ¡ r* ¡ f ¡ ( r *) ¡≤ ¡ ¡4 ¡ N D [ r *] ¡= ¡4 ¡

  74. Establishing ¡the ¡approxima(on ¡factor ¡ f ¡ ( c 4 *) ¡= ¡ ¡5 ¡ f ¡ ( c 1 *) ¡= ¡ ¡5 ¡ C 1 * ¡ C 4 * ¡ w 1 ¡ w 4 ¡ f ¡ ( c 2 *) ¡= ¡ ¡5 ¡ C 2 * ¡ C 3 * ¡ w 2 ¡ w 3 ¡ f ¡ ( c 3 *) ¡= ¡ ¡5 ¡ reliever ¡ r* ¡ f ¡ ( r *) ¡≤ ¡ ¡4 ¡ N D [ r *] ¡= ¡4 ¡ ¡ ¡ ¡ ¡ ⇒ ¡ ¡ ¡at ¡most ¡ 8 ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡ ¡cores ¡per ¡reliever ¡

  75. Establishing ¡the ¡approxima(on ¡factor ¡ f ¡ ( c 4 *) ¡= ¡ ¡5 ¡ f ¡ ( c 1 *) ¡= ¡ ¡5 ¡ C 1 * ¡ C 4 * ¡ w 1 ¡ w 4 ¡ f ¡ ( c 2 *) ¡= ¡ ¡5 ¡ C 2 * ¡ C 3 * ¡ w 2 ¡ w 3 ¡ f ¡ ( c 3 *) ¡= ¡ ¡5 ¡ reliever ¡ r* ¡ f ¡ ( r *) ¡≤ ¡ ¡4 ¡ N D [ r *] ¡ ∈ ¡{3} ¡

  76. Establishing ¡the ¡approxima(on ¡factor ¡ f ¡ ( c 4 *) ¡= ¡ ¡5 ¡ f ¡ ( c 1 *) ¡= ¡ ¡5 ¡ C 1 * ¡ C 4 * ¡ w 1 ¡ w 4 ¡ f ¡ ( c 2 *) ¡= ¡ ¡5 ¡ C 2 * ¡ C 3 * ¡ w 2 ¡ w 3 ¡ f ¡ ( c 3 *) ¡= ¡ ¡5 ¡ reliever ¡ r* ¡ f ¡ ( r *) ¡≤ ¡ ¡4 ¡ N D [ r *] ¡ ∈ ¡{2,3} ¡

  77. Establishing ¡the ¡approxima(on ¡factor ¡ f ¡ ( c 4 *) ¡= ¡ ¡5 ¡ f ¡ ( c 1 *) ¡= ¡ ¡5 ¡ C 1 * ¡ C 4 * ¡ w 1 ¡ w 4 ¡ f ¡ ( c 2 *) ¡= ¡ ¡5 ¡ C 2 * ¡ C 3 * ¡ w 2 ¡ w 3 ¡ f ¡ ( c 3 *) ¡= ¡ ¡5 ¡ reliever ¡ r* ¡ f ¡ ( r *) ¡≤ ¡ ¡4 ¡ N D [ r *] ¡ ∈ ¡{1,2,3} ¡

Recommend


More recommend