中文
相关论文

相关论文: On Circuit Complexity of Parity and Majority Funct…

200 篇论文

The problem of constructing hazard-free Boolean circuits (those avoiding electronic glitches) dates back to the 1940s and is an important problem in circuit design and even in cybersecurity. We show that a DeMorgan circuit is hazard-free if…

计算复杂性 · 计算机科学 2020-12-22 Stasys Jukna

It has been proved that almost all $n$-bit Boolean functions have exact classical query complexity $n$. However, the situation seemed to be very different when we deal with exact quantum query complexity. In this paper, we prove that almost…

计算复杂性 · 计算机科学 2014-09-30 Andris Ambainis , Jozef Gruska , Shenggen Zheng

By complexity of a finite graph we mean the number of spanning trees in the graph. The aim of the present paper is to give a new approach for counting complexity $\tau(n)$ of cyclic $n$-fold coverings of a graph. We give an explicit…

组合数学 · 数学 2018-11-12 Y. S. Kwon , A. D. Mednykh , I. A. Mednykh

A Boolean function $f$ on $n$ variables is said to be a bent function if the absolute value of all its Walsh coefficients is $2^{n/2}$. Our main result is a new asymptotic lower bound on the number of Boolean bent functions. It is based on…

组合数学 · 数学 2024-10-29 V. N. Potapov , A. A. Taranenko , Yu. V. Tarannikov

We present a top-down lower-bound method for depth-$4$ boolean circuits. In particular, we give a new proof of the well-known result that the parity function requires depth-$4$ circuits of size exponential in $n^{1/3}$. Our proof is an…

计算复杂性 · 计算机科学 2024-05-03 Mika Göös , Artur Riazanov , Anastasia Sofronova , Dmitry Sokolov

Let $S_{a,b}$ denote the sequence of leading digits of $a^n$ in base $b$. It is well known that if $a$ is not a rational power of $b$, then the sequence $S_{a,b}$ satisfies Benford's Law; that is, digit $d$ occurs in $S_{a,b}$ with…

数论 · 数学 2023-06-22 Xinwei He , A. J. Hildebrand , Yuchen Li , Yunyi Zhang

The binary value function, or BinVal, has appeared in several studies in theory of evolutionary computation as one of the extreme examples of linear pseudo-Boolean functions. Its unbiased black-box complexity was previously shown to be at…

神经与进化计算 · 计算机科学 2019-04-11 Nina Bulanova , Maxim Buzdalov

Generalized circuits are an important tool in the study of the computational complexity of equilibrium approximation problems. However, in this paper, we reveal that they have a conceptual flaw, namely that the solution concept is not…

计算复杂性 · 计算机科学 2019-07-31 Steffen Schuldenzucker , Sven Seuken

We prove an asymptotic formula for the number of Eulerian circuits for graphs with strong mixing properties and with vertices having even degrees. The exact value is determined up to the multiplicative error $O(n^{-1/2+\varepsilon})$, where…

组合数学 · 数学 2015-06-11 Mikhail Isaev

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…

计算复杂性 · 计算机科学 2015-06-09 Andris Ambainis , Krišjānis Prūsis , Jevgēnijs Vihrovs

Let $U_{k,N}$ denote the Boolean function which takes as input $k$ strings of $N$ bits each, representing $k$ numbers $a^{(1)},\dots,a^{(k)}$ in $\{0,1,\dots,2^{N}-1\}$, and outputs 1 if and only if $a^{(1)} + \cdots + a^{(k)} \geq 2^N.$…

计算复杂性 · 计算机科学 2015-08-14 Xi Chen , Igor C. Oliveira , Rocco A. Servedio

In the noisy query model, the (binary) return value of every query (possibly repeated) is independently flipped with some fixed probability $p \in (0, 1/2)$. In this paper, we obtain tight bounds on the noisy query complexity of several…

数据结构与算法 · 计算机科学 2025-02-17 Yuzhou Gu , Xin Li , Yinzhan Xu

The parity decision tree model extends the decision tree model by allowing the computation of a parity function in one step. We prove that the deterministic parity decision tree complexity of any Boolean function is polynomially related to…

计算复杂性 · 计算机科学 2010-04-06 Zhiqiang Zhang , Yaoyun Shi

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…

量子物理 · 物理学 2024-02-20 Rajat Mittal , Sanjay S Nair , Sunayana Patro

In the area of query complexity of Boolean functions, the most widely studied cost measure of an algorithm is the worst-case number of queries made by it on an input. Motivated by the most natural cost measure studied in online algorithms,…

计算复杂性 · 计算机科学 2026-04-13 Alison Hsiang-Hsuan Liu , Nikhil S. Mande

Determining the approximate degree composition for Boolean functions remains a significant unsolved problem in Boolean function complexity. In recent decades, researchers have concentrated on proving that approximate degree composes for…

计算复杂性 · 计算机科学 2025-01-22 Sourav Chakraborty , Chandrima Kayal , Rajat Mittal , Manaswi Paraashar , Nitin Saurabh

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…

组合数学 · 数学 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…

离散数学 · 计算机科学 2023-06-22 Yuan Li , Frank Ingram , Huaming Zhang

Circuit lower bounds are important since it is believed that a super-polynomial circuit lower bound for a problem in NP implies that P!=NP. Razborov has proved superpolynomial lower bounds for monotone circuits by using method of…

计算复杂性 · 计算机科学 2020-06-29 Boyu Sima

A natural measure of smoothness of a Boolean function is its sensitivity (the largest number of Hamming neighbors of a point which differ from it in function value). The structure of smooth or equivalently low-sensitivity functions is still…

计算复杂性 · 计算机科学 2015-08-12 Parikshit Gopalan , Noam Nisan , Rocco A. Servedio , Kunal Talwar , Avi Wigderson