Вы находитесь на странице: 1из 485

., ., .

.
.: , 1980, 476 .


" " (.:, 1977),
..
,
.
,
.
.
-, ,
.

7
1. ?
11
1.1. .
12
1.2. : ,
17
1.3.
21
1.4.
23
1.5.
26
1.6.
36
1.7.
41
1.8.
43
2.
45
2.1.
45
2.2.
48
2.2.1.
49
2.2.2.
52
2.2.3.
55
2.3.
58
2.3.1.
60
2.3.2.
62
2.3.3.
66
2.4.
72
2.5.
80
2.6.
82
3.
87
3.1.
88
3.2.
94
3.2.1.
94

3.2.2.
98

3.3.
3.4. :
3.4.1. :
3.4.2.
3.5.
3.6.
4.
4.1.
4.1.1.
4.1.2.
4.1.3.
4.1.4.
4.1.5. . ,
4.1.6.
4.1.7.
4.2.
4.2.1.
4.2.2.
4.2.3. ,
4.3.
4.4.
4.5.
5.
5.1.
5.1.1.
5.1.2.
5.1.3.
5.1.4.
5.1.5.
5.2.
5.2.1.
5.2.2. k- ()
5.3.
5.3.1.
5.3.2.
5.4.
5.5.
6.
6.1.
6.2.
6.3.
6.3.1.
6.3.2.
6.3.3.

103
109
110
114
118
119
124
124
125
128
131
133
136
140
150
153
154
158
161
162
170
175
182
184
184
187
189
191
194
195
196
202
213
213
214
218
222
226
226
230
235
236
240
248

6.3.4.
6.4.
6.4.1.
6.4.2. ,
6.4.3. ,
6.4.4.
6.5.
6.5.1.
6.5.2. -
6.5.3.
6.5.4.
6.6.
6.7.
7.
7.1.
7.1.1.
7.1.2.
7.1.3.
7.1.4.
7.2.
7.3.
7.3.1.
7.3.2.
7.4.
7.5.
8.
8.1.
8.2.
8.2.1.
8.2.2.
8.2.3.
8.2.4.
8.2.5.
8.2.6.
8.3.
8.3.1.
8.3.2.
8.4.
8.5.
8.6.
8.7.
8.8.
9.
9.1. P NP

253
257
258
261
269
277
282
283
288
291
293
295
300
307
308
312
314
321
326
329
334
335
338
341
344
351
352
356
357
361
366
369
374
377
382
382
384
389
396
402
424
433
441
441

9.2. NP- NP-


445
9.2.1.
446
9.2.2. NP-
450
9.2.3.
456
9.3.
458
9.4.
463

466

- () 357360,

425, 433434
163165, 358360, 425
- 402424, 433, 438
-
- 361366, 426
165170
- 377436
- 105
- 452453
- (.
- 439440, 461
- ) 74
- 440, 461462
- 181
-
- (.
440
/
- 364
) 7280, 358
- 369
-
373, 426, 436
1217, 24
- 365
25, 42
366, 427, 432
352440
- 374376,
- 433
427428, 436
-
- 436
440
- () 384389, 429, 433, 437
- 452456
- (
- 366369,
) 382384, 429, 437
426
- 439
- 439

- 74, 358, 425


- 3641
- 140145
- 351, 360
- 396402, 431432,
3894
459460
9091
- () 433, 437, 451
88, 9091
- () 389396, 430, 433, 437
114, 116117
- 333, 377382,
224
428429, 451, 452
255256, 297, 462
-
( ) 59
438
224
- 435
() 351
- ()
- 354
357360, 425, 433434
- 355

- 356
- 355
439
452
140150, 171, 360
242, 249
252

- 258
- 258
- 5658
-
4951
-
269
271
-
261
266
- 51
- 51
- 287, 291
293
- - 305
( )
189191
() 58
() 58
87, 124153, 168170,
171, 183, 185, 196, 361, 386, 391
- 140150, 171, 360
-
150153, 172, 243, 437, 442
-
133134, 139, 171
-
453, 454, 458
- 125128
-
131133, 171
- DP- , 1, 135
140, 171
- 128131
264265, 274276

- 264265, 276277, 303


