このページでは、次数制約付きの最小全域木問題というNP困難な問題をイジングモデルにより表現する方法について述べます。
問題の定式化
#
無向グラフ
G=(V,E)
が与えられます。
また各辺
uv∈E
について、コスト
cuv
が定まっています。
さらに、正の自然数の定数
Δ
が与えられます。
このとき、
G
の全ての頂点を含む木
T⊆G
であって、
T
のコスト
c(T)=uv∈ET∑cuv
が最小になるようなもので、
T
の各頂点の次数が
Δ
以下となるような物を求める問題を考えましょう。
問題の具体例
#
格子点上に7個の頂点が以下の図のような位置関係で存在しています。
このときの最小全域木は図の左側です。
この最小全域木は最大次数が3であるので、
次数制限
Δ≥3
のとき、次数制約付きの最小全域木は図の左側です。
次数制限
Δ=2
のとき、次数制約付きの最小全域木は図の右側です。
(
Δ≤1
のときは解がありません。)

イジングモデルへの変形
#
この問題を解くためのイジングモデルのエネルギー関数は以下のようになります。
まず、必要な変数をいくつか導入します。まず、
N=∣V∣
としましょう。
各辺
e∈E
について、それが
T
の辺に含まれるなら1を、そうでないなら0を取るようなバイナリ変数
ye
を導入します。
また、各頂点
v∈V
と自然数
i∈{0,1,…,N}
に対して、頂点
v
が木
T
において根から深さ
i
のところにあるときに1を取り、それ以外の時に0を取るようなバイナリ変数
xv,i
を導入します。
また、各辺
uv∈E
と自然数
i∈{0,1,…,N}
に対して、木
T
において辺
uv
が根から深さ
i
の所に含まれて、かつ
u
の方が
v
よりも根に近い時に1を、そうでない時に0を取るバイナリ変数
xuv,i
を導入します。
xuv,i
と
xvu,i
は別のスピンであることに注意してください。
さらに、各頂点
v∈V
と自然数
j∈{1,…,Δ}
に対して、木
T
において頂点
v
の次数が
k
の時に
∑j=1Δzv,j=k
となるようなバイナリ変数
zv,j
を導入します。
AとBを正の定数とします。
これらを元にして、エネルギー関数は以下のようになります。
HA1=A(1−v∈V∑xv,0)2
HA2=Av∈V∑⎝⎜⎛1−i=0∑N/2xv,i⎠⎟⎞2
HA3=Auv∈E∑⎝⎜⎛yuv−i=1∑N/2(xuv,i+xvu,i)⎠⎟⎞2
HA4=Av∈V∑i=1∑N(xv,i−u:uv∈E∑xuv,i)2
HA5=Av∈V∑⎝⎜⎛j=1∑Δzv,j−u:uv∈E∑i=1∑N/2(xuv,i+xvu,i)⎠⎟⎞2
HA6=Auv∈E∑i=1∑N/2xuv,i(2−xu,i−1−xv,i)
HA=HA1+HA2+HA3+HA4+HA5+HA6
HB=Buv∈E∑i=1∑N/2cuvxuv,i
H=HA+HB
エネルギー関数の最小化により問題が解けるのは何故か
#
上で定義したエネルギー関数はどのような制約を課しているのでしょうか。
まず、
HA1
について考えます。
これは、ただ一つの頂点が存在して深さが0となる、すなわち根であるという制約を課しています。
次に、
HA2
について考えます。
これは各頂点について、ちょうど一つの根からの深さ
i
が存在するという制約を課しています。
次に、
HA3
について考えます。
これは各辺について、その辺を木
T
が含む時に、ある一つの根からの深さ
i
が存在して、その辺がちょうど深さ
i
の位置にあるという制約を課しています。
次に、
HA4
について考えます。
これは各頂点
v
と根からの各深さ
i
について、その頂点が木においてその深さを持つ時に、ちょうど一つの
v
を含む辺
uv∈E
が存在して、その辺が深さ
i
を持って、
u
の方が
v
よりも根に近いということが成り立つ、という制約を課しています。
次に、
HA5
について考えます。
これは各頂点
v
について、その頂点が木において次数
j
を持つ時に、その頂点を含む辺のうち木に含まれるものがちょうど
j
本であるという制約を課しています。
次に、
HA6
について考えます。
これは各辺
uv∈
と根からの各深さ
i
に対して、辺
uv
が
u
の方が
v
よりも根に近く深さ
i
の状況で木に含まれているときに、
頂点
u
が木に深さ
i−1
で含まれ、頂点
v
が木に深さ
i
で含まれるという制約を課しています。
以上の6つの制約により、得られる木が次数制約を満たす全域木であることが保証されます。
最後に、
HB
について考えます。
これは、得られる木の重さを最小にするためのものです。
実際、これは得られる木の重みの総和になっています。
したがって、これを最小化することで重みを最小化していることになります。
もちろん、次数制約を満たす全域木であることは、最小性よりも優先する条件ですから、
A>Bmax(cuv)
でなくてはいけません。
参考文献
#
A. Lucas, “Ising formulations of many NP problems” (open access)