Abstract
The sensitivity conjecture, proposed by Nisan and Szegedy in 1994 [20] which asserts that for any Boolean function, its sensitivity complexity is polynomially related to the block sensitivity complexity, is one of the most important and challenging problems in the study of decision tree complexity. Despite of a lot of efforts, the best known upper bounds of block sensitivity, as well as the certificate complexity, is still exponential in terms of sensitivity [1, 5]. In this paper, we give a better upper bound for certificate complexity and block sensitivity, \(bs(f)\le C(f)\le (\frac{8}{9} + o(1))s(f)2^{s(f) - 1}\), where bs(f), C(f) and s(f) are the block sensitivity, certificate complexity and sensitivity, respectively. The proof is based on a deep investigation on the structure of the sensitivity graph. We also provide a tighter relationship between the 0-certificate complexity \(C_0(f)\) and 0-sensitivity \(s_0(f)\) for functions with small 1-sensitivity \(s_1(f)\).
This work was supported in part by the National Natural Science Foundation of China Grant 61433014, 61502449, 61602440, the 973 Program of China Grants No. 2016YFB1000201 and the China National Program for support of Top-notch Young Professionals.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The function p can be viewed as a vector, and we sometimes use \(p_i\) to represent p(i).
References
Ambainis, A., Bavarian, M., Gao, Y., Mao, J., Sun, X., Zuo, S.: Tighter relations between sensitivity and other complexity measures. In: Esparza, J., Fraigniaud, P., Husfeldt, T., Koutsoupias, E. (eds.) ICALP 2014. LNCS, vol. 8572, pp. 101–113. Springer, Heidelberg (2014). doi:10.1007/978-3-662-43948-7_9
Ambainis, A., Prūsis, K.: A tight lower bound on certificate complexity in terms of block sensitivity and sensitivity. In: Csuhaj-Varjú, E., Dietzfelbinger, M., Ésik, Z. (eds.) MFCS 2014. LNCS, vol. 8635, pp. 33–44. Springer, Heidelberg (2014). doi:10.1007/978-3-662-44465-8_4
Ambainis, A., Prūsis, K., Vihrovs, J.: Sensitivity versus certificate complexity of boolean functions. In: Kulikov, A.S., Woeginger, G.J. (eds.) CSR 2016. LNCS, vol. 9691, pp. 16–28. Springer, Cham (2016). doi:10.1007/978-3-319-34171-2_2
Ambainis, A., Sun, X.: New separation between \(s(f)\) and \(bs(f)\). CoRR, abs/1108.3494 (2011)
Ambainis, A., Vihrovs, J.: Size of sets with small sensitivity: a generalization of simon’s lemma. In: Jain, R., Jain, S., Stephan, F. (eds.) TAMC 2015. LNCS, vol. 9076, pp. 122–133. Springer, Cham (2015). doi:10.1007/978-3-319-17142-5_12
Bafna, M., Lokam, S.V., Tavenas, S., Velingker, A.: On the sensitivity conjecture for read-k formulas. In: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS, pp. 16:1–16:14 (2016)
Ben-David, S., Hatami, P., Tal, A.: Low-sensitivity functions from unambiguous certificates. In: 8th Innovations in Theoretical Computer Science, ITCS 9–11, 2017, Berkeley, USA, January 2017
Boppana, M.: Lattice variant of the sensitivity conjecture. In: Electronic Colloquium on Computational Complexity (ECCC), vol. 19, p. 89 (2012)
Buhrman, H., De Wolf, R.: Complexity measures and decision tree complexity: a survey. Theor. Comput. Sci. 288(1), 21–43 (2002)
Chakraborty, S.: On the sensitivity of cyclically-invariant boolean functions. In: Proceedings of the 20th Annual IEEE Conference on Computational Complexity, CCC 2005, pp. 163–167 (2005)
Cook, S., Dwork, C.: Bounds on the time for parallel ram’s to compute simple functions. In: Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, STOC 1982, pp. 231–233 (1982)
Cook, S.A., Dwork, C., Reischuk, R.: Upper and lower time bounds for parallel random access machines without simultaneous writes. SIAM J. Comput. 15(1), 87–97 (1986)
Gilmer, J., Koucký, M., Saks, M.E.: A new approach to the sensitivity conjecture. In: Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS 2015, Rehovot, Israel, January 11–13, 2015, pp. 247–254 (2015)
Gopalan, P., Nisan, N., Servedio, R.A., Talwar, K., Wigderson, A.: Smooth boolean functions are easy: efficient algorithms for low-sensitivity functions. In: Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, Cambridge, MA, USA, January 14–16, 2016, pp. 59–70 (2016)
Gopalan, P., Servedio, R.A., Tal, A., Wigderson, A.: Degree and sensitivity: tails of two distributions. In: Electronic Colloquium on Computational Complexity (ECCC), vol. 23, p. 69 (2016)
Hatami, P., Kulkarni, R., Pankratov, D.: Variations on the sensitivity conjecture. Theor. Comput. Grad. Surv. 4, 1–27 (2011)
Kenyon, C., Kutin, S.: Sensitivity, block sensitivity, and l-block sensitivity of boolean functions. Inf. Comput. 189(1), 43–53 (2004)
Lin, C., Zhang, S.: Sensitivity conjecture and log-rank conjecture for functions with small alternating numbers. CoRR, abs/1602.06627 (2016)
Nisan, N.: Crew prams and decision trees. SIAM J. Comput. 20(6), 999–1007 (1991)
Nisan, N., Szegedy, M.: On the degree of Boolean functions as real polynomials. Comput. Complex. 4, 301–313 (1994)
Karthik, C.S., Tavenas, S.: On the sensitivity conjecture for disjunctive normal forms. CoRR, abs/1607.05189 (2016)
Zhan, J., Lovett, S., Tal, A.: Robust sensitivity. In: Electronic Colloquium on Computational Complexity (ECCC), vol. 23, p. 161 (2016)
Szegedy, M.: An \(o(n^{0.4732})\) upper bound on the complexity of the GKS communication game. CoRR, abs/1506.06456 (2015)
Tal, A.: On the sensitivity conjecture. In: 43rd International Colloquium on Automata, Languages, Programming, ICALP 2016, July 11–15, 2016, Rome, Italy, pp. 38:1–38:13 (2016)
Turán, G.: The critical complexity of graph properties. Inf. Process. Lett. 18(3), 151–153 (1984)
Turán, P., Paul, E.: On an extremal problem in graph theory. Matematikai és Fizikai Lapok (in Hungarian) 48, 436–452 (1941)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
He, K., Li, Q., Sun, X. (2017). A Tighter Relation Between Sensitivity Complexity and Certificate Complexity. In: Cao, Y., Chen, J. (eds) Computing and Combinatorics. COCOON 2017. Lecture Notes in Computer Science(), vol 10392. Springer, Cham. https://doi.org/10.1007/978-3-319-62389-4_22
Download citation
DOI: https://doi.org/10.1007/978-3-319-62389-4_22
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-62388-7
Online ISBN: 978-3-319-62389-4
eBook Packages: Computer ScienceComputer Science (R0)