ナップサック問題#

こちらでは、Lucas, 2014, “Ising formulations of many NP problems”の 5.2. Knapsack with Integer Weights を OpenJij と JijModeling、そしてJijModeling transpiler を用いて解く方法をご紹介します。

概要: ナップサック問題とは#

ナップサック問題は、具体的には以下のような状況で最適解を求める問題です。 最も有名なNP困難な整数計画問題の一つとして知られています。まずは具体例を考えてみましょう。

具体例#

この問題の具体例として、以下のような物語を考えます。

ある探検家がある洞窟を探検していました。しばらく洞窟の中を歩いていると、思いがけなく複数の宝物を発見しました。

宝物A

宝物B

宝物C

宝物D

宝物E

宝物F

値段

$5000

$7000

$2000

$1000

$4000

$3000

重さ

800g

1000g

600g

400g

500g

300g

しかし探検家の手持ちの荷物の中で宝物を運べるような袋としては、残念ながら小さなナップサックしか持ち合わせていませんでした。 このナップサックには2kgの荷物しか入れることができません。探検家はこのナップサックに入れる宝物の価値をできるだけ高くしたいのですが、どの荷物を選べば最も効率的に宝物を持って帰ることができるでしょうか。

問題の一般化#

この問題を一般化するには、ナップサックに入れる荷物NN個の集合{0,1,,i,,N1}\{ 0, 1, \dots, i, \dots, N-1\}があり、各荷物がiiをインデックスとして持っているものとして考えます。
ナップサックに入れる各荷物iiのコストのリストv\bm{v}と重さのリストw\bm{w}を作ることで、問題を表現することができます。

v={v0,v1,,vi,,vN1} \nonumber \bm{v} = \{v_0, v_1, \dots, v_i, \dots, v_{N-1}\}
w={w0,w1,,wi,,wN1} \nonumber \bm{w} = \{w_0, w_1, \dots, w_i, \dots, w_{N-1}\}

さらにii番目の荷物を選んだことを表すバイナリ変数をxix_iとしましょう。この変数はiiをナップサックに入れるときxi=1x_i = 1、入れないときxi=0x_i = 0となるような変数です。最後にナップサックの最大容量をWWとします。
最大化したいのは、ナップサックに入れる荷物の価値の合計です。よってこれを目的関数として表現しましょう。さらにナップサックの容量制限以下にしなければならない制約を考えると、ナップサック問題は以下のような数式で表現されます。

(1)#max i=0N1vixi \max \ \sum_{i=0}^{N-1} v_i x_i
(2)#s.t.i=0N1wixiW \mathrm{s.t.} \quad \sum_{i=0}^{N-1} w_i x_i \leq W
(3)#xi{0,1}(i{0,1,,N1}) x_i \in \{0, 1\} \quad (\forall i \in \{0, 1, \dots, N-1\})

JijModelingによるモデル構築#

ナップサック問題で用いる変数を定義#

式(1), (2), (3)で用いられている変数v,w,N,W,xi,i\bm{v}, \bm{w}, N, W, x_i, iを、以下のようにして定義しましょう。

import jijmodeling as jm


# define variables
v = jm.Placeholder('v', dim=1)
N = v.shape[0]
w = jm.Placeholder('w', shape=(N,))
W = jm.Placeholder('W')
x = jm.Binary('x', shape=(N,))
i = jm.Element('i', (0, N))

v = jm.Placeholder('v', dim=1)でナップサックに入れる物の価値を表す一次元のリストを宣言し、その具体的な要素数をNとしています。そのNを用いて、ナップサックに入れる物の重さを表す一次元のリストをw = jm.Placeholder('w', shape=(N))のように定義することで、vwが同じ長さであることを保証できます。W = jm.Placeholder('W')ではナップサックの容量制限を表すWWを定義しています。続くx = jm.Binary('x', shape=(N))により、v, wと同じ長さのバイナリ変数リストxを定義します。最後にi = jm.Element('i', (0, N))vi,wi,xiv_i, w_i, x_iの添字を定義しており、これは0i<N0\leq i < Nの範囲の整数であることを表しています。

