贾库马尔·拉德哈克里希南;普拉纳布·森;文卡提什,S。 集合成员关系的量子复杂性。 (英语) Zbl 1050.68031号 算法 34,第4期,462-479(2002). 摘要:我们研究了静态集成员问题的量子复杂性:给定一个大小为(m)(>>n)的宇宙的子集(S),将其存储为位的表(T:{0,1\}^{r}到{0,1\}),以便可以回答“Is\(x)in \(S)?”形式的查询。目标是使用一个小表,但使用少量位探测来回答查询。该问题最近由H.Buhrman、P.B.Miltersen、I.Radhakrishnan和S.Venkatesh公司[(*)SIAM J.计算31,1723–1744(2002;Zbl 1008.68038号)],他在经典确定性和随机模型中显示了该问题的上下限。在本文中,我们在“量子比特探测模型”中描述了这个问题。我们假设对表(T)的访问是通过黑盒(oracle)酉变换(O_T)提供的,该变换将基态(|y,b\ rangle)转换为基态(| y,b\oplus T(y)\ rangle\)。查询算法可以应用于基态的任何叠加。我们展示了该模型中空间(定义为\(2^r\))和探测数量(oracle调用)之间的权衡结果。我们的结果表明,(*)中所示的经典模型的下限在量子比特探测模型中也成立(略有不同)。这些边界几乎与经典上限匹配。我们的下界是用线性代数自变量证明的。 MSC公司: 68第05页 数据结构 81第68页 量子计算 65年第68季度 算法和问题复杂性分析 关键词:数据结构;设置成员身份;钻头探头型号;量子黑匣子模型;线性代数方法;下限;时空权衡 引文:Zbl 1008.68038号 PDF格式BibTeX公司 XML格式引用 \textit{J.Radhakrishnan}等人,Algorithmica 34,No.4,462--479(2002;Zbl 1050.68031) 全文: 内政部