English
Related papers

Related papers: Decision Tree Complexity versus Block Sensitivity …

200 papers

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

The evaluation of a query over a probabilistic database boils down to computing the probability of a suitable Boolean function, the lineage of the query over the database. The method of query compilation approaches the task in two stages:…

Logic in Computer Science · Computer Science 2017-01-18 Simone Bova , Stefan Szeider

Monotone Boolean functions, and the monotone Boolean circuits that compute them, have been intensively studied in complexity theory. In this paper we study the structure of Boolean functions in terms of the minimum number of negations in…

Computational Complexity · Computer Science 2014-10-31 Eric Blais , Clément L. Canonne , Igor C. Oliveira , Rocco A. Servedio , Li-Yang Tan

We prove a new lower bound on the parity decision tree complexity $\mathsf{D}_{\oplus}(f)$ of a Boolean function $f$. Namely, granularity of the Boolean function $f$ is the smallest $k$ such that all Fourier coefficients of $f$ are integer…

Computational Complexity · Computer Science 2018-10-29 Anastasiya Chistopolskaya , Vladimir V. Podolskii

A probability distribution over the Boolean cube is monotone if flipping the value of a coordinate from zero to one can only increase the probability of an element. Given samples of an unknown monotone distribution over the Boolean cube, we…

Data Structures and Algorithms · Computer Science 2020-02-11 Ronitt Rubinfeld , Arsen Vasilyan

The class of Boolean combinations of tree languages recognized by deterministic top-down tree automata (also known as deterministic root-to-frontier automata) is studied. The problem of determining for a given regular tree language whether…

Formal Languages and Automata Theory · Computer Science 2024-01-15 Christof Löding , Wolfgang Thomas

We give a new upper bound on the quantum query complexity of deciding $st$-connectivity on certain classes of planar graphs, and show the bound is sometimes exponentially better than previous results. We then show Boolean formula evaluation…

Quantum Physics · Physics 2019-12-19 Stacey Jeffery , Shelby Kimmel

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

Empirical evidence has revealed that biological regulatory systems are controlled by high-level coordination between topology and Boolean rules. In this study, we study the joint effects of degree and Boolean functions on the stability of…

Adaptation and Self-Organizing Systems · Physics 2021-03-12 Byungjoon Min

Outcomes of data-driven AI models cannot be assumed to be always correct. To estimate the uncertainty in these outcomes, the uncertainty wrapper framework has been proposed, which considers uncertainties related to model fit, input quality,…

Machine Learning · Computer Science 2022-01-11 Pascal Gerber , Lisa Jöckel , Michael Kläs

Learning algorithms produce software models for realising critical classification tasks. Decision trees models are simpler than other models such as neural network and they are used in various critical domains such as the medical and the…

Machine Learning · Computer Science 2020-10-27 Tianqi Xiao , Omer Nguena Timo , Florent Avellaneda , Yasir Malik , Stefan Bruda

Recent works explore deep learning's success by examining functions or data with hierarchical structure. To study the learning complexity of functions with hierarchical structure, we study the noise stability of functions with tree…

Probability · Mathematics 2025-09-30 Rupert Li , Elchanan Mossel

We show tight upper and lower bounds for switching lemmas obtained by the action of random $p$-restrictions on boolean functions that can be expressed as decision trees in which every vertex is at a distance of at most $t$ from some leaf,…

Computational Complexity · Computer Science 2017-03-02 Jenish C. Mehta

Differentiable forest is an ensemble of decision trees with full differentiability. Its simple tree structure is easy to use and explain. With full differentiability, it would be trained in the end-to-end learning framework with…

Machine Learning · Computer Science 2020-10-08 Yingshi Chen

We generalize and extend the ideas in a recent paper of Chiarelli, Hatami and Saks to prove new bounds on the number of relevant variables for boolean functions in terms of a variety of complexity measures. Our approach unifies and refines…

Combinatorics · Mathematics 2022-12-23 Jake Wellens

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

A number of complexity measures for Boolean functions have previously been introduced. These include (1) sensitivity, (2) block sensitivity, (3) witness complexity, (4) subcube partition complexity and (5) algorithmic complexity. Each of…

Probability · Mathematics 2024-08-26 Laurin Köhler-Schindler , Jeffrey E. Steif

In this note, we study the relation between the parity decision tree complexity of a boolean function $f$, denoted by $\mathrm{D}_{\oplus}(f)$, and the $k$-party number-in-hand multiparty communication complexity of the XOR functions…

Computational Complexity · Computer Science 2015-06-30 Penghui Yao

Boolean automata networks (aka Boolean networks) are space-time discrete dynamical systems, studied as a model of computation and as a representative model of natural phenomena. A collection of simple entities (the automata) update their…

Discrete Mathematics · Computer Science 2024-02-12 Kévin Perrot , Sylvain Sené , Léah Tapin

We prove that computing the deterministic communication complexity of a Boolean function, given its truth table, is \textsf{NP}-complete in the standard protocol-tree-depth model, addressing a meta-complexity question raised by Yao in 1979.…

Computational Complexity · Computer Science 2026-04-14 Serge Gaspers , Tao Zixu He , Simon Mackenzie