Graph convexity impartial games: Complexity and winning strategies

被引:0
|
作者
Araujo, Samuel N. [1 ,2 ]
Brito, Joao Marcos [2 ]
Folz, Raquel [3 ]
de Freitas, Rosiane [3 ]
Sampaio, Rudini M. [2 ]
机构
[1] Inst Fed Educ Ciencia & Tecnol Ceara, Crato, Brazil
[2] Univ Fed Ceara, Dept Comp, Fortaleza, Brazil
[3] Univ Fed Amazonas, Inst Comp, Manaus, Brazil
关键词
Graph convexity; Geodesic games; PSPACE-hard; Sprague-Grundy theory; Impartial games; NUMBER;
D O I
10.1016/j.tcs.2024.114534
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Accordingly to Duchet (1987), the first paper of convexity on general graphs, in english, is the 1981 paper "Convexity in graphs". One of its authors, Frank Harary, introduced in 1984 the first graph convexity games, focused on the geodesic convexity, which were investigated in a sequence of five papers that ended in 2003. In this paper, we continue this research line, extend these games to other graph convexities, and obtain winning strategies and complexity results. Among them, we obtain winning strategies for general convex geometries and winning strategies for trees from the Sprague-Grundy theory on impartial games. We also obtain the first PSPACE-hardness results on convexity games, by proving that the normal play and the mis & egrave;re play of the impartial hull game on the geodesic convexity is PSPACE-complete even in graphs with diameter two.
引用
收藏
页数:12
相关论文
共 50 条
  • [1] Complexity and winning strategies of graph convexity games
    Araujo, Samuel N.
    Folz, Raquel
    de Freitas, Rosiane
    Sanapaio, Rudini
    XII LATIN-AMERICAN ALGORITHMS, GRAPHS AND OPTIMIZATION SYMPOSIUM, LAGOS 2023, 2023, 224 : 394 - 396
  • [2] Fixed-point characterisation of winning strategies in impartial games
    Backhouse, R
    Michaelis, D
    RELATIONAL AND KLEENE-ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2003, 3051 : 34 - 47
  • [3] ON THE COMPLEXITY OF WINNING STRATEGIES FOR CLOPEN GAMES
    CLOTE, P
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 686 - 687
  • [4] On the Complexity of Computing Winning Strategies for Finite Poset Games
    Soltys, Michael
    Wilson, Craig
    THEORY OF COMPUTING SYSTEMS, 2011, 48 (03) : 680 - 692
  • [6] On the Complexity of Computing Winning Strategies for Finite Poset Games
    Michael Soltys
    Craig Wilson
    Theory of Computing Systems, 2011, 48 : 680 - 692
  • [7] Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers
    Wu, Kaisheng
    Fang, Liangda
    Xiong, Liping
    Lai, Zhao-Rong
    Qiao, Yong
    Chen, Kaidong
    Rong, Fei
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 1703 - 1711
  • [8] Games and winning strategies
    Back, R.J.R., 1600, Elsevier Science B.V., Amsterdam, Netherlands (53):
  • [9] GAMES AND WINNING STRATEGIES
    BACK, RJR
    VONWRIGHT, J
    INFORMATION PROCESSING LETTERS, 1995, 53 (03) : 165 - 172
  • [10] WINNING STRATEGIES IN CERTAIN TOPOLOGICAL GAMES
    DEBS, G
    FUNDAMENTA MATHEMATICAE, 1985, 126 (01) : 93 - 105