{"title":"Upper and lower bounds for fully retroactive graph problems","scopus_import":"1","quality_controlled":"1","main_file_link":[{"url":"https://arxiv.org/abs/1910.03332","open_access":"1"}],"oa_version":"Preprint","language":[{"iso":"eng"}],"intvolume":" 12808","day":"09","publisher":"Springer Nature","year":"2021","date_published":"2021-08-09T00:00:00Z","alternative_title":["LNCS"],"conference":{"start_date":"2021-08-09","end_date":"2021-08-11","name":"WADS: Workshop on Algorithms and Data Structures","location":"Virtual"},"doi":"10.1007/978-3-030-83508-8_34","author":[{"full_name":"Henzinger, Monika H","first_name":"Monika H","orcid":"0000-0002-5008-6530","last_name":"Henzinger","id":"540c9bbd-f2de-11ec-812d-d04a5be85630"},{"first_name":"Xiaowei","full_name":"Wu, Xiaowei","last_name":"Wu"}],"_id":"11771","abstract":[{"lang":"eng","text":"Classic dynamic data structure problems maintain a data structure subject to a sequence S of updates and they answer queries using the latest version of the data structure, i.e., the data structure after processing the whole sequence. To handle operations that change the sequence S of updates, Demaine et al. [7] introduced retroactive data structures (RDS). A retroactive operation modifies the update sequence S in a given position t, called time, and either creates or cancels an update in S at time t. A fully retroactive data structure supports queries at any time t: a query at time t is answered using only the updates of S up to time t. While efficient RDS have been proposed for classic data structures, e.g., stack, priority queue and binary search tree, the retroactive version of graph problems are rarely studied.\r\n\r\nIn this paper we study retroactive graph problems including connectivity, minimum spanning forest (MSF), maximum degree, etc. We show that under the OMv conjecture (proposed by Henzinger et al. [15]), there does not exist fully RDS maintaining connectivity or MSF, or incremental fully RDS maintaining the maximum degree with π(π1βπ) time per operation, for any constant π>0. Furthermore, We provide RDS with almost tight time per operation. We give fully RDS for maintaining the maximum degree, connectivity and MSF in πΜ (π) time per operation. We also give an algorithm for the incremental (insertion-only) fully retroactive connectivity with πΜ (1) time per operation, showing that the lower bound cannot be extended to this setting.\r\n\r\nWe also study a restricted version of RDS, where the only change to S is the swap of neighboring updates and show that for this problem we can beat the above hardness result. This also implies the first non-trivial dynamic Reeb graph computation algorithm."}],"publication":"17th International Symposium on Algorithms and Data Structures","publication_status":"published","type":"conference","extern":"1","volume":12808,"date_updated":"2023-02-10T08:31:50Z","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"isbn":["9783030835071"],"eisbn":["9783030835088"]},"external_id":{"arxiv":["1910.03332"]},"page":"471β484","status":"public","oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","article_processing_charge":"No","date_created":"2022-08-08T13:01:29Z","month":"08","citation":{"apa":"Henzinger, M. H., & Wu, X. (2021). Upper and lower bounds for fully retroactive graph problems. In 17th International Symposium on Algorithms and Data Structures (Vol. 12808, pp. 471β484). Virtual: Springer Nature. https://doi.org/10.1007/978-3-030-83508-8_34","ista":"Henzinger MH, Wu X. 2021. Upper and lower bounds for fully retroactive graph problems. 17th International Symposium on Algorithms and Data Structures. WADS: Workshop on Algorithms and Data Structures, LNCS, vol. 12808, 471β484.","chicago":"Henzinger, Monika H, and Xiaowei Wu. βUpper and Lower Bounds for Fully Retroactive Graph Problems.β In 17th International Symposium on Algorithms and Data Structures, 12808:471β484. Springer Nature, 2021. https://doi.org/10.1007/978-3-030-83508-8_34.","ieee":"M. H. Henzinger and X. Wu, βUpper and lower bounds for fully retroactive graph problems,β in 17th International Symposium on Algorithms and Data Structures, Virtual, 2021, vol. 12808, pp. 471β484.","short":"M.H. Henzinger, X. Wu, in:, 17th International Symposium on Algorithms and Data Structures, Springer Nature, 2021, pp. 471β484.","ama":"Henzinger MH, Wu X. Upper and lower bounds for fully retroactive graph problems. In: 17th International Symposium on Algorithms and Data Structures. Vol 12808. Springer Nature; 2021:471β484. doi:10.1007/978-3-030-83508-8_34","mla":"Henzinger, Monika H., and Xiaowei Wu. βUpper and Lower Bounds for Fully Retroactive Graph Problems.β 17th International Symposium on Algorithms and Data Structures, vol. 12808, Springer Nature, 2021, pp. 471β484, doi:10.1007/978-3-030-83508-8_34."}}