Un problema matemático consiste en buscar una determinada entidad matemática de entre un conjunto de entidades del mismo tipo que además satisfaga las llamadas condiciones del problema. Formalmente todo problema puede reducirse a una terna donde es un conjunto de objetos, es una condición (o condiciones) tal que dado puede o no ser satisfecho (para ello la condición debe ser una fórmula lógica bien formada y cerrada). La resolución del problema es un procedimiento que determina cual es el único que satisface .