×

有限图上的无限游戏。 (英语) Zbl 0798.90151号

在最近相当广泛的文献中,无限游戏通常在无限游戏树上进行,在有限图上进行的无限游戏的概念可能是新颖的。我们声称我们的模型有两个进步,无可否认,它的限制性更强。首先,我们的游戏与普通的客厅游戏有着更明显的相似之处,尽管它们的持续时间是无限的。其次,通过区分图中决定游戏胜负的节点(获胜条件节点),我们能够提供在计算机科学应用中有用的复杂性分析。

MSC公司:

91A43型 涉及图形的游戏
65年第68季度 算法和问题复杂性分析
91A05型 2人游戏
2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Büchi,J.R.,《关于限制二阶算术中的决策方法》,(Proc.Int.Congr.Logic,method,and Phil.Sci.of 1960(1962),斯坦福大学出版社:斯坦福大学出版社,加利福尼亚州斯坦福),1-11,转载于[9]·Zbl 0147.25103号
[2] Büchi,J.R。;Landweber,L.H.,通过有限状态策略求解序列条件,Trans。美国数学。Soc.,138,295-311(1969),重印于[9]·Zbl 0182.02302号
[3] Davis,M.,《完美信息的无限游戏》(Ann.Math.Studies 52-Advances in Game Theory(1964),普林斯顿大学出版社:普林斯顿大学出版,新泽西州普林斯顿),85-101·Zbl 0133.13104号
[4] 加尔,D。;Stewart,F.M.,《完美信息的无限游戏》(Ann.Math.Studies 28-对游戏理论的贡献(1953),普林斯顿大学出版社:普林斯顿大学出版,新泽西州普林斯顿),245-266·Zbl 0050.14305号
[5] Gurevich,Y.,《一元二阶理论》(Barwise,J.;Feferman,S.,《模型理论逻辑》(1985),施普林格:施普林格-柏林)
[6] 古雷维奇,Y。;哈林顿,L.,《树、自动机和游戏》(第十四届计算机理论会议,1982年),《计算机协会》。马赫数:关联计算。Mach纽约),60-65
[7] Landweber,L.H.,时序机的设计算法和一阶二阶算法的可定义性,博士论文(1967年),普渡大学
[8] Landweber,L.H.,《有限状态博弈——限制二阶算术的可解性算法》,《美国数学通告》。Soc.,14129-130(1967年)
[9] (S.Mac Lane;D.Siefkes,J.Richard Büchi的作品集(1990),《施普林格:施普林格·柏林》)
[10] Nerode,A。;Yakhnis,A。;Yakhnis,V.,《并行程序作为游戏策略》,《90-78年技术报告》(1990),康奈尔大学数学科学研究所·Zbl 0746.68046号
[11] Thomas,W.,《无限对象上的自动机》,(van Leeuwen,J.,《理论计算机科学手册》,B(1990),阿姆斯特丹爱思唯尔出版社和麻省理工学院出版社:阿姆斯特丹爱思唯尔和麻省剑桥出版社,马萨诸塞州),135-191年·Zbl 0900.68316号
[12] Yakhnis,A。;Yakhnis,V.,Guverich-Harrington有限记忆确定性定理的推广:获胜球员的标准和一类明确的获胜策略,Ann.Pure Appl。逻辑,48,277-297(1990)·Zbl 0716.03036号
[13] Yakhnis,A。;Yakhnis,V.,Gurevich-Harrington有限自动机定义的博弈,Ann.Pure Appl。逻辑,62265-294(1993)·Zbl 0778.03010号
[14] S.Zeitman,《难忘的遗忘确定性,逻辑与计算》,即将出版。;《难以忘怀的健忘确定性,逻辑与计算》即将出版·Zbl 0860.03012号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。