2 Àý ¸ø ³ö Ò» ¸ö 9 9× ±í
Hilbert
1
0.5
0.333
0.25
0.2
0.5
0.333
0.25
0.2
0.167
0.333
0.25
0.2
0.167
0.143
0.25
0.2
0.167
0.143
0.125
0.2
0.167
0.143
0.125
0.111

=
Hilbert
hi j,1i j+ 1+¡û
j 0 4..¡Êfor
i 0 4..¡Êfor
h
:=(3)
h
1
1
2
1
3
1
4
1
2
1
3
1
4
1
5
1
3
1
4
1
5
1
6
1
4
1
5
1
6
1
7

¡ú
1
1
2
1
3
1
4
1
2
1
3
1
4
1
5
1
3
1
4
1
5
1
6
1
4
1
5
1
6
1
7

=hi j,1i j+ 1+:=j 0 3..:=i 0 3..:=(2)
matrix 4 4,f,( )
1
3
1
4
1
5
1
6
1
4
1
5
1
6
1
7
1
5
1
6
1
7
1
8
1
6
1
7
1
8
1
9

¡ú
0.333
0.25
0.2
0.167
0.25
0.2
0.167
0.143
0.2
0.167
0.143
0.125
0.167
0.143
0.125
0.111

=
×¢ Òâ ·û ºÅ ÔË Ëã Óë ¸¡ µã ÔË
.Ëã ½á ¹û Ö® ¼ä µÄ ²î Òì
matrix 4 4,g,( )
1
0.5
0.333
0.25
0.5
0.333
0.25
0.2
0.333
0.25
0.2
0.167
0.25
0.2
0.167
0.143

=g x y,( )
0
1
ttx y+
ÿ
d:=
matrix 4 4,f,( )
1
0.5
0.333
0.25
0.5
0.333
0.25
0.2
0.333
0.25
0.2
0.167
0.25
0.2
0.167
0.143

=f x y,( ) 1x y+ 1+:=(1)
1 Àý ¸ø ³ö Ò» ¸ö 4 4× Hilbert ½× µÄ ¾Ø Õó
,±¾ ¹¤ ×÷ Ò³ Á· Ï° ²ú Éú Ôª ËØ Âú ×ã Ò» ¶¨ Òª Çó µÄ ÌØ Êâ ¾Ø Õó Ö÷ Òª ·½ ·¨ ÓÐ
1,Matrix(m,n,F),ʹ Óà ÄÚ Öà º¯ Êý º¯ Êý
2.,Ö± ½Ó ¶¨ Òå ¾Ø Õó Ôª ËØ
3.,±à д ³Ì ÐòÊä ³ö ÌØ Êâ ¾Ø Õó13ʵ Ñé
f x y,( ) x y?:= matrix 9 9,f,( )
1
2
3
4
5
6
7
8
9
2
4
6
8
10
12
14
16
18
3
6
9
12
15
18
21
24
27
4
8
12
16
20
24
28
32
36
5
10
15
20
25
30
35
40
45
6
12
18
24
30
36
42
48
54
7
14
21
28
35
42
49
56
63
8
16
24
32
40
48
56
64
72
9
18
27
36
45
54
63
72
81

¡ú
i 0 8..:= j 0 8..:= gi j,i 1+( ) j 1+( )?:= g
1
2
3
4
5
6
7
8
9
2
4
6
8
10
12
14
16
18
3
6
9
12
15
18
21
24
27
4
8
12
16
20
24
28
32
36
5
10
15
20
25
30
35
40
45
6
12
18
24
30
36
42
48
54
7
14
21
28
35
42
49
56
63
8
16
24
32
40
48
56
64
72
9
18
27
36
45
54
63
72
81

