Computational complexity interactive proof (1) deterministic interactive proof