摘要: |
|
关键词: |
DOI:10.1007/s11768-010-0018-7 |
Received:January 19, 2010Revised:January 19, 2010 |
基金项目:This work was supported by the National Natural Science Foundation of China (No.60674022, 60736022, 60821091). |
|
The structure of canalizing functions |
Zhiqiang LI,Daizhan CHENG |
(Department of Mathematics and Information Science, Henan University of Economics and Law;Key Laboratory of Systems and Control, AMSS, Chinese Academy of Sciences) |
Abstract: |
The structure of a canalizing function is discussed. Using a new matrix product, namely semitensor product,
the logical function is expressed in its matrix form. From its matrix expression, a criterion is obtained to test whether a
logical function is a canalizing function. Then a formula is obtained to calculate the number of canalizing functions. Moreover,
an algorithm is presented to generate canalizing functions. Finally, some results obtained are extended to seminested
canalizing functions. |
Key words: Canalizing function Boolean function Seminested canalizing function |