Improved Bounds for the Randomized Decision Tree Complexity of Recursive Majority

被引:12
作者
Magniez, Frederic [1 ]
Nayak, Ashwin [2 ,3 ]
Santha, Miklos [1 ,4 ]
Sherman, Jonah [5 ]
Tardos, Gabor [6 ]
Xiao, David [1 ]
机构
[1] Univ Paris Diderot, CNRS, LIAFA, Paris, France
[2] Univ Waterloo, C&O, Waterloo, ON N2L 3G1, Canada
[3] Univ Waterloo, IQC, Waterloo, ON N2L 3G1, Canada
[4] Natl Univ Singapore, Ctr Quantum Technol, Singapore 117548, Singapore
[5] Univ Calif Berkeley, CS Div, Berkeley, CA 94720 USA
[6] Renyi Inst, Budapest, Hungary
基金
加拿大自然科学与工程研究理事会; 新加坡国家研究基金会;
关键词
randomized decision tree; recursive majority;
D O I
10.1002/rsa.20598
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
We consider the randomized decision tree complexity of the recursive 3-majority function. We prove a lower bound of (1/2-delta) . 2.57143(h) for the two-sided-error randomized decision tree complexity of evaluating height h formulae with error delta is an element of [0, 1/2). This improves the lower bound of (1-2 delta)(7/3) h given by Jayram, Kumar, and Sivakumar (STOC'03), and the one of (1-2 delta) . 2.55(h) given by Leonardos (ICALP'13). Second, we improve the upper bound by giving a new zero-error randomized decision tree algorithm that has complexity at most (1.007) . 2.64944(h). The previous best known algorithm achieved complexity (1.004) . 2.65622(h). The new lower bound follows from a better analysis of the base case of the recursion of Jayram et al. The new algorithm uses a novel "interleaving" of two recursive algorithms. (C) 2015 Wiley Periodicals, Inc.
引用
收藏
页码:612 / 638
页数:27
相关论文
共 14 条
[1]  
[Anonymous], 2003, Proceedings of the 35th Annual ACM Symposium on Theory of Computing, June 9-11, 2003, San Diego, CA, USA
[2]  
Blum M., 1987, 28th Annual Symposium on Foundations of Computer Science (Cat. No.87CH2471-1), P118, DOI 10.1109/SFCS.1987.30
[3]  
Hartmanis J., 1987, Proceedings of Structure in Complexity Theory Second Annual Conference (Cat. No.87CH2438-0), P160
[4]  
Heiman R., 1990, Proceedings. Fifth Annual Structure in Complexity Theory Conference (Cat. No.90CH2899-3), P78, DOI 10.1109/SCT.1990.113956
[5]  
HEIMAN R, 1991, STRUCT COMPL TH CONF, P172, DOI 10.1109/SCT.1991.160258
[6]  
Landau I., TECHNICAL REPORT
[7]  
Leonardos N, 2013, LECT NOTES COMPUT SC, V7965, P696, DOI 10.1007/978-3-642-39206-1_59
[8]  
Magniez F, 2011, LECT NOTES COMPUT SC, V6755, P317, DOI 10.1007/978-3-642-22006-7_27
[9]  
Nisan N., 1989, Proceedings of the Twenty First Annual ACM Symposium on Theory of Computing, P327, DOI 10.1145/73007.73038
[10]  
Reichardt BW, 2008, ACM S THEORY COMPUT, P103