446450
() 66
452456
93
124
351
- 356
- 354
- 438
- 439
- 366369
- 439
- 438
- 366
- 396398
- 390391, 430
- 351
- (. )
- 356
- 351
- 402
- 354
- 356
- 359, 450
- 352355
- 351, 354
- 366
- 354
- 356
- 356
- 356,
369374, 426, 435
() 112118
2628, 5872, 357
- 162, 240254
- 54, 107109
- 6672, 239,
298, 311
- 6672,
121122, 240
- 6970
- 7072

-

62, 64
- 126149
- 58, 357
- 249253, 297
- 357361, 425426, 433
- 250, 322324
-
70, 239
- 6062
- 8485
- 6266, 126
- 59
- 110116
- 68
- 86
- 2628, 311
- 248283, 261
277, 297298
- 269
277, 298, 303
- 261
269, 298, 303
- 278282, 298,
303
- 249253,
258261, 297, 302
- 2728
- , 2, 3, 298
453
( )
447

150153, 437, 442
55
292, 293295
()
226, 294
(

) 62, 64

140145,
150153, 162170, 354, 425,
445, 450, 456458, 459
- 424
- 179
- 439440, 461
- 175
- 461
- 2636, 43
44, 58, 7172
- 127131, 135, 136, 161
162, 176
- () 175
- 124, 175,
179, 351
- 179
233, 234, 304
95, 156, 263264
226
( ) 187
- 187188, 219, 223,
315
356
390, 430

259
- 258
- 5658
-
4951
-
277282
-

269271
-

281282
- 4951
- 51
- 258
- 51
351, 425, 458
329330, 343

343, 349
157
157
220
2536, 309310
( ) 389
- 433435
- 389396,
430, 433, 437
228
(.
)
285
43, 196202, 220221,
224225
- - 197198, 221
- 191202, 205212
-
197198
2021, 23, 135
140, 171
- 17, 25, 37
41, 44, 196
- 2223
- 23, 3738
- 42
285286
7, 41
22
( ) 213214,
221222, 225

447
() 5859
293295
( ) 377382,
425, 428429, 433, 459
- 377
378
-
380
- 381
382
- 380381

- 145147, 179
177
176
438
178

(.

) 64
- 181, 184187, 219,
222223
- 214218, 225
- 202204, 221
, 161,
184
(= ) 59, 62
66

9498
462
() (.
) 58
( )
447
177

133135, 139, 171
- 194,
220, 223
433, 438, 451

438
356
351
153
4950, 83
458
(.
) 354
- 438
- 436
- 179, 428, 436
- 84, 462
- NP- 462

- 374
- (==
) 353
282299
- 462
- ( ) 131
133, 139, 171, 183
- 153162, 173174
- 156158, 175
-
154158
- 155,
173
-
161162, 174
- 154155, 158, 180
- 158160
- 154155, 158
159
- U ( ) 160,
174, 180
- 292293
357
361, 433
- 452
356
461
150
72
- 440, 464
- 440, 464
- 470
( ) 436
72

290

52
450

453445, 458
- 448
- 445
- 458


9798
175
() 444
98

- 342
- 338340
- 309313
287
69
363
129

9497
1617
462
,
2023, 135140, 171
(= )
351

178
46, 49
- 46, 195
- 46
- r 46
- 4748
- 48,
191
- 48, 184, 188
- 83
( ) 5960
291
329330
129
290
5558
- 56
57
- 5758
- (=) 84
- 84
97

- 96
- 97
( ) 439
110118, 182, 184
195, 218219
- 224
- 187188
- 224
- 112
- 181
187, 222223
-
191194, 220, 223
-
189194, 219
- 112
- 194195, 220, 223, 224
( ) 351
250, 322324

178
176
356
- 459
- 356
- (=) 389
- 450
125170, 226295
- 226296
- 134, 366, 426, 761
- 377, 466
- ()
240253, 258277, 296298
- 170174
- 236240, 296, 301
- 230235
- 162170
- 254,
295, 301
- () 253257
228
- INFO 52
- LINK 52
- NAME 241

460
460
397
- 397
, 8899
- - 8889
370
(,
) 19
195212
- 196202
- 202212

