| 研究課題/領域番号 |
20H04138
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
森 立平 名古屋大学, 多元数理科学研究科, 准教授 (60732857)
|
|---|
| 研究期間 (年度) |
2020-04-01 – 2024-03-31
|
| キーワード | 量子アルゴリズム / 量子クエリ計算量 / Groverのアルゴリズム / グラフアルゴリズム |
|---|
| 研究実績の概要 |
グラフの k-頂点被覆問題と k-マッチング問題について、パラメータkに依存したクエリ計算量の量子アルゴリズムを開発した。具体的にはクエリ計算量 O(√k n + k^{3/2} √n) で隣接行列オラクルで与えられたグラフにサイズ k以下の頂点被覆が存在するか判定する量子アルゴリズムを開発した。また、クエリ計算量 O(√k n + k^2) で与えられたグラフにサイズ k以上のマッチングが存在するか判定する量子アルゴリズムを開発した。また、クエリ計算量の下界 Ω(√k n) を導出した。上記のアルゴリズムは kの値が小さいとき、クエリ計算量は O(√k n) となり、得られた下界と一致するので最適であることが分かる。
k-頂点被覆問題に対する量子アルゴリズムは Grover量子アルゴリズムと古典パラメータアルゴリズムの手法であるカーネル化を組み合わせることで得られた。また、k-マッチング問題に対する量子アルゴリズムは Groverのアルゴリズムを必要に応じて用いるアルゴリズムの計算量をポテンシャル関数を使って解析することによって得られた。
これらのアルゴリズムは初めてのパラメータ化量子クエリアルゴリズムであり、新しい研究分野を切り開くものである。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
パラメータ化量子クエリアルゴリズムを導出することができた。これは新しい研究分野を切り開くものであると考えている。
|
| 今後の研究の推進方策 |
パラメータ化量子クエリアルゴリズムの結果を論文投稿する。この研究分野をさらに発展させることがこれからの課題である。また、従来の時間計算量が指数である量子アルゴリズムの開発も引き続き推進する。量子クエリアルゴリズムの知見が応用できないか検討する。
|
