En informatique théorique, un problème est un objet mathématique qui représente une question ou un ensemble de questions auxquelles un ordinateur devrait être en mesure de répondre. Le plus souvent ces problèmes sont de la forme : étant donné une un objet (l'instance), effectuer une certaine action ou répondre à telle question.