Suppr超能文献

双色游戏的复杂性

The Complexity of Two Colouring Games.

作者信息

Andres Stephan Dominique, Dross François, Huggan Melissa A, Mc Inerney Fionn, Nowakowski Richard J

机构信息

Institute of Mathematics and Computer Science, University of Greifswald, Greifswald, Germany.

CNRS, Bordeaux INP, LaBRI, UMR5800, Univ. Bordeaux, 33400 Talence, France.

出版信息

Algorithmica. 2023;85(4):1067-1090. doi: 10.1007/s00453-022-01069-w. Epub 2022 Nov 24.

Abstract

We consider two variants of on graphs. In these games, two players alternate colouring uncoloured vertices (from a choice of colours) of a pair of isomorphic graphs while respecting the properness and the orthogonality of the partial colourings. In the , the first player unable to move loses. In the , each player aims to maximise their , which is the number of coloured vertices in their copy of the graph. We prove that, given an instance with partial colourings, both the normal play and the scoring variant of the game are PSPACE-complete. An involution of a graph is if its fixed point set induces a clique and for any non-fixed point . Andres et al. (Theor Comput Sci 795:312-325, 2019) gave a solution of the normal play variant played on graphs that admit a strictly matched involution. We prove that recognising graphs that admit a strictly matched involution is NP-complete.

摘要

我们考虑图上该问题的两种变体。在这些博弈中,两名玩家轮流给一对同构图的未着色顶点(从(种颜色中选择)着色,同时要保证部分着色的恰当性和正交性。在正常玩法中,第一个无法移动的玩家输。在计分变体中,每个玩家旨在最大化自己的得分,得分是其图副本中已着色顶点的数量。我们证明,给定一个带有部分着色的实例,该博弈的正常玩法和计分变体都是PSPACE完全问题。图(的对合(是严格匹配的,如果它的不动点集诱导出一个团,并且对于任何非不动点( 。安德烈斯等人(《理论计算机科学》795:312 - 325,2019)给出了在允许严格匹配对合的图上进行正常玩法变体的解决方案。我们证明,识别允许严格匹配对合的图是NP完全问题。

https://cdn.ncbi.nlm.nih.gov/pmc/blobs/01a9/10060359/341be014ac9f/453_2022_1069_Fig1_HTML.jpg

文献检索

告别复杂PubMed语法,用中文像聊天一样搜索,搜遍4000万医学文献。AI智能推荐,让科研检索更轻松。

立即免费搜索

文件翻译

保留排版,准确专业,支持PDF/Word/PPT等文件格式,支持 12+语言互译。

免费翻译文档

深度研究

AI帮你快速写综述,25分钟生成高质量综述,智能提取关键信息,辅助科研写作。

立即免费体验