Unlock instant, AI-driven research and patent intelligence for your innovation.

Method for determining affine equivalence of two Boolean functions of arbitrary variables

A technology of Boolean functions and determination methods, which is applied in the fields of digital integrated circuits and cryptography, can solve the problems of unresolved affine equivalence determination of Boolean functions and the selection of representative elements, not given, etc., so as to reduce workload and enrich The effect of the function

Active Publication Date: 2018-04-27
UNIV OF ELECTRONICS SCI & TECH OF CHINA
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0011] The affine classification of Boolean functions with the above method has the following disadvantages: First, this method does not provide a method for determining whether two Boolean functions are affine equivalent for any number of variables n
[0013] The affine classification of Boolean functions with the above method has great limitations, because this method is aimed at a special class of Boolean functions, and only obtains the necessary and sufficient conditions for the affine equivalence of MRS functions twice, and for 3 times and 4 times, only the affine classification of Boolean functions with part of the number of variables has been obtained, and it has not solved the determination of the affine equivalence of Boolean functions of any variable and the selection of representative elements, nor has it resolved the affine classification of any number of variables for a certain variable. Judgment of affine equivalence of Boolean functions and selection of representative elements

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method for determining affine equivalence of two Boolean functions of arbitrary variables
  • Method for determining affine equivalence of two Boolean functions of arbitrary variables
  • Method for determining affine equivalence of two Boolean functions of arbitrary variables

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0036] Embodiment 1 Determine whether two Boolean functions are affine equivalent

[0037] according to figure 1 , taking n=3 as an example, the set of Boolean functions containing 4 1s is set to F 4 , for F 4 For any two Boolean functions f and g in , the truth table is shown in Table 1, and the corresponding variable value matrix is ​​shown in formula (1). And abbreviate f and g as: f=(0,1,1,0,1,1,0,0), g=(1,1,0,0,0,0,1,1).

[0038] Table 1: Truth tables for f and g

[0039] X 1

[0040]

[0041] Through the rules of affine transformation, the matrix is ​​subjected to several column elementary transformations, and the rank(A f )=3,rank(A g )=2, so f and g are not affine equivalent.

[0042] Conversely, if two functions are affine equivalent, then the ranks of the variable value matrices corresponding to the two functions are equal. For example: suppose the truth table corresponding to f is shown in Table 1, and under the action of the affine transformatio...

Embodiment 2

[0049] Embodiment 2 Select the representative element of the same equivalence class

[0050] For steps 4 and 5, follow the figure 1 In the process of , taking the case of n=3 as an example, when m=4, select the representative element of each affine equivalence class in F4.

[0051] Let the set of Boolean functions similar to f be denoted as M f ,M f The representative element r in f The selection method is as follows:

[0052] Put the matrix A corresponding to f f Carry out a series of elementary column transformations, put A f Matrixize to R f , such as formula (4), then R f The corresponding Boolean function is the representative element of this kind of affine-equivalent Boolean function.

[0053]

[0054] Then M f The representative element r f =(1,1,1,0,1,0,0,0,0).

[0055] The representative element corresponding to g can be obtained by a similar method R g , such as formula (5);

[0056]

[0057] m g The corresponding representative element r g =(1,1...

Embodiment 3

[0059] Embodiment 3 Application in combinational logic circuits

[0060] Taking the Boolean function of 4 variables as an example, when m=7, the representative element of the Boolean function is determined by the above method such as image 3 shown, according to Figure 4 A circuit Ci can be designed for each representative element ri, where r1=(1,1,1,1,1,1,1,0,0,0,0,0,0,0,0 ,0), r2=(1,1,1,1,1,1,0,0,1,0,0,0,0,0,0,0), r3=(1,1,1,1 ,1,0,0,0,1,0,0,0,1,0,0,0). Here take r2 as an example to design circuit C such as Figure 7 , after simplification according to the truth table of r2, the CNF expression of r2 is r2=x1’x2’+x1’x2x3’+x1x2’x3’x4’.

[0061] The circuit realization of the affine equivalent Boolean function f=(1,1,1,1,1,0,0,0,1,1,0,0,0,0,0,0,0) can be achieved by The linear combination of the input gate circuits is obtained, where f=x1'x2'+x1x2'x3'+x1'x2x3'x4'. Obtain the affine transformation (A, b) formula (6) according to f=r2(AX+b) as follows:

[0062]

[0063]...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a method for determining the affine equivalence of two Boolean functions of any variable, which belongs to the field of digital integrated circuits and cryptography, and comprises the following steps: 1. Determine the Boolean function Fm; 2. Any two A Boolean function to find the corresponding variable value matrix; 3. Calculating rank(Af) and rank(Ag); 4. Judging whether rank(Af) and rank(Ag) are equal, whether the representative elements are the same, if f and g Affine equivalence; otherwise f is not affinely equivalent to g. The invention can be applied to combinatorial logic circuits, programmable logic units of FPGAs and Reed-Muller codes.

Description

technical field [0001] The invention belongs to the field of digital integrated circuits and cryptography, and in particular relates to a method for judging the affine equivalence of two Boolean functions of arbitrary variables. The judging method points out the necessary conditions for the affine equivalence of two Boolean functions ; and when the number of variables is small, the affine equivalence class of the Boolean function represents the selection method of the element. Background technique [0002] Boolean functions have important applications in many fields of science and technology. Affine equivalence is a basic equivalence relation of Boolean functions, which is widely used in fields such as circuit design and cryptography. The application of the affine equivalence classification of Boolean functions in circuit design is mainly reflected in the design of combinational logic circuits and the design of FPGA (the abbreviation of Filed Programmable GateArray, that is...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): H04L9/00
Inventor 杨国武张艳牛伟纳吕凤毛徐栋王双宝冯丽丽
Owner UNIV OF ELECTRONICS SCI & TECH OF CHINA