G s
f:S→ {1, . . . , n}
c=u, v1, . . . , vk, w ∀i∈ {1, . . . , k}
f(u)< f(vi)f(w)< f(vi)
c=u, v1,...,vk, w ∀i∈ {1,...,k}f(u)< f(vi)
f(w)< f(vi) max(f(w), f (u))
f(w)< f(u)w f (w)
`(vk)←`(vk)+1 u u
vku u vk
x(x, u)∈A(x, vk)/∈A r = max{j|(x, vj)∈A}
x, vr,...vk, w f(x)< f (w) max(f(w), f(u))
(x, w)/∈A(y, v`)
y∈ {x, w, v`0}
s u, v s f(u)< f (s)f(v)< f(s)
u, s, v (u, v)∈A s
s1,...,sn
siG|s1,...,si−1
k c G = (S, A)k c :S→
{1, . . . , k}(u, v)∈A c(u)6=c(v)k
k−1
u
k0,...,k −1u u
k+ 1 k+ 1