【実践編】量子アニーリングとADMMのハイブリッド方式による不等式制約への対処
解説記事「量子アニーリングとADMMのハイブリッド方式による不等式制約への対処」では、不等式制約付きの組合せ最適化問題を解くために、量子アニーリング（QA : Quantum Annealing）と ADMM（Alternating Direction Method of Multipliers）を組み合わせた手法を提案した論文を紹介しました。本記事では、そのアルゴリズムを実装し、元論文の再現実験を行います。
シミュレーテッドアニーリングとベイズ線形回帰によるベイズ最適化
本記事では、シミュレーテッドアニーリングとQUBOモデルを用いたベイズ最適化手法であるBOCS-SAをPythonでいちから実装し、簡単なベンチマーク問題の最適化をデモンストレーションします。
SAT をサーベイ伝搬法で解く
本記事では，ランダムな 3-SAT のインスタンスを解くアルゴリズムをいくつか実装して性能を比較します．そして，サーベイ伝搬法に基づいたアルゴリズムが高い性能を持つことを確認します．
共通テストをD-Waveマシンで解こう!
現在の大学入試共通テストでは、マーク式問題が採用されています。記述式問題を取り入れることも検討されましたが、採点方法等の理由で取り下げられたことは記憶に新しいと思います。マーク式問題のデメリットは、分からない問題でも一定の確率で正解になってしまうことです。裏を返せば、問題文を見ることなく正解することも可能だということです。本記事では、D-Waveマシンを使って問題文を見ることなく共通テストを解いてみせましょう。
量子アニーリングで文章を正確に読んでみよう！
日本語の「高い」には、「価値がある」や「物理的に上にある」などの意味が存在します。このような単語は、同じ文脈に出てくる他の単語に依存して意味が決定します。従って、単語と単語の間には何かしらの関係があると考えられます。本論文では、単語間の関係性を量子アニーリングマシンに入力することで、単語の意味を正しく判別出来るのか検証します。
