要約
物理量子コンピューター (DWave アニーラーなど) で問題を解決するために、さまざまな最適化問題に対する 2 次の制約なし 2 値最適化モデルを取得することは、現在、時間と退屈なプロセスとなっており、すべての問題変数をバイナリ変数として再モデルし、ターゲットを絞り込む必要があります。
関数と制約を単一の 2 次多項式にこれらの新しい変数に追加します。
ここでは、MiniZinc から QUBO への自動コンバータに基づいてレポートします。このコンバータは、大量の制約最適化および制約充足問題を処理し、それらを同等の QUBO に変換し、プロセス全体を効果的に最適化できます。
要約(オリジナル)
Obtaining Quadratic Unconstrained Binary Optimisation models for various optimisation problems, in order to solve those on physical quantum computers (such as the the DWave annealers) is nowadays a lengthy and tedious process that requires one to remodel all problem variables as binary variables and squeeze the target function and the constraints into a single quadratic polynomial into these new variables. We report here on the basis of our automatic converter from MiniZinc to QUBO, which is able to process a large set of constraint optimisation and constraint satisfaction problems and turn them into equivalent QUBOs, effectively optimising the whole process.
arxiv情報
| 著者 | Armin Wolf,Cristian Grozea |
| 発行日 | 2023-07-19 15:16:01+00:00 |
| arxivサイト | arxiv_id(pdf) |
提供元, 利用サービス
arxiv.jp, Google