首页    期刊浏览 2024年11月05日 星期二
登录注册

文章基本信息

  • 标题:Minkowski Games
  • 本地全文:下载
  • 作者:St{\'e}phane Le Roux ; Arno Pauly ; Jean-Fran{\c{c}}ois Raskin
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2017
  • 卷号:66
  • 页码:50:1-50:13
  • DOI:10.4230/LIPIcs.STACS.2017.50
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We introduce and study Minkowski games. In these games, two players take turns to choose positions in R^d based on some rules. Variants include boundedness games, where one player wants to keep the positions bounded (while the other wants to escape to infinity), and safety games, where one player wants to stay within a given set (while the other wants to leave it). We provide some general characterizations of which player can win such games, and explore the computational complexity of the associated decision problems. A natural representation of boundedness games yields coNP-completeness, whereas the safety games are undecidable.
  • 关键词:Control in R^d; determinacy; polytopic/arbitrary; coNP-complete; undecidable
国家哲学社会科学文献中心版权所有