On Robot Games of Degree Two

作者: Vesa Halava , Reino Niskanen , Igor Potapov

DOI: 10.1007/978-3-319-15579-1_17

关键词: Decision problemSocial robotCurrent (mathematics)Dimension (graph theory)MathematicsInteger latticeDecidabilityDegree (graph theory)Time complexityDiscrete mathematics

摘要: Robot Game is a two player vector addition game played in integer lattice \(\mathbb {Z}^n\). In degree \(k\) case both players have vectors and each turn the chosen by added to current configuration of game. One players, called Attacker, tries play from initial origin while other player, Defender, avoid origin. The decision problem decide whether or not Attacker has winning strategy. We prove that decidable polynomial time for games any dimension \(n\).

参考文章(19)
Simon Halfon, Christoph Haase, Integer Vector Addition Systems with States international workshop on reachability problems. pp. 112- 124 ,(2014) , 10.1007/978-3-319-11439-2_9
Nathanaël Fijalkow, Krishnendu Chatterjee, Infinite-state games with finitary conditions computer science logic. ,vol. 23, pp. 196- ,(2013) , 10.4230/LIPICS.CSL.2013.181
Matthew Hennessy, Robin Milner, On Observing Nondeterminism and Concurrency international colloquium on automata, languages and programming. pp. 299- 309 ,(1980) , 10.1007/3-540-10003-2_79
Tomáš Brázdil, Petr Jančar, Antonín Kučera, Reachability Games on Extended Vector Addition Systems with States Automata, Languages and Programming. pp. 478- 489 ,(2010) , 10.1007/978-3-642-14162-1_40
Julien Reichert, On The Complexity of Counter Reachability Games international workshop on reachability problems. pp. 196- 208 ,(2013) , 10.1007/978-3-642-41036-9_18
Orna Kupferman, Moshe Y. Vardi, Pierre Wolper, An automata-theoretic approach to branching-time model checking Journal of the ACM. ,vol. 47, pp. 312- 360 ,(2000) , 10.1145/333979.333987
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Alternating-time temporal logic Journal of the ACM. ,vol. 49, pp. 672- 713 ,(2002) , 10.1145/585265.585270
Gordon H. Bradley, Algorithms for Hermite and Smith normal matrices and linear Diophantine equations Mathematics of Computation. ,vol. 25, pp. 897- 907 ,(1971) , 10.1090/S0025-5718-1971-0301909-X
Igor Walukiewicz, Pushdown Processes Information & Computation. ,vol. 164, pp. 234- 263 ,(2001) , 10.1006/INCO.2000.2894
Vincent Danos, Jean-Louis Krivine, Disjunctive Tautologies as Synchronisation Schemes computer science logic. pp. 292- 301 ,(2000) , 10.1007/3-540-44622-2_19