More on Models

Some examples of models that have emerged:

Big-Oh notation
Polynomial versus Exponential distinction
PAC learning model
How to treat randomness
FPRAS (formalizing efficient approximation)
Program Checking and PCP
Zero knowledge
Competitive Analysis for on-line problems

[back] [next] [home]