In this paper, we classify all formally self-dual Boolean functions and self-dual bent functions under the action of the extended symmetric group in 2, 4 variables, and give a lower bound for the number of non-equivalent functions in 6 variables. There are exactly 2, 91 (1, 3 respectively) and at least 5535376 representatives from equivalence class of formally self-dual Boolean functions (self-...

In this article, a relationship between the Walsh-Hadamard spectrum and σ f , the sum-of-squares-modulus indicator (SSMI) of the generalized Boolean function is presented. It is demonstrated for every s-plateaued generalized Boolean function in n variables that σ f = 22n+s. Two constructions on generalized semi-bent Boolean functions are presented. A class of generalized semi-bent functions in ...

Arithmetic Walsh transform(AWT) of Boolean function caught our attention due to their arithmetic analogs of Walsh-Hadamard transform(WHT) recently. We present new results on AWT in this paper. Firstly we characterize the existence of linear structure of Boolean functions in terms of AWT. Secondly we show that the relation between AWT and WHT of a balanced Boolean function with a linear structur...

It is well known that Exclusive Sum-Of-Products (ESOP) expressions for Boolean functions require on average the smallest number of cubes. Thus, a simple complexity measure for a Boolean function is the number of cubes in its simplest ESOP. It will be shown that this structure-oriented measure of the complexity can be improved by a unique complexity measure which is based on the function. Thus, ...

In various elds of computer science, it is often required to represent Boolean functions succinctly and to manipulate them e ciently. An Ordered Binary Decision Diagram (OBDD) [1, 2] is a directed acyclic graph representing a Boolean function. OBDDs have the following properties. 1) For a given variable ordering, OBDDs have a reduced canonical form for each Boolean function. 2) Many practical B...

Because of the algebraic attacks, a high algebraic immunity is now an important criteria for Boolean functions used in stream ciphers. In this paper, by using the relationship between some flats and support of a n variables Boolean function f , we introduce a general method to determine the algebraic immunity of a Boolean function and finally construct some balanced functions with optimum algeb...

Statistical model in retrieval has been shown to perform well empirically. Extended Boolean model has been widely used in business system for its easiness to be complemented and not bad results. In this paper, a statistical model and modified Boolean model and natural language processing techniques, shallow query understanding techniques are used and results show that even with very limited tra...

We consider the problem of evaluating a Boolean function on PRAMs. We exhibit a Boolean function f : {0, 1} → {0, 1} that can be evaluated in time O(log log n) on a deterministic CROW (Concurrent Read Owner Write) PRAM, but requires time Ω(log n) on EROW (Exclusive Read Owner Write) PRAMs. Our lower bound also holds for randomized Monte Carlo EROW PRAMs. This Boolean function is derived from th...

We exhibit links between pseudo-Boolean optimization, graph theory and logic. We show the equivalence of maximizing a pseudo-Boolean function and finding a maximum weight stable set; symmetrically minimizing a pseudo-Boolean function is shown to be equivalent to solving a weighted satisfiability problem.

In this paper we use the support of a Boolean function to establish some algebraic properties. These properties allow us to obtain the degree of a Boolean function without having to calculate its algebraic normal form. Furthermore, we derive some algorithms and compute the average time to obtain the degree of some Boolean functions from its support.