WEKO3
アイテム
量子アルゴリズムで用いられるSpan Programの進化計算による導出
https://ipsj.ixsq.nii.ac.jp/records/99710
https://ipsj.ixsq.nii.ac.jp/records/99710de2eba48-b01b-442c-b027-b9fd740bde53
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2014 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | Trans(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2014-03-28 | |||||||
タイトル | ||||||||
タイトル | 量子アルゴリズムで用いられるSpan Programの進化計算による導出 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Derivation of Span Program for Span-program-based Quantum Algorithm by Evolutionary Computation | |||||||
言語 | ||||||||
言語 | jpn | |||||||
キーワード | ||||||||
主題Scheme | Other | |||||||
主題 | [オリジナル論文] 量子アルゴリズム,Span Program,進化計算,論理式評価,量子クエリ計算量 | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
資源タイプ | journal article | |||||||
著者所属 | ||||||||
鹿児島大学大学院理工学研究科情報生体システム工学専攻 | ||||||||
著者所属 | ||||||||
鹿児島大学大学院理工学研究科情報生体システム工学専攻 | ||||||||
著者所属 | ||||||||
鹿児島大学大学院理工学研究科情報生体システム工学専攻 | ||||||||
著者所属 | ||||||||
鹿児島大学大学院理工学研究科情報生体システム工学専攻 | ||||||||
著者所属 | ||||||||
鹿児島大学大学院理工学研究科情報生体システム工学専攻 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science and Biomedical Engineering, Graduate School of Science and Engineering, Kagoshima University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science and Biomedical Engineering, Graduate School of Science and Engineering, Kagoshima University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science and Biomedical Engineering, Graduate School of Science and Engineering, Kagoshima University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science and Biomedical Engineering, Graduate School of Science and Engineering, Kagoshima University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Information Science and Biomedical Engineering, Graduate School of Science and Engineering, Kagoshima University | ||||||||
著者名 |
佐多, 恵悟
× 佐多, 恵悟
|
|||||||
著者名(英) |
Keigo, Sata
× Keigo, Sata
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 近年,Span Programに基づく論理式評価の量子アルゴリズム(Span-Program-based Quantum Algorithm: SPQA)が注目されている.SPQAに適した量子クエリ計算量が少ない最適なSpan Programの導出は,一般的な手法が見つかっておらず,対象となる論理式ごとに専門家が試行錯誤的に導出している.特に,入力ビットが多い論理式では行列の要素数が指数関数的に増加するため,導出が困難である.本研究では,量子クエリ計算量が少ない最適なSpan Programの導出を最適化問題として定式化し,進化計算を用いて近似解を導出する手法を提案する. | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | In recent years, Span-Program-based Quantum Algorithm (SPQA) for evaluating Boolean formulas has been paid attention. However there has been no general method to derive optimal span program, which make the quantum query complexity of SPQA the least, and only professionals can derive for each formula through trial and error. Especially, it is difficult to derive span program for a formula with many input bits because number of elements of its matrix will increase exponentially. This paper proposes a method for optimal span program derivation, which formulates the problem as an optimization problem and solves it by evolutionary computation. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AA11464803 | |||||||
書誌情報 |
情報処理学会論文誌数理モデル化と応用(TOM) 巻 7, 号 1, p. 84-93, 発行日 2014-03-28 |
|||||||
ISSN | ||||||||
収録物識別子タイプ | ISSN | |||||||
収録物識別子 | 1882-7780 | |||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |