English
Related papers

Related papers: On the Relationship between Energy Complexity and …

200 papers

The Fourier Entropy-Influence (FEI) conjecture of Friedgut and Kalai [FK96] seeks to relate two fundamental measures of Boolean function complexity: it states that $H[f] \leq C Inf[f]$ holds for every Boolean function $f$, where $H[f]$…

Computational Complexity · Computer Science 2013-04-05 Ryan O'Donnell , Li-Yang Tan

We show that any quantum algorithm deciding whether an input function $f$ from $[n]$ to $[n]$ is 2-to-1 or almost 2-to-1 requires $\Theta(n)$ queries to $f$. The same lower bound holds for determining whether or not a function $f$ from…

Computational Complexity · Computer Science 2012-02-01 Paul Beame , Widad Machmouchi

This paper studies the hazard-free formula complexity of Boolean functions. Our first result shows that unate functions are the only Boolean functions for which the monotone formula complexity of the hazard-derivative equals the hazard-free…

Computational Complexity · Computer Science 2025-06-17 Leah London Arazi , Amir Shpilka

We investigate the randomized decision tree complexity of a specific class of read-once threshold functions. A read-once threshold formula can be defined by a rooted tree, every internal node of which is labeled by a threshold function…

Computational Complexity · Computer Science 2023-10-19 Nikos Leonardos

Random instances of feedforward Boolean circuits are studied both analytically and numerically. Evaluating these circuits is known to be a P-complete problem and thus, in the worst case, believed to be impossible to perform, even given a…

Disordered Systems and Neural Networks · Physics 2011-07-25 Jon Machta , Simon DeDeo , Stephan Mertens , Cristopher Moore

Boolean nested canalizing functions (NCFs) have important applications in molecular regulatory networks, engineering and computer science. In this paper, we study their certificate complexity. For both Boolean values $b\in\{0,1\}$, we…

Combinatorics · Mathematics 2021-02-15 Yuan Li , Frank Ingram , Huaming Zhang

Boolean nested canalizing functions (NCFs) have important applications in molecular regulatory networks, engineering and computer science. In this paper, we study their certificate complexity. For both Boolean values $b\in\{0,1\}$, we…

Discrete Mathematics · Computer Science 2023-06-22 Yuan Li , Frank Ingram , Huaming Zhang

Nielsen \cite{Nielsen05} recently asked the following question: "What is the minimal size quantum circuit required to exactly implement a specified $% \mathit{n}$-qubit unitary operation $U$, without the use of ancilla qubits?" Nielsen was…

Quantum Physics · Physics 2010-01-19 Milosh Drezgich , Shankar Sastry

We define and study the complexity of robust polynomials for Boolean functions and the related fault-tolerant quantum decision trees, where input bits are perturbed by noise. We compare several different possible definitions. Our main…

Quantum Physics · Physics 2007-05-23 Harry Buhrman , Ilan Newman , Hein Roehrig , Ronald de Wolf

In this paper, we show that for every constant $0 < \epsilon < 1/2$ and for every constant $d \geq 2$, the minimum size of a depth $d$ Boolean circuit that $\epsilon$-approximates Majority function on $n$ variables is…

Computational Complexity · Computer Science 2009-02-03 Kazuyuki Amano

Power dissipation and energy consumption have become one of the most important problems in the design of processors today. This is especially true in power-constrained environments, such as embedded and mobile computing. While lowering the…

Hardware Architecture · Computer Science 2011-11-22 Sourya Roy , Tyler Clemons , S M Faisal , Ke Liu , Nikos Hardavellas , Srinivasan Parthasarathy

The paper discusses the gate complexity and the depth of reversible circuits consisting of NOT, CNOT and 2-CNOT gates in the case, when the number of additional inputs is limited. We study Shannon's gate complexity function $L(n, q)$ and…

Computational Complexity · Computer Science 2017-03-28 Dmitry V. Zakablukov

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

This paper provides both theoretical and experimental evidence for the existence of an Energy/Frequency Convexity Rule, which relates energy consumption and CPU frequency on mobile devices. We monitored a typical smartphone running a…

Other Computer Science · Computer Science 2014-01-21 Karel De Vogeleer , Gerard Memmi , Pierre Jouvelot , Fabien Coelho

Energy-awareness for adapting task execution behavior can bring several benefits in terms of performance improvement in energy harvesting (EH) Internet of Things (IoT) devices. However, the energy measurement cost of acquiring energy…

Signal Processing · Electrical Eng. & Systems 2025-08-13 Mateen Ashraf , Shahab Jahanbazi , Onel L. A. López

We propose a simple density functional expression for the upper bound of the kinetic energy for electronic systems. Such a functional is valid in the limit of slowly varying density, its validity outside this regime is discussed by making a…

Quantum Physics · Physics 2009-11-11 L. Delle Site

Motivated by the resurgence of neural networks in being able to solve complex learning tasks we undertake a study of high depth networks using ReLU gates which implement the function $x \mapsto \max\{0,x\}$. We try to understand the role of…

Computational Complexity · Computer Science 2017-11-10 Anirbit Mukherjee , Amitabh Basu

We show that for any constant $c>0$, any (two-sided error) adaptive algorithm for testing monotonicity of Boolean functions must have query complexity $\Omega(n^{1/2-c})$. This improves the $\tilde\Omega(n^{1/3})$ lower bound of [CWX17] and…

Computational Complexity · Computer Science 2025-11-10 Mark Chen , Xi Chen , Hao Cui , William Pires , Jonah Stockwell

We study the gap between the minimum size of a Boolean circuit (DAG) and the minimum size of a formula (tree circuit) over the And-Inverter Graph (AIG) basis {AND, NOT} with free inversions. We prove that this gap is always 0 or 1 (Unit Gap…

Computational Complexity · Computer Science 2026-03-20 Kirill Krinkin

We show that there is a randomized algorithm that, when given a small constant-depth Boolean circuit $C$ made up of gates that compute constant-degree Polynomial Threshold functions or PTFs (i.e., Boolean functions that compute signs of…

Computational Complexity · Computer Science 2018-09-18 Swapnam Bajpai , Vaibhav Krishan , Deepanshu Kush , Nutan Limaye , Srikanth Srinivasan