English
Related papers

Related papers: Enhanced Fast Boolean Matching based on Sensitivit…

200 papers

Calibration of large-scale differential equation models to observational or experimental data is a widespread challenge throughout applied sciences and engineering. A crucial bottleneck in state-of-the art calibration methods is the…

Optimization and Control · Mathematics 2021-02-23 Jon Cockayne , Andrew B. Duncan

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

We propose a theoretical scheme to enhance the signal-to-noise ratio in ultrasensitive detection with the help of quantum correlation. By introducing the auxiliary oscillator and treated as an added probe for weak field detection, the…

Quantum Physics · Physics 2019-06-12 Wen-Zhao Zhang , Li-Bo Chen , Jiong Cheng , Yun-Feng Jiang

The probability Jaccard similarity was recently proposed as a natural generalization of the Jaccard similarity to measure the proximity of sets whose elements are associated with relative frequencies or probabilities. In combination with a…

Data Structures and Algorithms · Computer Science 2020-10-27 Otmar Ertl

The Boolean circuit simplification problem involves finding a smaller circuit that computes the same function as a given Boolean circuit. This problem is closely related to several key areas with both theoretical and practical applications,…

Logic in Computer Science · Computer Science 2025-03-26 Daniil Averkov , Gregory Emdin , Viktoriia Krivogornitsyna , Alexander S. Kulikov , Fedor Kurmazov , Alexander Smal , Vsevolod Vaskin

Sensitivity, certificate complexity and block sensitivity are widely used Boolean function complexity measures. A longstanding open problem, proposed by Nisan and Szegedy, is whether sensitivity and block sensitivity are polynomially…

Computational Complexity · Computer Science 2015-03-27 Andris Ambainis , Krišjānis Prūsis

We provide new query complexity separations against sensitivity for total Boolean functions: a power $3$ separation between deterministic (and even randomized or quantum) query complexity and sensitivity, and a power $2.22$ separation…

Computational Complexity · Computer Science 2017-11-17 Shalev Ben-David , Pooya Hatami , Avishay Tal

We consider the sensitivity of algorithms for the maximum matching problem against edge and vertex modifications. Algorithms with low sensitivity are desirable because they are robust to edge failure or attack. In this work, we show a…

Data Structures and Algorithms · Computer Science 2020-09-11 Yuichi Yoshida , Samson Zhou

We propose an ensemble algorithm, which provides a new approach for evaluating and summing up a set of function samples. The proposed algorithm is not a quantum algorithm, insofar it does not involve quantum entanglement. The query…

Quantum Physics · Physics 2009-11-07 C. D'Helon , V. Protopopescu

Tensor factorizations are computationally hard problems, and in particular, are often significantly harder than their matrix counterparts. In case of Boolean tensor factorizations -- where the input tensor and all the factors are required…

Numerical Analysis · Computer Science 2016-09-19 Saskia Metzler , Pauli Miettinen

In this paper, a two-step strategy for parametric sensitivity analysis for such systems is proposed, exploiting advantages and synergies between two recently proposed sensitivity analysis methodologies for stochastic dynamics. The first…

Molecular Networks · Quantitative Biology 2016-02-17 Georgios Arampatzis , Markos A. Katsoulakis , Yannis Pantazis

We study the problem of approximate near neighbor (ANN) search and show the following results: - An improved framework for solving the ANN problem using locality-sensitive hashing, reducing the number of evaluations of locality-sensitive…

Data Structures and Algorithms · Computer Science 2019-06-25 Tobias Christiani

Sensitivity is an important complexity measure of Boolean functions. In this paper we present properties of the minimal and maximal sensitivity of the simplified weighted sum function. A simple close formula of the minimal sensitivity of…

Discrete Mathematics · Computer Science 2016-01-28 Jiyou Li , Chu Luo , Zeying Xu

Boolean functions are mathematical objects with numerous applications in domains like coding theory, cryptography, and telecommunications. Finding Boolean functions with specific properties is a complex combinatorial optimization problem…

Neural and Evolutionary Computing · Computer Science 2023-02-14 Marko Djurasevic , Domagoj Jakobovic , Luca Mariot , Stjepan Picek

Sensitivity \cite{CD82,CDR86} and block sensitivity \cite{Nisan91} are two important complexity measures of Boolean functions. A longstanding open problem in decision tree complexity, the "Sensitivity versus Block Sensitivity" question,…

Computational Complexity · Computer Science 2013-06-25 Andris Ambainis , Yihan Gao , Jieming Mao , Xiaoming Sun , Song Zuo

Ontologies usually suffer from the semantic heterogeneity when simultaneously used in information sharing, merging, integrating and querying processes. Therefore, the similarity identification between ontologies being used becomes a…

Artificial Intelligence · Computer Science 2010-06-24 Amjad Farooq , Syed Ahsan , Abad Shah

Machine-learning techniques have become fundamental in high-energy physics and, for new physics searches, it is crucial to know their performance in terms of experimental sensitivity, understood as the statistical significance of the…

High Energy Physics - Phenomenology · Physics 2022-11-10 Ernesto Arganda , Xabier Marcano , Víctor Martín Lozano , Anibal D. Medina , Andres D. Perez , Manuel Szewc , Alejandro Szynkman

Network intrusion detection systems play a critical role in protecting the information infrastructure of an organization. Due to the sophistication and complexity of techniques used for the analysis they are commonly based on…

Networking and Internet Architecture · Computer Science 2010-01-04 Arun Kumar S P

Here we revisit the quantum algorithms for obtaining Forrelation [Aaronson et al, 2015] values to evaluate some of the well-known cryptographically significant spectra of Boolean functions, namely the Walsh spectrum, the cross-correlation…

Quantum Physics · Physics 2025-05-20 Suman Dutta , Subhamoy Maitra , Chandra Sekhar Mukherjee

A Boolean function $f({\vec x})$ is sensitive to bit $x_i$ if there is at least one input vector $\vec x$ and one bit $x_i$ in $\vec x$, such that changing $x_i$ changes $f$. A function has sensitivity $s$ if among all input vectors, the…

Computational Complexity · Computer Science 2023-06-27 Jon T. Butler , Tsutomu Sasao , Shinobu Nagayama