Yo para mi es un poco diferente.
puede ser :
k-3, k-2, k-1 por que llegaron los paquetes entonces espera el k pero no llegaron los acks.
k-2,k-1,k por que llegaron el k-2 y el k-1 al receptor, el k no llego y los ack del k-2 y k-1 aun no llegaron.
k-1, k , k+1 por que llego el paquete k-1 pero no el k al receptor.
k, k+1, k+2 por que no llego ningún paquete al receptor.
En cuanto a la parte b.
Como dice Alejandro si el numero esperado es k entonces significa que le llego el paquete k-1 pero yo lo pense en cuanto a los casos de la parte anterior. No estoy seguro si esta bien pero hice algo como esto:
Como el numero de secuencia que espera el receptor es k entonces no puede enviar ningún ack mayor. Entonces los posibles acks son los subconjuntos de {k-3, k-2, k-1}:
k-3, k-2, k-1 por que fueron llegando y enviando acks
k-2, k-1 por que el k-3 ya llego entonces solo queda propagándose esos
k3, k-1 por que llego el k-2 y los otros siguen propagándose
k-3 por que llegaron el k-2 y k-1 y el k-3 sigue propagándose
k-2 por que llegaron el k-3 y el k-1 y el k-2 sigue propagándose
k-1 por que llegaron el k-3 y k-2 y el k-1 sigue propagándose
(otro caso es que llegue el paquete k+1 o k+2 entonces como lo descarta no hay ack.)
Saludos.