@inproceedings{oai:ipsj.ixsq.nii.ac.jp:02005952,
 author = {前田,航輝 and 斉藤,和広 and 川島,英之},
 book = {コンピュータシステム・シンポジウム論文集},
 month = {Nov},
 note = {データベーストランザクションを並列に実行するとき，並列実行の結果と直列実行の結果が同等であるならば，逐次化可能であると言える．クラウドデータベース等のユーザーから見て内部実装が不透明な環境下において，逐次化可能性があるかどうか判定する問題はブラックボックス逐次化可能性問題と呼ばれ，NP完全問題に分類される．先行研究では本問題に対してSMTソルバー，量子アニーリング，量子アルゴリズムQAOAを適用している．量子アニーリングは現状最も効率的なソルバーであるが，ハードウェア上の制約により，実行可能な問題のサイズに制約がある．そこで本研究では，大規模な問題に対して適用可能なイジングマシンを導入した上で，問題のサイズによって最適なソルバーを選択して求解を行うシステムであるFalconを構築し，評価を行う．},
 pages = {88--94},
 publisher = {情報処理学会},
 title = {Falcon：ソルバー選択によるブラックボックス逐次化可能性問題の効率化},
 volume = {2025},
 year = {2025}
}