D-Wave、汎用ハイブリッドソルバー「Stride」を強化 最大1万地点のTSPで平均誤差0.02%以内
D-Wave Quantumは、量子計算と古典計算古典計算Classical Computing / Classical Computation0と1のビットを使って計算する、現在一般に使われているコンピューターによる計算方式。QI補足量子計算との比較対象として使われるが、CPU、GPU、スーパーコンピュータや専用アルゴリズムまで含み得るため比較条件に注意したい。を組み合わせるStrideハイブリッドソルバーを強化し、Leap量子クラウドサービスで提供を開始した。併せて、業務上の課題を最適化アプリケーションへ落とし込むための3コース構成の開発者向け学習プログラムを公開した。
✍️ Quantum Indexの視点
発表内容の背景にある技術・事業上の意味と、数字や見出しだけでは見えにくい評価ポイントを解説します。 独自分析を読む ↓
発表概要
今回の更新では、Strideの中核アルゴリズムを改良した。D-Waveのベンチマークによると、最大1万地点の巡回セールスマン問題では、15秒で最良可能解との差が平均0.02%以内となり、同じ実行時間の従来版と比べて平均200倍超、最良可能解に近い結果を得た。 1万地点を超える問題では、120秒で最良可能解との差が平均3.8%以内となり、従来版より平均500倍超、最良可能解に近づいた。単純な組立ライン・バランシング問題では、強化版が15秒で、従来版が120秒で得た解より良い解を見つけたとしている。ここでいう改善倍率は処理速度の比ではなく、同じ実行時間における最適解への近さを比較した値である。最良可能解には、別のソルバーやアルゴリズムで最適性が証明された参照解を用いている。 同時に開始した「Applied Quantum Optimization」は、適用可能な最適化課題の特定、数理モデルへの定式化、Strideを使ったアプリケーション構築を扱う。一部のコースにはLeapへのアクセスとオフィスアワーが含まれる。
重要ポイント
- 強化版Strideハイブリッドソルバーは、Leap量子クラウドサービスで利用可能となった。
- 最大1万地点の巡回セールスマン問題では、15秒で最良可能解との差が平均0.02%以内となった。
- 1万地点超の巡回セールスマン問題では、120秒で最良可能解との差が平均3.8%以内となった。
- 3コース構成の学習プログラムでは、ユースケースの特定から数理モデルの定式化、アプリケーション構築までを扱う。
技術・事業上の意味
技術面では、大規模な組合せ最適化組合せ最適化Combinatorial Optimization多数の選択肢の組み合わせから、条件を満たしつつ目的値が最良になる組み合わせを探す最適化問題。QI補足量子計算の代表的な応用候補だが、古典アルゴリズムも非常に強力。量子手法の評価では同等条件での比較が重要になる。において、限られた実行時間内でより良い解を得ることを狙った更新である。事業面では、ソルバーの性能向上だけでなく、課題設定や定式化を学ぶ機会も提供し、開発時の技能面の障壁に対応している。一方、示された数値はD-Waveが従来版と比較したベンチマークであり、主要な古典最適化手法や他社製品との同条件比較、実顧客環境での効果は明らかにされていない。
今後の注目点
今後の判断材料は、異なる種類や条件の最適化問題でも改善が再現するか、主要な古典最適化手法との同条件比較が示されるかである。実顧客の業務で求解時間や解品質の効果が報告されるかも重要となる。加えて、学習プログラムがLeap上のアプリケーション開発や利用事例につながるかが、普及策の有効性を見る指標となる。
✍️ Quantum Indexの視点
今回の発表で特に注目すべきなのは、汎用の組合せ最適化組合せ最適化Combinatorial Optimization多数の選択肢の組み合わせから、条件を満たしつつ目的値が最良になる組み合わせを探す最適化問題。QI補足量子計算の代表的な応用候補だが、古典アルゴリズムも非常に強力。量子手法の評価では同等条件での比較が重要になる。ソルバーでありながら、最大1万地点の巡回セールスマン問題(TSP)に対し、15秒で最適解との誤差が平均0.02%以内という高い解品質を達成した点だ。TSP専用ではない汎用ソルバーとしては、非常に優れた成果といえる。
ただし、ベンチマークに用いた問題の詳細や、TSPに特化した処理の有無は明らかにされていない。また、TSPは大規模であっても制約構造が比較的規則的であり、この結果だけで汎用ソルバーとしての性能を判断することは難しい。
実務上の最適化では、多数の線形・非線形制約が混在する問題も多い。こうした問題では、目的関数の改善以前に、すべての制約を満たす実行可能解を発見すること自体が難しい場合がある。Strideが複雑な制約条件の下でも、短時間で実行可能解を発見し、その品質を改善できるかが、汎用ソルバーとしての競争力を左右する。
なお、今回の性能改善に量子アニーリング量子アニーリングQuantum Annealing量子ゆらぎを利用して、組合せ最適化問題などの良い解を探索する計算手法。問題をエネルギーが低い状態を探す形に変換して解く。QI補足量子アニーリングは、汎用的なゲート型量子コンピューターとは異なり、最適化問題を解くことに特化した方式である。1990年代に西森秀稔氏らが理論的に提案し、現在はD-Waveが代表的な商用システムを開発している。性能を見る際は、量子ビット数だけでなく、問題の埋め込み方や古典手法との比較条件も確認したい。がどの程度寄与したかは明らかではない。ただし、商用最適化サービスとしては、量子計算の寄与よりも実際の求解性能が重要だ。今後は、複雑な制約付き問題における実行可能解の発見率、求解時間、解品質について、主要な古典ソルバーとの比較が求められる。
NETWORKD-Waveを取り巻く業界ネットワークを見る →関連記事
- QCi、光学式量子コンピューター「Dirac-3S」を発表 約1万変数に対応も実用性と将来性に根本的な疑問
- Qblox、NVIDIA GPUとの低遅延接続を実証 RiverlaneとのQEC実証に続き制御基盤を拡張
- Fixstars Amplify、BBOpt v1.3を公開 ブラックボックス最適化の計算処理を高速化
