Condiciones de optimalidad y descripción completa de politopos en optimización combinatoria