リスト復号の質問計算量
スポンサーリンク
概要
- 論文の詳細を見る
本報告ではリスト復号の質問計算量について議論を行う.我々の主結果はリスト復号のために必要な質問回数の下界証明である.より詳しく言うと,あるδ=δ(κ)があって任意のq元符号C:Z^k_q→Z^n_qと任意の定数0<γ<1に対してもしε<1/((1+δ)(q-1))ならば,リストサイズをεq^<o(k)>にするためには,その符号のリスト復号器は受信語の少なくとも(1-γ)(1-H_q((1-1/q)(1-(1+δ)ε)))^<-1>k個のブロックを(乱択的かつ適応的な方法でも)参照する必要がある,ということを証明する.特にq=o(k ln k)ならばδ∈o(1)である.qとεがその条件を満たす場合,この下界は最良のリスト復号可能符号でのブロック長とほぼ一致しており,したがってこのようなパラメータ設定では受信語への局所的参照はリスト復号器が得る必要がある情報量について大きな優位性を持たない.
- 2012-04-20
著者
-
河内 亮周
東京工業大学大学院情報理工学研究科数理・計算科学専攻
-
河内 亮周
Department of Mathematical and Computing Sciences, Tokyo Institute of Technology
-
河内 亮周
東京工業大学
関連論文
- 計算量理論における乱数(学生/教養のページ)
- 量子計算における整数格子問題へのアプローチ(量子情報処理論文)
- NP困難問題における最悪時困難性からの平均時困難性証明への試み
- 頑健な量子状態復号とルジャンドル列の疑似乱数性
- D-1-5 量子有限オートマトンの類似性判定アルゴリズム(D-1. コンピュテーション)
- Robust Quantum Algorithms for Oracle Identification (Theoretical Computer Science and its Applications)
- オラクル同定問題に対する頑健な量子アルゴリズム
- ビンとボールのゲームにおける2ビン選択モデルの一般化
- 探索問題における一般的な量子オラクルの質問回数について
- A-1 3関数に対する量子クロー探索アルゴリズム(計算量・量子計算,A.アルゴリズム・基礎)
- 占有問題に対する量子アルゴリズム
- 伸長係数2のコンパクトラウティングアルゴリズム (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- A Lattice-Based Cryptosystem and Proof of Knowledge on Its Secret Key(Theory of Computer Science and Its Applications)
- Multi-Bit Cryptosystems based on Lattice Problems : Extended Abstract(New Trends in Theory of Computation and Algorithm)
- Geometric Characterization of Quantum Oracle Identification(New Trends in Theory of Computation and Algorithm)
- 任意の量子一方向性関数に対するハードコア述語の一般的構成法
- Quantum Biased Oracles (特集:量子計算と量子情報)
- 定数ラウンドで復元可能な合理的秘密分散
- 計算論的安全性に基づく量子暗号
- 任意の量子一方向性関数に対するハードコア述語の一般的構成法
- 素体上多項式に対する計算困難な関数
- Gowers一様性による剰余関数と多項式の相関の評価 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- Quantum Sampling for Balanced Allocations(Foundations of Computer Science)
- Complexity-Theoretical Quantum List Decoding and Applications to Quamtum Hardcore Functions (計算理論とアルゴリズムの新展開 RIMS研究集会報告集)
- Rational Secret Sharing for Non-Simultaneous Channels (情報理論)
- リスト復号の質問計算量
- 非同時通信路における合理的秘密分散(情報セキュリティ)
- NP-解探索における質問計算量について
- A Fourier analytic approach to list-decoding for sparse random linear codes (New Trends in Theoretical Computer Science)
- Query Complexity of Witness Finding (コンピュテーション)
- NP-解探索における質問計算量について(一般)
- 計算複雑さへの招待(2) : アルゴリズムから攻める計算複雑さの下界証明(【特別企画】「計算限界解明」チュートリアル講演第2回)
- Quantum-Advised Algorithms for Biased Oracles (コンピュテーション)
- 非同時通信路における合理的秘密分散