Residential Collegefalse
Status已發表Published
DETERMINISTIC NEAR-OPTIMAL APPROXIMATION ALGORITHMS FOR DYNAMIC SET COVER
Bhattacharya, Sayan1; Henzinger, Monika2; Nanongkai, Danupon3,4,5; Wu, Xiaowei6
2023
Source PublicationSIAM Journal on Computing
ISSN0097-5397
Volume52Issue: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.

KeywordApproximation Algorithms Dynamic Data Structure Set Cover
DOI10.1137/21M1428649
URLView the original
Indexed BySCIE
Language英語English
WOS Research AreaComputer Science ; Mathematics
WOS SubjectComputer Science, Theory & Methods ; Mathematics, Applied
WOS IDWOS:001116719500002
PublisherSIAM PUBLICATIONS3600 UNIV CITY SCIENCE CENTER, PHILADELPHIA, PA 19104-2688
Scopus ID2-s2.0-85175994572
Fulltext Access
Citation statistics
Document TypeJournal article
CollectionTHE STATE KEY LABORATORY OF INTERNET OF THINGS FOR SMART CITY (UNIVERSITY OF MACAU)
Corresponding AuthorWu, Xiaowei
Affiliation1.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 AffilicationUniversity 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.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Bhattacharya, Sayan]'s Articles
[Henzinger, Monika]'s Articles
[Nanongkai, Danupon]'s Articles
Baidu academic
Similar articles in Baidu academic
[Bhattacharya, Sayan]'s Articles
[Henzinger, Monika]'s Articles
[Nanongkai, Danupon]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Bhattacharya, Sayan]'s Articles
[Henzinger, Monika]'s Articles
[Nanongkai, Danupon]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.