西村 治道 Nishimura Harumichi

ID:9000300661931

名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University (2014年 CiNii収録論文より)

同姓同名の著者を検索

論文一覧:  1件中 1-1 を表示

  • 局所ハミルトニアンの非冗長性の計算量

    川崎 涼 , 西村 治道

    Gharibian,Kempe[ICALP2012]は局所ハミルトニアンの冗長性に関する問題QIRRを導入した.この問題は,局所ハミルトニアンの和が与えられたときにエネルギー期待値の条件を満たした部分和が存在するかを問う問題である.彼らはこの問題がcq-Σ^p_2困難であることを証明したが,その完全性を示すことはなかった.本論文ではまず,局所ハミルトニアンに関する計算複雑さの高い問題からQIRRへ …

    電子情報通信学会技術研究報告. COMP, コンピュテーション 114(80), 69-76, 2014-06-06

ページトップへ