The Zoo is a wiki that tracks relationships proven to be true among various complexity classes. The author said computer scientists are among the target audien

The Zoo is a wiki that tracks relationships proven to be true among various complexity classes. The author said computer scientists are among the target audience. Does anyone know if these mathematical models/objects are useful to implement in a program (other than one about complexity classes) or if they are solely useful when doing big-O analysis of your data and programs ?