设为首页
加入收藏
期刊导航
网站地图
首页
期刊
数学与物理
地球与环境
信息通讯
经济与管理
生命科学
工程技术
医药卫生
人文社科
化学与材料
会议
合作
新闻
我们
招聘
千人智库
我要投稿
办刊
期刊菜单
●领域
●编委
●投稿须知
●最新文章
●检索
●投稿
文章导航
●Abstract
●Full-Text PDF
●Full-Text HTML
●Full-Text ePUB
●Linked References
●How to Cite this Article
AdvancesinAppliedMathematics
应用
数
学
进
展
,2023,12(4),1504-1509
PublishedOnlineApril2023inHans.https://www.hanspub.org/journal/aam
https://doi.org/10.12677/aam.2023.124156
乘
积
图
的
博
弈
染色
数
苏苏苏
俊俊俊
义义义
浙
江
师
范
大
学
数
学
科
学学
院
,
浙
江
金
华
收
稿
日
期
:
2023
年
3
月
13
日
;
录
用
日
期
:
2023
年
4
月
9
日
;
发
布
日
期
:
2023
年
4
月
19
日
摘
要
本
文
讨
论
的
图
是
两
棵
树
的
乘
积
图
.
分
别
研
究
了
树
和
树
的笛
卡
尔
积
图
、
直
积
图
和
强
积
图
的
(
𝑎,
1)
-
博
弈
染色
数
,
给
出
了
三
种
乘
积
图
的
(
𝑎,
1)
-
博
弈
染色
的
上
界
.
特
殊
地
,
如
果
其
中
一
棵
树是
一
条
路
,
那
么
我
们
类
似
的
可
以
得
出
关
于
树
和
路
的
乘
积
图
的
(
𝑎,
1)
-
博
弈
染色
数
的
结
果
.
关
键
词
笛
卡
尔
积
图
,
直
积
图
,
强
积
图
,
博
弈
染色
数
TheGameColoringNumberofProduct
Graph
JunyiSu
SchoolofMathematicalScience,ZhejiangNormalUniversity,JinhuaZhejiang
Received:Mar.13
𝑡ℎ
,2023;accepted:Apr.9
𝑡ℎ
,2023;published:Apr.19
𝑡ℎ
,2023
Abstract
Thegraphdiscussedinthisarticleisaproductgraphoftwotrees.Westudythe
(
𝑎,
1)
-gamecoloringnumbersoftheCartesianproductgraph,directproductgraph
andstrongproductgraphsoftwotrees,andgivetheupperboundsof
(
𝑎,
1)
-game
文
章
引
用
:
苏
俊
义
.
乘
积
图
的
博
弈
染色
数
[J].
应用
数
学
进
展
,2023,12(4):1504-1509.
DOI:10.12677/aam.2023.124156
苏
俊
义
coloringnumbersofthethreeproductgraphs.Inparticular,ifoneofthetreesisa
path,thenwecansimilarlyobtaintheresultsofthe
(
𝑎,
1)
-gamecoloringnumberof
theproductgraphoftreeandpath.
Keywords
TheCartesianProductofGraphs,TheDirectProductofGraphs,TheStrongProduct
ofGraphs,GameColoringNumber
Copyright
c
○
2023byauthor(s)andHansPublishersInc.
This work is licensed undertheCreative Commons Attribution InternationalLicense(CCBY4.0).
http://creativecommons.org/licenses/by/4.0/
1.
引
言
假
设
𝐺
=(
𝑉,𝐸
)
是
一
个
图
.1991
年
,Bodlaender
在
[1]
中
提
出
了
图
的
博
弈
色
数
的
概
念
.
图
𝐺
的
博
弈
色
数
通
过
一
个
两
个
人
的
博
弈
定
义
.
两
个
玩
家
,Alice
和
Bob,
轮流
对
图
𝐺
的顶点
使
用
同
一
个
𝑘
个
颜
色
的
颜
色
集
进
行
着
色
.
在
每
个
玩
家
的
回
合
中
,
玩
家
从
𝑉
(
𝐺
)
中
选
择
一
个
未
着
色
的顶点
,
并
将
此
顶点
用
𝑘
个给
定的
颜
色
之
一
进
行
着
色
.Alice
首
先
着
色
,
在
每
一
回
合
中
,
两
个
玩
家
对
图
𝐺
的
着
色
均
为
正
常
染色
.
博
弈
直
到
𝐺
的
所
有
顶点都
被
着
色
或
剩
余
的点
没
有
可
正
常
着
色
的
方法
.
如
果
图
𝐺
中
所
有
的顶点
都
被
给
定的
颜
色染
好
,
那
么
Alice
赢
,
否
则
Bob
赢
.Alice
的
目
标
是
在
博
弈
结
束
以
后
,
图
𝐺
的
所
有
点
均
被
着
色
;Bob
的
目
标
是
在
博
弈
结
束
以
后
,
至
少
存
在
一
个
顶点
没
有
被
着
色
.
博
弈
色
数是使
Alice
有
一
个
赢
的
策
略
的
最
小颜
色
数
,
记
作
𝜒
𝑔
(
𝐺
).
在
研
究
图
博
弈
色
数
的
过
程
中
,Faigle, Kern,Kierstead
和
Trotter [2]
考
虑了
标
记
博
弈
,
并
由
Zhu
[3]
正
式
的
提
出
作
为
研
究
博
弈
色
数
的
工
具
.
标
记
博
弈
的定
义
如
下
:
两
个
玩
家
,Alice
和
Bob,
轮流
对
图
𝐺
未
被标
记
的顶点
进
行
标
记
,Alice
首
先
进
行
标
记
.
博
弈
开
始时
,
所
有
顶点都
未
标
记
.
当
图
𝐺
的
所
有
顶
点都
被标
记
时
,
博
弈
结
束
.
对
于
𝐺
的
每
个
顶点
𝑣
,
用
𝑏
(
𝑣
)
表
示
在
𝑣
标
记
之
前
标
记
的
𝑣
的
邻
点的
个
数
.
整
个
博
弈
的
分
数
为
𝑠
= 1+max
𝑥
∈
𝑉
(
𝐺
)
𝑏
(
𝑥
)
.
Alice
的
目
标
是使
整
个
博
弈
的
分
数
尽
可
能
的
小
;Bob
的
目
标
是使
整
个
博
弈
的
分
数
尽
可
能
的
大
.
博
弈
染色
数
为
最
小
的
𝑠
使
得
Alice
有
一
个
得
分
最
多
为
𝑠
的
策
略
,
记
作
𝑐𝑜𝑙
𝑔
(
𝐺
).
在
2005
年
,Kierstead
提
出
在
[4]
中
提
出
了
非
对
称
版
本
的
(
𝑎,𝑏
)-
博
弈
染色
数
的
相
关
概
念
.(
𝑎,𝑏
)-
博
弈
染色
的
规
则
除
了
要
求
每
回
合
Alice
和
Bob
分
别
染
𝑎
个
顶点
和
𝑏
个
顶点
以
外
,
其
余
规
则
不变
.(
𝑎,𝑏
)-
博
弈
染色
数
记
为
(
𝑎,𝑏
)-
𝑐𝑜𝑙
𝑔
(
𝐺
).
DOI:10.12677/aam.2023.1241561505
应用
数
学
进
展
苏
俊
义
对
于
一
个
图
𝐺
,
设
𝑂
(
𝐺
)
是
图
𝐺
所
有
定
向
的
集
合
.
对
于
图
𝐺
的
一
个
定
向
⃗
𝐺
以
及
⃗
𝐺
的
一
个
点
𝑥
,
令
𝑁
+
⃗
𝐺
(
𝑥
)
为
点
𝑥
的
所
有
外
邻
点的
集
合
,
令
𝑑
+
⃗
𝐺
(
𝑥
)=
|
𝑁
+
⃗
𝐺
(
𝑥
)
|
为
𝑥
的
出
度
.
令
∆
+
(
⃗
𝐺
)=max
𝑣
∈
𝑉
(
𝐺
)
𝑑
+
⃗
𝐺
(
𝑣
),
∆
*
(
𝐺
) = min
⃗
𝐺
∈
𝑂
(
𝐺
)
∆
+
(
⃗
𝐺
),∆(
𝐺
) = max
𝑣
∈
𝑉
(
𝐺
)
𝑑
𝐺
(
𝑣
).
在
2005
年
,Kierstead
和
Yang
在
[5]
中
给
出
了
如
下
定
理
:
定
理
1[5]
设
𝑎
是
一
个
整
数
,
如
果
图
𝐺
满
足
∆
*
(
𝐺
) =
𝑘
≤
𝑎
,
那
么
(
𝑎,
1)-
𝑐𝑜𝑙
𝑔
(
𝐺
)
≤
2
𝑘
+2.
下
面
我
们
分
别
介
绍
图
𝐻
1
和
𝐻
2
的笛
卡
尔
积
图
、
直
积
图
和
强
积
图
的
概
念
.
图
𝐻
1
和
𝐻
2
的笛
卡
尔
积
图
𝐺
=
𝐻
1
2
𝐻
2
的顶点
集
为
𝑉
(
𝐺
)=
𝑉
(
𝐻
1
)
×
𝑉
(
𝐻
2
),
边
集
为
𝐸
(
𝐺
) ,
边
((
𝑣,𝑥
)
,
(
𝑤,𝑦
))
∈
𝐸
(
𝐺
)
当
且
仅
当
:(1)
𝑣
=
𝑤
且
𝑥𝑦
∈
𝐸
(
𝐻
2
),
或
(2)
𝑥
=
𝑦
且
𝑣𝑤
∈
𝐸
(
𝐻
1
).
图
𝐻
1
和
𝐻
2
的
直
积
图
𝐺
=
𝐻
1
×
𝐻
2
的顶点
集
为
𝑉
(
𝐺
)=
𝑉
(
𝐻
1
)
×
𝑉
(
𝐻
2
),
边
集
为
𝐸
(
𝐺
) ,
边
((
𝑣,𝑥
)
,
(
𝑤,𝑦
))
∈
𝐸
(
𝐺
)
当
且
仅
当
:
𝑣𝑤
∈
𝐸
(
𝐻
1
)
且
𝑥𝑦
∈
𝐸
(
𝐻
2
).
图
𝐻
1
和
𝐻
2
的
强
积
图
𝐺
=
𝐻
1
𝐻
2
的顶点
集
为
𝑉
(
𝐺
)=
𝑉
(
𝐻
1
)
×
𝑉
(
𝐻
2
),
边
集
为
𝐸
(
𝐺
) ,
边
((
𝑣,𝑥
)
,
(
𝑤,𝑦
))
∈
𝐸
(
𝐺
)
当
且
仅
当
:(1)
𝑣
=
𝑤
且
𝑥𝑦
∈
𝐸
(
𝐻
2
) ,
或
(2)
𝑥
=
𝑦
且
𝑣𝑤
∈
𝐸
(
𝐻
1
) ,
或
(3)
𝑣𝑤
∈
𝐸
(
𝐻
1
)
且
𝑥𝑦
∈
𝐸
(
𝐻
2
).
通
过
笛
卡
尔
积
图
、
直
积
图
和
强
积
图
的定
义
,
我
们
可
以
发
现
图
𝐻
1
和
𝐻
2
的笛
卡
尔
积
图
、
直
积
图
和
强
积
图
的顶点
集
是
相
同
的
,
并
且
图
𝐻
1
和
𝐻
2
的
强
积
图
的
边
集
是
图
𝐻
1
和
𝐻
2
的笛
卡
尔
积
图
的
边
集
和
直
积
图
的
边
集
不
相
交
的
并
.
在
[6]
中
作
者
给
出
了
如
下
关
于
树
和
路
的
乘
积
图
的
博
弈
染色
数
的
结
果
:
定
理
2[6]
对
于
任
意
整
数
𝑎
≥
2,
如
果
𝐺
=
𝑇
2
𝑃
,
其
中
𝑇
是
一
棵
树
,
𝑃
是
一
条
路
,
那
么
(
𝑎,
1)-
𝑐𝑜𝑙
𝑔
(
𝐺
)
≤
6.
定
理
3[6]
对
于
任
意
整
数
𝑎
≥
2,
如
果
𝐺
=
𝑇
×
𝑃
,
其
中
𝑇
是
一
棵
树
,
𝑃
是
一
条
路
,
那
么
(
𝑎,
1)-
𝑐𝑜𝑙
𝑔
(
𝐺
)
≤
6.
定
理
4[6]
对
于
任
意
整
数
𝑎
≥
4,
如
果
𝐺
=
𝑇
𝑃
,
其
中
𝑇
是
一
棵
树
,
𝑃
是
一
条
路
,
那
么
(
𝑎,
1)-
𝑐𝑜𝑙
𝑔
(
𝐺
)
≤
10.
本
文
主
要
研
究
的
图
是树
和
树
的
乘
积
图
,
利
用
定
理
1,
我
们
给
出
树
和
树
的
三
种
乘
积
图
的
(
𝑎,
1)-
博
弈
染色
数
的
上
界
.
特
别
的
,
如
果
其
中
一
棵
树是
一
条
路
,
那
么
我
们
可
以
得到
与
文
献
[6]
中
关
于
树
和
路
的
乘
积
图
的
博
弈
染色
数
相
同
的
结
果
.
2.
树
和
树
乘
积
图
的
博
弈
染色
数
令
𝑇
1
和
𝑇
2
是
两
棵
树
.
令
图
𝐺
是树
𝑇
1
与
树
𝑇
2
的
乘
积
图
.
我
们
对
乘
积
图
𝐺
的
边
进
行
定
向
,
给
出
一
个
定
向
图
⃗
𝐺
,
得
出
图
⃗
𝐺
的
最
大
出
度
,
再
应用
定
理
1
得
出
图
𝐺
的
(
𝑎,
1)-
博
弈
染色
数
的
上
界
.
首
先
我
们
分
别
取
树
𝑇
1
与
树
𝑇
2
的
两
个
宽
度
优
先
顶点
分
层
.
令
𝑢
𝑖,𝑗
和
𝑣
𝑖,𝑗
分
别表
示树
𝑇
1
与
树
𝑇
2
在
宽
度
优
先
分
层
中
的第
𝑖
层
的第
𝑗
个
元
素
.
并
称
在
第
𝑖
−
1
层
与
点
𝑢
𝑖,𝑗
邻
接
的点
为
点
𝑢
𝑖,𝑗
的
祖
先
,
在
第
𝑖
+1
层
与
点
𝑢
𝑖,𝑗
邻
接
的点
为
点
𝑢
𝑖,𝑗
的
后
代
.
由于
𝑇
1
与
𝑇
2
都
是树
,
所
以
任
意一
个
𝑇
1
或
𝑇
2
中
的点
DOI:10.12677/aam.2023.1241561506
应用
数
学
进
展
苏
俊
义
最
多
只
有
一
个
祖
先
.
由
笛
卡
尔
积
图
、
直
积
图
和
强
积
图
的定
义
我
们
知
道
,
树
𝑇
1
与
树
𝑇
2
的笛
卡
尔
积
图
、
直
积
图
和
强
积
图
的顶点
集
是
相
同
的
,
为
𝑉
(
𝐺
) =
𝑉
1
∪
𝑉
2
∪···∪
𝑉
𝑖
∪···
,
其
中
𝑉
𝑖
=
{
(
𝑢
1
,
1
,𝑣
𝑖,
1
)
,
(
𝑢
1
,
1
,𝑣
𝑖,
2
)
,...,
(
𝑢
1
,
1
,𝑣
𝑖,𝑚
𝑖
)
,
(
𝑢
2
,
1
,𝑣
𝑖,
1
)
,
(
𝑢
2
,
1
,𝑣
𝑖,
2
)
,...,
(
𝑢
2
,
1
,𝑣
𝑖,𝑚
𝑖
)
,
(
𝑢
2
,
2
,𝑣
𝑖,
1
)
,
(
𝑢
2
,
2
,𝑣
𝑖,
2
)
,...,
(
𝑢
2
,
2
,𝑣
𝑖,𝑚
𝑖
)
,
···
.
.
.
(
𝑢
𝑗,
1
,𝑣
𝑖,
1
)
,
(
𝑢
𝑗,
1
,𝑣
𝑖,
2
)
,...,
(
𝑢
𝑗,
1
,𝑣
𝑖,𝑚
𝑖
)
,
···}
我
们
称
点
(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
是
𝑉
𝑝
的第
𝑖
层
的
元
素
.
对
于
乘
积
图
𝐺
的
任
意
两
个
顶点
(
𝑢
𝑖
1
,𝑗
1
,𝑣
𝑖
2
,𝑗
2
)
和
(
𝑢
𝑖
3
,𝑗
3
,𝑣
𝑖
4
,𝑗
4
),
我
们
根
据
如
下
规
则
,
将
乘
积
图
𝐺
的顶点
进
行
排
序
.
1.
如
果
𝑖
1
<𝑖
3
,
则
(
𝑢
𝑖
1
,𝑗
1
,𝑣
𝑖
2
,𝑗
2
)
≺
𝐿
(
𝑢
𝑖
3
,𝑗
3
,𝑣
𝑖
4
,𝑗
4
);
2.
如
果
𝑖
1
=
𝑖
3
且
𝑖
2
<𝑖
4
,
则
(
𝑢
𝑖
1
,𝑗
1
,𝑣
𝑖
2
,𝑗
2
)
≺
𝐿
(
𝑢
𝑖
3
,𝑗
3
,𝑣
𝑖
4
,𝑗
4
);
3.
如
果
𝑖
1
=
𝑖
3
,
𝑖
2
=
𝑖
4
且
𝑗
1
<𝑗
3
,
则
(
𝑢
𝑖
1
,𝑗
1
,𝑣
𝑖
2
,𝑗
2
)
≺
𝐿
(
𝑢
𝑖
3
,𝑗
3
,𝑣
𝑖
4
,𝑗
4
);
4.
如
果
𝑖
1
=
𝑖
3
,
𝑖
2
=
𝑖
4
,
𝑗
1
=
𝑗
3
且
𝑗
2
<𝑗
4
,
则
(
𝑢
𝑖
1
,𝑗
1
,𝑣
𝑖
2
,𝑗
2
)
≺
𝐿
(
𝑢
𝑖
3
,𝑗
3
,𝑣
𝑖
4
,𝑗
4
).
令满
足
上
述
规
则
的
乘
积
图
𝐺
的顶点
线
性序
为
𝐿
.
根
据
顶点
线
性序
𝐿
我
们
给
乘
积
图
𝐺
的
边
进
行
定
向
,
定
向
规
则
如
下
:
对
任
意一
条
边
𝑒
= (
𝑢,𝑣
)
∈
𝐸
(
𝐺
),
边
𝑒
= (
𝑢,𝑣
)
的
方
向
为
从
𝑢
指
向
𝑣
当
且
仅
当
𝑣<
𝐿
𝑢
.
即
从
顶点
线
性序
大
的顶点
指
向
顶点
线
性序小
的顶点
.
定
理
5
令
𝑇
1
和
𝑇
2
是
两
棵
树
.
对
于
任
意
整
数
𝑎
≥
2,
如
果
图
𝐺
=
𝑇
1
2
𝑇
2
,
则
(
𝑎,
1)-
𝑐𝑜𝑙
𝑔
(
𝐺
)
≤
6.
证
明
首
先
我
们
对
图
𝐺
中
的
边
按
照
上
述
规
则
进
行
定
向
.
由
集
合
𝑉
𝑖
和
𝑉
𝑗
的定
义
和
笛
卡
尔
积
图
的
定
义
我
们
知
道
,
如
果
|
𝑖
−
𝑗
|≥
2,
那
么
在
顶点
集
𝑉
𝑖
和
𝑉
𝑗
之
间
没
有
边
相
连
.
所
以
根
据
我
们
上
述
定
义
的
边
定
向
规
则
,
任
意一
个
顶点
𝑣
= (
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
∈
𝑉
(
𝐺
),
我
们
有
1.
对
于
同
𝑉
𝑝
中
与
点
𝑣
关
联
的
边
与
在
𝑉
𝑝
中
𝑖
−
1
层
关
联
的
边
𝑒
1
=((
𝑢
𝑖
−
1
,𝑎
,𝑣
𝑝,𝑞
)
,
(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
))
是
从
点
𝑣
=(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
指
向
点
(
𝑢
𝑖
−
1
,𝑎
,𝑣
𝑝,𝑞
);
与
在
𝑉
𝑝
中
𝑖
+1
层
关
联
的
边
𝑒
=((
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
,
(
𝑢
𝑖
+1
,𝑏
,𝑣
𝑝,𝑞
))
是
从
点
(
𝑢
𝑖
+1
,𝑏
,𝑣
𝑝,𝑞
)
指
向
点
𝑣
=
(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
);
2.
对
于
𝑉
𝑝
−
1
中
与
点
𝑣
关
联
的
边
与
在
𝑉
𝑝
−
1
中
关
联
的
边
𝑒
2
= ((
𝑢
𝑖,𝑗
,𝑣
𝑝
−
1
,𝑐
)
,
(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
))
是
从
点
𝑣
= (
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
指
向
点
(
𝑢
𝑖,𝑗
,𝑣
𝑝
−
1
,𝑐
);
3.
对
于
𝑉
𝑝
+1
中
与
点
𝑣
关
联
的
边
与
在
𝑉
𝑝
+1
中
关
联
的
边
𝑒
= ((
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
,
(
𝑢
𝑖,𝑗
,𝑣
𝑝
+1
,𝑑
))
是
从
点
(
𝑢
𝑖,𝑗
,𝑣
𝑝
+1
,𝑑
)
指
向
点
𝑣
= (
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
).
由于
𝑇
1
和
𝑇
2
都
是树
,
在
𝑇
1
和
𝑇
2
中
的点都
最
多
只
有
一
个
祖
先
,
所
以
对
任
意一
个
顶点
𝑣
=
(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
∈
𝑉
(
𝐺
),
最
多
在
图
𝐺
中
与
𝑉
𝑝
的第
𝑖
−
1
层
的
一
个
元
素
邻
接
,
最
多
在
图
𝐺
中
与
𝑉
𝑝
−
1
中
的
一
个
元
素
邻
接
.
所
以
任
意一
个
顶点
𝑣
=(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
∈
𝑉
(
𝐺
)
在
⃗
𝐺
中
的
出
度
𝑑
+
(
𝑣
)
≤
2,
所
以
由
定
理
1
得
(
𝑎,
1)-
𝑐𝑜𝑙
𝑔
(
𝐺
)
≤
6.
DOI:10.12677/aam.2023.1241561507
应用
数
学
进
展
苏
俊
义
定
理
6
令
𝑇
1
和
𝑇
2
是
两
棵
树
,
设
∆ = ∆(
𝑇
2
)
≤
∆(
𝑇
1
).
对
于
任
意
整
数
𝑎
≥
∆,
如
果
图
𝐺
=
𝑇
1
×
𝑇
2
,
则
(
𝑎,
1)-
𝑐𝑜𝑙
𝑔
(
𝐺
)
≤
2∆+2.
证
明
首
先
我
们
对
图
𝐺
中
的
边
按
照
上
述
规
则
进
行
定
向
.
由
集
合
𝑉
𝑖
和
𝑉
𝑗
的定
义
和
直
积
图
的定
义
我
们
知
道
,
我
们
同
样
有
如
果
|
𝑖
−
𝑗
|≥
2,
那
么
在
顶点
集
𝑉
𝑖
和
𝑉
𝑗
之
间
没
有
边
相
连
,
此
外我
们
还
可
以
得
到
每
一
个
𝑉
𝑖
在
图
𝐺
=
𝑇
1
×
𝑇
2
上
都
是
一
个
独
立
集
.
根
据
我
们
上
述
定
义
的
边
定
向
规
则
,
任
意一
个
顶点
𝑣
= (
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
∈
𝑉
(
𝐺
),
我
们
有
1.
对
于
𝑉
𝑝
−
1
中
与
点
𝑣
关
联
的
边
与
在
𝑉
𝑝
−
1
中
𝑖
−
1
层
关
联
的
边
𝑒
1
=((
𝑢
𝑖
−
1
,𝑎
,𝑣
𝑝
−
1
,𝑏
)
,
(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
))
是
从
点
𝑣
=(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
指
向
点
(
𝑢
𝑖
−
1
,𝑎
,𝑣
𝑝
−
1
,𝑏
);
与
在
𝑉
𝑝
−
1
中
𝑖
+ 1
层
关
联
的
边
𝑒
=((
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
,
(
𝑢
𝑖
+1
,𝑐
,𝑣
𝑝
−
1
,𝑑
))
是
从
点
(
𝑢
𝑖
+1
,𝑐
,𝑣
𝑝
−
1
,𝑑
)
指
向
点
𝑣
= (
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
);
2.
对
于
𝑉
𝑝
+1
中
与
点
𝑣
关
联
的
边
与
在
𝑉
𝑝
+1
中
𝑖
−
1
层
关
联
的
边
𝑒
2
=((
𝑢
𝑖
−
1
,𝑎
,𝑣
𝑝
+1
,𝑏
)
,
(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
))
是
从
点
𝑣
=(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
指
向
点
(
𝑢
𝑖
−
1
,𝑎
,𝑣
𝑝
+1
,𝑑
);
与
在
𝑉
𝑝
+1
中
𝑖
+ 1
层
关
联
的
边
𝑒
=((
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
,
(
𝑢
𝑖
+1
,𝑐
,𝑣
𝑝
+1
,𝑑
))
是
从
点
(
𝑢
𝑖
+1
,𝑐
,𝑣
𝑝
+1
,𝑑
)
指
向
点
𝑣
= (
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
).
如
果
𝑝
=1,
则
𝑉
𝑝
−
1
=
∅
,
所
以
点
𝑣
与
𝑉
𝑝
−
1
之
间
没
有
边
.
由于
∆(
𝑇
2
)=∆,
且
在
树
𝑇
1
上
点
𝑢
𝑖,𝑗
最
多
只
有
一
个
祖
先
𝑢
𝑖
−
1
,𝑎
,
所
以
点
𝑣
与
在
𝑉
𝑝
+1
中
𝑖
−
1
层
关
联
的
边
最
多
有
1
×
∆ = ∆
条
;
如
果
𝑝>
1,
由于
点
𝑢
𝑖,𝑗
和
点
𝑣
𝑝,𝑞
分
别
在
树
𝑇
1
和
𝑇
2
上
都
最
多
只
有
一
个
祖
先
,
所
以
点
𝑣
与
在
𝑉
𝑝
−
1
中
𝑖
−
1
层
关
联
的
边
最
多
有
1
×
1 = 1
条
,
又由于
∆(
𝑇
2
) = ∆
且
点
𝑣
𝑝,𝑞
在
树
𝑇
2
上
有
一
个
祖
先
,
所
以
点
𝑣
与
在
𝑉
𝑝
+1
中
𝑖
−
1
层
关
联
的
边
最
多
有
1
×
(∆
−
1) = ∆
−
1
条
.
所
以
任
意一
个
顶点
𝑣
= (
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
∈
𝑉
(
𝐺
)
在
⃗
𝐺
中
的
出
度
𝑑
+
(
𝑣
)
≤
∆,
所
以
由
定
理
1
得
(
𝑎,
1)-
𝑐𝑜𝑙
𝑔
(
𝐺
)
≤
2∆+2.
定
理
7
令
𝑇
1
和
𝑇
2
是
两
棵
树
,
设
∆=∆(
𝑇
2
)
≤
∆(
𝑇
1
).
对
于
任
意
整
数
𝑎
≥
∆+2,
如
果
图
𝐺
=
𝑇
1
𝑇
2
,
则
(
𝑎,
1)-
𝑐𝑜𝑙
𝑔
(
𝐺
)
≤
2∆+6.
证
明
令
图
𝐺
1
=
𝑇
1
2
𝑇
2
和
𝐺
2
=
𝑇
1
×
𝑇
2
,
由
强
积
图
的定
义
我
们
知
道
图
𝐺
=
𝑇
1
𝑇
2
是
图
𝐺
1
和
𝐺
2
边不
交
的
并
.
由
定
理
5
和
定
理
6,
我
们
知
道
图
𝐺
1
和
𝐺
2
分
别
有
一
个
对
任
意
顶点
𝑣
=(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
∈
𝑉
(
𝐺
)
满
足
𝑑
+
(
⃗
𝐺
1
)
≤
2
和
𝑑
+
(
⃗
𝐺
2
)
≤
∆
的定
向
.
所
以
图
𝐺
=
𝑇
1
𝑇
2
存
在
一
个
对
任
意
顶点
𝑣
=(
𝑢
𝑖,𝑗
,𝑣
𝑝,𝑞
)
∈
𝑉
(
𝐺
)
满
足
𝑑
+
(
⃗
𝐺
)
≤
∆ +2
的定
向
.
所
以
由
定
理
1,
我
们
有
(
𝑎,
1)-
𝑐𝑜𝑙
𝑔
(
𝐺
)
≤
2∆+6.
特
殊
地
,
如
果
树
𝑇
2
是
一
条
路
𝑃
,
则
∆(
𝑇
2
)
≤
2,
所
以
我
们
可
以
分
别
从
定
理
[5
,
6
,
7]
得到定
理
[2
,
3
,
4] .
3.
结
语
关
于
图
的
博
弈
染色
数
有
着
非
常
丰
富
的
结
果
,
但
关
于
乘
积
图
的
博
弈
染色
数
研
究
相
对
较
少
.
本
文
通
过
研
究
两
棵
树
的
乘
积
图
,
通
过
给
出
一
个
图
的定
向
规
则
,
得到
了
两
棵
树
的
乘
积
图
(
𝑎,
1)-
博
弈
染色
数
的
上
界
,
推
广
了
文
献
[6]
中
的
关
于
树
和
路
的
乘
积
图
的
(
𝑎,
1)-
博
弈
染色
数
的
结
果
.
对
于
任
意
两
个
图
的
乘
积
DOI:10.12677/aam.2023.1241561508
应用
数
学
进
展
苏
俊
义
图
的
博
弈
染色
数
的
上
界
,
仍然
是
值
得
进
一
步
探讨
的
问
题
.
参
考
文
献
[1]Bodlaender,H.L.(1991)OntheComplexityofSomeColoringGames.In:M¨ohring,R.H.,
Ed.,
Graph-TheoreticConceptsinComputerScience.WG1990.LectureNotesinComputer
Science
,Vol.484,Springer,Berlin,30-40.https://doi.org/10.1007/3-540-53832-129
[2]Faigle, U.,Kern,U., Kierstead,H. and Trotter,W.T. (1993) On the Game Chromatic Number
ofSomeClassesofGraphs.
ArsCombinatoria
,
35
,143-150.
[3]Zhu,X.(1999)TheGameColoringNumberofPlanarGraphs.
JournalofCombinatorial
Theory,SeriesB
,
75
,245-258.https://doi.org/10.1006/jctb.1998.1878
[4]Kierstead,H.A.(2005)AsymmetricGraphColoringGames.
JournalofGraphTheory
,
48
,
169-185.https://doi.org/10.1002/jgt.20049
[5]Kierstead,H.A.andYang,D.(2005)VeryAsymmetricMarkingGames.
Order
,
22
,93-107.
https://doi.org/10.1007/s11083-005-9012-y
[6]
刘
佳
丽
.
树
和
路
的
乘
积
图
的
广
义
染色
数
及
博
弈
染色
数
[J].
应用
数
学
进
展
,2022,11(1):318-325.
https://doi.org/10.12677/AAM.2022.111039
DOI:10.12677/aam.2023.1241561509
应用
数
学
进
展