Skip to content
포트폴리오 목록
양자 컴퓨팅Research

QOPT-AKANE — 양자 인스파이어드 조합 최적화

QOPT-AKANE — Quantum-Inspired Combinatorial Optimization

QAOA·시뮬레이티드 어닐링·디지털 어닐러를 동일 인터페이스로 비교하는 조합 최적화 R&D입니다. 모든 실험은 고전 시뮬레이션입니다.

2026 장기 R&D 2026-05
#quantum#optimization#qaoa#qubo#sbm#research

라이브 데모

실제 애플리케이션 화면 미리보기

DEMO
app.qopt.jp/dashboard

古典シミュレーション上のQAOA (p=3) + Tabu Search ハイブリッド · 量子優位性は未主張 · NP困難なVRP (Vehicle Routing Problem) への近似アプローチ

最適性ギャップ
0.9%

vs CPLEX 最適解

実行時間
104 s

CPLEXの1/31

総走行距離
1,847 km

10車両 · 120拠点

コスト削減
-12.4%

対従来Tabu単体

120拠点 VRP 解

10 車両 · デポ (★)
現在のイテレーション
iter 3,120 / 4,000

Pareto: 時間 vs 品質

横軸 時間(s) · 縦軸 解品質(%)

808590951000100200300400GreedySA shortSATabuQAOA+TabuQAOA pureCPLEX
QAOA+Tabu が Pareto 前線に到達

アルゴリズム比較

アルゴリズム時間品質備考
Pure CPLEX (exact)3240 s100.0%ベースライン · 最適解
Pure Tabu Search89 s97.8%古典メタヒューリスティック
Simulated Annealing72 s96.4%古典 · QUBO 整形
QAOA + Tabu (hybrid)104 s99.1%提案手法 · p=3 層
QAOA pure (p=5)298 s92.3%参考 · 実機ノイズあり想定

과제

물류·스케줄링 문제에 양자 인스파이어드 알고리즘을 시도할 때 베이스라인 비교가 일관되지 않았습니다.

솔루션

QUBO 정식화 → 솔버 추상화 레이어를 만들어 동일 입력으로 SA·QAOA(시뮬레이션)·MIP를 동시 실행하고 시간/품질 프런티어를 그립니다.

성과

  • 사내 라우팅 문제에서 SA가 동일 시간 예산상 우위인 영역을 명확화
  • QAOA(시뮬레이션) 파라미터 워밍 스타트로 수렴 +18% 향상
  • 솔버 비교 리포트 자동 생성
  • 양자 우위 주장 없이 적용 가능 영역 가이드라인 정리
Key Metrics

Measured Impact

対象問題サイズ

≤512 変数 (研究用途)

主要ベンチ

G-set Max-Cut / ポートフォリオ 50 銘柄

QAOA 実行

古典シミュレーション (実機未対応)

量子優位性主張

なし

Features

What it does

モデリング

QUBO / Ising 正規化

ビジネス制約をペナルティ項として統一形式に畳み込み、ソルバ差し替えを容易にする。

問題ジェネレータ

G-set 由来および社内合成のベンチ問題を再現可能な形で生成する。

ソルバ

QAOA 古典シミュレーション

Qiskit / Pennylane 上で浅い QAOA を訓練し、パラメータと期待値を記録する。

SBM + Tabu ハイブリッド

QAOA バイアスを初期解に反映し、SBM で粗探索・Tabu で精密化する二段構成。

Architecture

System Layers

Layered architecture showing components, responsibilities, and data flow.

L1

Layer

Problem Modeling

ビジネス問題を QUBO / Ising に正規化し、ソルバ非依存の共通 IR を提供する層。

PyQUBOdimod制約ペナルティビルダ
L2

Layer

Solvers

古典シミュレーション QAOA と量子インスパイア古典ソルバを切替・組合せ可能に提供する層。

QAOA (Qiskit / Pennylane)Simulated BifurcationTabu Search
L3

Layer

Benchmark & Tracking

同一問題を複数ソルバで解き、所要時間・近似率・ばらつきを継続記録する層。

G-set ローダMLflow可視化ダッシュボード
Development Process

How we built it

Step 1

問題クラス選定

Max-Cut / ポートフォリオ / グラフ彩色を対象に、現実的サイズと評価指標を定義する。

Deliverables

  • 問題仕様
  • ベンチ基準
  • データセット
Step 2

QUBO 正規化層

PyQUBO で制約ペナルティを組み立て、ソルバ間で共有する IR を実装する。

Deliverables

  • IR ライブラリ
  • サンプル変換
  • バリデータ
Step 3

ハイブリッドソルバ

QAOA の出力を SBM / Tabu のウォームスタートに橋渡しするアダプタを実装する。

Deliverables

  • アダプタコード
  • ベンチ結果
  • チューニングメモ
Step 4

公平比較と公開

同一計算資源・同一問題で古典 MILP / SBM / ハイブリッドを比較し、社内レポートにまとめる。

Deliverables

  • 比較レポート
  • 再現スクリプト
  • ダッシュボード
Roadmap

Delivery Timeline

  • Phase 1In Progress2026-05

    QUBO 正規化層

    Max-Cut / ポートフォリオ / グラフ彩色を QUBO / Ising に統一表現し、ソルバ間で共有する。

  • Phase 2Planned2026-12

    QAOA + SBM ハイブリッド

    古典シミュレーションで QAOA を訓練し、得られたバイアスを SBM / Tabu のウォームスタートに利用する。

  • Phase 3Planned2027-07

    ベンチ公開

    G-set / 社内合成問題に対する比較ベンチを整備し、古典ソルバとの差分を継続監視する。

  • Phase 4Planned2028-03

    実機・アニーラ検証

    Amazon Braket の D-Wave / ゲート型実機に同一問題を投入し、シミュレーション結果との乖離を測定する。

Team

Who built it

2engineers

Roles

  • 最適化研究
  • HPC / GPU エンジニア (兼任)
기술 스택

Tools & Platforms

Backend

Python 3.12

Infrastructure

Docker

Other

Qiskit 2.xPennylaneNumPySciPyJAXdimod / PyQUBOSimulated Bifurcation (OSS 実装)Tabu Search (OR-Tools 併用)CUDA 12MLflow
Build with KGA

유사한 프로젝트를 고려 중이신가요?

고객의 비즈니스에 최적의 솔루션을 제안해 드립니다.

프로젝트 상담하기