Sí.
El conjunto de soluciones factibles a problemas de programación entera es finito y contable. Cuando las restricciones del problema son muy estrictas y sólo permiten un número limitado de soluciones enteras, el conjunto de soluciones factibles es contable.
En otros casos, el conjunto de soluciones factibles a un problema de programación entera es infinito y contable. Cuando las restricciones del problema son lo suficientemente flexibles como para permitir un número infinito de soluciones enteras, el conjunto de soluciones factibles es infinito y contable.