=
N_NTable
ni j,i 1+( ) j 1+( )?¡û
j 0 8..¡Êfor
i 0 8..¡Êfor
n
:=
N_NTable
1
2
3
4
5
6
7
8
9
2
4
6
8
10
12
14
16
18
3
6
9
12
15
18
21
24
27
4
8
12
16
20
24
28
32
36
5
10
15
20
25
30
35
40
45
6
12
18
24
30
36
42
48
54
7
14
21
28
35
42
49
56
63
8
16
24
32
40
48
56
64
72
9
18
27
36
45
54
63
72
81

¡ú
3 Àý Èç Ï ³Ì Ðò ¿É ÒÔ ²ú Éú Ææ Êý ½× »Ã ·½
S n( )
ai j,mod i j+ n 1+( )2+ n, n?
mod i 2 j?+ n+ n 1?( )2+ n,+
...¡û
j 0 n 1?..¡Êfor
i 0 n 1?..¡Êfor mod n 2,( ) 0¡Ùif
a
:=
S 5( )
17
23
4
5
11
24
0
6
12
18
1
7
13
19
20
8
14
15
21
2
10
16
22
3
9

=
3 Àý ¸ø ¶¨ x1 x2,....,xk,,µÄ Öµ ²ú Éú ÐÎ Èç
1
x1
x12
....
x14
1
x2
x22
....
x24
1
x3
x32
....
x34
1
x4
x42
....
x44
1
x5
x52
....
x54

,µÄ ·¶ ´ï ÃÉ ¾Ø Õó
.²¢ ¼Æ Ëã ÐÐ ÁРʽ Öµ
Van X( ) n length X( ) 1?¡û
vi j,1¡û i 0=if
vi j,X j( )i¡û otherwise
j 0 n..¡Êfor
i 0 n..¡Êfor
v
:=
X 2 3? 3 1 2?( )T:= Van X( )
1
2
4
8
16
1
3?
9
27?
81
1
3
9
27
81
1
1
1
1
1
1
2?
4
8?
16

= Van X( ) 14400=
Vande X( ) s 1¡û
n length X( ) 1?¡û
s s Xi X j?( )?¡û i j>if
j 0 n 1?..¡Êfor
i 0 n..¡Êfor
s
:=
Van de Monte½ö ¼Æ Ëã ÐÐ ÁРʽ µÄ Öµ
Vande X( ) 14400=
Van de Monte,,ʹ Óà Èç Ï ³Ì Ðò Éú ³É ¾Ø Õó ²¢ ¼Æ Ëã Æä ÐÐ ÁРʽ Öµ µ± Ö¸ ¶¨ ²Î Êý ¦Á 0=,ʱ
Van de MonteÊä ³ö ÐÐ ÁРʽ Öµ ¡£
Van_de_Monte X ¦Á,( ) n length X( ) 1?¡û
v0 j,1¡û
j 0 n..¡Êfor
vi j,X j( )i¡û
j 0 n..¡Êfor
i 1 n..¡Êfor
v ¦Á 0=if
v otherwise
:=
X 1? 2 3 4?( )T:=
Van_de_Monte X 1,( )
1
1?
1
1?
1
2
4
8
1
3
9
27
1
4?
16
64?

= Van_de_Monte X 0,( ) 1512?=
5 Àý Èç Ï ³Ì Ðò ¿É ÒÔ ²ú Éú Ñî »Ô Èý ½Ç ÐÎ
Yanghuiq n( )
Yi 0,1¡û
i 0 n..¡Êfor
Yi j,0¡û j i>if
Yi j,Yi 1? j 1?,Yi 1? j,+¡û otherwise
j 1 n..¡Êfor
i 0 n..¡Êfor
Y
:=
Yanghuiq 8( )
1
1
1
1
1
1
1
1
1
0
1
2
3
4
5
6
7
8
0
0
1
3
6
10
15
21
28
0
0
0
1
4
10
20
35
56
0
0
0
0
1
5
15
35
70
0
0
0
0
0
1
6
21
56
0
0
0
0
0
0
1
7
28
0
0
0
0
0
0
0
1
8
0
0
0
0
0
0
0
0
1

=