Residential College | false |
Status | 已發表Published |
DETERMINISTIC NEAR-OPTIMAL APPROXIMATION ALGORITHMS FOR DYNAMIC SET COVER | |
Bhattacharya, Sayan1; Henzinger, Monika2; Nanongkai, Danupon3,4,5; Wu, Xiaowei6![]() ![]() | |
2023 | |
Source Publication | SIAM Journal on Computing
![]() |
ISSN | 0097-5397 |
Volume | 52Issue:5Pages:1132-1192 |
Abstract | In the dynamic minimum set cover problem, the challenge is to minimize the update time while guaranteeing a close-to-optimal min\{O(log n), f\} approximation factor. (Throughout, n, m, f, and C are parameters denoting the maximum number of elements, the number of sets, the frequency, and the cost range.) In the high-frequency range, when f = \Omega(log n), this was achieved by a deterministic O(log n)-approximation algorithm with O(f log n) amortized update time by Gupta et al. [Online and dynamic algorithms for set cover, in Proceedings STOC 2017, ACM, pp. 537-550]. In this paper we consider the low-frequency range, when f = O(log n), and obtain deterministic algorithms with a (1 + \epsilon)f-approximation ratio and the following guarantees on the update time. (1) O ((f/\epsilon) \cdot log(Cn)) amortized update time: Prior to our work, the best approximation ratio guaranteed by deterministic algorithms was O(f) of Bhattacharya, Henzinger, and Italiano [Design of dynamic algorithms via primal-dual method, in Proceedings ICALP 2015, Springer, pp. 206-218]. In contrast, the only result with O(f)-approximation was that of Abboud et al. [Dynamic set cover: Improved algorithms and lower bounds, in Proceedings STOC 2019, ACM, pp. 114-125], who designed a randomized (1 + \epsilon)f-approximation algorithm with O((f /\epsilon) \cdot log n) amortized update time. (2) O \bigl(f /\epsilon + (f/\epsilon) \cdot log C\bigr) amortized update time: This result improves the above update time bound for most values of f in the low-frequency range, i.e., f = o(log n). It is also the first result that is independent of m and n. It subsumes the constant amortized update time of Bhattacharya and Kulkarni [Deterministically maintaining a (2 + \epsilon)-approximate minimum vertex cover in O(1/\epsilon) amortized update time, in Proceedings SODA 2019, SIAM, pp. 1872-1885] for unweighted dynamic vertex cover (i.e., when f = 2 and C = 1). (3) O((f/\epsilon) \cdot log(Cn)) worst-case update time: No nontrivial worst-case update time was previously known for the dynamic set cover problem. Our bound subsumes and improves by a logarithmic factor the O(log n/\sansp\sanso\sansl\sansy(\epsilon)) worst-case update time for the unweighted dynamic vertex cover problem (i.e., when f = 2 and C = 1) of Bhattacharya, Henzinger, and Nanongkai [Fully dynamic approximate maximum matching and minimum vertex cover in O(log)n worst case update time, in Proceedings SODA 2017, SIAM, pp. 470-489]. We achieve our results via the primal-dual approach, by maintaining a fractional packing solution as a dual certificate. Prior work in dynamic algorithms that employs the primal-dual approach uses a local update scheme that maintains relaxed complementary slackness conditions for every set. For our first result we use instead a global update scheme that does not always maintain complementary slackness conditions. For our second result we combine the global and the local update schema. |
Keyword | Approximation Algorithms Dynamic Data Structure Set Cover |
DOI | 10.1137/21M1428649 |
URL | View the original |
Indexed By | SCIE |
Language | 英語English |
WOS Research Area | Computer Science ; Mathematics |
WOS Subject | Computer Science, Theory & Methods ; Mathematics, Applied |
WOS ID | WOS:001116719500002 |
Publisher | SIAM PUBLICATIONS3600 UNIV CITY SCIENCE CENTER, PHILADELPHIA, PA 19104-2688 |
Scopus ID | 2-s2.0-85175994572 |
Fulltext Access | |
Citation statistics | |
Document Type | Journal article |
Collection | THE STATE KEY LABORATORY OF INTERNET OF THINGS FOR SMART CITY (UNIVERSITY OF MACAU) |
Corresponding Author | Wu, Xiaowei |
Affiliation | 1.University of Warwick, Coventry, CV4 7AL, United Kingdom 2.Institute of Science and Technology Austria (ISTA), Vienna, 1090, Austria 3.Max Planck Institute for Informatics, Saarbrücken, 66123, Germany 4.Saarland University, Saarbrücken, 66123, Germany 5.KTH, Stockholm, 114 28, Sweden 6.University of Macau, Taipa, Macau, Macao |
Corresponding Author Affilication | University of Macau |
Recommended Citation GB/T 7714 | Bhattacharya, Sayan,Henzinger, Monika,Nanongkai, Danupon,et al. DETERMINISTIC NEAR-OPTIMAL APPROXIMATION ALGORITHMS FOR DYNAMIC SET COVER[J]. SIAM Journal on Computing, 2023, 52(5), 1132-1192. |
APA | Bhattacharya, Sayan., Henzinger, Monika., Nanongkai, Danupon., & Wu, Xiaowei (2023). DETERMINISTIC NEAR-OPTIMAL APPROXIMATION ALGORITHMS FOR DYNAMIC SET COVER. SIAM Journal on Computing, 52(5), 1132-1192. |
MLA | Bhattacharya, Sayan,et al."DETERMINISTIC NEAR-OPTIMAL APPROXIMATION ALGORITHMS FOR DYNAMIC SET COVER".SIAM Journal on Computing 52.5(2023):1132-1192. |
Files in This Item: | There are no files associated with this item. |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment