奇偶游戏的实际应用


12

在现实世界中是否存在可以将奇偶游戏表示为奇偶游戏(即系统)的实际应用示例?

通常有关平价游戏的相关文档几乎从来没有该应用程序的实际示例。


3
模态微积分的游戏语义与具有完美信息的两人游戏有关,尤其是无限奇偶游戏。另请参阅维基百科有关平价游戏的文章中的与逻辑和自动机理论的关系部分。
托马斯·克里姆佩尔

1
它并不是真正要直接应用,而是作为具有其他应用的理论(自动机,游戏,逻辑)的重要组成部分。
丹尼斯

Answers:


11

这是与您可能想到的完全不同的应用程序。线性编程有许多实际应用。线性编程有很多算法,而基于George Dantzig的单纯形法的算法则是最常用的算法之一。单纯形的一个重要参数称为旋转规则。维克多·克莱(Victor Klee)和乔治·敏蒂(George Minty)提供了一组多面体,丹兹格(Dantzig)建议的枢转规则将需要成指数数量的枢转步骤。从那时起,几乎每一个确定性的旋转规则都发现了显示指数下界的示例。

但是,单纯形可以使用随机化的旋转规则。吉尔·凯莱(Gil Kalai)在1992年引入了一种随机枢轴规则,并证明了该规则的单纯形的次指数上限。同样在1992年,Micha Sharir和Emo Welzl定义了LP型问题,包括标准线性规划,并且与JiříMatoušek一起提出了单纯形的随机变体,并证明了该变体的指数下界。在LP型问题上也发现了次指数下界,但是直到2010年左右,还没有线性例子的具体例子可以证明这些下界。见这两篇 文章 在吉·凯莱(Gil Kalai)的博客上,还讲述了这个故事,这是与赫希猜想的联系以及与文学的联系。

这与平价游戏有什么关系?建立连接需要几个步骤。直到2009年左右,平价游戏研究中的一个开放问题是确定解决平价游戏的某些策略迭代算法是否可能具有指数行为。有关更多信息,请参阅MarcinJurdziński论文。奥利弗·弗里德曼(Oliver Friedmann)从2009年开始,展示了奇偶游戏的示例,其中某些策略迭代算法需要指数时间。通过利用奇偶游戏和某些LP类型问题之间的联系,他得出了各种单纯形枢轴规则的次指数下界。(但是请注意,其中一项涉及随机面算法的结果由Oliver Friedmann,Thomas Hansen和Uri Zwick展示 是错误的。)

我希望您会同意,这是应用奇偶游戏的一个非常有趣且令人信服的示例。

您的问题也有更直接的答案。假设有人想设计一种分立的控制器,该控制器根据系统状态和环境状态来调节某些物理系统(恒温器,化工厂等)的行为。控制器是否存在以提供设计师想要的保证的问题可以简化为解决奇偶游戏。因此,您可以从系统,环境和控制器的角度来考虑奇偶校验游戏。

μμ


3
引入随机构面的论文证明了(预期的)旋转步数的次指数上限(目前的答案是下限)。新的下界具有相似的形式,即,亚指数,而不是指数。
Rahul Savani'2

2
可能值得指出的是,弗里德曼,汉森和兹维克的某些下界存在缺陷:arxiv.org/abs/1410.7871
Sasho Nikolov

谢谢Sasho。当我停止阅读文献时,就会发生这种情况!
Vijay D'
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.