（4）编写正确的程序

一、简介

    编程技巧斤斤是编写正确程序的很小一部分，大部分内容还是前三节的主题：问题定义、算法设计及数据结构的选择。

    一个正确运行的程序，其需要断言、顺序控制结构、选择控制结构及迭代控制结构。并且需要使用测试用例来保证程序的正确性。

二、习题

    1、给定一个盛有黑豆子和白豆子的咖啡罐以及一大堆额外的黑豆子，重复一下过程，直到仅剩下一个豆子为止。

    从罐子中随机取两个豆子，如果颜色相同，则将他们扔掉并放入一个额外的黑豆子；如果颜色不同，则将白色豆子放回罐子，而将黑色豆子扔掉。

    需证明该过程会终止，最后罐子黄总的豆子颜色与最初罐子中白豆子和黑豆子的数量有何函数关系？

    解答：由于每一步都使得罐子中豆子减少1粒，故该过程能终止。我们每一步都从咖啡罐中拿掉0个或2个白豆子，所以白豆子的个数的奇偶性保持不变。因此，当且仅当罐子中最初的白豆子个数为奇数时，最后留下的豆子才可能是白色的。其他情况下最后的豆子都是黑色。