クイックスタート#
次のいずれかの方法で Amplify SDK を実行できます。
注釈
サンプルコードの実行には Amplify Annealing Engine の API トークンが必要です。
Amplify のユーザ登録を行うことで、誰でも無償で API トークンを取得できます。
インストール#
Amplify SDK は次の環境において動作を確認しています。
3.8
3.9
3.10
3.11
3.12
Windows 10/11
Linux
Ubuntu 20.04/22.04
Rocky Linux 8/9
macOS
x86_64 (Catalina 以降)
arm64 (BigSur 以降)
最初に、お使いの Python のバージョンが上記のリストに含まれることを確認してください。
$ python3 --version
Amplify SDK は PyPI からインストールできます。次のコマンドで自身の環境にインストールされます。
$ python3 -m pip install -U amplify
ヒント
D-Wave のマシンを使う場合や QAOA などの量子アルゴリズムを使う場合は、次のコマンドで追加のパッケージを含めてインストールしてください。
$ python3 -m pip install -U 'amplify[extra]'
注意
Python のバージョンによっては追加パッケージが対応していないことがあります。
Amplify SDK が正しくインストールされると、次のようにしてインストールされたバージョンを確認できます。
>>> import amplify
>>> amplify.__version__
1.0.5
サンプルコードの実行#
インストールが完了したら、Amplify を用いて簡単な QUBO の問題を解いてみましょう。ここではソルバーとして Fixstars Amplify Annealing Engine (以下 Amplify AE) を使います。Amplify AE のアカウントを持っていない場合は、こちらから登録して、API トークンを取得してください。
サンプル問題として次を考えます。
- 目的関数
- \[ \text{minimize:} \quad f = q_0 q_1 + q_0 - q_1 + 1 \]
- 決定変数
- \[ q_0, q_1 \in \{0, 1\} \]
- 制約条件
- \[ \text{None} \]
少し考えると、関数 \(f\) は \(q_0 = 0\), \(q_1 = 1\) のときに最小値 \(f = 0\) となることがわかります。この問題を Amplify で解いて正しい答えが得られるか確認しましょう。
1. 変数配列の作成#
組合せ最適化問題の解を Amplify SDK で得るためには 目的関数、決定変数、制約条件 をプログラムコード内で定義する必要があります。
まずは決定変数を定義します。上記のサンプル問題では 0 または 1 の値をとるバイナリ変数 \(q_0\), \(q_1\) が決定変数です。次のように、決定変数を発行する VariableGenerator クラスを用いて、長さ 2 の変数配列 q を定義します。
>>> from amplify import VariableGenerator
>>> gen = VariableGenerator() # 決定変数のジェネレータを作成
>>> q = gen.array("Binary", 2) # 2つのバイナリ変数を持つ変数配列を作成
>>> print(q)
[q_0, q_1]
2. 目的関数の作成#
次に、定義した変数を用いて目的関数を作成します。サンプル問題の目的関数 \(f = q_0 q_1 + q_0 - q_1 + 1\) は、変数配列 q を用いて次のように定義できます。変数 \(q\) の添え字が配列のインデックスに対応することに注意してください。
>>> f = q[0] * q[1] + q[0] - q[1] + 1
>>> print(f)
q_0 q_1 + q_0 - q_1 + 1
今回のサンプル問題には制約条件がないため、以上で定式化は完了です。
3. ソルバークライアントの作成#
今回はソルバーとして Amplify AE を使用するため、ソルバークライアントとして Amplify AE のクライアントクラス (FixstarsClient) を作成します。
定式化した問題を Amplify AE に送信するために API トークンを設定する必要があります。これは、FixstarsClient の token プロパティに API トークンを与えることで設定できます。加えて、ここではソルバーの実行時間を 1秒に設定しておきます。
>>> from amplify import FixstarsClient
>>> client = FixstarsClient()
>>> client.token = "***input your token***"
>>> client.parameters.timeout = 1000 # 実行時間を 1000 ミリ秒に設定
4. ソルバーの実行#
ソルバーの実行は solve() 関数を用いて行います。この関数は定式化した問題とソルバークライアントを引数として受け取り、ソルバーの実行結果を返します。
>>> from amplify import solve
>>> result = solve(f, client)
5. 結果の確認#
実行結果は Result クラスのインスタンスとして返されます。このインスタンスにはソルバーを実行した結果や行われたモデルの変換情報などが含まれます。使用するソルバーやパラメータの設定によって複数の解が含まれることがありますが、best プロパティを呼び出すことで得られた解のうち最も良い解を Solution クラスのインスタンスとして取得できます。Solution クラスには変数の値や目的関数の値が格納されています。
>>> result.best.objective # 目的関数の値
0.0
>>> result.best.values # 変数の値
Values({Poly(q_0): 0, Poly(q_1): 1})
変数の値は決定変数とその値をキーと値に設定した辞書として扱える Values クラスのインスタンスとして得られます。解を見やすくするために、変数配列の evaluate メソッドを用いて、配列要素の変数を Values クラスの値で置き換えた配列が得られます。
>>> print(f"{q} = {q.evaluate(result.best.values)}")
[q_0, q_1] = [0. 1.]
以上より、今回のサンプル問題の解が \(q_0 = 0\), \(q_1 = 1\) であることがわかりました。
次のステップ#
以上が Amplify SDK を用いた定式化とソルバー実行の流れです。ここでは非常に簡単な2変数の問題を扱いましたが、上記の手順はより複雑な問題に対しても同様に適用できます。
次のステップとして、Amplify で問題を解きながら学ぶ チュートリアル を実行しましょう。
Amplify SDK の機能について詳しく知りたい方は引き続き Amplify SDK の全体像 に進んでください。