David Gries的咖啡罐问题
2013年10月22日
最初,你会得到一个咖啡罐,里面有一些黑豆、一些白豆和一大堆“多余”的黑豆。 然后重复以下过程,直到罐子里只剩下一个bean。
从罐中随机选择两个豆子。 如果它们是相同的颜色,就把它们都扔掉,再多插一颗黑豆。 如果它们是不同的颜色,把白豆放回罐子里,把黑豆扔掉。
证明进程终止。 你能说最后剩下的豆子的颜色是最初在罐子里的黑豆和白豆数量的函数吗?
最初,你会得到一个咖啡罐,里面有一些黑豆、一些白豆和一大堆“多余”的黑豆。 然后重复以下过程,直到罐子里只剩下一个bean。
从罐中随机选择两个豆子。 如果它们是相同的颜色,就把它们都扔掉,再多插一颗黑豆。 如果它们是不同的颜色,把白豆放回罐子里,把黑豆扔掉。
证明进程终止。 你能说最后剩下的豆子的颜色是最初在罐子里的黑豆和白豆数量的函数吗?