600
Index
trial, 498
Universal Algorithm, 320
odd, 334
dependent, 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