首先可以看下别的大佬给出的答案。下边是原文链接。
https://blog.csdn.net/gdc6916/article/details/93654939
我并不想讨论这个是不是以结论证明结论,但确实方便记忆。
下边看严谨的证明,书上的,我只是帮忙讲解一下。
首先注意的是Wt和Wr,分别代表发送窗口和接收窗口的值。
题干中已经说明Wr值为1。
下边看①②③,图中的①②③(窗口区间,也就是整一小段)代表了发送窗口的所在位置,根据图片可以看出,三个窗口的长度都是6,符合≤2³-1
①的情况最简单,接收窗口在发送窗口中间,只要Wt内无重复序号即可,Wt≤2³即可。
②,它的位置已经是最右了,如果再靠右一位,则发送窗口内不包含7号分组,这是矛盾的,因为接收窗口为7号分组,表明接收方还未接收7号分组。此时的发送窗口由于包括了7号分组,它的取值也是Wt≤2³。