探索問題における一般的な量子オラクルの質問回数について
スポンサーリンク
概要
- 論文の詳細を見る
量子探索問題はアルゴリズムが解についての情報を得ることのできるオラクルにより特徴づけられる.そのオラクルはf(a,x):{0,1}n×{0,1}^n→{0,1}で定義され,例えばEQオラクルはf(a,x)=l iff x=aで定義される.N = 2^nとし,N×Nの真理値表T_fのオラクルfが与えられたとする.またKをT_fの一列における1の個数の最大値とする.本研究ではその際,探索問題のクエリー回数がこのパラメータKに大きく依存すること,つまり以下の三つのことを示す.(i)クエリー回数はΩ(√<N/K>)である.(ii)クエリー回数がO(√<N/K>)であるオラクルが存在する.(iii)古典で計算した場合のクエリー回数の下界が記号Ω(N/K+logK)でO(N/K+logK)であるオラクルも存在する.
- 社団法人電子情報通信学会の論文
- 2003-01-17
著者
-
岩間 一雄
京都大学情報学研究科
-
河内 亮周
京都大学情報学研究科
-
岩間 一雄
今井量子計算機構プロジェクト(ERATO)
-
増田 裕之
京都大学情報学研究科
-
Putra R.
京都大学情報学研究科
-
山下 茂
科学技術振興事業団今井電子計算機構プロジェクト
-
河内 亮周
Department of Mathematical and Computing Sciences, Tokyo Institute of Technology
-
河内 亮周
Department Of Mathematical And Computing Sciences Tokyo Institute Of Technology
-
Iwama Kazuo
Kyoto University:japan Science And Technology Corporation
-
Putra R.
京都大学情報学研究科:科学技術振興事業団今井電子計算機構プロジェクト
-
増田 裕之
京都大学情報学研究科:科学技術振興事業団今井電子計算機構プロジェクト
関連論文
- 片方のみがタイを持つ安定結婚問題に対する25/17近似アルゴリズム (アルゴリズムと計算機科学の数理的基盤とその応用)
- Designing Quantum Game Strategies from Quantum Communication Protocols
- 計算量理論における乱数(学生/教養のページ)
- 1.特定領域研究「新世代の計算限界-その解明と打破-」(特定領域研究「新世代の計算限界-その解明と打破-」)
- DS-1-14 飛び道具を考慮した逆算法に基づく詰将棋列挙技術(DS-1. COMP-NHC学生シンポジウム,シンポジウムセッション)
- 部の大きさの比が高々定数倍の孤立2部クリークの列挙
- 遺伝的な距離に基づいた家系図推定問題
- DNA配列のプローブ順序固定に必要な最小フラグメント集合
- 最短路ルーティングにおけるバックアップテーブルに関する考察
- LA-3 DNA配列におけるプローブの順序付けに必要な最小フラグメント集合(A. アルゴリズム・基礎)
- インターネットにおける経路ループの回避手法
- 単調論理回路における還元
- 逆算法に基づく詰将棋の列挙
- D-1-7 逆算法に基づく詰将棋の列挙(D-1. コンピュテーション)
- 量子計算における整数格子問題へのアプローチ(量子情報処理論文)
- NP困難問題における最悪時困難性からの平均時困難性証明への試み
- 頑健な量子状態復号とルジャンドル列の疑似乱数性
- An improvement of the soundness of a 3-bit PCP (理論計算機科学の深化と応用--RIMS研究集会報告集)
- D-1-5 量子有限オートマトンの類似性判定アルゴリズム(D-1. コンピュテーション)
- (4, 1)-量子ランダムアクセス符号の非存在について
- 量子ネットワーク上での効率的な情報の伝送(計算理論とアルゴリズムの新展開)
- 3正則グラフの巡回セールスマン問題に対する厳密アルゴリズムの改善(計算機科学の理論とその応用)
- 男女平等安定マッチング問題に対する近似アルゴリズム
- 長さ2のタイを含む安定結婚問題に対する近似アルゴリズム
- オンライン問題の競合比解析の自動化について
- 正多角形領域に対するオンライン追跡問題
- General Bounds for Quantum Biased Oracles (特集:量子計算と量子情報)
- Robust Quantum Algorithms for Oracle Identification (Theoretical Computer Science and its Applications)
- Transmitting classical information on the quantum network efficiently
- オラクル同定問題に対する頑健な量子アルゴリズム
- オンライン問題の競合比解析の自動化について (計算機科学基礎理論の新展開)
- Approximating Vertex Cover on Dense Graphs (Evolutionary Advancement in Fundamental Theories of Computer Science)
- ビンとボールのゲームにおける2ビン選択モデルの一般化
- Noise-Tolerant Quantum Oracles (New Aspects of Theoretical Computer Science)
- 探索問題における一般的な量子オラクルの質問回数について
- A-1 3関数に対する量子クロー探索アルゴリズム(計算量・量子計算,A.アルゴリズム・基礎)
- 量子コンピュータ科学入門(量子情報科学 : 新しい情報処理のパラダイム)
- D-1-8 Mathematicaと並列計算機を併用した量子計算のシミュレーション
- 占有問題に対する量子アルゴリズム
- ブール関数を計算する量子回路の局所変換ルールの完全集合
- 伸長係数2のコンパクトラウティングアルゴリズム (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- 量子探索と量子ゲーム(知能コンピューティングとその周辺〔第12回〕)
- 安定結婚問題の近似可能性について (計算機科学の基礎理論 : 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)
- 配属人数下限付き研修医配属問題 (理論計算機科学の深化と応用)
- 3人部屋安定ルームメイト問題のNP完全性
- 平面グラフにおけるHajos Calculusの複雑さについて
- Negation-Limited Complexity of Parity and Inverters(Theory of Computer Science and Its Applications)
- DS-1-3 安定結婚問題に対する1.8-近似アルゴリズム(DS-1.COMP-NHC学生シンポジウム,シンポジウム)
- 安定結婚問題に対する1.875-近似アルゴリズム
- 計算限界の最前線(新世代の計算限界-その解明と打破-招待解説論文)
- 二段組合せ回路の最大動作率について(計算理論とアルゴリズムの新展開)
- PPSZタイプの充足可能性判定アルゴリズムの成功確率増幅について
- 入札額の範囲が制限された正直なオークション
- Hajos Calculus on Planar Graphs (Theoretical Computer Science and its Applications)
- k-CNF式に対するInclusion-Exclusion公式について
- SATのいくつかの部分問題の複雑さについて (計算理論とアルゴリズムの新展開)
- D-1-3 偏りのある充足解をもつSATに対する局所探索アルゴリズムの解析と応用
- アイテムの入れ替えを許すオンラインナップザック問題について
- 量子モデルと確率モデルの確率計算の違いによって生じる計算能力の差について (計算理論とアルゴリズムの新展開)
- 量子有限オートマトンにおける決定不能問題 (計算モデルとアルゴリズム)
- Geometric Characterization of Quantum Oracle Identification(New Trends in Theory of Computation and Algorithm)
- SATに対する局所探索法のベクトル化
- 任意の量子一方向性関数に対するハードコア述語の一般的構成法
- 局所探索法による安定結婚問題の近似
- D-1-5 量子有限オートマトンのシミュレーションシステム
- D-1-2 安定結婚問題に対する局所探索近似アルゴリズム(D-1. コンピュテーション)
- Quantum Biased Oracles (特集:量子計算と量子情報)
- 正直なオークションにおける談合の影響 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- Axis-bound CNN Problem (Mathematical Optimization Theory and its Algorithm)
- 一方向通貨交換問題における予測を用いたアルゴリズム (計算モデルとアルゴリズム)
- 安定結婚問題に対する局所探索近似アルゴリズムの改良
- 定数ラウンドで復元可能な合理的秘密分散
- 計算論的安全性に基づく量子暗号
- 任意の量子一方向性関数に対するハードコア述語の一般的構成法
- 素体上多項式に対する計算困難な関数
- Gowers一様性による剰余関数と多項式の相関の評価 (理論計算機科学の深化 : 新たな計算世界観を求めて)
- Quantum Sampling for Balanced Allocations(Foundations of Computer Science)
- D-1-4 最大化および最小化アルゴリズムにおける近似度の関係
- 鳩の巣原理に対する木状導出原理の証明サイズの上下限の改良 (新しいパラダイムとしてのアルゴリズム工学)
- Max-Stretch Reduction for Tree Spanners
- LA-12 完全マッチングを持つグラフに対する最小頂点被覆問題の近似解法(A. アルゴリズム・基礎)
- Quantum asymmetric-key cryptosystems secure against computationally unbounded adversaries (計算機科学の理論とその応用 RIMS研究集会報告集)
- Complexity-Theoretical Quantum List Decoding and Applications to Quamtum Hardcore Functions (計算理論とアルゴリズムの新展開 RIMS研究集会報告集)
- 平坦なグラフに対するコンパクトルーティング
- D-1-5 伸張係数2のコンパクトルーティング
- D-1-4 全域的に疎なグラフに対する最小頂点被膜問題
- Rational Secret Sharing for Non-Simultaneous Channels (情報理論)
- DS-1-6 木構造関数値評価問題の領域計算量解析(DS-1.COMP学生シンポジウム,シンポジウムセッション)
- 量子探索と量子ゲーム
- リスト復号の質問計算量
- 非同時通信路における合理的秘密分散(情報セキュリティ)
- 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 (コンピュテーション)