The Zoo is a wiki that tracks relationships proven to be true among various complexity classes.<p>The author said computer scientists are among the target audience. Does anyone know if these mathematical models&#x2F;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 ?