研究文章

准多项式时间中奇偶对策求解的模态μ透视

作者:

卡罗利纳莱赫蒂宁作者信息和声明

LICS’18：第33届ACM/IEEE计算机科学逻辑年会论文集

页639-648

https://doi.org/10.1145/3209108.3209115

出版:2018年7月9日出版历史

获取访问权限

摘要

我们提出了一种求解奇偶对策的新的拟多项式算法。它基于一种新的对等游戏互模拟不变量复杂性度量，称为寄存器index，它捕获了优先级分配的复杂性。对于固定参数k，寄存器索引以k为界的对策类在多项式时间内是可解的。

我们证明了大小为n的奇偶对策的寄存器index有界于O（logn），并导出了一个拟多项式算法。最后，我们给出了奇偶对策拟多项式复杂性的描述性复杂性描述：具有p优先级和寄存器index k的奇偶对策的获胜区域由一个模态μ公式描述，其复杂性由交替深度衡量，取决于k而不是p。

工具书类

[1]

Walid Belkhir和Luigi Santocanale。2007.无向纠缠图2。FSTTCS 2007:软件技术和理论计算机科学基础（2007），508-519。

数字图书馆

[2]

马西莫·贝内雷切蒂（Massimo Benerecetti）、丹尼尔·德尔尔巴（Daniele Dell’Erba）和法比奥·莫加维罗（Fabio Mogavero）。2017.平价游戏的除法Impera算法的稳健指数最坏情况。《游戏、自动机、逻辑和形式验证国际研讨会论文集》（2017），121-135。

[3]

迪特马尔·伯旺格（Dietmar Berwanger）、阿努杰·达瓦尔（Anuj Dawar）、保罗·亨特（Paul Hunter）和斯蒂芬·克鲁泽（Stephan Kreutzer）。2006年，DAG-width和平价游戏。在STACS，第6卷。施普林格，524-536。

数字图书馆

[4]

迪特马尔·伯旺格和埃里希·格拉德尔。2005.纠缠-一种用于逻辑和游戏的有向图复杂性度量。在编程人工智能和推理逻辑国际会议上。施普林格，209-223。

[5]

迪特马尔·伯旺格（Dietmar Berwanger）、埃里希·格拉德尔（Erich Grädel）、乌卡斯·凯泽（ukasz Kaiser）和罗曼·拉比诺维奇（Roman Rabinovich）。2012.有向图的纠缠和复杂性。《理论计算机科学》463（2012），2-25。

数字图书馆

[6]

迪特马尔·伯旺格（Dietmar Berwanger）、埃里希·格拉德尔（Erich Grädel）和贾科莫·伦齐（Giacomo Lenzi）。2007.&mu；的可变层次结构-微积分很严格。计算系统理论40，4（2007），437-466。

数字图书馆

[7]

Mikołaj Bojańczyk和Wojciech Czerwiński。2018.自动化工具箱。华沙大学。https://www.mimuw.edu.pl/~bojan/papers/toolbox-reduced-feb6.pdf上次检查时间为2018年4月。

[8]

朱利安·布拉德菲尔德和科林·斯特林。2007年模态&mu-计算。逻辑与实践推理研究3（2007），721--756。

[9]

克里斯蒂安·卡鲁德（Cristian S.Calude）、桑杰·贾恩（Sanjay Jain）、巴哈迪尔·库萨诺夫（Bakhadyr Khousainov）、魏莉（Wei Li）和弗兰克·斯蒂芬（Frank Stephan）。2017.在准多项式时间内决定平价游戏。第49届ACM SIGACT计算理论年会论文集。美国医学会，252-263。

数字图书馆

[10]

Anuj Dawar和Erich Grädel。2008年，平价游戏的描述复杂性。在计算机科学逻辑。施普林格，354--368。

数字图书馆

[11]

艾伦·艾默生（E Allen Emerson）和查兰吉特·朱特拉（Charanjit S Jutla）。树自动机、微积分和确定性。《计算机科学基础》，1991年。诉讼程序。，第32届IEEE年会，368-377。

数字图书馆

[12]

约翰·费恩利（John Fearnley）、桑杰·贾恩（Sanjay Jain）、斯文·舍韦（Sven Schewe）、弗兰克·斯蒂芬（Frank Stephan）和多米尼克·沃伊特扎克（Dominik Wojtczak）。2017.在准多项式时间和准线性空间中求解平价博弈的有序方法。第24届ACM SIGSOFT国际SPIN软件模型检查研讨会论文集。美国医学会，112-121。

数字图书馆

[13]

