English
Related papers

Related papers: A Tight Lower Bound on Certificate Complexity in T…

200 papers

Sensitivity, block sensitivity and certificate complexity are basic complexity measures of Boolean functions. The famous sensitivity conjecture claims that sensitivity is polynomially related to block sensitivity. However, it has been…

Computational Complexity · Computer Science 2015-06-09 Andris Ambainis , Krišjānis Prūsis , Jevgēnijs Vihrovs

Sensitivity \cite{CD82,CDR86} and block sensitivity \cite{Nisan91} are two important complexity measures of Boolean functions. A longstanding open problem in decision tree complexity, the "Sensitivity versus Block Sensitivity" question,…

Computational Complexity · Computer Science 2013-06-25 Andris Ambainis , Yihan Gao , Jieming Mao , Xiaoming Sun , Song Zuo

The sensitivity conjecture which claims that the sensitivity complexity is polynomially related to block sensitivity complexity, is one of the most important and challenging problem in decision tree complexity theory. Despite of a lot of…

Computational Complexity · Computer Science 2016-09-15 Kun He , Qian Li , Xiaoming Sun

Sensitivity conjecture is a longstanding and fundamental open problem in the area of complexity measures of Boolean functions and decision tree complexity. The conjecture postulates that the maximum sensitivity of a Boolean function is…

Computational Complexity · Computer Science 2014-11-14 Andris Ambainis , Mohammad Bavarian , Yihan Gao , Jieming Mao , Xiaoming Sun , Song Zuo

We provide new query complexity separations against sensitivity for total Boolean functions: a power $3$ separation between deterministic (and even randomized or quantum) query complexity and sensitivity, and a power $2.22$ separation…

Computational Complexity · Computer Science 2017-11-17 Shalev Ben-David , Pooya Hatami , Avishay Tal

In this paper we study the separation between two complexity measures: the degree of a Boolean function as a polynomial over the reals and its block sensitivity. We show that separation between these two measures can be improved from $…

Computational Complexity · Computer Science 2021-06-22 Nikolay V. Proskurin

Determining the maximal separation between sensitivity and block sensitivity of Boolean functions is of interest for computational complexity theory. We construct a sequence of Boolean functions with bs(f) = 1/2 s(f)^2 + 1/2 s(f). The best…

Computational Complexity · Computer Science 2010-12-09 Madars Virza

We investigate the relation between the block sensitivity $\text{bs}(f)$ and fractional block sensitivity $\text{fbs}(f)$ complexity measures of Boolean functions. While it is known that $\text{fbs}(f) = O(\text{bs}(f)^2)$, the best known…

Computational Complexity · Computer Science 2018-10-08 Andris Ambainis , Krišjānis Prūsis , Jevgēnijs Vihrovs

The sensitivity of a Boolean function f is the maximum over all inputs x, of the number of sensitive coordinates of x. The well-known sensitivity conjecture of Nisan (see also Nisan and Szegedy) states that every sensitivity-s Boolean…

Computational Complexity · Computer Science 2016-04-27 Parikshit Gopalan , Rocco Servedio , Avishay Tal , Avi Wigderson

In a recent result, Knop, Lovett, McGuire and Yuan (STOC 2021) proved the log-rank conjecture for communication complexity, up to log n factor, for any Boolean function composed with AND function as the inner gadget. One of the main tools…

Computational Complexity · Computer Science 2024-06-14 Farzan Byramji , Vatsal Jha , Chandrima Kayal , Rajat Mittal

Given an $n$-bit Boolean function with a complexity measure (such as block sensitivity, query complexity, etc.) $M(f) = k$, the hardness condensation question asks whether $f$ can be restricted to $O(k)$ variables such that the complexity…

Computational Complexity · Computer Science 2026-03-17 Sai Soumya Nalli , Karthikeya Polisetty , Jayalal Sarma

We show conflict complexity of every total Boolean function, recently introduced in [Swagato Sanyal. A composition theorem via conict complexity. arXiv preprint arXiv:1801.03285, 2018.] to prove a composition theorem of randomized decision…

Computational Complexity · Computer Science 2020-05-12 Yaqiao Li

Relations between the decision tree complexity and various other complexity measures of Boolean functions is a thriving topic of research in computational complexity. It is known that decision tree complexity is bounded above by the cube of…

Computational Complexity · Computer Science 2022-09-19 Rahul Chugh , Supartha Podder , Swagato Sanyal

Block sensitivity ($bs(f)$), certificate complexity ($C(f)$) and fractional certificate complexity ($C^*(f)$) are three fundamental combinatorial measures of complexity of a boolean function $f$. It has long been known that $bs(f) \leq…

Computational Complexity · Computer Science 2013-06-05 Justin Gilmer , Michael Saks , Srikanth Srinivasan

The sensitivity conjecture of Nisan and Szegedy [CC '94] asks whether for any Boolean function $f$, the maximum sensitivity $s(f)$, is polynomially related to its block sensitivity $bs(f)$, and hence to other major complexity measures.…

Computational Complexity · Computer Science 2016-12-08 Karthik C. S. , Sébastien Tavenas

Let $f:\{0,1\}^n \rightarrow \{0,1\}$ be a Boolean function. The certificate complexity $C(f)$ is a complexity measure that is quadratically tight for the zero-error randomized query complexity $R_0(f)$: $C(f) \leq R_0(f) \leq C(f)^2$. In…

Computational Complexity · Computer Science 2017-08-03 Dmitry Gavinsky , Rahul Jain , Hartmut Klauck , Srijita Kundu , Troy Lee , Miklos Santha , Swagato Sanyal , Jevgenijs Vihrovs

In this work we investigate into energy complexity, a Boolean function measure related to circuit complexity. Given a circuit $\mathcal{C}$ over the standard basis $\{\vee_2,\wedge_2,\neg\}$, the energy complexity of $\mathcal{C}$, denoted…

Computational Complexity · Computer Science 2019-04-29 Xiaoming Sun , Yuan Sun , Kewen Wu , Zhiyu Xia

Boolean functions are important primitives in different domains of cryptology, complexity and coding theory. In this paper, we connect the tools from cryptology and complexity theory in the domain of Boolean functions with low polynomial…

Computational Complexity · Computer Science 2021-07-26 Subhamoy Maitra , Chandra Sekhar Mukherjee , Pantelimon Stanica , Deng Tang

For any Boolean function $f:\{0,1\}^n \to \{0,1\}$ with a complexity measure having value $k \ll n$, is it possible to restrict the function $f$ to $\Theta(k)$ variables while keeping the complexity preserved at $\Theta(k)$? This question,…

Computational Complexity · Computer Science 2026-05-22 Chandrima Kayal , Rajat Mittal , Sai Soumya Nalli , Manaswi Paraashar , Karthikeya Polisetty , Jayalal Sarma , Nitin Saurabh

The main reason for query model's prominence in complexity theory and quantum computing is the presence of concrete lower bounding techniques: polynomial and adversary method. There have been considerable efforts to give lower bounds using…

Quantum Physics · Physics 2024-02-20 Rajat Mittal , Sanjay S Nair , Sunayana Patro
‹ Prev 1 2 3 10 Next ›