Ramsey achievement games on graphs : algorithms and bounds

IF 0.5 4区 计算机科学 Q4 COMPUTER SCIENCE, INFORMATION SYSTEMS
Xiumin Wang, Zhong Huang, Xiangqian Zhou, Ralf Klasing, Yaping Mao
{"title":"Ramsey achievement games on graphs : algorithms and bounds","authors":"Xiumin Wang,&nbsp;Zhong Huang,&nbsp;Xiangqian Zhou,&nbsp;Ralf Klasing,&nbsp;Yaping Mao","doi":"10.1007/s00236-025-00516-9","DOIUrl":null,"url":null,"abstract":"<div><p>In 1982, Harary introduced the concept of Ramsey achievement game on graphs. Given a graph <i>F</i> with no isolated vertices, consider the following game played on the complete graph <span>\\(K_n\\)</span> by two players Alice and Bob. First, Alice colors one of the edges of <span>\\(K_n\\)</span> blue, then Bob colors a different edge red, and so on. The first player who can complete the formation of <i>F</i> in his color is the winner. The minimum <i>n</i> for which Alice has a winning strategy is the achievement number of <i>F</i>, denoted by <i>a</i>(<i>F</i>). If we replace <span>\\(K_n\\)</span> in the game by the complete bipartite graph <span>\\(K_{n,n}\\)</span>, we get the bipartite achievement number, denoted by <span>\\(\\operatorname {ba}(F)\\)</span>. In this paper, we correct <span>\\(\\operatorname {ba}(mK_2)=m+1\\)</span> to <i>m</i> and disprove <span>\\(\\operatorname {ba}(K_{1,m})=2m-2\\)</span> from Erickson and Harary (1983). We also find the exact values or upper and lower bounds of bipartite achievement numbers on matchings, stars, and double stars.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"63 1","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2026-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Informatica","FirstCategoryId":"94","ListUrlMain":"https://link.springer.com/article/10.1007/s00236-025-00516-9","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0

Abstract

In 1982, Harary introduced the concept of Ramsey achievement game on graphs. Given a graph F with no isolated vertices, consider the following game played on the complete graph \(K_n\) by two players Alice and Bob. First, Alice colors one of the edges of \(K_n\) blue, then Bob colors a different edge red, and so on. The first player who can complete the formation of F in his color is the winner. The minimum n for which Alice has a winning strategy is the achievement number of F, denoted by a(F). If we replace \(K_n\) in the game by the complete bipartite graph \(K_{n,n}\), we get the bipartite achievement number, denoted by \(\operatorname {ba}(F)\). In this paper, we correct \(\operatorname {ba}(mK_2)=m+1\) to m and disprove \(\operatorname {ba}(K_{1,m})=2m-2\) from Erickson and Harary (1983). We also find the exact values or upper and lower bounds of bipartite achievement numbers on matchings, stars, and double stars.

Abstract Image

Ramsey成就游戏:算法和界限
1982年,Harary在图上引入了Ramsey成就游戏的概念。给定一个没有孤立顶点的图F,考虑以下两个玩家Alice和Bob在完全图\(K_n\)上进行的博弈。首先,Alice将\(K_n\)的一条边涂成蓝色,然后Bob将另一条边涂成红色,以此类推。第一个完成自己颜色的F形的玩家就是赢家。Alice有一个获胜策略的最小n是F的成就数,用a(F)表示。如果我们将博弈中的\(K_n\)替换为完全二部图\(K_{n,n}\),我们得到二部成就数,表示为\(\operatorname {ba}(F)\)。在本文中,我们将\(\operatorname {ba}(mK_2)=m+1\)更正为m,并反驳Erickson和Harary(1983)的\(\operatorname {ba}(K_{1,m})=2m-2\)。我们还找到了匹配、星星和双星上的二部成就数的精确值或上界和下界。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Acta Informatica
Acta Informatica 工程技术-计算机:信息系统
CiteScore
2.40
自引率
16.70%
发文量
24
审稿时长
>12 weeks
期刊介绍: Acta Informatica provides international dissemination of articles on formal methods for the design and analysis of programs, computing systems and information structures, as well as related fields of Theoretical Computer Science such as Automata Theory, Logic in Computer Science, and Algorithmics. Topics of interest include: • semantics of programming languages • models and modeling languages for concurrent, distributed, reactive and mobile systems • models and modeling languages for timed, hybrid and probabilistic systems • specification, program analysis and verification • model checking and theorem proving • modal, temporal, first- and higher-order logics, and their variants • constraint logic, SAT/SMT-solving techniques • theoretical aspects of databases, semi-structured data and finite model theory • theoretical aspects of artificial intelligence, knowledge representation, description logic • automata theory, formal languages, term and graph rewriting • game-based models, synthesis • type theory, typed calculi • algebraic, coalgebraic and categorical methods • formal aspects of performance, dependability and reliability analysis • foundations of information and network security • parallel, distributed and randomized algorithms • design and analysis of algorithms • foundations of network and communication protocols.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书