INDEX 685
random variables, 574
random walk, 608, 669
Random Walks, 661
range, 73
rank, 495
rational, 15 , 18
reachability., 126
reachable states, 127
recognizable, 96
recognizes, 96
recurrence, 420
Recursive data types, 159
recursive definitions, 159
reflexive, 242 , 258
regular polyhedron, 378
relation on a set, 74
relatively prime, 211
relaxed, 610
remainder, 187
Replacement axiom, 100
reversal, 174
Riemann Hypothesis, 210
ripple-carry, 57
ripple-carry circuit, 142
Rivest, 209
root mean square, 623
round-robin tournament, 261
routing, 280
routing problem, 280
RSA, 209, 225
RSA public key crypto-system, 183
RSA public key encryption scheme,
214
Russell, 99 , 102
Russell’s Paradox, 98, 101
sample space, 517 , 533
SAT, 49
satisfiable, 43 , 49, 60 , 613
SAT-solvers, 49
Saxena, 185
scheduled at stepk, 254
Schroder-Bernstein, 91, 105 ̈
secret key, 209
self-loop, 301
self-loops, 237
sequence, 70
sequencing, 391
set, 67
covering, 310
set difference, 68 , 78
Shamir, 209
Shapley, 318
simple graph, 300
Simple graphs, 299
simple graphs, 231
smallest counterexample, 27
solid coloring, 336
solves, 280
sound, 12
spanning subgraph, 333
spanning tree, 333
spread, 415
St. Petersberg paradox, 615
St. Petersburg Paradox, 645
stable matching, 313
standard deviation, 623 , 624, 627
start vertex, 235
state graph, 123
state machines, 231
stationary distribution, 671
Stirling’s formula, 608
store, 392
strictly bigger, 94
strictly decreasing, 411
strictly increasing, 410
strict partial order, 245 , 259