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} ¡

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend