600 Index
trial, 498 Universal Algorithm, 320 odd, 334dependent, (^516) universal quantification, 135 terminal, 371
triangle, 341 universal set, 7, 21 vertical line test for a function, 225
trivial relation, 161 universal Turing machine, 320 vertical line test for a partial function,
trivial solution, 563 universe, 7 231
true in formula, 104 unsatisfiable, 106 void relation, 161
truth table, 91 upper bound, 217
TSP, 421 WAITFOR graph, 396
tuple, 203 vacuously true, 6 Weak Law of Large Numbers, 538
value of die, 477 weighted graph, 376
unary relation, 163 values, 203 cost of edge, 376
uncountable, 266, 270 Van Dermonde's Identity, (^472) cost of graph, 376
undecidable, 318 variance, 531 well-formed formulas, 92
underlying graph, 393 Venn diagram, 7 wffs, 92
uniform probability density, verifier algorithm, 310 while, 57
482 vertex, 334, 393 words, 587
union, 15 even, 334 worst case, 484
associative, (^16) interior, 371 worst-case behavior, 308
commutative, 16 isolated, 334
union-find leaf, 371 zero polynomial, 291
revisited, 188 neighbors, 334 ZF set theory, 273