猴王问题的公式分析。。。。。。。。。
——原话题树较大了，也避免被说成不看“过程模拟”，所以另开一个话题，专门讨论公式

function count(n,m:Integer):Integer; //n：开始时的人数；m：每次数数，第m个就要被剔除
var
s,i:Integer;
begin
s := 0;
//for i:=2 to n do //(1)这样的循环，结果是对的。
for i:=n downto 2 do //(2)这样的循环，结果是错的。
s:=(s+m) mod i;
result := s+1;
end;

(2)这样的循环，结果是错的。
但是，它符合了，数数是从人数多时开始的，
没有考虑有人被剔除后，下标与人的起始编号已经不匹配了

(1)这样的循环，结果是对的。
按理说，数数是从人数多时开始的，它从少开始循环，却是对的！
可能这样反而已经考虑了 下标与人的起始编号已经不匹配 了！
不知道为什么会正好“错错得对”！

另外，不知道还能不能再进一步优化count函数为无须循环？