如果“是”即输出S的话,那么判断应为K＞50,或者K＞=51；
如果“否”输出S,那么相反,K＜51,或者K＜=50,因为此时K=51
执行可知,K=1,S=2=2*1;
K=2,S=6=2*(1+2);
K=3,S=12=2*(1+2+3);
以此类推,当K=n时,S=2*(1+2+3+……+n)=n*(n+1)
即n*(n+1)=2550,可知此时n=50,50*51=2550;
又,系统存在k+1,所以此时K=51,执行循环,进行判断,此时的判断是基于K=51的.