二次割当問題

二次割当問題は、以下のような問題です。

二次割当問題

N を正の整数とする。N 個の工場建設候補地に N 個の工場を建設することを考える。それぞれの工場は、どの建設候補地に建設されても良い。どの 2 つの工場にも、それらを行き来するトラックが走っており、その輸送量はあらかじめ分かっている。輸送量 x 走行距離の和を最小化するにはどうすればよいか。

応用として、集会の座席表を仲が良い人同士が近くなるように決定することなどが考えられます。

定式化

N 個の工場建設候補地を 土地 0, 土地 1, ..., 土地 N1 と表記し、N 個の工場を工場 0, 工場 1, ..., 工場 N1 と表記します。また土地 i と土地 j の距離を Di,j, 工場 k と工場 l の間の輸送量を Fk,l とします。

変数

N×N 個のバイナリ変数 q を用意し、qi,k は工場 k を土地 i に建設するかどうかを表すことにします。

たとえば、q が以下のような値をとるとき、土地 0 には 工場 3 が建設されます。

バイナリ変数テーブル

工場 0

工場 1

工場 2

工場 3

工場 4

土地 0

0

0

0

1

0

土地 1

0

1

0

0

0

土地 2

0

0

0

0

1

土地 3

1

0

0

0

0

土地 4

0

0

1

0

0

制約条件

バイナリ変数テーブルのそれぞれの行と列には 1 となる値がちょうど 1 個である必要があります。したがって、各行各列に one-hot 制約をかけます。逆に、これらがみたされていれば、どの土地にどの工場を建設するかが 1 通りに定まります。

目的関数

目的関数は、工場と工場の間の輸送量 x 距離の総和です。これは q を用いて数式で表すと

qi,k=1,qj,l=1Di,j Fk,l=i,j,k,lqi,k qj,l Di,j Fk,l

となります。

数式

以上の定式化は、N×N 個のバイナリ変数 q を用いて

minimizei,j,k,lqi,k qj,l Di,j Fk,lsubject tokqi,k=1fori{0,1,,N1},iqi,k=1fork{0,1,,N1},qi,k{0,1}fori,k{0,1,,N1}

と書くことができます。

問題の作成

Amplify SDK による定式化を行う前に、問題を作成しておきます。簡単のため工場の数 N を 10 とします。

import numpy as np
N = 10

土地間の距離を表す行列 D を作成します。土地はユークリッド平面上にランダムに生成します。距離行列は 2 次元の numpy.ndarray として作成します。名前は distance とします。

rng = np.random.default_rng()

x = rng.integers(0, 100, size=(N,))
y = rng.integers(0, 100, size=(N,))

distance = (
    (x[:, np.newaxis] - x[np.newaxis, :]) ** 2
    + (y[:, np.newaxis] - y[np.newaxis, :]) ** 2
) ** 0.5

print(distance)
[[  0.     43.012  53.075  46.53   33.734  53.852  59.397  47.17   12.042  53.16 ]
 [ 43.012   0.     95.901  20.616  71.61   71.344  18.385  71.309  36.401  18.868]
 [ 53.075  95.901   0.     98.234  32.14   67.742 112.45   56.569  62.482 103.446]
 [ 46.53   20.616  98.234   0.     79.48   87.207  20.025  85.147  35.805  38.949]
 [ 33.734  71.61   32.14   79.48    0.     37.336  89.588  26.401  45.706  75.286]
 [ 53.852  71.344  67.742  87.207  37.336   0.     89.107  11.18   63.977  65.192]
 [ 59.397  18.385 112.45   20.025  89.588  89.107   0.     89.56   50.804  28.46 ]
 [ 47.17   71.309  56.569  85.147  26.401  11.18   89.56    0.     58.241  68.096]
 [ 12.042  36.401  62.482  35.805  45.706  63.977  50.804  58.241   0.     50.09 ]
 [ 53.16   18.868 103.446  38.949  75.286  65.192  28.46   68.096  50.09    0.   ]]

工場間の輸送量を表す行列 F を作成します。2 次元の対称行列をランダムに作成し、名前は flow とします。

flow = np.zeros((N, N), dtype=int)
for i in range(N):
    for j in range(i + 1, N):
        flow[i, j] = flow[j, i] = rng.integers(0, 100)

print(flow)
[[ 0 86 71 35 45 67 42 81 75 61]
 [86  0 40 71 41 38 92 37 94 42]
 [71 40  0 29 85 84 89 85  8 46]
 [35 71 29  0 92 74 69 62 88 24]
 [45 41 85 92  0 34 38 18 53 87]
 [67 38 84 74 34  0 46 66 78 37]
 [42 92 89 69 38 46  0 34  2 93]
 [81 37 85 62 18 66 34  0 48 94]
 [75 94  8 88 53 78  2 48  0 82]
 [61 42 46 24 87 37 93 94 82  0]]

Amplify SDK による定式化

Amplify SDK による定式化を行います。定式化において、どの 2 つのバイナリ変数からなる 2 次項も目的関数に現れるので、Matrix クラスを使うと効率的な定式化を行うことができます。

変数の作成

