现有如下一个算法：
repeat ni times
yi := y
y := yi+1
end repeat
令n[1]为你需要算加法的第一个数字，n[2]为第二个，...n[N]为第N个数字（N为需要算加法的数字个数），
并令y初始值为0，先令i=1运行这个算法（如上所示，重复n[i]次），然后令i=2运行这个算法。。直到i=N。注意y值一直不要清零。最后y的值就是你需要的加法答案。
你想知道，有没有某种运算顺序能使答案等于W。
一个循环中的全部语句，是不能改变在总的语句排列中的相对顺序的。
（这里的第i个循环是指这n[i]*2条语句。就是你把属于第i个循环的语句抽出来看，它们需要按照原顺序排列。在你没有运行完这个循环的最靠前一条未完成的 语句的时候，你是不能跳过它先去完成这个循环后面的语句的。你能做的仅是把若干个循环按照你所规定的顺序“归并”起来。）
举个例子，n[1]= 2 ,n[2]=1, W=1.一种可行的运算顺序是“2 1 1 1 1 2”，数字为几表示运行第几个算法的下一条语句（你可以看到”1”出现了4次，是因为n[1]=2即循环两次，而每次循环里面有两条语句，所以2*2=4次）
| y值 | y[1] 值 | y[2] 值 | |
| 执行0条语句过后 | 0 | 0 | 0 |
| 执行1条过后(y[2]=y) | 0 | 0 | 0 |
| 执行2条过后(y[1]=y) | 0 | 0 | 0 |
| 执行3条过后(y=y[1]+1) | 1 | 0 | 0 |
| 执行4条过后(y[1]=y) | 1 | 1 | 0 |
| 执行5条过后(y=y[1]+1) | 2 | 1 | 0 |
| 执行6条过后(y=y[2]+1) | 1 | 1 | 0 |
可以看到，最后y值变成了1，也就完成了我们的任务。