English
Related papers

Related papers: Analysis of Boolean Functions

200 papers

In this paper, we mainly investigate profound interconnections between combinatorial designs, linear codes, and Boolean functions.

Information Theory · Computer Science 2026-05-26 Jong Yoon Hyun , Jieun Kwon , Jiaxin Wang , Yansheng Wu

The number partition problem is a well-known problem, which is one of 21 Karp's NP-complete problems \cite{karp}. The partition function is a boolean function that is equivalent to the number partition problem with number range restricted.…

Computational Complexity · Computer Science 2022-12-25 Chuyu Xiong

In this paper an algorithm is designed which generates in-equivalent Boolean functions of any number of variables from the four Boolean functions of single variable. The grammar for such set of Boolean function is provided. The Turing…

Logic in Computer Science · Computer Science 2008-02-29 Birendra Kumar Nayak , Sudhakar Sahoo

We give improved and almost optimal testers for several classes of Boolean functions on $n$ inputs that have concise representation in the uniform and distribution-free model. Classes, such as $k$-junta, $k$-linear functions, $s$-term DNF,…

Data Structures and Algorithms · Computer Science 2023-06-22 Nader H. Bshouty

One approach to probabilistic inference involves counting the number of models of a given Boolean formula. Here, we are interested in inferences involving higher-order objects, i.e., functions. We study the following task: Given a Boolean…

Logic in Computer Science · Computer Science 2024-03-12 Arijit Shaw , Brendan Juba , Kuldeep S. Meel

Boolean network models of molecular regulatory networks have been used successfully in computational systems biology. The Boolean functions that appear in published models tend to have special properties, in particular the property of being…

Dynamical Systems · Mathematics 2024-07-09 Yuan Li , John O. Adeyeye , David Murrugarra , Boris Aguilar , Reinhard Laubenbacher

The lower and upper bound of any given algorithm is one of the most crucial pieces of information needed when evaluating the computational effectiveness for said algorithm. Here a novel method of Boolean Algebraic Programming for symbolic…

Data Structures and Algorithms · Computer Science 2014-07-14 Daniel McCormack

We study sequences of functions of the form F_p^n -> {0,1} for varying n, and define a notion of convergence based on the induced distributions from restricting the functions to a random affine subspace. Using a decomposition theorem and a…

Combinatorics · Mathematics 2013-08-20 Hamed Hatami , Pooya Hatami , James Hirst

Boolean function bi-decomposition is ubiquitous in logic synthesis. It entails the decomposition of a Boolean function using two-input simple logic gates. Existing solutions for bi-decomposition are often based on BDDs and, more recently,…

Logic in Computer Science · Computer Science 2011-12-15 Huan Chen , Mikolas Janota , Joao Marques-Silva

The total influence of a function is a central notion in analysis of Boolean functions, and characterizing functions that have small total influence is one of the most fundamental questions associated with it. The KKL theorem and the…

Discrete Mathematics · Computer Science 2020-05-08 Esty Kelman , Guy Kindler , Noam Lifshitz , Dor Minzer , Muli Safra

This review explains in a self-contained way the properties of random Boolean networks and their attractors, with a special focus on critical networks. Using small example networks, analytical calculations, phenomenological arguments, and…

Statistical Mechanics · Physics 2008-11-14 Barbara Drossel

We survey results for Cameron-Liebler sets and low degree Boolean functions for Hamming graphs, Johnson graphs and Grassmann graphs from the point of view of association schemes. This survey covers selected results in finite geometry,…

Combinatorics · Mathematics 2025-06-05 Ferdinand Ihringer

A function $f:\ \{-1,1\}^n\rightarrow \mathbb{R}$ is called pseudo-Boolean. It is well-known that each pseudo-Boolean function $f$ can be written as $f(x)=\sum_{I\in {\cal F}}\hat{f}(I)\chi_I(x),$ where ${\cal F}\subseteq \{I:\ I\subseteq…

Discrete Mathematics · Computer Science 2012-12-04 Gregory Gutin , Anders Yeo

This paper proposes an algorithm for deciding consistency of systems of Boolean equations in several variables with co-efficients in the two element Boolean algebra $B_{0}=\{0,1\}$ and find all satisfying assignments. The algorithm is based…

Data Structures and Algorithms · Computer Science 2014-07-16 Virendra Sule

Challenging research in various fields has driven a wide range of methodological advances in variable selection for regression models with high-dimensional predictors. In comparison, selection of nonlinear functions in models with additive…

Methodology · Statistics 2013-03-05 Fabian Scheipl , Thomas Kneib , Ludwig Fahrmeir

Boolean functions have important applications in cryptography and coding theory. Two famous classes of binary codes derived from Boolean functions are the Reed-Muller codes and Kerdock codes. In the past two decades, a lot of progress on…

Information Theory · Computer Science 2015-11-23 Cunsheng Ding

The M{\"o}bius transform is a crucial transformation into the Boolean world; it allows to change the Boolean representation between the True Table and Algebraic Normal Form. In this work, we introduce a new algebraic point of view of this…

Data Structures and Algorithms · Computer Science 2020-04-24 Morgan Barbier , Hayat Cheballah , Jean-Marie Le Bars

We consider various definitions of degrees of discrete functions and establish relations between the number of relevant (essential) variables and degrees of two- and three-valued functions. Keywords: relevant variable, sensitivity, degree…

Combinatorics · Mathematics 2025-12-01 V. N. Potapov

Set-functions appear in many areas of computer science and applied mathematics, such as machine learning, computer vision, operations research or electrical networks. Among these set-functions, submodular functions play an important role,…

Machine Learning · Computer Science 2010-11-17 Francis Bach

We investigate the expressive power of neural networks from the point of view of descriptive complexity. We study neural networks that use floating-point numbers and piecewise polynomial activation functions from two perspectives: 1) the…

Computational Complexity · Computer Science 2025-05-12 Veeti Ahvonen , Damian Heiman , Antti Kuusisto