Matrix クラスを使用した定式化を行うためには、VariableGeneratormatrix() メソッドを使用して変数を発行します。

from amplify import VariableGenerator

gen = VariableGenerator()
matrix = gen.matrix("Binary", N, N)  # coefficient matrix
q = matrix.variable_array  # variables

q
[q0,0q0,1q0,2q0,3q0,4q0,5q0,6q0,7q0,8q0,9q1,0q1,1q1,2q1,3q1,4q1,5q1,6q1,7q1,8q1,9q2,0q2,1q2,2q2,3q2,4q2,5q2,6q2,7q2,8q2,9q3,0q3,1q3,2q3,3q3,4q3,5q3,6q3,7q3,8q3,9q4,0q4,1q4,2q4,3q4,4q4,5q4,6q4,7q4,8q4,9q5,0q5,1q5,2q5,3q5,4q5,5q5,6q5,7q5,8q5,9q6,0q6,1q6,2q6,3q6,4q6,5q6,6q6,7q6,8q6,9q7,0q7,1q7,2q7,3q7,4q7,5q7,6q7,7q7,8q7,9q8,0q8,1q8,2q8,3q8,4q8,5q8,6q8,7q8,8q8,9q9,0q9,1q9,2q9,3q9,4q9,5q9,6q9,7q9,8q9,9]

目的関数の作成

上で作成した matrixMatrix クラスのインスタンスであり、

の 3 種類のプロパティを持ちます。

quadratic は 2 次の項の係数を表す numpy.ndarray で、その shape は今回は (N, N, N, N) となっています。quadratic[i, k, j, l]q[i, k] * q[j, l] の係数に対応します。つまり quadratic には quadratic[i, k, j, l] = distance[i, j] * flow[k, l] となるように 4 次元 NumPy 配列を設定する必要があります。

linearconstant はそれぞれ線形項の係数と定数項を表しますが、今回使用する目的関数には 2 次の項しか含まれないため、設定しません。

np.einsum("ij,kl->ikjl", distance, flow, out=matrix.quadratic)

制約条件の作成

変数の作成 で作成した変数配列 q の各行各列に one-hot 制約をかけます。

from amplify import one_hot

constraints = one_hot(q, axis=1) + one_hot(q, axis=0)

組合せ最適化モデルの作成

目的関数と制約条件を組み合わせて、モデルを作成します。

penalty_weight = np.max(distance) * np.max(flow) * (N - 1)
model = matrix + penalty_weight * constraints

制約条件に penalty_weight をかけているのは、制約条件に重みをつけるためです。今回使用するソルバーである Amplify AE においては、制約条件に適切な重みを指定しないと、ソルバーが制約条件をみたそうとするよりも目的関数を小さくする方向に動いてしまい、良い解を発見することができなくなってしまいます。詳しくは 制約条件とペナルティ関数 を参照してください。

ソルバークライアントの作成

Amplify AE を用いて組合せ最適化を実行するために、ソルバークライアントを作成します。Amplify AE に対応するソルバークライアントクラスは FixstarsClient クラスです。

from amplify import FixstarsClient

client = FixstarsClient()

Amplify AE の実行に必要な API トークンを設定します。

Tip

ユーザ登録を行うと、評価・検証目的に使える API トークンを無料で入手できます。

client.token = "xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx"

ソルバーのタイムアウト値を設定します。

import datetime

client.parameters.timeout = datetime.timedelta(seconds=1)

求解の実行

作成した組合せ最適化モデルとソルバークライアントを使用してソルバーの実行を行い、二次計画問題の解を求めます。

from amplify import solve

result = solve(model, client)

目的関数の値は以下のように表示できます。

result.best.objective
272064.1990973865

最適解における変数の値は、NumPy の多次元配列の形式で以下のようにして取得できます。

q_values = q.evaluate(result.best.values)

print(q_values)
[[0. 0. 0. 0. 0. 0. 0. 0. 0. 1.]
 [0. 0. 0. 0. 0. 1. 0. 0. 0. 0.]
 [0. 0. 0. 0. 1. 0. 0. 0. 0. 0.]
 [0. 0. 1. 0. 0. 0. 0. 0. 0. 0.]
 [0. 0. 0. 1. 0. 0. 0. 0. 0. 0.]
 [0. 1. 0. 0. 0. 0. 0. 0. 0. 0.]
 [0. 0. 0. 0. 0. 0. 0. 1. 0. 0.]
 [0. 0. 0. 0. 0. 0. 0. 0. 1. 0.]
 [0. 0. 0. 0. 0. 0. 1. 0. 0. 0.]
 [1. 0. 0. 0. 0. 0. 0. 0. 0. 0.]]

結果の確認

matplotlib を用いて結果を可視化します。

import itertools

import matplotlib.pyplot as plt
plt.scatter(x, y)
factory_indices = (q_values @ np.arange(N)).astype(int)

for i, j in itertools.combinations(range(N), 2):
    plt.plot(
        [x[i], x[j]],
        [y[i], y[j]],
        c="b",
        alpha=flow[factory_indices[i], factory_indices[j]] / 100,
    )
_images/e027847657639e538d3eb665f1ff8098c30039f9a14e3bdd20c4af3a193b2afb.png