SQBM+の試し方

SQBM+とは何ですか？

SQBM+は、東芝が開発した技術「シミュレーテッド分岐アルゴリズム（SBアルゴリズム）」を用いた組合せ最適化ソルバー「シミュレーテッド分岐マシン（Simulated Bifurcation Machine：SBM）」を核とする量子インスパイアード最適化ソリューションです。 > SQBM+とは

大規模な「組合せ最適化問題」を高速に解くことができます。GPUやFPGAなどを使った今あるコンピュータで動作しますので、社会や産業のさまざまな場面に現れる組合せ最適化問題に、今取り組むことができます。

量子力学の原理に基づく計算手法から導出もしくは直接的な着想を得て開発された新しい古典力学的手法のことです。疑似量子と呼ばれることもあります。

「SQBM」はSimulated Quantum-inspired Bifurcation Machineの頭文字であり、東芝の研究開発センターにおける量子コンピューターの研究過程で発明されたSBアルゴリズムを実装したSBMに由来することを表しています。そして、「＋」は、さまざまなサービスを含めたソリューションを意味し、継続的に強化し続けていくことを示すものです。

組合せ最適化問題は、多数の選択肢がある中で、最も良い組み合わせを選ぶ問題です。問題のサイズ（組合せの総数）が大きくなると、全ての組み合わせを１つ１つ検証して良い解（良い組み合わせ）を見つけることが困難になり、従来の計算機技術で解を導き出すのは困難です。　＞組合せ最適化問題とは

金融取引、産業用ロボット、移動経路や送電経路など、社会や産業における様々な分野で組合せ最適化問題が現れます。また、創薬のための分子設計など、一見組合せ最適化問題には見えない問題でも、組合せ最適化問題に帰着できる場合があります。組合せ最適化問題は、問題の規模が大きくなるにつれて組合せパターンの数が指数関数的に増大するため、これまで計算機で高速に解くことが困難でしたが、今後量子関連技術などの進展で解くことができるようになるという見通しから、あらためてさまざまな分野で検討されるようになっています。

社会や産業における様々な分野での研究開発に使っていただけます。商用利用の前にお使いいただける研究開発用途のライセンスも用意しています。SBM PoC版もありますのでライセンスの範囲でお使いいただけます。

また、パートナとして  SQBM+を使って一緒に新たな事業を共創いただける企業も求めていますので、お問い合わせください。　＞ お問い合わせ

クラウド環境で利用する場合はAWSのサブスクリプションが必要です。オンプレミス環境については、お問い合わせください。

SQBM+は、クラウド環境向けのソフトウェアモジュール、オンプレミス環境向けのソフトウェアモジュールとして提供されます。また、お客様の導入を支援するためのさまざまなサービスも順次提供していきます。

SQBM+ for AWSは、Learn & DevelopmentとBusiness Standardの2つのプランを用意し、それぞれ、使用時間に応じた従量課金と月定額の２つの価格モデルを用意しています。> SQBM+ for AWSの価格
オンプレミス環境向けのソフトウェアモジュールの価格については、お問い合わせください。

株式会社Fixstars Amplifyが運営する量子コンピューティングクラウドサービス「Fixstars Amplify」のベーシックプラン（評価・検証用の無料プラン）では、SQBM+オプションも1か月無料でお試しいただけます。ぜひ、お試しください。> SQBM+を試してみる

SQBM+のAPIを使って開発します。まず、組合せ最適化問題を数学モデルで定義します。アプリケーションプログラムでは、その数学モデルに従って行列データを生成し、SQBM+のAPIに従って行列データをSQBM+に送り最良解を計算させます。

SQBM+を使った付加価値サービスをエンドユーザ様に提供いただくための、パートナー向けライセンスをご用意しています。詳しくはお問い合わせください。

一般的にはイジングモデルの定式化に問題があるケースが多いです。ご確認ください。

現在のところ、当社ではイジングモデルのコンサルティングサービスを提供していません。
他社にご相談ください。

maxwaitで指定した時間内に処理が完了しなかったためです。maxwait時間を見直してください。

汎用的に利用できるイジングソルバーに加えて、目的別ソルバー（TSPソルバー、SHIFTソルバー）も提供します。特定の問題を直接、容易に解くことができます。

イジングモデル（統計力学において、スピンを持つ原子の格子によって磁性体の磁化の振舞いを説明するモデル）に基づき制約なし二次形式二値変数最適化問題を解くためのソルバーです。

「巡回セールスマン問題」と呼ばれる種類の問題をQUBOで表すことなく直接解けるソルバーです。

各種制約条件下で従業員に各日のジョブを割り当てるようなシフトスケジューリング問題をQUBOで表すことなく直接解けるソルバーです。

線形制約付き二次バイナリ最適化問題を直接解けるソルバーです。イジングソルバーで同様の問題を解くことに比べ、線形制約のQUBOへの組込みとペナルティパラメータ調整が不要になるので、より容易に、高精度な解が得られるようになります。

adiabatic Simulated Bifurcation (aSB)。古典力学における断熱過程を原理として利用することから、このように呼んでいます。また、aSBをデジタル計算機上に実装したマシンを「aSB Machine (aSBM)」と呼んでいます。

ballistic Simulated Bifurcation (bSB)。力学的な振る舞いが弾道的であることから、このように呼んでいます。また、bSBをデジタル計算機上に実装したマシンを「bSB Machine (bSBM)」と呼んでいます。

discrete Simulated Bifurcation (dSB)。運動方程式において連続値を離散値で置き換えることから、このように呼んでいます。また、dSBをデジタル計算機上に実装したマシンを「dSB Machine (dSBM)」と呼んでいます。