奥利弗·弗里德曼。2009年。我们所知的平价游戏策略改进算法的指数下限。《计算机科学中的逻辑》，2009年。LICS’09年。第24届IEEE年会，IEEE，145-156。

数字图书馆

[14]

奥利弗·弗里德曼。2011.奇偶游戏的递归算法需要指数时间。RAIRO-理论信息学与应用45，4（2011），449--457。

[15]

摩西·加纳迪。2015年，有界树和权势对等游戏。在FoSSaCS中。390--404.

[16]

雨果·金伯特（Hugo Gimbert）和拉斯穆斯·易卜森·延森（Rasmus Ibsen-Jensen）。2017.奇偶博弈准多项式时间算法正确性的简短证明。arXiv预印arXiv:1702.01953（2017）。

[17]

Erich Grädel、Łukasz Kaiser和Roman Rabinovich。2009.纠缠二的有向图。在计算理论基础国际研讨会上，第9卷。施普林格，169-181。

数字图书馆

[18]

埃里希·格罗德（Erich Grädel）、菲肯·G·科莱蒂斯（Phokion G Kolaitis）、列奥尼德·利布金（Leonid Libkin）、马尔滕·马克思（Maarten Marx）、乔尔·斯宾塞（Joel Spencer）、摩西·瓦尔迪（Moshe Y Vardi）、伊德·维。2007。有限模型理论及其应用。施普林格科技与商业媒体。

[19]

保罗·亨特和斯蒂芬·克鲁泽。有向图度量：Kelly分解、游戏和排序。第十八届ACM-SIAM离散算法年会论文集。工业和应用数学学会，637-644。

数字图书馆

[20]

Michael Huth、Jim Huan-Pu Kuo和Nir Piterman。2015.平价游戏的拉宾指数：其复杂性和近似性。信息与计算245（2015），36-53。

数字图书馆

[21]

马金·尤金斯基。1998年。决定平手游戏的获胜者是在UP&cap；联合向上。通知。过程。莱特。68, 3 (1998), 119--124.

数字图书馆

[22]

马金·尤金斯基。2000.解决平价游戏的小进度措施。在计算机科学理论方面的年度研讨会上。施普林格，290-301。

数字图书馆

[23]

马金·尤金斯基和兰科·拉齐奇。2017年，制定解决平价游戏的简明进度措施。2017年第32届ACM/IEEE计算机科学逻辑研讨会（LICS），第00卷。1--9.

[24]

卡罗琳娜·莱蒂宁。2017年，模态和mu的描述性复杂性；模型检验平价游戏。2017年（2017）奥运会、自动化、逻辑和形式验证国际研讨会论文集。

[25]

汤姆·范·迪克。2018年，Oink：现代平价游戏解决方案的实施和评估。CoRR abs/1801.03859（2018）。arXiv:1801.03859http://arxiv.org/abs/1801.03859

[26]

托马斯·威尔克。2001.交替树自动机、奇偶游戏和模式&mu-微积分。比利时数学学会公报Simon Stevin 8，2（2001），359。

引用人

Benerecetti M公司Dell'Erba D公司莫加维罗FSchewe S公司沃伊特扎克D(2024)以巴西人风格优先推广计算机与系统科学杂志2016年10月10日/j.jcss.2024.103580(103580)网上发布日期：2024年8月
https://doi.org/10.1016/j.jcss.2024.103580
P方维昂切克A(2023)求解奇偶博弈的拟多项式算法的改进复杂性分析逻辑与计算的统一10.1007/978-3-031-36978-0_22(275-286)在线发布日期：2023年7月19日
https://doi.org/10.1007/978-3-031-36978-0_22
尤金斯基M莫尔文RThejaswini K公司(2022)奇偶对策和嵌套不动点的通用算法系统设计原则10.1007/978-3-031-22337-2_12(252-271)在线发布日期：2022年12月29日
https://doi.org/10.1007/978-3-031-22337-2_12
显示更多引用者

索引术语

准多项式时间中奇偶对策求解的模态μ透视
1. 计算理论
  1. 计算复杂性和密码学
    1. 复杂性理论与逻辑
  2. 逻辑
    1. 逻辑和验证
    2. 模态和时序逻辑

建议

拟多项式时间和拟线性空间中奇偶对策的有序求解方法
SPIN 2017：第24届ACM SIGSOFT国际SPIN软件模型检查研讨会会议记录

奇偶博弈在模型检验和综合中起着重要作用。在他们的论文中，Calude等人最近证明了这些对策可以在拟多项式时间内求解。我们证明了他们的算法可以有效地实现：我们使用他们的。。。
拟多项式时间中奇偶对策的判定
STOC 2017：第49届ACM SIGACT年度计算理论研讨会会议记录

