6. ソルバークライアント¶

Amplify SDK からソルバーを実行するには、各ソルバーを抽象化したソルバークライアントを作成します。そして、接続先、API トークン、実行パラメータなどを指定します。また、ソルバークライアントは対応関係にあるソルバーの扱える変数の種類、制約条件の有無、次数などの機能の情報を持ちます。Amplify SDK はこれを利用して 変数変換、次数下げ、制約条件の実装、ハードウェアトポロジーへの埋め込み などの モデル変換 を自動で行います。

6.1. ソルバークライアントの構成¶

Amplify Annealing Engine (AE) を例として、クライアント AmplifyAEClient を次のように作成します。

from amplify import AmplifyAEClient

client = AmplifyAEClient()

Tip

Amplify AE はユーザ登録を行うと無償の API トークンを入手できます。

クライアントクラスのほとんどのパラメータは、構築後はソルバーのデフォルト値で初期化 (または未設定) されています。そのため、クライアントごとの必須パラメータを設定すればすぐに使えます。設定が必須のパラメータはクライアントによって異なりますが、多くのクラウド型ソルバーでは API トークンが必要です。token アトリビュートに設定します。

client.token = "YOUR_API_TOKEN"

全てのクライアントにおいて、ソルバーの実行パラメータの取得と設定は parameters プロパティ内のアトリビュートに設定します。設定項目は可能な限りソルバーの API に即しているため、詳細は下記の各ソルバーのリファレンスを参照してください。

たとえば Amplify AE では、実行時間を次のように設定します。

from datetime import timedelta

client.parameters.time_limit_ms = timedelta(milliseconds=1000)  # 1000 ミリ秒

Tip

各クライアントのパラメータごとに時間の単位や時刻のフォーマットが異なるため、Amplify SDK では datetime モジュールを利用して入出力できるようになっています。

クライアントクラスに設定したパラメータは、str や print() 関数によって文字列として表示できます。

>>> print(client)
{"url":"https://optigan.fixstars.com","token":"***","compression":true,"objective_format":"Auto","solver":"Constraint","parameters":{"time_limit_ms":1000.0}}

注釈

トークンなどの認証情報は、意図せずに漏洩することを防ぐため *** として表示されます。表示だけが隠されるので、値自体は token で従来通り取得できます。

一部のパラメータでは None を設定すると、未設定つまりソルバーのデフォルト値が使用されます。

client.parameters.time_limit_ms = None  # ソルバーのデフォルト値にリセット

6.2. ソルバークライアントの一覧¶

Amplify SDK は下記のソルバー・マシンに対応しています。

amplify.AmplifyAEClient

Fixstars Amplify Annealing Engine

PCBO-4th PUBO-4th QUBO GPU ☁️ Cloud