| 
		        
			        |  |  
			        |  |  
					| Авторизация |  
					|  |  
			        |  |  
			        | Поиск по указателям |  
			        | 
 |  
			        |  |  
			        |  |  
			        |  |  
                    |  |  
			        |  |  
			        |  |  |  | 
		|  |  
                    | 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 
 ![$FP^{NP[log n]}$](/math_tex/f176b6b334750ff2dcd4686df108175582.gif) 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 
 ![$P^{NP[log n]$](/math_tex/59ada9638fd41b9f657f3e63d09f4de982.gif) 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, Koml
  s and Szemer  di 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 — Sch
  nhage      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
 
 | 
 |  |  |  | Реклама |  |  |  |  |  |