Computational Problem Definition