El $24$ juego es el siguiente. Se sortean cuatro números; el objetivo del jugador es hacer $24$ a partir de los cuatro números utilizando las cuatro operaciones aritméticas básicas (en cualquier orden) y los paréntesis como uno quiera.
Consideremos la siguiente generalización. Dado $n+1$ números, determinar si el último se puede obtener a partir del primero $n$ utilizando operaciones aritméticas elementales como las anteriores. Este problema admite certificados sucintos por lo que está en NP.
¿Es NP-completo?