G , - .
.
H G, , G.
, ().
, , .
, () .
, x= , ; (i = 1, , n).
V F - , V .
V=/0 . V=0 , ().
- - (, ), m- n-.
m=n, . , . mn, - , 0. , , - -.
. m*n n*k m*k, - : , i=1,,m; j=1,,k. => , =/
:
: ()=(); ()=( )=( ),
: (+)=+; (+)=+
=, =,
- n- - , i- j-.
- n- , , .
-, -, .
:
, ().
.
/ ,
2 / , 0.
, , .
:
, -
:
, .
|
|
n k -
, . . n k. . , . Inv n*n. : , , . , , Inv = > .
, : .
:
, , . 0, 1 .
, , ( ). 1, 1. 0.
, , ( ). 0, 0. 1.
, , , . -> =0 => -> = 0. 1.
, , . =0 =0 =1 =1, 1, 0.
, .
:
F() , .
F() , .
F() , , .
F() , , .
:
: P
: (P Q) (Q )
: PVP
- , - .
, .
.
- .
, , .
, ( ) .
, .
... , , .
|
|
:
.
.
, .
:
: n-, m-, , » n+m-.
: n-, m-, n*m-.
- = k k -, , -.
n -, -.
n - = k , k- .
, .
, , , ( ).
, .
, ( ).
, .