WEKO3
アイテム
Falcon：ソルバー選択によるブラックボックス逐次化可能性問題の効率化
https://ipsj.ixsq.nii.ac.jp/records/2005952
https://ipsj.ixsq.nii.ac.jp/records/20059524b5f2dba-7316-4e8b-a72d-d9fb5cc4783d
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-ComSys2025010.pdf (1.6 MB)
2027年11月24日からダウンロード可能です。
|
Copyright (c) 2025 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, OS:会員：¥0, DLIB:会員：¥0 | ||
| Item type | Symposium(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2025-11-24 | |||||||||||
| タイトル | ||||||||||||
| 言語 | ja | |||||||||||
| タイトル | Falcon：ソルバー選択によるブラックボックス逐次化可能性問題の効率化 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 慶應義塾大学 | ||||||||||||
| 著者所属 | ||||||||||||
| 株式会社KDDI総合研究所 | ||||||||||||
| 著者所属 | ||||||||||||
| 慶應義塾大学 | ||||||||||||
| 著者名 |
前田,航輝
× 前田,航輝
× 斉藤,和広
× 川島,英之
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | データベーストランザクションを並列に実行するとき，並列実行の結果と直列実行の結果が同等であるならば，逐次化可能であると言える．クラウドデータベース等のユーザーから見て内部実装が不透明な環境下において，逐次化可能性があるかどうか判定する問題はブラックボックス逐次化可能性問題と呼ばれ，NP完全問題に分類される．先行研究では本問題に対してSMTソルバー，量子アニーリング，量子アルゴリズムQAOAを適用している．量子アニーリングは現状最も効率的なソルバーであるが，ハードウェア上の制約により，実行可能な問題のサイズに制約がある．そこで本研究では，大規模な問題に対して適用可能なイジングマシンを導入した上で，問題のサイズによって最適なソルバーを選択して求解を行うシステムであるFalconを構築し，評価を行う． | |||||||||||
| 書誌情報 |
コンピュータシステム・シンポジウム論文集 巻 2025, p. 88-94, 発行日 2025-11-24 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