目的関数の追加#

式(1)を目的関数として実装します。

# set problem
problem = jm.Problem('Knapsack')    
# set objective function
obj = - jm.Sum(i, v[i]*x[i])
problem += obj

問題を作成し、そこに目的関数を追加しましょう。Sum(i, 数式)とすることで、数式部分の総和を添字iに対して行うことができます。

制約の追加#

式(2)の制約を実装しましょう。

# set total weight constraint
total_weight = jm.Sum(i, w[i]*x[i])
problem += jm.Constraint('weight', total_weight<=W)

Constraint(制約名, 制約式)とすることで、制約式に適当な制約名を付与することができます。
実際に実装された数式をJupyter Notebookで表示してみましょう。

インスタンスの作成#

先程の冒険家の物語を、インスタンスとして設定しましょう。ただし宝物の価値は$1000で規格化、さらに宝物の重さも100gで規格化された値を用います。

# set a list of values & weights 
inst_v = [5, 7, 2, 1, 4, 3]
inst_w = [8, 10, 6, 4, 5, 3]
# set maximum weight
inst_W = 20
instance_data = {'v': inst_v, 'w': inst_w, 'W': inst_W}    

未定乗数の設定#

このナップサック問題には制約が一つあります。よってその制約の重みを設定する必要があります。 先程のConstraint部分で付けた名前と一致させるように、辞書型を用いて設定を行います。

# set multipliers
lam1 = 1.0
multipliers = {'weight': lam1}    

JijModeling transpilerによるPyQUBOへの変換#

ここまで行われてきた実装は、全てJijModelingによるものでした。 これをPyQUBOに変換することで、OpenJijはもちろん、他のソルバーを用いた組合せ最適化計算を行うことが可能になります。

from jijmodeling.transpiler.pyqubo import to_pyqubo

# convert to pyqubo
pyq_model, pyq_chache = to_pyqubo(problem, instance_data, {})
qubo, bias = pyq_model.compile().to_qubo(feed_dict=multipliers)

JijModelingで作成されたproblem、そして先ほど値を設定したinstance_dataを引数として、to_pyquboによりPyQUBOモデルを作成します。次にそれをコンパイルすることで、OpenJijなどで計算が可能なQUBOモデルにします。

OpenJijによる最適化計算の実行#

今回はOpenJijのシミュレーテッド・アニーリングを用いて、最適化問題を解くことにします。 それには以下のようにします。

# set sampler
sampler = oj.SASampler()
# solve problem
response = sampler.sample_qubo(qubo)

SASamplerを設定し、そのサンプラーに先程作成したQUBOモデルのquboを入力することで、計算結果が得られます。

デコードと解の表示#

返された計算結果をデコードし、解析を行いやすくします。

# decode solution
result = pyq_chache.decode(response)

このようにして得られた結果から、実際にどの宝物をナップサックに入れたのかを見てみましょう。

indices, _, _ = result.record.solution['x'][0]
inst_w = instance_data['w']
sum_w = 0
for i in indices[0]:
    sum_w += inst_w[i]
print('Indices of x = 1: ', indices[0])
print('Value of objective function: ', result.evaluation.objective)
print('Value of constraint term: ', result.evaluation.constraint_violations['weight'])
print('Total weight: ', sum_w)

すると以下のような出力を得ます。

Indices of x = 1:  [1, 4, 5]
Value of objective function:  [-14.0]
Value of constraint term:  [0.0]
Total weight:  18

目的関数の値にマイナスをかけたものが、実際にナップサックに入れた宝物の価値の合計です。またresult.evaluation.constarint_violations[制約名]とすることで、その制約がどれだけ満たされていないかを取得することができます。