Search Results - (( Key words. boolean function complexity ) OR ( Key works. boolean function complexity ))
-
1
Characterization of Exact One-Query Quantum Algorithms for Partial Boolean Functions
ISSN: 1000-9000, 1860-4749Published: Singapore Springer Nature Singapore 01.12.2023Published in Journal of computer science and technology (01.12.2023)“…? This problem has been addressed in the literature for total Boolean functions and symmetric partial Boolean functions, but is still open for general partial Boolean functions…”
Get full text
Journal Article -
2
Critical Properties and Complexity Measures of Read-Once Boolean Functions
ISSN: 1012-2443, 1573-7470Published: Cham Springer International Publishing 01.06.2021Published in Annals of mathematics and artificial intelligence (01.06.2021)“…In this paper, we define a quasi-order on the set of read-once Boolean functions and show that this is a well-quasi-order…”
Get full text
Journal Article -
3
Improved Bounds for Wireless Localization
ISSN: 0178-4617, 1432-0541Published: New York Springer-Verlag 01.07.2010Published in Algorithmica (01.07.2010)“… In other words, the interior of the polygon must be described by a monotone Boolean formula composed from the keys…”
Get full text
Journal Article Conference Proceeding -
4
Perfect Tabular Hashing in Pseudolinear Time
Published: IEEE 27.01.2021Published in 2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC) (27.01.2021)“… Given n keys of word size W, we show how to compute a perfect hash function in O(nW) worst-case time. This is competitive with other perfect hashing methods, and the resultant hash functions are simple and performant…”
Get full text
Conference Proceeding -
5
Derandomizing Arthur-Merlin Games and Approximate Counting Implies Exponential-Size Lower Bounds
ISBN: 9781424472147, 1424472148ISSN: 1093-0159Published: IEEE 01.06.2010Published in 2010 IEEE 25th Annual Conference on Computational Complexity (01.06.2010)“…We show that if Arthur-Merlin protocols can be derandomized, then there is a Boolean function computable in deterministic exponential-time with access to an NP oracle, that cannot be computed…”
Get full text
Conference Proceeding -
6
Privacy-Preserving Boolean Range Query With Temporal Access Control in Mobile Computing
ISSN: 1041-4347, 1558-2191Published: New York IEEE 01.05.2023Published in IEEE transactions on knowledge and data engineering (01.05.2023)“…), massive spatio-textual data has been outsourced to cloud servers for storage and analysis such as spatial keyword search…”
Get full text
Journal Article -
7
VC-dimensions of nondeterministic finite automata for words of equal length
ISSN: 1012-2443, 1573-7470Published: Cham Springer International Publishing 01.01.2022Published in Annals of mathematics and artificial intelligence (01.01.2022)“… ) } as a function of q . Next, the work of Gruber and Holzer (Theoret. Comput. Sci. 387 (2): 155–166, 2007 ) gives an upper bound for the nondeterministic state complexity of finite languages contained in B n , which we strengthen using our methods…”
Get full text
Journal Article -
8
Halfspace Matrices
ISSN: 1016-3328, 1420-8954Published: Basel SP Birkhäuser Verlag Basel 01.05.2008Published in Computational complexity (01.05.2008)“… In communication complexity, we exhibit a Boolean function f with discrepancy Ω(1/ n 4 ) under every product distribution but under a certain non-product distribution…”
Get full text
Journal Article -
9
Boolean semiring key-exchange with BLAKE3 security (BKEX-B3)
ISSN: 2948-2992Published: Springer 27.07.2025Published in Discover Computing (27.07.2025)“… This work presents a new Boolean Semiring Key Exchange Protocol combined with BLAKE3 cryptographic hash function (BKEX-B3…”
Get full text
Journal Article -
10
Reconstructability analysis: theory and applications
ISBN: 0861769635, 9780861769636Published: Bradford Emerald Publishing Limited 2004“… In previous work, modified reconstructability analysis (MRA) was applied to Boolean functions, where it was shown that most Boolean functions not decomposable using conventional reconstructability analysis (CRA…”
Get full text
eBook -
11
EKV-VBQ: Ensuring Verifiable Boolean Queries in Encrypted Key-Value Stores
ISSN: 1424-8220, 1424-8220Published: Switzerland MDPI AG 22.10.2024Published in Sensors (Basel, Switzerland) (22.10.2024)“… queries over encrypted key-value data. We have integrated blockchain and homomorphic Xor operations and pseudo-random functions to create a secure and verifiable datastore, while enabling efficient encrypted Boolean queries…”
Get full text
Journal Article -
12
Minimum complexity drives regulatory logic in Boolean models of living systems
ISSN: 2752-6542, 2752-6542Published: England Oxford University Press 01.03.2022Published in PNAS nexus (01.03.2022)“… However, the Boolean functions (BFs) specifying the associated logical update rules should not be expected to be random…”
Get full text
Journal Article -
13
A Grover-Meets-Simon Approach to Match Vector Boolean Functions
ISSN: 2689-1808, 2689-1808Published: New York IEEE 2025Published in IEEE transactions on quantum engineering (2025)“…The Boolean matching problem via NP-equivalence requires determining whether two Boolean functions are equivalent or not up to a permutation and negation of the input binary variables…”
Get full text
Journal Article -
14
A direct product theorem for quantum communication complexity with applications to device-independent QKD
ISSN: 2575-8454Published: IEEE 01.02.2022Published in Proceedings / annual Symposium on Foundations of Computer Science (01.02.2022)“…). For a two-input boolean function, the best result for interactive quantum communication complexity known previously was due to Sherstov (2018…”
Get full text
Conference Proceeding -
15
Algebraic immunity for cryptographically significant Boolean functions: analysis and construction
ISSN: 0018-9448, 1557-9654Published: New York, NY IEEE 01.07.2006Published in IEEE transactions on information theory (01.07.2006)“… It has been observed that a Boolean function f used as a cryptographic primitive, and interpreted as a multivariate polynomial over F/sub 2/, should not have low degree multiples obtained…”
Get full text
Journal Article -
16
Two function algebras defining functions in NC k boolean circuits
ISSN: 0890-5401, 1090-2651Published: Elsevier 01.06.2016Published in Information and computation (01.06.2016)“…We describe the functions computed by boolean circuits in NCk by means of func- tions algebra for k…”
Get full text
Journal Article -
17
Improved bounds on the AN-complexity of O(1)-linear functions
ISSN: 1016-3328, 1420-8954Published: Cham Springer International Publishing 01.12.2022Published in Computational complexity (01.12.2022)“…We consider arithmetic circuits with arbitrary gates for computing Boolean functions that are represented by low-degree polynomials over GF(2…”
Get full text
Journal Article -
18
On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy
ISSN: 0890-5401, 1090-2651Published: Elsevier Inc 01.04.2015Published in Information and computation (01.04.2015)“… way the more interesting complexity class of polynomial time functions, but at the price of either…”
Get full text
Journal Article -
19
Efficient minimization of higher order submodular functions using monotonic Boolean functions
ISSN: 0166-218X, 1872-6771Published: Amsterdam Elsevier B.V 31.03.2017Published in Discrete Applied Mathematics (31.03.2017)“…Submodular function minimization is a key problem in a wide variety of applications in machine learning, economics, game theory, computer vision, and many others…”
Get full text
Journal Article -
20
Alternative approach to calculate the structure matrix of Boolean network with semi-tensor product
ISSN: 1751-8644, 1751-8652Published: The Institution of Engineering and Technology 01.09.2017Published in IET control theory & applications (01.09.2017)“… The key of the proposed new method is applying the superposition and expansion techniques to the initial matrix and the target matrix, which dramatically reduces computational complexity…”
Get full text
Journal Article

