• Top
  • Details (Local collection)
量子ウォークと古典ウォークを組み合わせた充足可能性問題の解法

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

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

横峯大輔

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

Thesis / Diss.

Volume No.

Total: 1
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R008276

2

  • [IS]2011(6)

Restricted

Details

Publication year

2011

Alternative title

A Hybrid Algorithm of Quantum Walk and Classical Walk for SAT

Series title

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

Note

学位記番号: 修第4946号

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

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

学生番号: 0851128

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

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

Subject

量子

SAT

ハイブリッド

量子シミュレーション

量子ウォーク

充足可能性問題