证明了奇偶对策可以在拟多项式时间内求解。参数化平价游戏n个节点和米不同的值（也称为颜色或优先级）-被证明是在固定参数可处理（FPT）问题中。。。
拟多项式时间和拟线性空间中奇偶对策的有序求解方法

奇偶博弈在模型检验和综合中起着重要作用。在他们的论文中，Calude等人最近证明了这些对策可以在拟多项式时间内求解。我们证明了他们的算法可以有效地实现：我们使用他们的。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

LICS’18：第33届ACM/IEEE计算机科学逻辑年度研讨会论文集

2018年7月

960页

国际标准图书编号：9781450355834

内政部：10.1145/3209108

版权所有©2018 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重作者以外的其他人拥有的本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护].

赞助商

SIGLOG:ACM逻辑与计算特别兴趣小组
欧洲计算机科学逻辑协会
IEEE-CS\DATC:IEEE计算机学会

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2018年7月9日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

研究文章
研究
推荐有限公司

资金来源

联邦教育与福尚部长

会议

LICS’18

赞助商：

SIGLOG公司
EACSL公司
IEEE-CS\DATC

LICS’18：第33届ACM/IEEE计算机科学逻辑年会

2018年7月9日至12日

英国牛津

接受率

622份提交文件中的总体接受率为215份，占35%

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

10
引文总数
查看引文
200
总下载次数

下载次数（过去12个月）21
下载次数（最近6周）4

反映截至2024年9月21日的下载量

其他指标

查看作者指标

引文

引用人

Benerecetti M公司Dell'Erba D公司莫加维罗FSchewe S公司沃伊特扎克D(2024)以巴西人风格优先推广计算机与系统科学杂志2016年10月10日/j.jcss.2024.103580(103580)网上发布日期：2024年8月
https://doi.org/10.1016/j.jcss.2024.103580
P方Wiącek A公司(2023)求解奇偶博弈的拟多项式算法的改进复杂性分析逻辑与计算的统一10.1007/978-3-031-36978-0_22(275-286)在线发布日期：2023年7月19日
https://doi.org/10.1007/978-3-031-36978-0_22
尤尔津斯基M莫尔文RThejaswini K公司(2022)奇偶对策和嵌套不动点的通用算法系统设计原则10.1007/978-3-031-22337-2_12(252-271)在线发布日期：2022年12月29日
https://doi.org/10.1007/978-3-031-22337-2_12
迪克特五世库夫莱特纳M(2022)可达性游戏和平价游戏计算理论——ICTAC 202210.1007/978-3-031-17715-6_3(14-35)在线发布日期：2022年9月27日
https://dl.acm.org/doi/10.1007/978-3-031-17715-6_3
迪斯塔西奥A穆拉诺A普里格纳诺五世索伦蒂诺L(2021)在实践中改进平价游戏数学与人工智能年鉴2007年10月10日/10472-020-09721-389:5-6(551-574)在线发布日期：2021年6月1日
https://dl.acm.org/doi/10.1007/s10472-020-09721-3
豪斯曼D施罗德L(2021)嵌套不动点的拟多项式计算系统构建和分析的工具和算法10.1007/978-3-030-72016-2_3(38-56)在线发布日期：2021年3月27日
https://dl.acm.org/doi/10.1007/978-3-030-72016-2_3
菲亚尔科夫N(2020)游戏通用图理论：过去与未来计算机科学中的代数方法10.1007/978-3-030-57201-3_1(1-10)在线发布日期：2020年8月21日
https://doi.org/10.1007/978-3-030-57201-3_1
捷克滑雪W达沃L菲亚尔科夫N侏儒小品M拉齐奇RP方Chan T公司(2019)通用树在分离自动机中生长第三十届ACM-SIAM离散算法年会论文集10.5555/3310435.3310577(2333-2349)在线发布日期：2019年1月6日
https://dl.acm.org/doi/10.5555/3310435.3310577
奈德D韦内特A齐默尔曼M(2019)综合最优弹性控制器信息学报2007年10月10日/00236-019-00345-757:1-2(195-221)在线发布日期：2019年10月31日
https://doi.org/10.1007/s00236-019-00345-7
兰格M(2019)使用模态定点逻辑指定程序属性：结果综述逻辑及其应用10.1007/978-3-662-58771-3_5(42-51)在线发布日期：2019年2月5日
https://doi.org/10.1007/978-3-662-58771-3_5

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件的形式查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子