Professional Documents
Culture Documents
6.1
f: S L
S L . f(x), x ( )
S ( , , ), f(x) L ( , , ).
,
, .
S n Si, .
n
S = S1 S2 Sn = X Si .
i =1
n
n
f : X Si L ,
i =1
f : X Si Lm ,
i =1
m-
L. . .
Si L , :
n
f : X { 0 ,1,... , mi 1 } { 0 ,1,... , m 1 } ,
i =1
mi, (i = 1,2,...,n) n Si L, .
Si 0, 1,..., mi-1}, i = 1, 2,...,n , L 0, 1, 2,...,m-1}.
,
.
n
f : X { 0 ,1,... , mi 1 } { 0 ,1 } ,
i =1
.
Zm 0,1,...,m-1}. f: 0,1}n Zm.
.
f: 0,1}n R , R . ,
,
. .
,
Si L
(). ,
122
f : { 0 ,1,... , m 1 } n { 0 ,1,... , m 1 } ,
m E = 0,1,...,m-1}.
( ) E .
f : { 0 ,1 } n { 0 ,1 } ,
B = 0,1}.
, ,
, .
, .
(. Galois function)
L Si GF(pk). ,
f: GF(pk)}n GF(pk).
() (. fuzzy function) :
f: fn I ,
I {0,1}.
,
, .
,
: 0,1}n - . - .
, . ,
123
,
.
. .
6.2
.
,
.
,
.
()
.
"=" ( ): (, , "" "+"), (, ,
"" "",
) (, ,
).
124
a = a ();
a = b b = ();
a = b b = c a = c ().
,
:
1) x y = y x;
x y = y x ( ),
2) (x y) = x (y );
(x y) z = x (y z) ( ),
3) x (y ) = (x y) (x z); x (y ) = (x y) (x z) (
),
4) 0 1 :
0 x = x; 1 x = x ( ).
0 1
0 1. , , .
, .
5) :
x x = 1;
x x = 0 ( )
,
. . 2
,
. , . ,
.
, :
, . x = y x, x
y, .
125
( : , , ):
) x = x ( , );
) x x = x;
xx=x
( );
) 1 x = 1;
0x=0
( );
) x y x y = x; (x y) (x y ) = x
( );
) x x y = x;
x (x y) = x
( );
) x y = x y ;
xy = x y
( ).
.
,
0 1,
. . ,
. ,
.
B 0 1. , 6.1
.
.
.
126
6.1 ,
x
xy
xy
n :
f: {0,1}n {0,1} ,
f: Bn B , B {0,1} .
f(x1,x2,...,xn) f(X), X =
(x1,x2,...,xn), xi B, (i = 1,2,...,n ) f(X) B.
x1, x2, ...,
xn, B.
n- K = (k1,k2,...,kn) (x1,x2,...,xn)
B .
k1k2...kn, k1, k2, ..., kn . , n
2n.
0, 1 x1,x2,...,xn , . :
1) 0, 1, x1, x2 ,..., xn ,
2) E1 E2
1 2, 1 2 , E1 , E2
,
3)
.
127
.
.
, , .
, 0 1 , . *.
, .
6.3
, , . .
.
2n () . ,
. ,
. 6.2 .
128
6.2
x1x2 ... xn-1xn
x1
x2
x3
00...00
f(00...00)
00...01
f(00...01)
00...10
f(00...10)
...
...
...
...
...
...
11...10
f(11...10)
11...11
f(11...11)
. Fn n n
Fn = 2 2 .
. 2n .
n
Fn = 2 x 2 x ... x 2 (2n ) = 2 2 .
. .
.
6.3.
6.3
x
xy
x (x y)
129
x y
x (x y)
, k, () K = k1k2...kn
. k
.
:
n
k = k i 2 n i .
i =1
, . ,
, .
,
.
()
n- 2n n- (), .
0 1 , .
0 1 , . . 6.1
.
130
1111
0111
x3
001
011
111
x2
101
0110
0010
110
010
000
x3
100 x1
1110
x2
0100
0000
0011
1010
1011
0101
1101
x
4
0001
1100
1001
1000 x1
6.1
() . 2n () . 6.2
. , . .
,
. 5 . ,
i-
(i=1,2,3,4) 001 101, 011 111.
x1x2
x3x4
00 01 11 10
00
1
1 1
01 1
11
10
x1x2x 3
00
x4x5 01
11
10
1
1
6.2
0 1 .
131
6.4
6.4 6.5
. ,
. . .
..
6.4
x
01
K0
f0
00
f1
01
f2
10
f3
11
K1
M
+
+
+
+
+
, .
, ,
, , :
x 1 = 1; x 0 = x; x x = 1; x x = x; x x ... x = x ;
x 1 = x; x 0 = 0; x x = 0; x x = x; x x ... x = x.
:
( x x ... x ) = x x ... x ,
132
( x x ... x ) = x x ... x .
,
, .
x1 x2 = x2 x1;
x1 (x2 x3) = (x1 x2) x3;
x1 (x2 x3) = x1 x2 x1 x3 .
6.5
x2
1100
1010
f0
0000
f1
0001
x1 x2
f2
0010
x1 x2
f3
0011
x1
f4
0100
x2 x1
f5
0101
x2
f6
0110
f7
0111
f8
f9
x1
K0
x1
x2
x1 x2
x1 x2
1000
x1 x2
()
1001
x1 x2
f10
1010
x2
f11
1011
x2 x1
f12
1100
x1
f13
1101
x1 x2
f14
1110
x1 / x2
f15
1111
+
+
+
+
x1
x2
()
0
, :
x x = 0; x x = 1;
133
K1
x 0 = x; x 1 = x .
. :
x x = 0;
x x =x;
1 x = x;
x 1 = 1.
0 x = 1; x 0 = x ;
,
x1 / x2 = x2 / x1;
x1 x2 = x2 x1;
x/ x=1;
x/0=1; x/1=x;
. :
134
x1 x2 = x1 x2 ;
x1 x2 = x1 x2 ;
x1 x2 = x1 x2 x1x2 ;
x1 x2 = x1 x2 x1 x2 ;
x1 x2 = x1 x2 ;
x2 x1 = x1 x2 ;
x1 / x2 = x1 x2
x1 x2 = x1 x2 .
6.5
f(x1,...,xi ,...,xn) xi,
xi f(x1,...,xi ,...,xn) :
f(x1,...,0,...,xn) = f(x1,...,1,...,xn)
xi ,
f(x1,...,xi ,...,xn) xi.
f(x1,...,xi ,...,xn) .
f(x1,...,xi ,...,xn) f(x1,...,xi ,...,xn) = f(x1,..., xi ,...,xn).
, , . xi n-1
:
: An n
:
n
n
n
An 1
An 2 ... A1 A0 ,
An = 2 2
n 1
n 2
1
135
0 , 0 1.
n
:
n
n n 1
An = ( 1 ) j 2 2 .
j =0
j
2
, 10 ,
218 . 6.4 6.5 .
6.6
,
, . ,
,
, .
pk . n
1 , K
136
k, 0 .
( )
:
x , k i =1
xi = i
.
pk = ~
x1 ~
x2 ...~
xn , ~
xi , k i = 0
x1 ~
x2 ...~
xn
, K ~
1 1.
0
pk 0. pk
: xi pk ki = 0, ki = 1.
sk :
0 , K = (k1 , k 2 ,...,k n ) ,
.
sk =
1, K ( k1 , k 2 ,...,k n )
sk . n 0 , K k, 1 . ( ) :
sk = ~
x1 ~
x2 ... ~
xn ,
xi , k i = 0
~
xi =
.
xi , k i =1
sk : xi sk ki = 1,
ki = 0.
2n
2n.
. 6.6
.
137
6.6
x1
x2
x3
f(X)
p1
p4
p6
s0
s2
s3
s5
s7
p1 = x1 x2 x3 p4 = x1 x2 x3
s0 = x1 x2 x3
s2 = x1 x2 x3
s3 = x1 x2 x3
p6 = x1x2 x3
s5 = x1 x2 x3
s7 = x1 x2 x3
. , .
. n , 0, :
f(x1, x2, , xn) =
f ( K ) =1
pk ,
k , pk K
1, .
, ,
().
. 1 , ,
1,
1. 0 0,
138
0. . ( 6.7).
. n , 1, :
f(x1, x2, , xn) =
f ( K ) =0
sk ,
k , sk K
0, .
, ,
().
.
.
(. 112).
. n , 1, :
f(x1, x2, , xn) =
pk ,
f ( K ) =1
k , pk K
1, .
, ,
().
.
. n
:
f(x1,x2,..,xn) = c0 c1x1 cnxn c12x1x2 c1nx1xn cn-1,nxn-1xn
c123x1x2x3 c12nx1x2xn
c0, c1, ..., c12...n {0,1},
2n .
: xi = xi 1 ,
, x x = 0.
139
ci1i2...im
( 6.7).
,
.
( 6.7).
, .
- (Reed-Muller).
, .
-,
. .
. 6.6 (. 107)
, , :
: f(x1,x2,x3) = x1 x2 x3 x1 x2 x3 x1x2 x3 ,
: f(x1,x2,x3) = (x1 x2 x3) (x1 x2 x3) (x1 x2 x3 ) ( x1 x2
x3 ) ( x1 x2 x3 )
: f(x1,x2,x3) = x1 x2 x3 x1 x2 x3 x1x2 x3 ,
: f(x1,x2,x3) = x1 x3 x2x3 x1x2x3
.
x i1 ~
xi 2 ...~
xim , 1 m n ,
. ~
~
~
~
, x x ... x , 1 m n ,
i1
i2
im
.
.
. m = 1
, m = n
. r = n - m
.
( ),
() .
140
(). .
, .
. .
, .
p xi p.
p = p (xi xi ) = pxi p xi -
xi.
, p, p.
p 1 xi xi = 1.
2r=2n-m .
: p = p(xi xi ) = pxi p xi , .
p.
sk = ~
x1 ~
x2 ... ~
xn , xi : s =
s xi xi = (s xi)(s xi )
.
() , . ,
,
.
, . .
141
, .
.
u1 u2 = u1 u2 u1u2 , u1 u2
.
u1 u2 = u1 u2 u1 u2 , u1 u2
.
x = x 1, .
,
.
()
()
:
1) ( , ),
2) ()
.
F(X) f1(X1), f2(X2),..., fm(Xm), Xj
X, (j = 1,2,...,m), (, , ) .
:
142
6.7
,
, . . ,
.
xi
n
n-1 xi ,
. .
n :
f(x1,...,xi,...xn) = xi f(x1,...,0,...xn) xi f(x1,...,1,...xn)
(C. Sannon),
. ,
xi, . xi =0 xi =1. xi =0 :
f(x1,...,0,...xn) = f(x1,...,0,...xn).
xi =1.
n ().
.
:
143
:
f(x1,...,xi,...xn) = [xi f(x1,...,0,...xn)] [ xi f(x1,...,1,...xn)] .
.
n
() .
:
f(x1,...,xi,...xn) = xi f(x1,...,0,...xn) xi f(x1,...,1,...xn).
.
n ()
.
n :
f(x1,...,xi,...xn) = f(x1,...,0,...xn) xi [f(x1,...,0,...xn) f(x1,...,1,...xn)] .
. n
n .
:
144