著者

横田 雅也 築地 立家 北川 智博 諸橋 玄武 岩田 茂樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. COMP, コンピュテーション (ISSN:09135685)

巻号頁・発行日

vol.100, no.402, pp.41-48, 2000-10-20

---

縦横nマスに将棋の盤面を拡張し, その盤面上で詰将棋が与えられる.この詰将棋が詰むかどうかを決定する問題を, 一般化詰将棋問題と呼ぶ.本稿では一般化詰将棋問題が指数時間完全であることを証明する.一般化詰将棋問題の指数時間困難さの証明はG_3を利用する.G_3はすでに指数時間完全であることが知られている問題である(Provably difficult combinatorial games, SIAM J.Comput.8, 1979)

著者

横田 雅也 築地 立家 北川 智博 諸橋 玄武 岩田 茂樹

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 (ISSN:09151915)

巻号頁・発行日

vol.84, no.3, pp.239-246, 2001-03-01

被引用文献数

4

---

縦横nマスの盤面上に与えられた詰将棋で, 攻方が勝てるかどうかを決定する問題を, 一般化詰将棋問題と呼ぶ.本論文では一般化詰将棋問題が指数時間完全であることを証明した.指数時間困難さの証明は, 既に指数時間完全であることが知られている問題G_3(Provably difficult combinatorial games, SIAM J.Comput., vol.8, 1979)から対数領域還元可能であることを示した.

著者

永井 彰 吉田 麗生 諸橋 玄武

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. SITE, 技術と社会・倫理 (ISSN:09135685)

巻号頁・発行日

vol.110, no.114, pp.147-152, 2010-06-24

---

本稿では, 部分一致検索可能暗号の実装方法を検討し,実装を行った結果を報告する.部分一致検索可能暗号は内積述語暗号から構成するため,内積述語暗号の実装評価からその評価が可能である.しかし,内積述語暗号ではベクトルの次元が演算時間に大きく影響を与えてしまい,演算時間の評価はケースごとになってしまう.そこで内積述語暗号の下位演算と演算回数から計算時間を見積もり,その結果と,実測値と比較を行った.これにより,曲線によっては演算回数からおおよその検索時間を見積もれることがわかった.