"Computational Complexity classifies computational problems according to difficulty. Although a rich map of time complexity classes has already been developed (P, EXP, EEXP, ...; NP, Delta2P, Sigma2P, Pi2P, ..., PH, AP; ZPP, RP, BPP, PP; IP; BQP; etc.), many fundamental questions about them remain wide open. The most famous one is P vs NP. In 1978, Sakoda and Sipser proposed a ""miniature version" ...