183
- 191193, 220,
223
- 204205, 221
() 354
5657
- 56
- 5657
- 55
- 234
( ) 59
(.
) 48
58
- 196
- 180
425, 439440, 461
( ) 59
447
459
- 464

4486
- 352356
- 6062
- 6062
- 7280
- 4548
4649
- 83
- 46

- 46
- r 4647
- 83
- 47
-
82
() 355


4748
() 446, 459
93, 120, 311

178
349, 351
150
86, 103
109, 118, 211
- 106107
- 104
- 107109
- 104105
- 105
- 106
354, 439
( ) 356
225
62
66, 84, 126
- 63, 66
- 62, 63, 84
180
( ) 356
- 356
- 356
() 220, 225
( ) 213218,
221, 225
- 214,
225
- 215216
- 216218, 222
(==
) 366

50,
84
- 3652,
254
-
4951, 5658, 234
- 5358
(
) 118
439
84, 462
463
285, 291293
(, )
19, 3738, 44
110114, 440, 461462
461462
19
() 351
, 370
86, 94
103, 107108, 118
- 9798
- 9495
103
7477, 249253,
261277, 297298
54
107
109
460
(.
) 5255
- 5558
- 5255
- 5558
5255, 84, 234
(
/) 76
383

64
458
129, 151, 308, 338340

- 338340, 344, 350


- 338339, 349
- 339
( ,
) 2223

224
- 224
- 250251, 258261, 297
- 194195, 220, 222
224
- ( ) 216218
- 209, 220
356
285
(
) 332
316321, 344
350
- 329334
- 308329
- 312314, 344
- 330
- 321326
- 343
- 335
- 332
-
404
- 309312
- 314321
- 344
- 324326, 342
- 314316
- 308, 326329
-
( ) 344
- 330334, 338340
- 365366, 427
- 347
- 346
- 327, 347
- - 345
() 355

363
354
2325, 150
- 130131
2123
5558
433
354355
158, 173, 180
( ) 59
227

- 229, 257
- 229, 235236

440
351
- 459
- 424425
- 35
- 296
- 117
225
- 366
374377,
427, 436
436
436
439
427
228
- FATHER 60
- LEFT 61
- RIGHT 61
464
(=
) 130, 141

(.
)
63

299, 305
444

228
(= ) 94
- (=
,
) 262263
- 156, 157, 173
- 300301
- 9496, 156, 157, 173
- 83

( ) 382386
288291, 299
- 290
- 291
- 290

() 5152
(.
) 73, 282
288
- 290
440
356
- 112113
- 189
191
-
384389, 429, 433, 437
- 382
386, 429
180
93, 217, 424, 438
439
154155, 158
\alpha- 147
\alpha-\beta- 145150, 172,
179
- {.
) 278282, 298, 303
\beta- 147
DFS- 363364
DP-t- (. ,
) 49

\varepsilon- 457
458
get-cell 54
H(D_i, D_j) =

D_i
D_j, . . ,
19
\mathcal{H}(p_ n\ge, \ldots, p_n,
, =,
\sum\limits_{i=1}^n, p_i\lgp_i,
, 1, 2, 35
\mathcal{H}(\alpha) -
=-\alpha\lg\alpha-(
\alpha, \lg, \alpha, 1, 1, 272
H_n-n -
=\sum\limits_{i= 1}^n,
1/i=\lnn+o, 1, 93
ILLIAC I 42
k- 448
K- () 202
212, 220
- 202
204, 220
-
204212
- K- 212, 220
\Lambda( ) 53
lg* (
2, 77
lowlink (v) 373
lowpt (v) 367368
Maniac II 343
NP 441
NP-
464
- 452
- 446, 459
- , 3, 448, 459
- 453454
- 459
- 462
- 461
- 450451

-
461462
-
464
- 461
- 464
-
464
NP-
456458, 464
465
- 451
- 452
- 463

NP- 445
nexlopt (v) 404
num (v) 363
overflow 56
P 441
Padj (v) 406
Pr(x} ( ) 148
rand (k, l) 194
, 3, 448
U (= ) 160
underflow 57
WB (\alpha) 270
Y- 177