Results of nested canalizing functions

01/24/2020
by   Yuan Li, et al.
0

Boolean nested canalizing functions (NCF) have important applications in molecular regulatory networks, engineering and computer science. In this paper, we study the certificate complexity of NCF. We obtain the formula for b - certificate complexity, C_0(f) and C_1(f). Consequently, we get a direct proof of the certificate complexity formula of NCF. Symmetry is another interesting property of Boolean functions. We significantly simplify the proofs of some recent theorems about partial symmetry of NCF. We also describe the algebraic normal form of the s-symmetric nested canalizing functions. We obtain the general formula of the cardinality of the set of all n-variable s-symmetric Boolean NCF for s=1,...,n. Particularly, we obtained the cardinality formula for the set of all the strongly asymmetric Boolean NCFs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/10/2019

Symmetry Properties of Nested Canalyzing Functions

Many researchers have studied symmetry properties of various Boolean fun...
research
06/11/2021

Revealing the canalizing structure of Boolean functions: Algorithms and applications

Boolean functions can be represented in many ways including logical form...
research
04/04/2018

Short Proofs for Some Symmetric Quantified Boolean Formulas

We exploit symmetries to give short proofs for two prominent formula fam...
research
05/22/2021

On Symmetric Invertible Binary Pairing Functions

We construct a symmetric invertible binary pairing function F(m,n) on th...
research
09/30/2009

Algorithms for finding dispensable variables

This short note reviews briefly three algorithms for finding the set of ...
research
08/22/2019

Affine equivalence for quadratic rotation symmetric Boolean functions

Let f_n(x_0, x_1, ..., x_n-1) denote the algebraic normal form (polynomi...
research
04/03/2012

Unit contradiction versus unit propagation

Some aspects of the result of applying unit resolution on a CNF formula ...

Please sign up or login with your details

Forgot password? Click here to reset