在线多集次模态覆盖

IF 0.9 4区 计算机科学 Q4 COMPUTER SCIENCE, SOFTWARE ENGINEERING
Magnús M. Halldórsson, Dror Rawitz
{"title":"在线多集次模态覆盖","authors":"Magnús M. Halldórsson,&nbsp;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,&nbsp;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}
引用次数: 0

摘要

我们研究的是在线多集子模覆盖问题(OMSC),在这个问题中,我们给定了一个由元素组成的宇宙 U 和一个子集集合 \(\mathcal {S}\subseteq 2^U\)。每个元素(U中的u_j)都与一个非负的、非递减的、亚模态的多项式可计算集合函数(f_j)相关联。起初,元素是无覆盖的,因此我们要为每个单位的无覆盖元素支付惩罚。具有不同覆盖率和成本的子集会在线到达。当一个新的子集到来时,在线算法必须决定在解决方案中添加多少份到来的子集。这个决定是不可更改的,因为算法今后将无法添加更多的子集副本。另一方面,算法可以放弃子集的副本,但这些副本以后无法检索。我们的目标是最小化所取子集的总成本以及对未覆盖元素的惩罚。我们为 OMSC 提出了一个 \(O(\sqrt{rho _{\max }})\)-竞争算法,这个算法不会放弃已被纳入解决方案的子集副本,而是依赖于 \(\rho _{\max }\) 值的先验知识,其中 \(\rho _{\max }\) 是在所有子集中,子集所覆盖的惩罚与其成本之间的最大比率。我们提供了一个 \(O\left( \log (\rho _\{max }) \sqrt{\rho _\{max }}) \sqrt{\rho _\{max }}.\OMSC 的竞争性算法并不依赖于对 \(\rho _{\max }\) 的预先了解,而是使用对之前所取子集的驳回。最后,对于在线多集多重覆盖问题的容错版本,当 \(\rho _{\max }'\)已知时,我们得到了一个 \(O(\sqrt{\rho _{\max }'})\)-competitive 算法,当 \(\rho _{\max }'\)已知时,我们得到了一个 \(O\left( \log (\rho _{\max }') \sqrt{\rho _{\max }'}) \)-competitive 算法。当 \(\rho _{\max }'\) 未知时,\(\rho _{\max }'\)-竞争算法,其中 \(\rho _{\max }'\) 是在所有子集化身中,该化身覆盖的惩罚与其成本之间的最大比率。
本文章由计算机程序翻译,如有差异,请以英文原文为准。

Online Multiset Submodular Cover

Online Multiset Submodular Cover

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
Algorithmica 工程技术-计算机:软件工程
CiteScore
2.80
自引率
9.10%
发文量
158
审稿时长
12 months
期刊介绍: 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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信