量子ウォークと古典ウォークを組み合わせた充足可能性問題の解法

量子ウォークと古典ウォークを組み合わせた充足可能性問題の解法

リョウシ ウォーク ト コテン ウォーク オ クミアワセタ ジュウソク カノウセイ モンダイ ノ カイホウ

横峯大輔

生駒 : 奈良先端科学技術大学院大学, 2011.3

学位論文

巻号情報

No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

R008276

2

  • [IS]2011(6)

禁帯出

詳細情報

刊年

2011

別書名

A Hybrid Algorithm of Quantum Walk and Classical Walk for SAT

シリーズ名

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 2011年3月

注記

学位記番号: 修第4946号

学位授与年月日: 2011/03/24

学位の種類: 修士(工学)

学生番号: 0851128

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

横峯, 大輔 (ヨコミネ, ダイスケ)

件名

量子

SAT

ハイブリッド

量子シミュレーション

量子ウォーク

充足可能性問題