Search Results - Boolean function complexity theory
-
1
The Error Linear Complexity Spectrum as a Cryptographic Criterion of Boolean Functions
ISSN: 0018-9448, 1557-9654Published: New York IEEE 01.12.2019Published in IEEE transactions on information theory (01.12.2019)“… to be modified per period increases. In this paper, via defining an association between <inline-formula> <tex-math notation="LaTeX">2^{n} </tex-math></inline-formula>-periodic binary sequences and Boolean functions…”
Get full text
Journal Article -
2
Monomial Boolean functions with large high-order nonlinearities
ISSN: 0890-5401, 1090-2651Published: Elsevier Inc 01.03.2024Published in Information and computation (01.03.2024)“…Exhibiting an explicit Boolean function with a large high-order nonlinearity is an important problem in cryptography, coding theory, and computational complexity…”
Get full text
Journal Article -
3
Toward a theory of one -way functions via gate complexity of Boolean functions
ISBN: 9780542377037, 0542377039Published: ProQuest Dissertations & Theses 01.01.2006“… (or circuit) complexity of Boolean functions. The computational security of public-key cryptographic systems depends fundamentally on trapdoor one-way functions…”
Get full text
Dissertation -
4
Boolean functional synthesis: hardness and practical algorithms
ISSN: 0925-9856, 1572-8102Published: New York Springer US 01.07.2021Published in Formal methods in system design (01.07.2021)“… In trying to understand this behaviour, we show that unless some hard conjectures in complexity theory are falsified, Boolean functional synthesis must generate large Skolem functions in the worst-case…”
Get full text
Journal Article -
5
A Note on the LogRank Conjecture in Communication Complexity
ISSN: 2227-7390, 2227-7390Published: Basel MDPI AG 01.11.2023Published in Mathematics (Basel) (01.11.2023)“…The LogRank conjecture of Lovász and Saks (1988) is the most famous open problem in communication complexity theory…”
Get full text
Journal Article -
6
Boolean Functions of Low Polynomial Degree for Quantum Query Complexity Theory
ISBN: 9780769528311, 0769528317ISSN: 0195-623XPublished: IEEE 01.05.2007Published in 37th International Symposium on Multiple-Valued Logic (ISMVL'07) (01.05.2007)“… Unfortunately, it is a well-known problem to construct such functions. The best separation between these two complexity measures of a Boolean function was exhibited by Ambai- nis [5…”
Get full text
Conference Proceeding -
7
Almost-natural proofs
ISSN: 0022-0000, 1090-2724Published: Elsevier Inc 01.07.2011Published in Journal of computer and system sciences (01.07.2011)“… ) that exclude P / poly . This famous result is widely regarded as a serious barrier to proving strong lower bounds in circuit complexity theory, because virtually all Boolean function properties used in existing lower bound…”
Get full text
Journal Article -
8
The Complexity of Deciding if a Boolean Function Can Be Computed by Circuits over a Restricted Basis
ISSN: 1432-4350, 1433-0490Published: New York Springer-Verlag 01.01.2009Published in Theory of computing systems (01.01.2009)“…We study the complexity of the following algorithmic problem: Given a Boolean function f and a finite set of Boolean functions B , decide if there is a circuit with basis B that computes f…”
Get full text
Journal Article -
9
AN ABSTRACT COMPLEXITY THEORY FOR BOOLEAN FUNCTIONS
ISBN: 9798206820560Published: ProQuest Dissertations & Theses 01.01.1987“…Traditional theories measure the complexity of a function as a lower bound on the cost of its implementation…”
Get full text
Dissertation -
10
Sensitivity as a Complexity Measure for Sequence Classification Tasks
ISSN: 2307-387X, 2307-387XPublished: One Rogers Street, Cambridge, MA 02142-1209, USA MIT Press 18.08.2021Published in Transactions of the Association for Computational Linguistics (18.08.2021)“…We introduce a theoretical framework for understanding and predicting the complexity of sequence classification tasks, using a novel extension of the theory of Boolean function sensitivity…”
Get full text
Journal Article -
11
On covering graphs by complete bipartite subgraphs
ISSN: 0012-365X, 1872-681XPublished: Elsevier B.V 28.05.2009Published in Discrete mathematics (28.05.2009)“… We also formulate several open problems about covering problems for graphs whose solution would have important consequences in the complexity theory of boolean…”
Get full text
Journal Article -
12
Interplay between resiliency and polynomial degree — Recursive amplification, higher order sensitivity and beyond
ISSN: 0166-218XPublished: Elsevier B.V 15.04.2025Published in Discrete Applied Mathematics (15.04.2025)“…Boolean functions are important primitives in different domains of cryptology, complexity and coding theory, and far beyond in different areas of science and technology…”
Get full text
Journal Article -
13
Sensitivity versus block sensitivity of Boolean functions
ISSN: 0020-0190, 1872-6119Published: Amsterdam Elsevier B.V 01.04.2011Published in Information processing letters (01.04.2011)“…Determining the maximal separation between sensitivity and block sensitivity of Boolean functions is of interest for computational complexity theory…”
Get full text
Journal Article -
14
Separation results for boolean function classes
ISSN: 1936-2447, 1936-2455Published: New York Springer US 01.05.2021Published in Cryptography and communications (01.05.2021)“… class. In particular, we show (almost) separation of several classes of Boolean functions which have been studied in coding theory and cryptography from classes which have been…”
Get full text
Journal Article -
15
Measuring Area-Complexity Using Boolean Difference
ISBN: 146734639X, 9781467346399ISSN: 1063-9667Published: IEEE 01.01.2013Published in 2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems (01.01.2013)“… In this paper, we propose a novel area-complexity measure using the theory of Boolean difference and Taylor expansion for Boolean functions…”
Get full text
Conference Proceeding Journal Article -
16
Block sensitivity of minterm-transitive functions
ISSN: 0304-3975, 1879-2294Published: Oxford Elsevier B.V 23.09.2011Published in Theoretical computer science (23.09.2011)“…Boolean functions with a high degree of symmetry are interesting from a complexity theory perspective…”
Get full text
Journal Article -
17
Necessary and sufficient conditions for Boolean satisfiability
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 05.11.2023Published in arXiv.org (05.11.2023)“… The research in this article aims to find conditions of an algorithmic nature that are necessary and sufficient to transform any Boolean function in conjunctive normal form into a specific form…”
Get full text
Paper -
18
Certificate complexity of elementary symmetric Boolean functions
ISSN: 0304-3975, 1879-2294Published: Elsevier B.V 26.11.2022Published in Theoretical computer science (26.11.2022)“… Certificate complexity is an important combinatorial measure of Boolean function complexity…”
Get full text
Journal Article -
19
Lower Bounds on Stabilizer Rank
ISSN: 2331-8422Published: Ithaca Cornell University Library, arXiv.org 10.02.2022Published in arXiv.org (10.02.2022)“…The stabilizer rank of a quantum state \(\psi\) is the minimal \(r\) such that \(\left| \psi \right \rangle = \sum_{j=1}^r c_j \left|\varphi_j \right\rangle\)…”
Get full text
Paper -
20
Distributed Pinning Set Stabilization of Large-Scale Boolean Networks
ISSN: 0018-9286, 1558-2523Published: New York IEEE 01.03.2023Published in IEEE transactions on automatic control (01.03.2023)“…In this article, we design the distributed pinning controllers to globally stabilize a Boolean network (BN…”
Get full text
Journal Article

