Gravar e-mail: An Overview of the Theory of Instances Computational Complexity