Colored Cut Games

Nils Morawietz, Niels Grüttemeier, Christian Komusiewicz, Frank Sommer
{"title":"Colored Cut Games","authors":"Nils Morawietz, Niels Grüttemeier, Christian Komusiewicz, Frank Sommer","doi":"10.4230/LIPIcs.FSTTCS.2020.30","DOIUrl":null,"url":null,"abstract":"In a graph G = (V,E) with an edge coloring ` : E → C and two distinguished vertices s and t, a colored (s, t)-cut is a set C̃ ⊆ C such that deleting all edges with some color c ∈ C̃ from G disconnects s and t. Motivated by applications in the design of robust networks, we introduce a family of problems called colored cut games. In these games, an attacker and a defender choose colors to delete and to protect, respectively, in an alternating fashion. It is the goal of the attacker to achieve a colored (s, t)-cut and the goal of the defender to prevent this. First, we show that for an unbounded number of alternations, colored cut games are PSPACE-complete. We then show that, even on subcubic graphs, colored cut games with a constant number i of alternations are complete for classes in the polynomial hierarchy whose level depends on i. To complete the dichotomy, we show that all colored cut games are polynomial-time solvable on graphs with degree at most two. Finally, we show that all colored cut games admit a polynomial kernel for the parameter k + κr where k denotes the total attacker budget and, for any constant r, κr is the number of vertex deletions that are necessary to transform G into a graph where the longest path has length at most r. In the case of r = 1, κ1 is the vertex cover number vc of the input graph and we obtain a kernel with O(vc2k2) edges. Moreover, we introduce an algorithm solving the most basic colored cut game, Colored (s, t)-Cut, in 2vc+knO(1) time. 2012 ACM Subject Classification Theory of computation → Parameterized complexity and exact algorithms; Theory of computation → Graph algorithms analysis; Theory of computation → Problems, reductions and completeness","PeriodicalId":23063,"journal":{"name":"Theor. Comput. Sci.","volume":"1 1","pages":"13-32"},"PeriodicalIF":0.0000,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Theor. Comput. Sci.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/LIPIcs.FSTTCS.2020.30","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

Abstract

In a graph G = (V,E) with an edge coloring ` : E → C and two distinguished vertices s and t, a colored (s, t)-cut is a set C̃ ⊆ C such that deleting all edges with some color c ∈ C̃ from G disconnects s and t. Motivated by applications in the design of robust networks, we introduce a family of problems called colored cut games. In these games, an attacker and a defender choose colors to delete and to protect, respectively, in an alternating fashion. It is the goal of the attacker to achieve a colored (s, t)-cut and the goal of the defender to prevent this. First, we show that for an unbounded number of alternations, colored cut games are PSPACE-complete. We then show that, even on subcubic graphs, colored cut games with a constant number i of alternations are complete for classes in the polynomial hierarchy whose level depends on i. To complete the dichotomy, we show that all colored cut games are polynomial-time solvable on graphs with degree at most two. Finally, we show that all colored cut games admit a polynomial kernel for the parameter k + κr where k denotes the total attacker budget and, for any constant r, κr is the number of vertex deletions that are necessary to transform G into a graph where the longest path has length at most r. In the case of r = 1, κ1 is the vertex cover number vc of the input graph and we obtain a kernel with O(vc2k2) edges. Moreover, we introduce an algorithm solving the most basic colored cut game, Colored (s, t)-Cut, in 2vc+knO(1) time. 2012 ACM Subject Classification Theory of computation → Parameterized complexity and exact algorithms; Theory of computation → Graph algorithms analysis; Theory of computation → Problems, reductions and completeness
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
彩色切割游戏
在边着色为':E→C,有两个可区分的顶点s和t的图G = (V,E)中,有色(s, t)切是一个集C≥≥C,使得从G中删除所有具有某种颜色C∈C≥的边使s和t断开。基于鲁棒网络设计中的应用,我们引入了一类问题,称为有色切博弈。在这些游戏中,攻击者和防御者分别以交替的方式选择要删除和保护的颜色。攻击者的目标是实现彩色(s, t)切割,而防御者的目标是防止这种情况发生。首先,我们证明了对于无限次的替换,彩色切割游戏是pspace完备的。然后我们证明,即使在次三次图上,对于其级别依赖于i的多项式层次中的类,具有常数i次交替的彩色切游戏是完全的。为了完成二分类,我们证明所有彩色切游戏在最多为2次的图上都是多项式时间可解的。最后,我们表明,所有彩色降低游戏承认一个多项式内核参数k +κr k表示攻击者预算总额,对于任何常数r, r是κ顶点删除所必需的数量将G转换为图的最长路径长度最多。在r = 1,κ1输入图的顶点覆盖数量vc和我们获得一个内核与O (vc2k2)边缘。此外,我们还介绍了一种算法,在2vc+knO(1)时间内解决最基本的彩色切游戏colored (s, t)-Cut。2012 ACM学科分类计算理论→参数化复杂度与精确算法;计算理论→图算法分析;计算理论→问题、约简和完备性
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
自引率
0.00%
发文量
0
期刊最新文献
On the Parameterized Complexity of s-club Cluster Deletion Problems Spiking neural P systems with weights and delays on synapses Iterated Uniform Finite-State Transducers on Unary Languages Lazy Regular Sensing State Complexity of Finite Partial Languages
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1