Recoverable robust cardinality constrained maximization with commitment of a submodular function

IF 1.2 4区 计算机科学 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS
Sabine Münch, Stephen Raach, Sven de Vries
{"title":"Recoverable robust cardinality constrained maximization with commitment of a submodular function","authors":"Sabine Münch,&nbsp;Stephen Raach,&nbsp;Sven de Vries","doi":"10.1007/s00236-026-00542-1","DOIUrl":null,"url":null,"abstract":"<div><p>We consider a game-theoretic variant of maximizing a monotone increasing, submodular function under a cardinality constraint. Initially, a solution to this classic problem is determined. Subsequently, a predetermined number of elements from the ground set, not necessarily contained in the initial solution, are deleted, potentially reducing the solution’s cardinality. If any deleted elements were part of the initial solution, they are replaced with a set of at most equal cardinality. The objective is to maximize the value of the ultimate solution, with the deletion being maximally disadvantageous to the ultimate solution. When the submodular function is <span>\\({{\\,\\mathrm{ \\text {M}^\\natural }\\,}}\\)</span>-concave, we prove that a simple greedy algorithm computes an optimal solution. When only one element may be deleted, we propose a polynomial running time algorithm with an approximation factor of at least <span>\\(\\frac{1}{3}\\)</span>. When the number of deletions may become as large as the cardinality parameter, we present a polynomial running time algorithm that approximates an optimal ultimate solution in dependence on the curvature of the submodular function. Furthermore, assuming that the number of allowed deletions is upper bounded by a term of the order of <span>\\(\\frac{k}{\\log _2^2(k)}\\)</span>, where <i>k</i> is the cardinality parameter, we adapt an algorithm from Bogunovic et al. and show that its approximation factor is at least 0.108.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"63 3","pages":""},"PeriodicalIF":1.2000,"publicationDate":"2026-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00236-026-00542-1.pdf","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Informatica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00236-026-00542-1","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0

Abstract

We consider a game-theoretic variant of maximizing a monotone increasing, submodular function under a cardinality constraint. Initially, a solution to this classic problem is determined. Subsequently, a predetermined number of elements from the ground set, not necessarily contained in the initial solution, are deleted, potentially reducing the solution’s cardinality. If any deleted elements were part of the initial solution, they are replaced with a set of at most equal cardinality. The objective is to maximize the value of the ultimate solution, with the deletion being maximally disadvantageous to the ultimate solution. When the submodular function is \({{\,\mathrm{ \text {M}^\natural }\,}}\)-concave, we prove that a simple greedy algorithm computes an optimal solution. When only one element may be deleted, we propose a polynomial running time algorithm with an approximation factor of at least \(\frac{1}{3}\). When the number of deletions may become as large as the cardinality parameter, we present a polynomial running time algorithm that approximates an optimal ultimate solution in dependence on the curvature of the submodular function. Furthermore, assuming that the number of allowed deletions is upper bounded by a term of the order of \(\frac{k}{\log _2^2(k)}\), where k is the cardinality parameter, we adapt an algorithm from Bogunovic et al. and show that its approximation factor is at least 0.108.

Abstract Image

具有子模函数承诺的可恢复鲁棒基数约束最大化
我们考虑了在基数约束下最大化单调递增的次模函数的一个博弈论变体。首先,确定了这个经典问题的解决方案。随后,从基集中删除预定数量的元素,这些元素不一定包含在初始解中,这可能会降低解的基数。如果任何被删除的元素是初始解决方案的一部分,则将它们替换为最多相等基数的集合。目标是使最终解决方案的价值最大化,而删除对最终解决方案最大程度地不利。当子模函数为\({{\,\mathrm{ \text {M}^\natural }\,}}\) -凹时,我们证明了一个简单的贪心算法可以计算出最优解。当只能删除一个元素时,我们提出了一个多项式运行时间算法,其近似因子至少为\(\frac{1}{3}\)。当删除次数可能变得与基数参数一样大时,我们提出了一个多项式运行时间算法,该算法近似于依赖于次模函数的曲率的最优最终解。此外,假设允许的删除次数的上限为\(\frac{k}{\log _2^2(k)}\)的数量级,其中k为基数参数,我们采用Bogunovic等人的算法,并表明其近似因子至少为0.108。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Acta Informatica
Acta Informatica 工程技术-计算机:信息系统
CiteScore
2.40
自引率
16.70%
发文量
24
审稿时长
>12 weeks
期刊介绍: Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics. Topics of interest include: • semantics of programming languages • models and modeling languages for concurrent, distributed, reactive and mobile systems • models and modeling languages for timed, hybrid and probabilistic systems • specification, program analysis and verification • model checking and theorem proving • modal, temporal, first- and higher-order logics, and their variants • constraint logic, SAT/SMT-solving techniques • theoretical aspects of databases, semi-structured data and finite model theory • theoretical aspects of artificial intelligence, knowledge representation, description logic • automata theory, formal languages, term and graph rewriting • game-based models, synthesis • type theory, typed calculi • algebraic, coalgebraic and categorical methods • formal aspects of performance, dependability and reliability analysis • foundations of information and network security • parallel, distributed and randomized algorithms • design and analysis of algorithms • foundations of network and communication protocols.
×
引用
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学术文献互助群
群 号:604180095
Book学术官方微信
小红书