×

集合成员关系的量子复杂性。 (英语) Zbl 1050.68031号

摘要:我们研究了静态集成员问题的量子复杂性:给定一个大小为(m)(>>n)的宇宙的子集(S),将其存储为位的表(T:{0,1\}^{r}到{0,1\}),以便可以回答“Is\(x)in \(S)?”形式的查询。目标是使用一个小表,但使用少量位探测来回答查询。该问题最近由H.Buhrman、P.B.Miltersen、I.RadhakrishnanS.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季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用
全文: 内政部