|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Leeuwen J.V. — Handbook of Theoretical Computer Science: Algorithms and Complexity |
|
|
Предметный указатель |
#P 106—107
305 320
140 898
-reducible 772
135
766
-complexity 842
260
— Voronoi diagram 409
93
142
320
-dimensional worktape 228
327
305 320 327
326
325
93
260 288
278
324
326
135
95
92
261 282
305 320 326
320
-ary tree 313
-connected component 529
-enumeratively-rankable 246
-set 378
tree 370 487
260
— SPACE 126
326
326
-string 205
138—143
, -uniform 139
, log-space uniform 138
, P-uniform 138
-reduction 136
136—138
135
290
109 120
95
92
120
109
Theorem 179
cut 589
flow 589
numbering 882 886
127
-module 658
320 324
142
problem 324
problem 324
-structure 32
92
96
-reduction 90 117
-matrix 378
-flow 854
-separable 851 854
110
96
96
(, )-tree 309
(2-3)-tree 309
2-edge connectivity 885
2-SATISFIABILITY 86
3-PARTITiON 87
a priori probability 210 213
Abelian group 685 697
Abelian variety test 712
Abstract complexity 180
Abstract data type 303
AC 38
ACC 142
Acceptance 8
Acceptance problem (for Turing machines) 80 127
Acceptance, (of a language) 244
Acceptance, space-bounded 11
Acceptance, time-bounded 11
Accepted language 8
Accepting computation tree 43
Accepting configuration 8
Access frequency 305
Access time, ideal 320
Accessibility problem for forests 137
Accessibility problem for graphs 128—129
Accessibility problem for path systems 126
Accumulator 23
Accumulator, vector 51
Ackermann’s function, inverse of 423
Addition 875—876 899 907—908
Addition chain 637
Additive-constant speed-up 167
Additivity conjecture 651
Adjacency list 536
Adjacency matrix 532
Admissible construction 436 438 473 494
Admissible selection function 192
Adversary 719
advice 116 762
Advice sequence 762
AEXPTIME 44
Aho — Corasick algorithm 273
Ajtai, Komls and Szemerdi Theorem 820
Alder — Strassen bound 657
Algebra 650
Algebra, associative 650
Algebra, division 657
Algebra, generalized null 657
Algebra, group 657 661
Algebra, Lie 657
Algebra, of minimal rank 657
Algebra, of quaternions 657
Algebraic complexity 399
Algebraic complexity theory 633
Algebraic computation 635
Algebraic decision problem 647
Algebraic decision tree 347
Algebraic decomposition, cylindrical 401
Algebraic equation 637
Algebraic inequality 637
Algebraic manipulation 641
Algebraic roadmap 403
Algebraic surface 398
Algorithm, Aho — Corasick 273
Algorithm, baby-step-giant-step 686
Algorithm, Boyer — Moore 267
Algorithm, class group composition 682
Algorithm, class group reduction 681 710
Algorithm, Commentz — Walter 278
Algorithm, continued fraction 701
Algorithm, cubic sieve 705
Algorithm, decryption 719
Algorithm, Dijkstra’s 559
Algorithm, encryption 719
Algorithm, Euclid’s 646
Algorithm, Ford’s 558
Algorithm, Goldberg — Tarjan (for maximum flows) 599
Algorithm, Gomory — Hu 606
Algorithm, Horspool’s 271
Algorithm, Hunt — Szymanski 292
| Algorithm, index-calculus 690 701
Algorithm, Knuth — Morris — Pratt 264
Algorithm, Knuth — Schnhage 647
Algorithm, Las Vegas 115 847 904
Algorithm, linear sieve 694
Algorithm, McNaughton — Yamada 286
Algorithm, Monte Carlo 115 904
Algorithm, optimal 638
Algorithm, probabilistic 554
Algorithm, quadratic sieve 697 703
Algorithm, Rabin — Karp 263
Algorithm, random squares 700
Algorithm, randomized 233 535 570
Algorithm, reduction 681 710
Algorithm, systolic 864
Algorithm, Thompson’s 282
Algorithm, two-thirds 701
Algorithm, Warshall’s 541
Algorithms, analysis of see analysis of algorithms
ALOGSPACE 44
ALOGTIME 139
Alphabet 7
Alphabet, tape 17
Alternating path 582
Alternating Turing machine (ATM) 43 73—74 872 898 901
Alternation 42 761
AM 123
Ambiguous form 682 683 702
Amortized analysis 304
AM[poly] 122—123 143—144
Analysis of Algorithms 16 433
Analysis of algorithms, asymptotics 445
Analysis of algorithms, average-case 433
Analysis of algorithms, enumeration 434 436
Analysis of algorithms, hashing 492 514
Analysis of algorithms, searching 481 488 491 492 512
Analysis of algorithms, sorting 458 484 491 496
Analysis of algorithms, trees 436 448 450 471 473 513 514 518
Analysis, amortized 304
Analysis, average-case 303 844 856
Analysis, worst-case 303 844 847
Analytic function 447
Anonymous transaction 747
Approximate string matching 293
Approximation method 781
Approximator 774 781
Approximator circuit 781
APSPACE 44
APTIME 44
Area 840
Area, active 840
Area, total 840
Arithmetic 23
Arithmetic circuit 635 905 913 916
Arrangement 377 398
Arrangement, faces of 399
Array processing machine 51
Art Gallery Problem 366
Arthur — Merlin game 122
ASPACE[] 98
ASSIGNMENT 808
Asymptotic analysis 445
Asymptotic complexity 652
Asymptotic degeneration 654
Asymptotic rank 652
Asymptotic spectrum 653
ATIME[] 98
ATM see alternating Turing machine
Attack (in cryptography), chosen-ciphertext 731
Attack (in cryptography), chosen-message 741
Attack (in cryptography), chosen-plaintext 734
Attack (in cryptography), known-plaintext 731
Attack (in cryptography), ‘meet-in-the-middle 734
Augmentation (of a flow), clairvoyant 594
Augmentation (of a flow), Dantzig 598
Augmentation (of a flow), Dinic 596
Augmentation (of a flow), Edmonds — Karp 594
Augmentation (of a flow), Edmonds — Karp minimum cost 604
Augmentation (of a flow), Ford — Fulkerson 594
Augmentation (of a flow), maximum capacity 594
Augmenting bipath 610
Augmenting bipath theorem 611
Augmenting path 589
Augmenting path theorem 590
Authentication 720
Automatic graph drawing 528
Automorphism group (of a graph) 577
Average-case analysis 304 844 856
Average-case complexity 433
AVL-tree 309
B-tree 309
Baby-step-giant-step algorithm 686
Back referencing 261
Baker — Gill — Solovay oracle 241
Balanced tree 309
Bandwidth 546
Bandwidth (in VLSI theory) 862
Basis (of Boolean functions) 787
Basis (of Boolean functions), binary 787
Basis (of Boolean functions), DeMorgan 787
Basis (of Boolean functions), monotone 787
Baur — Strassen inequality 644
Bayes’ rule 216
BB[a]-tree 309
Bellman’s equations 558
Berlekamp’s 636
Bezout’s Theorem 641
BFS see breadth-first search
BFS tree 539
BH 94
Biaugmentation 610
Biaugmentation, Hu 611
Biaugmentation, Itai 611
Bibliographic search 278
Biconnected component 529 553
Biconnectivity 882 885 924
Bilinear complexity 650
Bilinear map 650
Bilinear map, format of 656
Bimodal polynomials method 694
Binary basis (of Boolean functions) 787
Binary formula 787
Binary quadratic form 681
Binary search tree 470 481 514 520
Binary tree 436 473
Binary-balanced tree 309
Bipath, augmenting 610
Bisection, of a point set 378
Bitonic sort 890—892
Blank symbol 7
Block 529
Block-sensitivity 896
Blum axioms 165 180
Blum complexity measure 180
Boolean circuit 760 (see also circuit)
Boolean circuit, depth of 75
Boolean circuit, family 75—76
Boolean circuit, fan-in 76
Boolean circuit, fan-out 76
Boolean circuit, nonuniform 75
Boolean circuit, oracle-augmented 136
Boolean circuit, representation of graphs by 104
Boolean circuit, size of 75
Boolean circuit, unbounded fan-in 140—141
Boolean circuit, uniform 75 130 138—140
Boolean circuit, width of 75
Boolean direct product 786
Boolean formula 143 401 760 786
Boolean function (see also basis of)
Boolean function, monotone 780
|
|
|
Реклама |
|
|
|