阿里2014年9月笔试中的一个算法设计题--擦黑板剩余数字

5、在黑板上写下50个数字：1至50.在接下来的49轮操作中，每次做如下动作：选取两个黑板上的数字a和b，擦去，在黑板上写|b - a|。请问最后一次动作之后剩下数字可能是什么？为什么？

题目参见：擦黑板剩余数字

当时写这道题目的时候并没有明显的思路，后来感觉应该用归纳法进行分析，但还没有理出来一个思路，程序写出来测试了下，3000次测试结果，剩下的都是奇数。

即，可能生下从1-50范围内的任意奇数

代码如下：

            HashSet<int> hsr = new HashSet<int>();
            int[] result;
            int flag = 3000;
            int count = flag;
            string inStr;
            int inNum;
            Console.WriteLine("请输入试验次数：");
            inStr=Console.ReadLine();
            if (int.TryParse(inStr,out inNum))
            {
                flag= flag > inNum ? flag : inNum;
                count = flag;
                while (flag > 0)
                {
                    ArrayList hs = new ArrayList();
                    for (int i = 1; i <= 50; i++)
                    {
                        hs.Add(i);
                    }
                    int hsCount;
                    Random rand = new Random();
                    for (int j = 0; j < 49; j++)
                    {
                        int r1, r2, delta;
                        int e1, e2;

                        hsCount = hs.Count;
                        r1 = rand.Next(0, hsCount);
                        e1 = (int)hs[r1];
                        hs.RemoveAt(r1);
                        hsCount = hs.Count;
                        r2 = rand.Next(0, hsCount);
                        e2 = (int)hs[r2];
                        hs.RemoveAt(r2);
                        delta = Math.Abs(e2 - e1);
                        hs.Add(delta);
                    }
                    if (hs.Count > 0)
                    {
                        Console.Write("第{0:d3}次试验:", flag);
                        foreach (int e in hs)
                        {
                            Console.Write("{0:d2}", e);
                            if (!hsr.Contains(e))
                            {
                                hsr.Add(e);
                            }
                        }
                    }
                    flag -= 1;
                    Thread.Sleep(10);
                    Console.WriteLine();
                }
                result = (int[])hsr.ToArray();
                Array.Sort(result);
                Console.WriteLine("{0:d4}次试验结果：", count);
                for (int k = 0; k < result.Length; k++)
                {
                    if (!k.Equals(result.Length - 1))
                    {
                        Console.Write("{0:d2},", result[k]);
                    }
                    else
                    {
                        Console.Write("{0:d2}", result[k]);
                    }
                }
            }
            else
            {
                Console.WriteLine("请输入正确的整数!");
                Environment.Exit(0);
            }    

该为结果找个有说服力的理论~~~

update(@2013-11-1)偶尔看到恩格尔的《解决问题的策略》(参考链接)，刚翻几页就看到这个题目了，解释很简单，使用的是“不变量原理“。更一般的表述如下：

正整数n是奇数，在黑板上写下来1-2n，然后任意取两个数a，b，擦去这两个数并写上|a-b|，证明：最后留下的是一个奇数。

解：设S为黑板上所有数字的和，开始时S=n(2n+1)，是个奇数，每一步使S减少2min(a,b)，它是个偶数，所以S的奇偶性是个不变量，在整个简化过程中总有S≡1(mod 2)，所以最后结果是个奇数。