设为首页
加入收藏
期刊导航
网站地图
首页
期刊
数学与物理
地球与环境
信息通讯
经济与管理
生命科学
工程技术
医药卫生
人文社科
化学与材料
会议
合作
新闻
我们
招聘
千人智库
我要投搞
办刊
期刊菜单
●领域
●编委
●投稿须知
●最新文章
●检索
●投稿
文章导航
●Abstract
●Full-Text PDF
●Full-Text HTML
●Full-Text ePUB
●Linked References
●How to Cite this Article
AdvancesinAppliedMathematics
A^
ê
Æ
?
Ð
,2019,8(9),1574-1586
PublishedOnlineSeptember2019inHans.//www.abtbus.com/journal/aam
https://doi.org/10.12677/aam.2019.89184
(3
,
1)
∗
-ChoosabilityofPlanarGraphs
withoutAdjacentShortCycles
QianZhang
CollegeofMathematicsandComputerScience,ZhejiangNormalUniversity,JinhuaZhejiang
Received:Sep.1
st
,2019;accepted:Sep.16
th
,2019;published:Sep.23
rd
,2019
Abstract
Foragraph
G
,alistassignmentisafunction
L
thatassignsalist
L
(
v
)
ofcolorstoeach
vertex
v
∈
V
(
G
)
.An
(
L,d
)
-coloringisamapping
ϕ
thatassignsacolor
ϕ
(
v
)
∈
L
(
v
)
to
each
v
∈
V
(
G
)
sothatatmost
d
neighborsof
v
receivethecolor
ϕ
(
v
)
.Agraph
G
issaid
tobe
(
k,d
)
∗
-cho osableifitadmitsan
(
L,d
)
∗
-coloringforeverylistassignment
L
with
|
L
(
v
)
|≥
k
forall
v
∈
V
(
G
)
.XuandZhangconjecturedthateveryplanargraphwithout
adjacent
3
-cyclesis
(3
,
1)
∗
-cho osable.Inthispaper,weprovethateveryplanargraph
withoutadjacent
k
-cycles,
k
= 3
,
4
,
5
,is
(3
,
1)
∗
-cho osable.
Keywords
PlanarGraph,ImproperChoosability,Discharge,Cycle
Ø
¹
ƒ
á
²
¡
ã
(3
,
1)
∗
-
Œ
À5
ÜÜÜ
ÊÊÊ
ú
ô
“
‰
Œ
Æ
§
ê
Æ
†
O
Ž
Å
‰
ÆÆ
§
ú
ô
7
u
Â
v
F
Ï
µ
2019
c
9
1
F
¶
¹
^
F
Ï
µ
2019
c
9
16
F
¶
u
Ù
F
Ï
µ
2019
c
9
23
F
©
Ù
Ú
^
:
Ü
Ê
.
Ø
¹
ƒ
á
²
¡
ã
(3
,
1)
∗
-
Œ
À5
[J].
A^
ê
Æ
?
Ð
,2019,8(9):1574-1586.
DOI:10.12677/aam.2019.89184
Ü
Ê
Á
‡
ã
G
˜
‡
ô
Ú
L
˜
L
´
•
‰
G
¥
z
‡
º:
v
Ñ
©
˜
‡
Œ
^
Ú
8
L
(
v
)
"
X
J
3
N
ϕ
e
é
?
¿
v
∈
V
(
G
)
þ
÷
v
ϕ
(
v
)
∈
L
(
v
)
§
¦
3
v
:
¥–
õ
k
d
‡
º:
ô
Ú
•
ϕ
(
v
)
§
@
o
·
‚
¡
G
´
(
L,d
)
∗
-
Œ
/
"
X
J
é
?
¿
ô
Ú
L
˜
L
=
{
L
(
v
)
||
L
(
v
)
|≥
k,v
∈
V
(
G
)
}
,
G
Ñ
´
(
L,d
)
∗
-
Œ
/
§
@
o
·
‚
Ò
¡
G
´
(
k,d
)
∗
-
Œ
À
"
Xu
Ú
Zhang
ß
Ž
:
Ø
¹
ƒ
3
-
²
¡
ã
´
(3
,
1)
∗
-
Œ
À
"
3
©
¥
§
·
‚
ò
y
²
Ø
¹
ƒ
k
-
²
¡
ã
´
(3
,
1)
∗
-
Œ
À
§
Ù
¥
k
∈{
3
,
4
,
5
}
"
'
…
c
²
¡
ã
§
š
~
L
/Ú
§
=
£
§
Copyright
c
2019byauthor(s)andHansPublishersInc.
This work is licensed undertheCreative Commons Attribution InternationalLicense(CCBY4.0).
http://creativecommons.org/licenses/by/4.0/
1.
Ú
ó
ã
G
˜
‡
ô
Ú
L
˜
L
´
•
‰
G
¥
z
‡
º:
v
Ñ
©
˜
‡
Œ
^
Ú
8
L
(
v
)
"
X
J
3
N
ϕ
e
é
?
¿
v
∈
V
(
G
)
þ
÷
v
ϕ
(
v
)
∈
L
(
v
)
§
¦
3
v
:
¥–
õ
k
d
‡
º:
ô
Ú
•
ϕ
(
v
)
§
@
o
·
‚
¡
G
´
(
L,d
)
∗
-
Œ
/
"
X
J
é
?
¿
Ú
L
L
=
{
L
(
v
)
||
L
(
v
)
|≥
k,v
∈
V
(
G
)
}
§
ã
G
Ñ
´
(
L,d
)
∗
-
Œ
/
§
@
o
·
‚
Ò
¡
ã
G
´
(
k,d
)
∗
-
Œ
À
"
ˇ
Skrekovski[1]
†
Eaton
Ú
Hull[2]
3
1999
c
Ä
g
J
Ñ
š
~
/Ú
V
g
§
¿
…
y
²
¤
k
²
¡
ã
Ñ
´
(3
,
2)
∗
-
Œ
À
±
9
¤
k
²
¡
ã
Ñ
´
(2
,
2)
∗
-
Œ
À
"
3
©
z
[3]
¥
§
Cowen
<
y
²
•
3
²
¡
ã
Ø
´
(3
,
1)
∗
-
Œ
/
§
¤
±•
Ò
`
²
¿
š
¤
k
²
¡
ã
Ñ
´
(3
,
1)
∗
-
Œ
À
"
@
o
3
Ÿ
o
^
‡
e
²
¡
ã
´
(3
,
1)
∗
-
Œ
À
Q
º
ˇ
Skrekovski[4]
Ä
k
y
²
Ø
¹
3-
²
¡
ã
´
(3
,
1)
∗
-
Œ
À
"
‘
§
Lih
<
y
²
Ø
¹
4-
Ú
k
-
²
¡
ã
´
(3
,
1)
∗
-
Œ
À
§
Ù
¥
k
∈{
5
,
6
,
7
}
"
d
§
Dong
Ú
Xu[6]
q
y
²
Ø
¹
4-
Ú
k
-
²
¡
ã
´
(3
,
1)
∗
-
Œ
À
§
Ù
¥
k
∈{
8
,
9
}
"
‘
§
Wang[7]
y
²
Ø
¹
4-
²
¡
ã
´
(3
,
1)
∗
-
Œ
À
"
3
©
z
[8]
¥
§
Xu
Ú
Zhang
J
Ñ
X
e
ß
Ž
µ
ß
Ž
1
Ø
¹
ƒ
3-
²
¡
ã
´
(3
,
1)
∗
-
Œ
À
"
3
©
¥
§
·
‚
y
²
ß
Ž
1
¿
©
^
‡
X
e
µ
DOI:10.12677/aam.2019.891841575
A^
ê
Æ
?
Ð
Ü
Ê
½
n
1
Ø
¹
ƒ
k
-
²
¡
ã
´
(3
,
1)
∗
-
Œ
À
§
Ù
¥
k
∈{
3
,
4
,
5
}
.
©
•
Ä
ã
þ
•Ã
‚
Ú
Ã
-
>
k
•
Ã
•
ã
"
e
¡
·
‚
é
²
¡
ã
¥
˜
V
g
?
1
`
²
"
é
u
²
¡
ã
G
§
^
V
(
G
)
§
E
(
G
)
§
|
V
(
G
)
|
§
|
E
(
G
)
|
Ú
δ
(
G
)
©
OL
«
ã
G
º:
8
§
>
8
§
º:
ê
§
>
ê
Ú
•
Ý
¶
^
d
(
v
)
Ú
d
(
f
)
©
OL
«
º:
v
Ý
Ú
¡
f
Ý
"
X
J
º:
v
Ý
u
k
(
–
´
k
½
–
õ
´
k
)
§
K
¡
v
´
k
-
:
(
k
+
-
:
½
k
−
-
:
)
"
a
q
/½
Â
k
-
¡
§
k
−
-
¡
Ú
k
+
-
¡
"
e
uv
∈
E
(
G
)
§
K
¡
uv
•
(
d
(
u
)
,d
(
v
))-
>
"
^
b
(
f
)
L
«
f
>
.
þ
´
"
X
J
v
1
,v
2
,
···
,v
n
´
f
þ
º:
§
K
P
•
f
=[
v
1
v
2
,
···
,v
n
]
½
(
d
(
v
1
)
,d
(
v
2
)
,
···
,d
(
v
n
))-
¡
"
e
u
´
v
˜
‡
i
-
:
¿
…
uv
Ø
†
3-
¡
ƒ
'
é
§
K
¡
u
•
v
á
i
-
:
"
e
v
k
˜
‡
'
é
3-
¡
3-
:
…
v
Ø
3ù
‡
3-
¡
þ
§
K
¡
ù
‡
3-
¡
´
v
]
!
3-
¡
"
X
J
˜
‡
5-
:
'
é
˜
‡
(3
,
4
,
5)-
¡
Ú
˜
‡
(4
,
5
,
5
+
)-
¡
¿
…
k
˜
‡
á
3-
:
§
@
o
·
‚
¡
ù
5-
:
•
€
:
§
‡
ƒ
¡
•
Ð
:
"
X
J
˜
‡
6-
:
'
éü
‡
(3
,
4
,
6)-
¡
Ú
˜
‡
(4
,
5
+
,
6)-
¡
§
@
·
‚
¡
ù
6-
:
•
€
:
§
‡
ƒ
¡
•
Ð
:
"
é
u
k
= 5
,
6
§
^
k
b
-
:
(
k
g
-
:
)
5
L
«
€
:
(
Ð
:
)
"
2.
½
n
1
y
²
b
½
n
1
´
Ø
(
"
G
=(
V,E
)
•
½
n
1
é
u
|
V
(
G
)
|
+
|
E
(
G
)
|
•
4
‡
~
§
w
,
ã
G
´
ë
Ï
"
·
‚
ò
l
±
e
Ú
n
Ú
=
£
Ñ
g
ñ
"
2.1.
Œ
5
(
5
1
-
G
•
Ø
¹
ƒ
k
-
²
¡
ã
x
§
Ù
¥
k
∈{
3
,
4
,
5
}
§
K
G
∈G
"
d
d
Œ
•
ã
G
¥
Ø
¹
±
e
ù
(
µ
(1)
ƒ
3-
¡
¶
(2)
ƒ
4-
¡
¶
(3)
ƒ
5-
¡
¶
(4)3-
¡
†
ü
‡
4-
¡
ƒ
¶
(5)4-
¡
†
ü
‡
3-
¡
ƒ
¶
(6)5-
¡
†
ƒ
3-
¡
Ú
4-
¡
ƒ
"
·
‚
k
0
Wang
3
[7]
¥
‰
Ñ
A
‡
Ú
n
µ
Ú
n
1[7]
(1)
δ
(
G
)
≥
3;
(2)
G
¥
Ø
¹
(3
,
3)-
>
"
Ú
n
2[7]
(1)
G
¥
v
k
(4
−
,
4
−
,
4
−
)-
¡
¶
(2)
G
¥
v
k
(3
,
4
,
3
,
4)-
¡
"
Ú
n
3[7]
DOI:10.12677/aam.2019.891841576
A^
ê
Æ
?
Ð
Ü
Ê
(1)4-
:
–
õ
k
ü
‡
3-
:
¶
(2)
e
5-
:
†
ü
‡
3-
¡
ƒ
'
é
§
Ù
¥
k
˜
‡
3-
¡
´
(3
,
4
,
5)-
¡
§
K
,
˜
‡
3-
¡
Ø
•
(4
−
,
4
−
,
5)-
¡
¶
(3)
e
5
†
˜
‡
(3
,
4
,
5)-
¡
f
1
ƒ
'
é
§
K
Ø
b
(
f
1
)
þ
:
§
–
õ
k
˜
‡
3-
:
¶
(4)
e
6-
:
†
3
‡
3-
¡
ƒ
'
é
§
Ù
¥
k
˜
‡
3-
¡
´
(3
,
4
,
6)-
¡
§
K
Ù
§
ü
‡
3-
¡
Ø
Ó
ž
•
(4
−
,
4
−
,
6)-
¡
¶
(5)
e
5-
:
†
ü
‡
(4
,
4
,
5)-
¡
ƒ
'
é
§
K
§
v
k
3-
:
"
Ú
n
4
G
¥
v
k
(4
,
5
b
,
5
b
)-
¡
"
y
µ
b
f
1
=[
v
1
,v
2
,v
3
]
•
(4
,
5
b
,
5
b
)-
¡
§
é
u
i
=2
,
3,
f
i
=[
x
i
,y
i
,v
i
]
•
(3
,
4
,
5)-
¡
"
v
i
´
5
b
-
:
§
v
0
i
•
v
i
á
3-
:
"
é
u
i
=1
,
2
§
-
x
0
i
•
x
i
á
:
§
y
0
i
Ú
y
00
i
•
y
i
á
:
"
d
G
4
5
§
ã
G
0
=
G
−{
v
1
,v
2
,v
3
,v
0
2
,v
0
3
,x
2
,y
2
,x
3
,y
3
}
k
˜
‡
(3
,
1)
∗
-
/Ú
ϕ
(
é
z
‡
º:
x
∈
V
(
G
)
5
`
§
§
/Ú
5
g
u
Ú
L
L
(
x
))
"
Ä
k
§
•
g
‰
v
1
,v
0
2
,v
0
3
,y
2
,y
3
,x
3
˜
‡
~
/Ú
"
,
§
‰
v
2
/
L
(
v
2
)
\{
ϕ
(
v
0
2
)
,ϕ
(
y
2
)
}
¥
ô
Ú
§
‰
v
3
/
L
(
v
3
)
3
{
ϕ
(
v
1
)
,ϕ
(
v
2
)
,ϕ
(
v
0
3
)
,ϕ
(
y
3
)
,ϕ
(
x
3
)
}
–
õ
Ñ
y
˜
g
ô
Ú
"
•
,
‰
x
2
/
L
(
x
2
)
\{
ϕ
(
v
2
)
,ϕ
(
x
0
2
)
}
¥
ô
Ú
.
d
þ
Œ
•
G
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
§
g
ñ
"
Ú
n
5
G
¥
v
k
(4
,
5
b
,
6
b
)-
¡
"
y
µ
b
f
1
=[
v
1
,v
2
,v
3
]
•
(4
,
5
b
,
6
b
)-
¡
§
f
2
=[
x
2
,y
2
,v
2
]
•
(3
,
4
,
5)-
¡
"
v
2
´
5
b
-
:
§
v
0
2
•
v
2
á
3-
:
§
x
0
2
•
x
2
á
:
"
é
u
i
= 3
,
4,
-
f
i
= [
x
i
,y
i
,v
3
]
•
(3
,
4
,
6)-
¡
,
x
0
i
•
x
i
á
:
"
d
G
4
5
§
ã
G
0
=
G
−{
v
1
,v
2
,v
3
,v
0
2
,x
2
,y
2
,x
3
,y
3
,x
4
,y
4
}
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
ϕ
"
Ä
k
§
•
g
‰
v
1
,v
0
2
,y
2
,y
3
,y
4
,x
4
~
/Ú
"
,
§
•
g
‰
v
2
/
L
(
v
2
)
\{
ϕ
(
v
0
2
)
,ϕ
(
y
2
)
}
¥
ô
Ú
§
x
2
/
L
(
x
2
)
\{
ϕ
(
x
0
2
)
,ϕ
(
v
2
)
}
¥
ô
Ú
§
v
3
/
L
(
v
3
)
3
{
ϕ
(
v
1
)
,ϕ
(
v
2
)
,ϕ
(
x
4
)
,ϕ
(
y
3
)
,ϕ
(
y
4
)
}
–
õ
Ñ
y
˜
g
ô
Ú
"
•
§
‰
x
3
/
L
(
x
3
)
\{
ϕ
(
v
3
)
,ϕ
(
x
0
3
)
}
¥
ô
Ú
"
d
þ
Œ
•
G
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
§
g
ñ
"
Ú
n
6
G
¥
v
k
(4
,
6
b
,
6
b
)-
¡
"
y
µ
b
f
=[
v
1
,v
2
,v
3
]
•
(4
,
6
b
,
6
b
)-
¡
§
é
u
i
=1
,
2,
f
i
=[
x
i
,y
i
,v
2
]
•
(3
,
4
,
6)-
¡
§
é
u
i
=3
,
4,
f
i
=[
x
i
,y
i
,v
3
]
•
(3
,
4
,
6)-
¡
"
-
x
0
i
•
x
i
á
:
§
Ù
¥
i
=1
,
2
,
3
,
4
"
d
G
4
5
§
ã
G
0
=
G
−{
v
1
,v
2
,v
3
,x
1
,x
2
,x
3
,x
4
,y
1
,y
2
,y
3
,y
4
}
k
'
u
L
L
(3
,
1)
∗
-
/Ú
ϕ
"
Ä
k
§
•
g
‰
v
1
,y
1
,y
2
,y
3
,y
4
,x
3
~
/Ú
"
,
§
•
g
‰
v
2
/
L
(
v
2
)
\{
ϕ
(
y
1
)
,ϕ
(
y
2
)
}
¥
ô
Ú
§
‰
x
i
/
L
(
x
i
)
\{
ϕ
(
v
2
)
,ϕ
(
x
0
i
)
}
¥
ô
Ú
§
Ù
¥
i
=1
,
2
§
‰
v
3
/
L
(
v
3
)
3
{
ϕ
(
v
1
)
,ϕ
(
v
2
)
,ϕ
(
x
3
)
,ϕ
(
y
3
)
,ϕ
(
y
4
)
}
–
õ
Ñ
y
˜
g
ô
Ú
"
•
§
‰
x
4
/
L
(
x
4
)
\{
ϕ
(
v
3
)
,ϕ
(
x
0
4
)
}
¥
ô
Ú
"
d
þ
Œ
•
G
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
§
g
ñ
"
Ú
n
7
e
5-
:
'
é
˜
‡
(4
−
,
4
,
5)-
¡
§
K
§
Ø
†
(3
,
4
,
3
,
5)-
¡
ƒ
'
é
"
y
µ
5-
:
'
é
˜
‡
(3
,
4
,
5)-
¡
ž
§
d
Ú
n
3(3)
Œ
•
(3
,
4
,
5)-
¡
†
(3
,
4
,
3
,
5)-
¡
ƒ
"
b
f
1
=[
v
2
,v
1
,v
]
•
(3
,
4
,
5)-
¡
§
f
2
=[
v
2
,u,v
3
,v
]
•
(3
,
4
,
3
,
5)-
¡
"
-
v
Ù
§
:
•
v
4
Ú
v
5
,
v
0
3
•
v
3
á
:
"
d
G
4
5
§
ã
G
0
=
G
−{
v,v
1
,v
2
,v
3
,u
}
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
DOI:10.12677/aam.2019.891841577
A^
ê
Æ
?
Ð
Ü
Ê
/Ú
ϕ
"
Ä
k
§
•
g
‰
v
1
,u
~
/Ú
"
,
§
•
g
‰
v
/
L
(
v
)
\{
ϕ
(
v
4
)
,ϕ
(
v
5
)
}
¥
ô
Ú
§
v
3
/
L
(
v
3
)
\{
ϕ
(
v
0
3
)
,ϕ
(
v
)
}
¥
ô
Ú
"
•
§
‰
v
2
/
L
(
v
2
)
\{
ϕ
(
u
)
,ϕ
(
v
)
}
¥
ô
Ú
"
d
þ
Œ
•
G
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
§
g
ñ
"
5-
:
'
é
˜
‡
(4
,
4
,
5)-
¡
ž
§
d
Ú
n
1(2)
Œ
•
(4
,
4
,
5)-
¡
Ø
†
(3
,
4
,
3
,
5)-
¡
ƒ
"
b
f
=[
v
1
,v
2
,v
]
•
(4
,
4
,
5)-
¡
,
f
2
=[
v
3
,u,v
4
,v
]
•
(3
,
4
,
3
,
5)-
¡
.
-
v
5
•
v
Ù
§
:
§
v
0
4
•
v
4
Ù
§
:
"
d
G
4
5
§
ã
G
0
=
G
−{
v,v
1
,v
2
,v
3
,v
4
,u
}
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
ϕ
"
Ä
k
§
•
g
‰
v
1
,
v
2
,
u
,
v
3
~
/Ú
"
,
§
•
g
‰
v
/
L
(
v
)
\{
ϕ
(
v
5
)
}
…
3
{
ϕ
(
v
1
)
,ϕ
(
v
2
)
,ϕ
(
v
3
)
}
¥•
Ñ
y
˜
g
ô
Ú
"
•
§
‰
v
4
/
L
(
v
4
)
\{
ϕ
(
v
)
,ϕ
(
v
0
4
)
}
¥
ô
Ú
"
d
þ
Œ
•
G
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
§
g
ñ
"
Ú
n
8
e
5-
:
'
é
˜
‡
(3
,
4
,
3
,
5)-
¡
f
1
§
K
Ø
b
(
f
1
)
þ
:
§
–
õ
k
˜
‡
3-
:
"
y
µ
b
f
1
=[
v
1
,u,v
2
,v
]
•
(3
,
4
,
3
,
5)-
¡
"
é
u
i
=3
,
4
,
5
§
-
v
i
•
v
Ù
§
:
§
Ø
”
v
3
Ú
v
4
•
3-
:
§
v
0
2
•
v
2
Ù
§
:
.
d
G
4
5
,
ã
G
0
=
G
−{
v,v
1
,v
2
,v
3
,v
4
,u
}
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
ϕ
.
Ä
k
§
•
g
‰
u
§
v
1
,
v
3
,
v
4
~
/Ú
"
,
§
•
g
‰
v
/
L
(
v
)
\{
ϕ
(
v
5
)
}
¿
…
3
{
ϕ
(
v
1
)
,ϕ
(
v
3
)
,ϕ
(
v
4
)
}
¥–
õ
Ñ
y
˜
g
ô
Ú
"
•
§
‰
v
2
/
L
(
v
2
)
\{
ϕ
(
v
)
,ϕ
(
v
0
2
)
}
¥
ô
Ú
"
d
þ
Œ
•
G
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
§
g
ñ
"
Ú
n
9
e
6-
:
'
éü
‡
(3
,
4
,
6)-
¡
f
1
Ú
f
2
,
K
Ø
b
(
f
1
)
Ú
b
(
f
2
)
þ
:
§
v
k
3-
:
"
y
µ
b
f
1
= [
v
1
,v
2
,v
]
•
(3
,
4
,
6)-
¡
§
f
2
= [
v
3
,x
4
,v
]
•
(3
,
4
,
6)-
¡
"
-
v
5
•
v
3-
:
§
é
u
i
=2
,
4
,
5,
v
0
i
Ú
v
00
i
•
v
i
Ù
§
:
§
é
u
i
=1
,
3,
v
0
i
•
v
i
Ù
§
:
"
d
G
4
5
§
ã
G
0
=
G
−{
v,v
1
,v
2
,v
3
,v
4
,v
5
}
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
ϕ
"
Ä
k
§
•
g
‰
v
2
,v
4
,v
5
~
/Ú
"
,
§
•
g
‰
v
/
L
(
v
)
\{
ϕ
(
v
6
)
}
…
3
{
ϕ
(
v
2
)
,ϕ
(
v
4
)
,ϕ
(
v
5
)
}
–
õ
Ñ
y
˜
g
ô
Ú
"
•
§
‰
v
1
/
L
(
v
1
)
\{
ϕ
(
v
)
,ϕ
(
v
0
1
)
}
¥
ô
Ú
§
v
3
/
L
(
v
3
)
\{
ϕ
(
v
)
,ϕ
(
v
0
3
)
}
¥
ô
Ú
"
d
þ
Œ
•
G
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
§
g
ñ
"
Ú
n
10
e
6-
:
'
é
˜
‡
(3
,
4
,
6)-
¡
f
1
Ú
˜
‡
(3
,
4
,
3
,
6)-
¡
f
2
,
K
Ø
b
(
f
1
)
Ú
b
(
f
2
)
þ
:
§
–
õ
k
˜
‡
3-
:
"
y
²
µ
f
1
†
f
2
ƒ
ž
§
b
f
1
=[
v
1
,v
2
,v
]
•
(3
,
4
,
6)-
¡
§
f
2
=[
v
2
,u,v
3
,v
]
•
(3
,
4
,
3
,
6)-
¡
"
é
u
i
=4
,
5
,
6
§
-
v
i
•
v
:
§
Ø
”
v
4
Ú
v
5
´
3-
:
"
é
u
i
=1
,
4
,
5
§
-
v
0
i
Ú
v
00
i
•
v
i
Ù
§
:
§
v
0
3
•
v
3
Ù
§
:
"
d
G
4
5
§
ã
G
0
=
G
−{
v,v
1
,u,v
2
,v
3
,v
4
,v
5
}
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
ϕ
"
Ä
k
§
•
g
‰
v
1
,u,v
4
,v
5
~
/Ú
"
,
§
‰
v
/
L
(
v
)
\
ϕ
(
v
6
)
}
¿
…
3
{
ϕ
(
v
1
)
,ϕ
(
v
4
)
,ϕ
(
v
5
)
}
–
õ
Ñ
y
˜
g
ô
Ú
.
•
§
‰
v
3
/
L
(
v
3
)
\{
ϕ
(
v
)
,ϕ
(
v
0
3
)
}
¥
ô
Ú
§
v
2
/
L
(
v
2
)
\{
ϕ
(
u
)
,ϕ
(
v
)
}
¥
ô
Ú
"
d
þ
Œ
•
G
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
§
g
ñ
"
f
1
†
f
2
Ø
ƒ
ž
§
b
f
1
=[
v
2
,v
1
,v
]
´
(3
,
4
,
6)-
¡
§
f
2
=[
v
3
,u,v
4
,v
]
•
(3
,
4
,
3
,
6)-
¡
"
é
u
i
=5
,
6
§
-
v
i
•
v
Ø
3
b
(
f
1
)
Ú
b
(
f
2
)
þ
3-
:
§
v
0
3
•
v
3
Ù
§
:
"
d
G
4
5
§
ã
G
0
=
G
−{
v,v
1
,v
2
,v
3
,v
4
,v
5
,v
6
,u
}
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
ϕ
"
Ä
k
§
•
g
‰
v
1
,v
2
,u,v
4
,v
5
,v
6
~
/Ú
"
,
§
‰
v
/
3
{
ϕ
(
v
1
)
,ϕ
(
v
2
)
,ϕ
(
v
4
)
,ϕ
(
v
5
)
,ϕ
(
v
6
)
}
–
õ
Ñ
y
˜
g
ô
Ú
"
•
§
‰
v
3
/
L
(
v
3
)
\{
ϕ
(
v
)
,ϕ
(
v
0
3
)
}
¥
ô
Ú
"
d
þ
Œ
•
G
k
'
u
L
L
˜
‡
(3
,
1)
∗
-
/Ú
§
g
ñ
"
DOI:10.12677/aam.2019.891841578
A^
ê
Æ
?
Ð
Ü
Ê
2.2.
=
£
5
K
é
ë
Ï
²
¡
ã
G
,
d
î
.
ú
ª
§
k
|
V
(
G
)
|−|
E
(
G
)
|
+
|
F
(
G
)
|
= 2
9
P
v
∈
V
(
G
)
d
(
v
)=
P
f
∈
F
(
G
)
d
(
f
)=
2
|
E
(
G
)
|
§
Œ
µ
P
v
∈
V
(
G
)
(2
d
(
v
)
−
6)+
P
f
∈
F
(
G
)
(
d
(
f
)
−
6)=
−
12
é
z
˜
‡
x
∈
V
(
G
)
∪
F
(
G
)
§
½
Â
Ù
Ð
©
Š
•
ch
(
x
)
"
é
?
¿
v
∈
V
(
G
)
§
½
Â
ch
(
v
)=
2
d
(
v
)
−
6
§
é
u
f
∈
F
(
G
),
ch
(
f
) =
d
(
f
)
−
6
§
K
P
x
∈
V
(
G
)
∪
F
(
G
)
ch
(
x
) =
−
12
<
0.
e
¡
½
Â
=
£
5
K
,
-
#
©
º:
Ú
¡
,
¦
é
z
‡
x
∈
(
V
(
G
)
∪
F
(
G
)),
Ñ
k
ch
∗
(
x
)
≥
0.
du
•
3
º:
Ú
¡
ƒ
m
?
1
=
£
§
o
Ú
ØC
§
l
0
≤
P
x
∈
V
(
G
)
∪
F
(
G
)
ch
∗
(
x
)=
P
x
∈
V
(
G
)
∪
F
(
G
)
ch
(
x
)=
−
12
<
0
§
g
ñ
"
`
²
4
‡
~
Ø
•
3
§
l
½
n
¤
á
"
·
‚
ò
†
€
:
ƒ
'
é
¡
¡
•
€
¡
§
Ä
K
¡
•
Ð
¡
"
±
e
X
J
v
k
A
O
`
²
Ð
¡
†
€
¡
Œw
¤
ü
‡
«
œ
¹
e
€
:
†
Ð
:
=
œ
¹
˜
"
=
£
5
K
X
e
µ
R14-
:
=
œ
¹
R1
.
1
‰
z
‡
]
!
3-
¡
=
1
3
¶
R1
.
2
‰
z
‡
†
§
ƒ
'
é
3-
¡
=
2
3
¶
R1
.
3
‰
z
‡
†
§
ƒ
'
é
4-
¡
=
œ
¹
¶
(1)
‰
z
‡
†
§
ƒ
'
é
(3
,
4
,
3
+
,
4
+
)-
¡
=
2
3
¶
(2)
‰
z
‡
†
§
ƒ
'
é
(4
,
4
+
,
4
+
,
4
+
)-
¡
=
1
2
¶
R1
.
4
‰
z
‡
†
§
ƒ
'
é
5-
¡
f
=
1
5
−
m
§
Ù
¥
m
•
b
(
f
)
þ
3-
:
‡
ê
§
d
Ú
n
1(2)
Œ
•
m
≤
2
"
R25
+
-
:
=
œ
¹
R2
.
15
+
-
:
‰
3-
¡
=
œ
¹
(1)
‰
z
‡
]
!
3-
¡
=
1
3
¶
(2)
‰
z
‡
†
§
ƒ
'
é
(3
,
4
,
5
+
)-
¡
=
2
¶
(3)
‰
z
‡
†
§
ƒ
'
é
(4
,
4
,
5
+
)-
¡
=
5
3
¶
(4)
‰
z
‡
†
§
ƒ
'
é
(3
,
5
+
,
5
+
)-
¡
=
4
3
¶
(5)
‰
z
‡
†
§
ƒ
'
é
Ð
(4
,
5
+
,
5
+
)-
¡
=
7
6
§
€
:
‰
z
‡
†
§
ƒ
'
é
€
(4
,
5
+
,
5
+
)-
¡
=
1
§
Ð
:
½
7
+
-
:
=
4
3
¶
(6)
‰
z
‡
†
§
ƒ
'
é
(5
+
,
5
+
,
5
+
)-
¡
=
1
¶
R2
.
25
+
-
:
‰
4-
¡
=
œ
¹
(1)
‰
z
‡
†
§
ƒ
'
é
(3
,
4
,
3
,
5
+
)-
¡
=
4
3
¶
(2)
‰
z
‡
†
§
ƒ
'
é
(3
,
5
+
,
3
,
5
+
)-
¡
=
1
¶
DOI:10.12677/aam.2019.891841579
A^
ê
Æ
?
Ð
Ü
Ê
(3)
‰
z
‡
†
§
ƒ
'
é
(3
,
4
+
,
4
+
,
5
+
)-
¡
=
2
3
¶
(4)
‰
z
‡
†
§
ƒ
'
é
(4
+
,
4
+
,
4
+
,
5
+
)-
¡
=
1
2
¶
R2
.
35
+
-
:
‰
z
‡
†
§
ƒ
'
é
5-
¡
f
=
1
5
−
m
§
Ù
¥
m
•
b
(
f
)
þ
3-
:
‡
ê
§
d
Ú
n
1(2)
Œ
•
m
≤
2
"
e
¡
y
#
ch
∗
(
x
)
≥
0
§
x
∈
V
(
G
)
∪
F
(
G
)
"
ä
ó
1
∀
f
∈
F
(
G
),
ch
∗
(
f
)
≥
0
"
Š
â
d
(
f
)
Š
§
·
‚
Œ
±
©
•
±
e
4
«
œ
¹
?
1
?
Ø
"
œ
¹
1
µ
d
(
f
) = 3
§
K
ch
(
f
) = 3
−
6 =
−
3
"
d
Ú
n
1
Œ
•
G
¥
v
k
ƒ
3-
:
§
¤
±
3-
¡
–
õ
'
é
˜
‡
3-
:
"
e
f
†
˜
‡
3-
:
ƒ
'
é
§
K
d
Ú
n
2(1)
Œ
•
G
¥
v
k
(3
,
4
,
4)-
¡
§
¤
±
f
´
(3
,
4
,
5
+
)-
¡
½
(3
,
5
+
,
5
+
)-
¡
"
d
Ú
n
1(2)
Œ
•
f
þ
3-
:
:
(
Ø
3
f
þ
:
)
•
4
+
-
:
"
f
´
(3
,
4
,
5
+
)-
¡
ž
§
d
R1
.
1
§
R2
.
1(1)
§
R1
.
2
Ú
R2
.
1(2)
Œ
•
3-
:
:
‰
f
=
1
3
,4-
:
‰
f
=
2
3
§
5
+
-
:
‰
f
=
2
§
¤
±
ch
∗
(
f
) =
ch
(
f
)+
1
3
×
1+
2
3
×
1+2
×
1 = 0
"
f
´
(3
,
5
+
,
5
+
)-
¡
ž
§
d
R1
.
1
§
R2
.
1(1)
Ú
R2
.
1(4)
Œ
•
3-
:
:
‰
f
=
1
3
§
5
+
-
:
‰
f
=
4
3
§
¤
±
ch
∗
(
f
) =
ch
(
f
)+
1
3
×
1+
4
3
×
2 = 0
"
e
f
Ø
†
3-
:
ƒ
'
é
§
K
d
Ú
n
2(1)
Œ
•
G
¥
v
k
(4
,
4
,
4)-
¡
§
¤
±
f
´
(4
,
4
,
5
+
)-
¡
§
(4
,
5
+
,
5
+
)-
¡
½
(5
+
,
5
+
,
5
+
)-
¡
"
3-
¡
´
(4
,
4
,
5
+
)-
¡
ž
§
d
R1
.
2
Ú
R2
.
1
Œ
•
4-
:
‰
f
=
2
3
§
5
+
-
:
‰
f
=
5
3
§
¤
±
ch
∗
(
f
) =
ch
(
f
)+
2
3
×
2+
5
3
×
1 = 0
"
3-
¡
´
(5
+
,
5
+
,
5
+
)-
¡
ž
§
d
R2
.
1
Œ
•
5
+
-
:
‰
f
=
1
§
¤
±
ch
∗
(
f
)=
ch
(
f
)+1
×
3 =0
"
3-
¡
´
(4
,
5
+
,
5
+
)-
¡
ž
§
d
Ú
n
4
,
5
,
6
Œ
•
f
þ
–
õ
˜
‡
€
:
"
f
þ
v
k
€
:
ž
§
d
R1
.
2
Ú
R2
.
1(5)
Œ
•
4-
:
‰
f
=
2
3
§
5
+
-
:
‰
f
=
7
6
§
¤
±
ch
∗
(
f
)=
ch
(
f
) +
2
3
×
2+
7
6
×
2=0
"
f
þ
k
˜
‡
€
:
ž
§
d
R1
.
2
Ú
R2
.
1(5)
Œ
•
4-
:
‰
f
=
2
3
§
Ð
5
+
-
:
‰
f
=
4
3
§
€
5
+
-
:
‰
f
=
1
§
¤
±
ch
∗
(
f
) =
ch
(
f
)+
2
3
×
2+
4
3
×
1+1
×
1 = 0.
œ
¹
2
µ
d
(
f
) = 4
§
K
ch
(
f
) = 4
−
6=
−
2
"
d
Ú
n
1
Œ
•
G
¥
v
k
ƒ
3-
:
§
¤
±
4-
¡
–
õ
'
éü
‡
3-
:
"
e
f
†
ü
‡
3-
:
ƒ
'
é
§
K
d
Ú
n
2(2)
Œ
•
f
Ø
•
(3
,
4
,
3
,
4)-
¡
§
¤
±
f
´
(3
,
4
,
3
,
5
+
)-
¡
½
(3
,
5
+
,
3
,
5
+
)-
¡
"
f
´
(3
,
4
,
3
,
5
+
)-
¡
ž
§
d
R1
.
3(1)
Ú
R2
.
2(1)
Œ
•
4-
:
‰
f
=
2
3
§
5
+
-
:
‰
f
=
4
3
§
¤
±
ch
∗
(
f
) =
ch
(
f
)+
2
3
×
1+
4
3
×
1 = 0
"
f
´
(3
,
5
+
,
3
,
5
+
)-
¡
ž
§
d
R2
.
2(2)
Œ
•
z
‡
5
+
-
:
‰
f
=
1
§
¤
±
ch
∗
(
f
) =
ch
(
f
)+1
×
2 = 0
"
e
f
†
˜
‡
3-
:
ƒ
'
é
§
K
f
´
(3
,
4
+
,
4
+
,
4
+
)-
¡
§
d
R1
.
3(1)
Ú
R2
.
2(1)(2)
Œ
•
z
‡
4
+
-
:
‰
f
–
=
2
3
§
¤
±
ch
∗
(
f
)
≥
ch
(
f
)+
2
3
×
3 = 0
"
e
f
Ø
†
3-
:
ƒ
'
é
§
K
f
´
(4
+
,
4
+
,
4
+
,
4
+
)-
¡
§
d
R1
.
3(2)
Ú
R2
.
2(4)
Œ
•
z
‡
4
+
-
:
‰
f
–
=
1
2
§
¤
±
ch
∗
(
f
)
≥
ch
(
f
)+
1
2
×
4 = 0
"
œ
¹
3
µ
d
(
f
)=5
§
K
ch
(
f
)=5
−
6=
−
1
"
d
R1
.
4
Ú
R2
.
3
Œ
•
z
‡
4
+
-
:
‰
=
1
5
−
m
§
¤
±
ch
∗
(
f
) =
ch
(
f
)+
1
5
−
m
×
(5
−
m
) = 0
"
œ
¹
4
µ
d
(
f
)
≥
6
§
K
d
=
£
5
K
Œ
•
f
Ø
u
)
=
£
§
¤
±
ch
∗
(
f
) =
ch
(
f
) =
d
(
f
)
−
6
≥
0
"
DOI:10.12677/aam.2019.891841580
A^
ê
Æ
?
Ð
Ü
Ê
ä
ó
2
∀
v
∈
V
(
G
)
§
ch
∗
(
v
)
≥
0
"
-
t
•
v
'
é
3-
¡
‡
ê
§
q
•
v
'
é
4-
¡
‡
ê
§
s
•
v
'
é
5-
¡
‡
ê
§
p
•
v
]
!
3-
¡
‡
ê
§
Ù
¥
t,q,s,p
∈
N
"
±
e
J
3-
¡
Ú
4-
¡
Ñ
´
•
†
v
ƒ
'
é
"
d
Ú
n
1
Œ
•
Š
â
d
(
v
)
Š
·
‚
Œ
±
©
•
±
e
5
«
œ
¹
?
1
?
Ø
"
d
5
1(1)(2)(3)
Œ
•
G
¥
v
k
ƒ
3-
¡
§
4-
¡
Ú
5-
¡
§
¤
±
t
≤b
d
(
v
)
2
c
(1)
q
≤b
d
(
v
)
2
c
(2)
s
≤b
d
(
v
)
2
c
(3)
d
5
1(1)(5)
Œ
•
G
¥
v
k
ƒ
3-
¡
…
4-
¡
Ø
†
ü
‡
3-
¡
ƒ
§
¤
±
p
≤
d
(
v
)
−
2
×
t
−
q
(4)
œ
¹
1
µ
d
(
v
) = 3
§
K
d
=
£
5
K
Œ
•
v
Ø
u
)
=
£
§
¤
±
ch
∗
(
v
) =
ch
(
v
) = 2
×
3
−
6 = 0.
œ
¹
2
µ
d
(
v
) = 4
§
K
ch
(
v
) = 2
×
4
−
6 = 2
"
d
(1)
ª
Œ
•
t
≤
2
§
e
t
=2
§
K
d
5
1(1)(5)
Œ
•
G
¥
3-
¡
Ø
†
3-
¡
ƒ
…
4-
¡
Ø
†
ü
‡
3-
¡
ƒ
§
¤
±
q
= 0
"
d
(2)
ª
Ú
(4)
ª
Œ
•
s
≤
2,
p
= 0.
d
R1
.
2
Ú
R1
.
4
Œ
•
v
‰
z
‡
'
é
3-
¡
=
2
3
,
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
3
×
2
−
1
3
×
2 = 0
"
e
t
= 1
§
K
d
5
1(2)(4)
Œ
•
G
¥
4-
¡
Ø
†
4-
¡
ƒ
…
3-
¡
Ø
†
ü
‡
4-
¡
ƒ
§
¤
±
q
≤
1
"
q
= 0
ž
§
d
(3)
ª
Ú
(4)
ª
Œ
•
s
≤
2,
p
≤
2
"
d
R1
.
2
§
R1
.
4
Ú
R1
.
1
Œ
•
v
‰
z
‡
'
é
3-
¡
=
2
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
3
×
1
−
1
3
×
2
−
1
3
×
2 = 0
"
q
= 1
ž
§
e
3-
¡
†
4-
¡
ƒ
§
K
d
5
1(6)
Œ
•
5-
¡
Ø
†
ƒ
3-
¡
Ú
4-
¡
ƒ
§
¤
±
s
= 0
"
d
(4)
ª
Œ
•
p
≤
1
"
d
R1
.
2
§
R1
.
3
Ú
R1
.
1
Œ
•
v
‰
z
‡
'
é
3-
¡
=
2
3
§
‰
z
‡
'
é
4-
¡
–
õ
=
2
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
3
×
1
−
2
3
×
1
−
1
3
×
1 =
1
3
"
e
3-
¡
Ø
†
4-
¡
ƒ
§
d
(3)
ª
Œ
•
s
≤
2
§
s
= 0
ž
§
d
(4)
ª
Œ
•
p
≤
2
"
1
≤
s
≤
2
ž
§
d
5
1(1)(6)
Œ
•
3-
¡
Ø
†
3-
¡
ƒ
…
5-
¡
Ø
†
ƒ
3-
¡
Ú
4-
¡
ƒ
§
¤
±
p
=0
"
d
d
Œ
•
s
+
p
≤
2
"
d
R1
Œ
•
v
‰
z
‡
'
é
3-
¡
=
2
3
§
‰
z
‡
'
é
4-
¡
–
õ
=
2
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
,
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
3
×
1
−
2
3
×
1
−
1
3
×
2 = 0.
e
t
=0
§
K
d
(2)
ª
Ú
(3)
ª
Œ
•
q
≤
2
Ú
s
≤
2
"
q
≤
1
ž
§
d
Ú
n
3(1)
Œ
•
v
–
õ
k
ü
‡
3-
:
§
¤
±
p
≤
2
"
d
R1
.
3
§
R1
.
4
Ú
R1
.
1
Œ
•
v
‰
z
‡
'
é
4-
¡
–
õ
=
2
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
3
×
1
−
1
3
×
2
−
1
3
×
2=0
"
q
=2
ž
§
b
s
= 0,
K
d
(4)
ª
Œ
•
p
≤
2.
b
1
≤
s
≤
2
§
K
d
5
1(6)
Œ
•
5-
¡
Ø
†
ƒ
3-
¡
Ú
4-
¡
ƒ
§
d
ž
p
=0
"
n
þ
Œ
•
s
+
p
≤
2
§
d
R1
.
3
§
R1
.
4
Ú
R1
.
1
Œ
•
v
‰
z
‡
'
é
4-
¡
–
õ
=
2
3
§
DOI:10.12677/aam.2019.891841581
A^
ê
Æ
?
Ð
Ü
Ê
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
3
×
2
−
1
3
×
2 = 0.
œ
¹
3
µ
d
(
v
) = 5
§
ch
(
v
) = 2
×
5
−
6 = 4
"
d
(1)
ª
Œ
•
t
≤
2
"
e
t
=0
§
K
d
(2)
ª
Ú
(3)
ª
Œ
•
q
≤
2
Ú
s
≤
2
"
q
=2
ž
§
b
s
=0
ž
§
d
(4)
ª
Œ
•
p
≤
3
"
b
s
=1
ž
§
d
5
1(2)(6)
Œ
•
4-
¡
Ø
†
4-
¡
ƒ
…
5-
¡
Ø
†
ƒ
3-
¡
Ú
4-
¡
ƒ
§
d
ž
p
≤
2
"
b
s
=2
ž
§
d
5
1(2)(6)
Œ
•
4-
¡
Ø
†
4-
¡
ƒ
…
5-
¡
Ø
†
ƒ
3-
¡
Ú
4-
¡
ƒ
§
d
ž
p
≤
1
"
n
þ
Œ
•
s
+
p
≤
3
"
d
R2
.
2,R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
4-
¡
–
õ
=
4
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
4
3
×
2
−
1
3
×
3=
1
3
"
q
≤
1
ž
§
d
(4)
ª
Œ
•
p
≤
5
"
d
R2
.
2
§
R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
4-
¡
–
õ
=
4
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
4
3
×
1
−
1
3
×
2
−
1
3
×
5 =
1
3
"
e
t
=1
§
K
d
(2)
ª
Œ
•
q
≤
2
"
q
=0
ž
§
d
(3)
ª
Ú
(4)
ª
Œ
•
s
≤
2,
p
≤
3
"
d
R2
.
1
§
R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
–
õ
=
2
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
1
3
×
2
−
1
3
×
3=
1
3
.
q
=1
ž
§
d
(3)
ª
Ú
(4)
ª
Œ
•
s
≤
2,
p
≤
2
"
e
3-
¡
´
(3
,
4
,
5)-
¡
§
K
d
Ú
n
7
Œ
•
v
Ø
†
(3
,
4
,
3
,
5)-
¡
ƒ
'
é
"
b
3-
¡
Ø
†
4-
¡
ƒ
§
K
d
Ú
n
1(2)
Ú
Ú
n
3(3)
Œ
•
v
Ø
†
(3
,
4
+
,
3
,
5
+
)-
¡
ƒ
'
é
"
d
R2
.
1(2),R2
.
2,R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
=
2
§
‰
z
‡
'
é
4-
¡
–
õ
=
2
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
2
3
×
1
−
1
3
×
2
−
1
3
×
2=0
"
b
3-
¡
†
4-
¡
ƒ
§
K
d
5
1(6)
Œ
•
5-
¡
Ø
†
ƒ
3-
¡
Ú
4-
¡
ƒ
§
¤
±
s
≤
1
"
d
R2
.
1(2)
§
R2
.
2,R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
=
2
§
‰
z
‡
'
é
4-
¡
–
õ
=
1
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
1
×
1
−
1
3
×
3=0
"
e
3-
¡
´
(4
,
4
,
5)-
¡
§
K
d
Ú
n
7
Œ
•
v
Ø
†
(3
,
4
,
3
,
5)-
¡
ƒ
'
é
"
d
R2
.
1(3)
§
R2
.
2,R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
=
5
3
§
‰
z
‡
'
é
4-
¡
–
õ
=
1,
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
5
3
×
1
−
1
×
1
−
1
3
×
2
−
1
3
×
2=0
"
e
3-
¡
´
(3
,
5
,
5
+
)-
¡
½
(4
,
5
,
5
+
)-
¡
§
K
d
R2
.
1(4)(5)
§
R2
.
2
§
R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
=
2
§
‰
z
‡
'
é
4-
¡
–
õ
=
1
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
4
3
×
1
−
4
3
×
1
−
1
3
×
4=0
"
q
=2
ž
§
d
5
1(3)
Œ
•
3-
¡
†
4-
¡
ƒ
§
¤
±
d
5
1(6)
Ú
(4)
ª
Œ
s
=0
Ú
p
≤
1
"
e
3-
¡
´
(3
,
4
,
5)-
¡
§
K
d
Ú
n
7
Œ
•
v
Ø
†
(3
,
4
,
3
,
5)-
¡
ƒ
'
é
"
d
Ú
n
1(2)
Ú
Ú
n
3(3)
Œ
•
v
–
õ
'
é
˜
‡
(3
,
5
,
3
,
5
+
)-
¡
"
d
R2
.
1
§
R2
.
2
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
=
2
§
‰
Ù
¥
˜
‡
4-
¡
–
õ
=
1
§
‰
,
˜
‡
4-
¡
–
õ
=
2
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
1
×
1
−
2
3
×
1
−
1
3
×
1=0
"
e
3-
¡
´
(3
,
5
,
5
+
)-
¡
§
K
d
Ú
n
8
Œ
•
e
v
'
é
˜
‡
(3
,
4
,
3
,
5)-
¡
@
o
v
Ø
2
'
é
(3
,
4
+
,
3
,
5)-
¡
"
v
'
é
˜
‡
(3
,
4
,
3
,
5)-
¡
ž
§
d
R2
.
1
§
R2
.
2
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
=
4
3
§
‰
'
é
(3
,
4
,
3
,
5)-
¡
=
4
3
§
‰
,
˜
‡
4-
¡
–
õ
=
2
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
4
3
×
1
−
4
3
×
1
−
2
3
×
1
−
1
3
×
1 =
1
3
"
v
Ø
'
é
(3
,
4
,
3
,
5)-
¡
ž
§
d
R2
.
1(4),R2
.
2
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
=
4
3
§
‰
z
‡
'
é
4-
¡
–
õ
=
1
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
4
3
×
1
−
1
×
2
−
1
3
×
1 =
1
3
"
e
3-
¡
´
(4
,
4
+
,
5)-
¡
§
K
d
5
1(3)
Œ
•
3-
¡
†
˜
‡
4-
¡
ƒ
§
¤
±
v
–
õ
'
é
˜
‡
(3
,
4
+
,
3
,
5)-
¡
"
d
R2
.
1(3)
§
R2
.
2
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
=
5
3
§
‰
'
é
Ù
¥
˜
‡
4-
¡
–
õ
=
4
3
§
‰
,
˜
‡
4-
¡
–
õ
=
2
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
5
3
×
1
−
4
3
×
1
−
2
3
×
1
−
1
3
×
1 = 0
"
e
t
=2
§
K
d
5
1(2)(5)
Œ
•
4-
¡
Ø
†
4-
¡
ƒ
…
4-
¡
Ø
†
ü
‡
3-
¡
ƒ
§
¤
±
q
≤
1
"
DOI:10.12677/aam.2019.891841582
A^
ê
Æ
?
Ð
Ü
Ê
q
=0
ž
§
d
(3)
ª
Ú
(4)
ª
Œ
•
s
≤
2,
p
≤
1
"
b
p
=0,
K
d
Ú
n
3(2)
Œ
•
v
–
õ
†
˜
‡
(3
,
4
,
5)-
¡
ƒ
'
é
"
e
v
†
˜
‡
(3
,
4
,
5)-
¡
ƒ
'
é
§
K
d
Ú
n
3(2)
Œ
•
v
Ø
2
†
(4
−
,
4
−
,
5)-
¡
ƒ
'
é
"
d
R2
.
1
Ú
R2
.
3
Œ
•
v
‰
'
é
(3
,
4
,
5)-
¡
=
2
§
‰
,
˜
‡
'
é
3-
¡
–
õ
=
4
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
,
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
4
3
×
1
−
1
3
×
2=0
"
e
v
Ø
†
(3
,
4
,
5)-
¡
ƒ
'
é
§
d
R2
.
1
Ú
R2
.
3
Œ
•
v
‰
'
é
3-
¡
–
õ
=
5
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
5
3
×
2
−
1
3
×
2=0
"
b
p
=1,
K
d
Ú
n
3(2)
Œ
•
v
–
õ
†
˜
‡
(3
,
4
,
5)-
¡
ƒ
'
é
"
e
v
†
˜
‡
(3
,
4
,
5)-
¡
ƒ
'
é
§
K
d
Ú
n
3(2)
Ú
5
1(1)
Œ
•
v
Ø
2
†
(4
−
,
4
−
,
5)-
¡
±
9
(3
,
5
,
5
+
)
ƒ
'
é
§
Ï
d
v
'
é
,
˜
‡
3-
¡
•
(4
,
5
,
5
+
)-
¡
½
(5
,
5
+
,
5
+
)-
¡
"
v
'
é
,
˜
‡
3-
¡
•
(4
,
5
,
5
+
)-
¡
ž
§
v
•
5
b
-
:
"
d
R2
.
1(2)(5)
Ú
R2
.
3
Œ
•
v
‰
'
é
(3
,
4
,
5)-
¡
=
2
§
‰
(4
,
5
,
5
+
)-
¡
=
1
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
1
×
1
−
1
3
×
2
−
1
3
×
1 = 0
"
v
'
é
,
˜
‡
3-
¡
•
(5
,
5
+
,
5
+
)-
¡
ž
§
d
R2
.
1(2)(5)
§
R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
'
é
(3
,
4
,
5)-
¡
=
2
§
‰
(5
,
5
+
,
5
+
)-
¡
=
1
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
1
×
1
−
1
3
×
2
−
1
3
×
1 = 0
"
e
v
Ø
†
(3
,
4
,
5)-
¡
ƒ
'
é
§
v
†
ü
‡
(4
,
4
,
5)-
¡
ƒ
'
é
ž
§
K
d
5
1(1)
Ú
Ú
n
3(5)
Œ
•
p
= 0
"
d
R2
.
1(3)
Ú
R2
.
3
Œ
•
v
‰
'
é
(3
,
4
,
5)-
¡
=
2
§
‰
(5
,
5
+
,
5
+
)-
¡
=
1
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
5
3
×
2
−
1
3
×
2 = 0
"
v
Ø
†
ü
‡
(4
,
4
,
5)-
¡
ƒ
'
é
ž
§
d
R2
.
1,R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
'
é
˜
‡
3-
¡
–
õ
=
5
3
§
‰
,
˜
‡
'
é
3-
¡
–
õ
=
4
3
§
‰
(5
,
5
+
,
5
+
)-
¡
=
1,
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
5
3
×
1
−
4
3
×
1
−
1
3
×
2
−
1
3
×
1 = 0
"
q
= 1
ž
§
d
5
1(1)(6)
Œ
•
s
= 0
,p
= 0
"
d
Ú
n
3(2)
Œ
•
v
–
õ
'
é
˜
‡
(3
,
4
,
5)-
¡
"
e
v
'
é
˜
‡
(3
,
4
,
5)-
¡
"
K
d
Ú
n
3(2)
Œ
•
v
Ø
2
†
(4
−
,
4
−
,
5)-
¡
ƒ
'
é
"
4-
¡
†
(3
,
4
,
5)-
¡
ƒ
ž
§
d
Ú
n
7
Œ
•
4-
¡
Ø
•
(3
,
4
,
3
,
5)-
¡
"
e
4-
¡
Ø
´
(3
,
5
,
3
,
5
+
)-
¡
§
K
d
R2
.
1(2)(3)
Ú
R2
.
2(3)
Œ
•
v
‰
'
é
(3
,
4
,
5)-
¡
=
2
§
‰
,
˜
‡
3-
¡
=
4
3
§
‰
z
‡
'
é
4-
¡
–
õ
=
2
3
§
¤
±
ch
∗
≥
ch
(
v
)
−
2
×
1
−
4
3
×
1
−
2
3
×
1 = 0
"
e
4-
¡
´
(3
,
5
,
3
,
5
+
)-
¡
§
d
Ú
n
3(3)
Œ
•
v
'
é
Ù
§
3-
¡
Ø
´
(3
,
5
,
5
+
)-
¡
"
Ù
§
3-
¡
´
(4
,
5
,
5
+
)-
¡
ž
§
v
´
5
b
-
:
§
d
R2
.
1(2)(5)
Ú
R2
.
2(2)
Œ
•
v
‰
'
é
(3
,
4
,
5)-
¡
=
2,
‰
,
˜
‡
(4
,
5
,
5
+
)-
¡
=
1
§
‰
z
‡
'
é
(3
,
5
,
3
,
5
+
)-
¡
=
1
§
¤
±
ch
∗
=
ch
(
v
)
−
2
×
1
−
1
×
1
−
1
×
1=0
¶
Ù
§
3-
¡
´
(5
,
5
+
,
5
+
)-
¡
§
d
R2
.
1(2)(6)
Ú
R2
.
2(2)
Œ
•
v
‰
'
é
(3
,
4
,
5)-
¡
=
2
§
‰
,
˜
‡
(5
,
5
+
,
5
+
)-
¡
=
1
§
‰
z
‡
'
é
(3
,
5
,
3
,
5
+
)-
¡
=
1
§
¤
±
ch
∗
(
v
) =
ch
(
v
)
−
2
×
1
−
1
×
1
−
1
×
1 = 0
"
4-
¡
Ø
†
(3
,
4
,
5)-
¡
ƒ
§
d
Ú
n
3(3)
Œ
•
4-
¡
Ø
•
(3
,
4
+
,
3
,
5)
"
d
R2
.
1
Ú
R2
.
2
Œ
•
v
‰
'
é
(3
,
4
,
5)-
¡
=
2
§
‰
,
˜
‡
3-
¡
–
õ
=
4
3
§
‰
z
‡
'
é
4-
¡
–
õ
=
2
3
§
¤
±
ch
∗
≥
ch
(
v
)
−
2
×
1
−
2
3
×
1
−
4
3
×
1=0
¶
e
v
Ø
†
(3
,
4
,
5)-
¡
ƒ
'
é
"
v
†
(4
,
4
,
5)-
¡
ƒ
'
é
§
d
Ú
n
7
Œ
•
4-
¡
Ø
•
(3
,
4
,
3
,
5)-
¡
"
X
J
v
'
éü
‡
(4
,
4
,
5)-
¡
§
K
4-
¡
Ø
•
(3
,
4
+
,
3
,
5)-
¡
"
d
R2
.
1
Ú
R2
.
2
Œ
•
v
‰
'
é
(4
,
4
,
5)-
¡
=
5
3
§
‰
'
é
4-
¡
–
õ
=
2
3
§
¤
±
ch
∗
≥
ch
(
v
)
−
5
3
×
2
−
2
3
×
1=0
¶
X
J
v
'
é
˜
‡
(4
,
4
,
5)-
¡
§
d
R2
.
1
Ú
R2
.
2
Œ
•
v
‰
'
é
(4
,
4
,
5)-
¡
=
5
3
§
‰
,
˜
‡
3-
¡
–
õ
=
4
3
§
‰
'
é
4-
¡
–
õ
=
1,
¤
±
ch
∗
≥
ch
(
v
)
−
5
3
×
1
−
4
3
×
1
−
1
×
1=0.
X
J
v
Ø
'
é
(4
,
4
,
5)-
¡
§
d
R2
.
1
Ú
R2
.
2
Œ
•
v
‰
'
é
3-
¡
–
õ
=
4
3
§
‰
'
é
4-
¡
–
õ
=
4
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
4
3
×
2
−
4
3
×
1 = 0.
œ
¹
4
µ
d
(
v
) = 6
§
ch
(
v
) = 2
×
6
−
6 = 6
"
d
(1)
ª
Œ
•
t
≤
3
"
e
t
=0
§
K
d
(2)(4)
ª
Œ
•
q
≤
3,
s
≤
6
−
q
Ú
p
≤
6
−
q
§
d
R2
.
2
§
R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
4-
¡
–
õ
=
4
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
,
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
DOI:10.12677/aam.2019.891841583
A^
ê
Æ
?
Ð
Ü
Ê
ch
(
v
)
−
4
3
×
q
−
1
3
×
(6
−
q
)
−
1
3
×
(6
−
q
)
≥
0
"
e
t
=1
§
K
d
5
1(2)(4)
Œ
•
4-
¡
Ø
†
4-
¡
…
3-
¡
Ø
†
ü
‡
4-
¡
ƒ
§
¤
±
q
≤
2
"
q
=2
ž
§
d
(4)
ª
Œ
•
p
≤
2
"
p
=2
ž
§
d
5
1(1)(5)(6)
Œ
•
4-
¡
Ø
†
4-
¡
ƒ
§
3-
¡
Ø
†
ü
‡
4-
¡
ƒ
…
5-
¡
Ø
†
ƒ
3-
¡
Ú
4-
¡
ƒ
§
¤
±
s
=0
"
p
≤
1
ž
§
d
(3)
ª
Œ
•
s
≤
3
"
d
d
Œ
•
s
+
p
≤
4
"
d
R
2
.
1
§
R
2
.
2
§
R
2
.
3
Ú
R
2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
–
õ
=
2
§
‰
z
‡
'
é
4-
¡
–
õ
=
4
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
4
3
×
2
−
1
3
×
4=0
"
q
≤
1
ž
§
d
(3)
ª
Ú
(4)
ª
Œ
•
s
≤
3,
p
≤
4
"
d
R
2
.
1
§
R
2
.
2
§
R
2
.
3
Ú
R
2
.
1(1)
Œ
•
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
4
3
×
1
−
1
3
×
3
−
1
3
×
4 =
1
3
"
e
t
=2
§
K
d
5
1(2)(4)
Œ
•
4-
¡
Ø
†
4-
¡
ƒ
…
3-
¡
Ø
†
ü
‡
4-
¡
ƒ
§
¤
±
q
≤
2
"
d
(4)
ª
Œ
•
p
≤
2
"
d
Ú
n
6(4)
Œ
•
v
–
õ
'
éü
‡
(3
,
4
,
6)-
¡
"
v
†
ü
‡
(3
,
4
,
6)-
¡
ƒ
'
é
ž
§
d
Ú
n
9
Ú
5
1(1)
Œ
•
v
†
ü
‡
(3
,
4
,
6)-
¡
ƒ
'
é
ž
§
v
v
k
á
3-
:
…
3-
¡
Ø
†
3-
¡
ƒ
§
¤
±
p
=0
§
s
≤
4
−
q
"
d
Ú
n
9
Œ
•
v
†
ü
‡
(3
,
4
,
6)-
¡
ƒ
'
é
ž
§
†
v
'
é
4-
¡
Ø
•
(3
,
4
+
,
3
,
6)-
¡
"
d
R
2
.
1(2)
§
R
2
.
2
Ú
R
2
.
3
Œ
•
v
‰
z
‡
'
é
3-
¡
=
2
§
‰
'
é
4-
¡
–
õ
=
2
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
2
−
2
3
×
q
−
1
3
(4
−
q
)
≥
0
"
v
'
é
˜
‡
(3
,
4
,
6)-
ž
§
X
J
q
=2
§
K
d
5
1(1)(2)(6)
Œ
•
s
=0
…
d
(4)
ª
Œ
•
p
=0
"
d
Ú
n
10
Œ
•
ü
‡
4-
¡
Ø
Ó
ž
•
(3
,
4
,
3
,
6)-
¡
"
d
R
2
.
1
Ú
R
2
.
2
Œ
•
v
‰
z
‡
'
é
(3
,
4
,
6)-
¡
=
2
§
‰
,
˜
‡
3-
¡
–
õ
=
5
3
§
‰
Ù
¥
˜
‡
4-
¡
–
õ
=
4
3
§
‰
,
˜
‡
4-
¡
–
õ
=
1
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
5
3
×
1
−
4
3
×
1
−
1
×
1=0
¶
X
J
q
=1
§
K
d
(4)
ª
Œ
•
p
≤
1
"
p
=1
ž
§
d
5
1(1)(5)(6)
Œ
•
s
≤
1
"
p
=0
ž
§
d
(3)
ª
Œ
•
s
≤
3
"
d
d
Œ
s
+
p
≤
3
"
d
R
2
.
1
§
R
2
.
2
§
R
2
.
3
Ú
R
2
.
1(1)
Œ
•
v
‰
z
‡
'
é
(3
,
4
,
6)-
¡
=
2
§
‰
,
˜
‡
3-
¡
–
õ
=
5
3
§
‰
'
é
4-
¡
–
õ
=
4
3
§
‰
,
˜
‡
4-
¡
–
õ
=
1
§
‰
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
5
3
×
1
−
4
3
×
1
−
1
3
×
3=0
"
v
Ø
†
(3
,
4
,
6)-
¡
ƒ
'
é
ž
§
X
J
q
=2
§
K
d
5
1(1)(2)(6)
Œ
•
s
= 0
"
d
(4)
ª
Œ
•
p
= 0
"
d
R2
.
1
Ú
R2
.
2
Œ
•
v
‰
z
‡
'
é
3-
¡
–
õ
=
2
§
‰
'
é
4-
¡
–
õ
=
4
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
5
3
×
2
−
4
3
×
2=0
"
X
J
q
=1
§
K
d
(4)
ª
Œ
•
p
≤
1
"
p
=1
ž
§
d
5
1(1)(5)(6)
Œ
•
s
≤
1
"
p
=0
ž
§
d
(3)
ª
Œ
•
s
≤
3
"
d
d
Œ
s
+
p
≤
3
"
d
R2
.
1
§
R2
.
2
§
R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
–
õ
=
5
3
§
‰
'
é
4-
¡
–
õ
=
4
3
§
‰
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
5
3
×
2
−
4
3
×
1
−
1
3
×
3 =
1
3
"
X
J
q
= 0
§
K
d
(3)
ª
Ú
(4)
ª
Œ
•
s
≤
3,
p
≤
2
"
d
R2
.
1
§
R2
.
3
Ú
R2
.
1(1)
Œ
•
v
‰
z
‡
'
é
3-
¡
–
õ
=
5
3
§
‰
'
é
5-
¡
–
õ
=
1
3
§
‰
]
!
3-
¡
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
5
3
×
2
−
1
3
×
3
−
1
3
×
2 = 1
"
e
t
= 3
§
K
d
5
1(1)(4)
Œ
•
q
=0
§
d
(3)
ª
Ú
(4)
ª
Œ
•
s
≤
3,
p
=0
"
d
Ú
n
6(4)
Œ
•
v
–
õ
†
ü
‡
(3
,
4
,
6)-
¡
ƒ
'
é
"
v
†
ü
‡
(3
,
4
,
6)-
¡
ƒ
'
é
ž
§
d
Ú
n
6(4)
Ú
Ú
n
9
Œ
•
Ù
§
3-
¡
´
(4
,
5
+
,
6
b
)-
¡
½
(5
+
,
5
+
,
6)-
¡
"
d
R2
.
1(2)(5)(6)
Ú
R2
.
3
Œ
•
v
‰
z
‡
'
é
(3
,
4
,
6)-
¡
=
2
§
‰
Ù
§
3-
¡
–
õ
=
1
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
2
−
1
×
1
−
1
3
×
3 = 0
"
v
†
˜
‡
(3
,
4
,
6)-
¡
ƒ
'
é
ž
§
d
Ú
n
6(4)
Œ
•
v
–
õ
k
˜
‡
(4
,
4
,
6)-
¡
§
d
R2
.
1
Ú
R2
.
3
Œ
•
v
‰
'
é
(3
,
4
,
6)-
¡
=
2
§
‰
Ù
¦
3-
¡
–
õ
=
5
3
½
4
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
,
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
2
×
1
−
5
3
×
1
−
4
3
×
1
−
1
3
×
3 = 0.
v
Ø
†
(3
,
4
,
5)-
¡
ƒ
'
é
§
d
R2
.
1
Ú
R2
.
3
Œ
•
v
‰
'
é
3-
¡
–
õ
=
5
3
§
‰
z
‡
'
é
5-
¡
–
õ
=
1
3
§
¤
±
ch
∗
(
v
)
≥
ch
(
v
)
−
5
3
×
3
−
1
3
×
3 = 0
"
œ
¹
5
µ
d
(
v
)
≥
7
§
ch
(
v
) = 2
d
(
v
)
−
6
"
-
k
•
†
v
ƒ
'
é
3-
¡
Ú
4-
¡
ƒ
ê
þ
"
DOI:10.12677/aam.2019.891841584
A^
ê
Æ
?
Ð
Ü
Ê
d
5
1(1)(2)(4)(5)
Œ
•
k
≤b
d
(
v
)
3
c
(5)
q
≤
(
k
+
b
d
(
v
)
−
3
k
2
c
)
−
(
t
−
k
) =
b
d
(
v
)
−
3
k
2
c
+2
k
−
t
(6)
s
≤
d
(
v
)
−
(
t
+
q
)
−
k
(7)
d
(1)
ª
§
(4)
ª
§
(5)
ª
§
(6)
ª
Ú
(7)
ª
Œ
ch
∗
(
v
)
≥
2
d
(
v
)
−
6
−
(2
t
+
4
3
q
+
1
3
s
+
1
3
p
)
≥
d
(
v
)
−
6
−
[2
t
+
4
3
q
−
1
3
(
d
(
v
)
−
(
t
+
q
)
−
k
)+
1
3
(
d
(
v
)
−
2
×
t
−
q
)]
≥
4
3
d
(
v
)
−
6
−
(
t
+
2
3
q
−
1
3
k
)
≥
4
3
d
(
v
)
−
6
−
[
t
+
2
3
×
(
b
d
(
v
)
−
3
k
2
c
+2
k
−
t
)
−
1
3
k
]
≥
d
(
v
)
−
6
−
1
3
t.
e
d
(
v
)=2
r
+1
§
Ù
¥
r
≥
3
§
K
ch
∗
(
v
)
≥
5
3
r
−
5
≥
0
¶
e
d
(
v
)=2
r
§
Ù
¥
r
≥
4
§
K
ch
∗
(
v
)
≥
5
3
r
−
6
>
0
"
d
þ
Œ
•
§
é
?
¿
x
∈
V
∪
F
§
ch
∗
(
v
)
≥
0
®
y
§
¤
±
½
n
1
y
"
ë
•
©
z
[1]
ˇ
Skrekovski,R.(1999)ListImproperColoringofPlanarGraphs.
Combinatorics,Probability
andComputing
,
8
,293-299.https://doi.org/10.1017/S0963548399003752
[2]Eaton,N.andHull,T.(1999)DefectiveListColoringsofPlanarGraphs.
Bulletinofthe
InstituteofCombinatoricsandItsApplications
,
25
,79-87.
[3]Cowen, L.J., Cowen, R.H.and Woodall, D.R. (1986)DefectiveColorings ofGraphs inSurfaces:
PartitionsintoSubgraphsofBoundedValency.
JournalofGraphTheory
,
10
,187-195.
https://doi.org/10.1002/jgt.3190100207
[4]
ˇ
Skrekovski, R.(1999) Gr¨ostzsch-Type Theoremfor ListColorings withImproprietyOne.
Com-
binatorics,ProbabilityandComputing
,
8
,493-507.
https://doi.org/10.1017/S096354839900396X
[5]Lih,K.W.(2001)ANoteonListImproperColoringPlanarGraphs.
AppliedMathematics
Letters
,
14
,269-273.https://doi.org/10.1016/S0893-9659(00)00147-6
DOI:10.12677/aam.2019.891841585
A^
ê
Æ
?
Ð
Ü
Ê
[6]Dong,W.andXu,B.(2009)ANoteonListImproperColoringofPlaneGraphs.
Discrete
AppliedMathematics
,
157
,433-436.https://doi.org/10.1016/j.dam.2008.06.023
[7]Wang, Y.andXu,L. (2013) ImproperChoosabilityofPlanarGraphswithout4-Cycles.
SIAM
JournalonDiscreteMathematics
,
27
,2029-2037.https://doi.org/10.1137/120885140
[8]Xu,B.andZhang,H.(2007)EveryToroidalGraphswithoutAdjacentTrianglesIs(4
,
1)
∗
-
Choosable.
DiscreteAppliedMathematics
,
155
,74-78.
https://doi.org/10.1016/j.dam.2006.04.042
DOI:10.12677/aam.2019.891841586
A^
ê
Æ
?
Ð
map