{"title":"在线多集次模态覆盖","authors":"Magnús M. Halldórsson, Dror Rawitz","doi":"10.1007/s00453-024-01234-3","DOIUrl":null,"url":null,"abstract":"<div><p>We study the <span>Online Multiset Submodular Cover</span> problem (<span>OMSC</span>), where we are given a universe <i>U</i> of elements and a collection of subsets <span>\\(\\mathcal {S}\\subseteq 2^U\\)</span>. Each element <span>\\(u_j \\in U\\)</span> is associated with a nonnegative, nondecreasing, submodular polynomially computable set function <span>\\(f_j\\)</span>. Initially, the elements are uncovered, and therefore we pay a penalty per each unit of uncovered element. Subsets with various coverage and cost arrive online. Upon arrival of a new subset, the online algorithm must decide how many copies of the arriving subset to add to the solution. This decision is irrevocable, in the sense that the algorithm will not be able to add more copies of this subset in the future. On the other hand, the algorithm can drop copies of a subset, but such copies cannot be retrieved later. The goal is to minimize the total cost of subsets taken plus penalties for uncovered elements. We present an <span>\\(O(\\sqrt{\\rho _{\\max }})\\)</span>-competitive algorithm for <span>OMSC</span> that does not dismiss subset copies that were taken into the solution, but relies on prior knowledge of the value of <span>\\(\\rho _{\\max }\\)</span>, where <span>\\(\\rho _{\\max }\\)</span> is the maximum ratio, over all subsets, between the penalties covered by a subset and its cost. We provide an <span>\\(O\\left( \\log (\\rho _{\\max }) \\sqrt{\\rho _{\\max }} \\right) \\)</span>-competitive algorithm for <span>OMSC</span> that does not rely on advance knowledge of <span>\\(\\rho _{\\max }\\)</span> but uses dismissals of previously taken subsets. Finally, for the capacitated versions of the <span>Online Multiset Multicover</span> problem, we obtain an <span>\\(O(\\sqrt{\\rho _{\\max }'})\\)</span>-competitive algorithm when <span>\\(\\rho _{\\max }'\\)</span> is known and an <span>\\(O\\left( \\log (\\rho _{\\max }') \\sqrt{\\rho _{\\max }'} \\right) \\)</span>-competitive algorithm when <span>\\(\\rho _{\\max }'\\)</span> is unknown, where <span>\\(\\rho _{\\max }'\\)</span> is the maximum ratio over all subset incarnations between the penalties covered by this incarnation and its cost.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 7","pages":"2393 - 2411"},"PeriodicalIF":0.9000,"publicationDate":"2024-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-024-01234-3.pdf","citationCount":"0","resultStr":"{\"title\":\"Online Multiset Submodular Cover\",\"authors\":\"Magnús M. Halldórsson, Dror Rawitz\",\"doi\":\"10.1007/s00453-024-01234-3\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We study the <span>Online Multiset Submodular Cover</span> problem (<span>OMSC</span>), where we are given a universe <i>U</i> of elements and a collection of subsets <span>\\\\(\\\\mathcal {S}\\\\subseteq 2^U\\\\)</span>. Each element <span>\\\\(u_j \\\\in U\\\\)</span> is associated with a nonnegative, nondecreasing, submodular polynomially computable set function <span>\\\\(f_j\\\\)</span>. Initially, the elements are uncovered, and therefore we pay a penalty per each unit of uncovered element. Subsets with various coverage and cost arrive online. Upon arrival of a new subset, the online algorithm must decide how many copies of the arriving subset to add to the solution. This decision is irrevocable, in the sense that the algorithm will not be able to add more copies of this subset in the future. On the other hand, the algorithm can drop copies of a subset, but such copies cannot be retrieved later. The goal is to minimize the total cost of subsets taken plus penalties for uncovered elements. We present an <span>\\\\(O(\\\\sqrt{\\\\rho _{\\\\max }})\\\\)</span>-competitive algorithm for <span>OMSC</span> that does not dismiss subset copies that were taken into the solution, but relies on prior knowledge of the value of <span>\\\\(\\\\rho _{\\\\max }\\\\)</span>, where <span>\\\\(\\\\rho _{\\\\max }\\\\)</span> is the maximum ratio, over all subsets, between the penalties covered by a subset and its cost. We provide an <span>\\\\(O\\\\left( \\\\log (\\\\rho _{\\\\max }) \\\\sqrt{\\\\rho _{\\\\max }} \\\\right) \\\\)</span>-competitive algorithm for <span>OMSC</span> that does not rely on advance knowledge of <span>\\\\(\\\\rho _{\\\\max }\\\\)</span> but uses dismissals of previously taken subsets. Finally, for the capacitated versions of the <span>Online Multiset Multicover</span> problem, we obtain an <span>\\\\(O(\\\\sqrt{\\\\rho _{\\\\max }'})\\\\)</span>-competitive algorithm when <span>\\\\(\\\\rho _{\\\\max }'\\\\)</span> is known and an <span>\\\\(O\\\\left( \\\\log (\\\\rho _{\\\\max }') \\\\sqrt{\\\\rho _{\\\\max }'} \\\\right) \\\\)</span>-competitive algorithm when <span>\\\\(\\\\rho _{\\\\max }'\\\\)</span> is unknown, where <span>\\\\(\\\\rho _{\\\\max }'\\\\)</span> is the maximum ratio over all subset incarnations between the penalties covered by this incarnation and its cost.</p></div>\",\"PeriodicalId\":50824,\"journal\":{\"name\":\"Algorithmica\",\"volume\":\"86 7\",\"pages\":\"2393 - 2411\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-05-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://link.springer.com/content/pdf/10.1007/s00453-024-01234-3.pdf\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Algorithmica\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00453-024-01234-3\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algorithmica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00453-024-01234-3","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
We study the Online Multiset Submodular Cover problem (OMSC), where we are given a universe U of elements and a collection of subsets \(\mathcal {S}\subseteq 2^U\). Each element \(u_j \in U\) is associated with a nonnegative, nondecreasing, submodular polynomially computable set function \(f_j\). Initially, the elements are uncovered, and therefore we pay a penalty per each unit of uncovered element. Subsets with various coverage and cost arrive online. Upon arrival of a new subset, the online algorithm must decide how many copies of the arriving subset to add to the solution. This decision is irrevocable, in the sense that the algorithm will not be able to add more copies of this subset in the future. On the other hand, the algorithm can drop copies of a subset, but such copies cannot be retrieved later. The goal is to minimize the total cost of subsets taken plus penalties for uncovered elements. We present an \(O(\sqrt{\rho _{\max }})\)-competitive algorithm for OMSC that does not dismiss subset copies that were taken into the solution, but relies on prior knowledge of the value of \(\rho _{\max }\), where \(\rho _{\max }\) is the maximum ratio, over all subsets, between the penalties covered by a subset and its cost. We provide an \(O\left( \log (\rho _{\max }) \sqrt{\rho _{\max }} \right) \)-competitive algorithm for OMSC that does not rely on advance knowledge of \(\rho _{\max }\) but uses dismissals of previously taken subsets. Finally, for the capacitated versions of the Online Multiset Multicover problem, we obtain an \(O(\sqrt{\rho _{\max }'})\)-competitive algorithm when \(\rho _{\max }'\) is known and an \(O\left( \log (\rho _{\max }') \sqrt{\rho _{\max }'} \right) \)-competitive algorithm when \(\rho _{\max }'\) is unknown, where \(\rho _{\max }'\) is the maximum ratio over all subset incarnations between the penalties covered by this incarnation and its cost.
期刊介绍:
Algorithmica is an international journal which publishes theoretical papers on algorithms that address problems arising in practical areas, and experimental papers of general appeal for practical importance or techniques. The development of algorithms is an integral part of computer science. The increasing complexity and scope of computer applications makes the design of efficient algorithms essential.
Algorithmica covers algorithms in applied areas such as: VLSI, distributed computing, parallel processing, automated design, robotics, graphics, data base design, software tools, as well as algorithms in fundamental areas such as sorting, searching, data structures, computational geometry, and linear programming.
In addition, the journal features two special sections: Application Experience, presenting findings obtained from applications of theoretical results to practical situations, and Problems, offering short papers presenting problems on selected topics of computer science.