hola:
en principio me parecen que están contempladas todas las descomposiciones en las cuatro familias planteadas. tener más familias no está mal, siempre que toda posible descomposición esté contemplada en alguna de ellas (posiblemente más de una vez). lo importante es siempre cubrir todo, aunque, claro está, cuantas más familias plantees, más tiempo de prueba vas a tener.
respecto a la constante del PL, no es necesario hacer disquisiciones sobre los valores inferiores de la constante, por la forma que tiene el teorema (existe un largo de tira a partir del cual...). se considera correcto asumir que no toma esos valores y parte de, en tu caso, digamos algún valor mayor a 3.
saludos,
d.-
en principio me parecen que están contempladas todas las descomposiciones en las cuatro familias planteadas. tener más familias no está mal, siempre que toda posible descomposición esté contemplada en alguna de ellas (posiblemente más de una vez). lo importante es siempre cubrir todo, aunque, claro está, cuantas más familias plantees, más tiempo de prueba vas a tener.
respecto a la constante del PL, no es necesario hacer disquisiciones sobre los valores inferiores de la constante, por la forma que tiene el teorema (existe un largo de tira a partir del cual...). se considera correcto asumir que no toma esos valores y parte de, en tu caso, digamos algún valor mayor a 3.
saludos,
d.-