简单博弈的可计算性：六十四种可能性的完整研究
计算机科学与博弈论
2011-07-05 v1 计算机科学中的逻辑
逻辑
摘要
根据单调性、恰当性、强性和非弱性这四个传统公理，将简单博弈分为十六种“类型”。进一步根据有限性（有限载体的存在性）和算法可计算性将它们分为六十四类。对于每一个这样的类，我们要么证明其为空，要么给出一个属于该类的博弈实例。我们观察到，如果一个类型包含一个无限博弈，那么它既包含可计算的博弈也包含不可计算的博弈。这强烈表明，可计算性在逻辑上以及概念上都与传统公理无关。
引用
@article{arxiv.1102.4037,
title = {Computability of simple games: A complete investigation of the sixty-four possibilities},
author = {Masahiro Kumabe and H. Reiju Mihara},
journal= {arXiv preprint arXiv:1102.4037},
year = {2011}
}
备注
25 pages