有一条虫子,它的整个身体由 n 节构成,每一节要么是有瑕疵的 1 ,要么是没有瑕疵的 0 ,因而整个虫子的身体结构就可以用一个 n 位 01 串来表示。你的目标是把整个虫子变成 000...00 的完美形式。每一次,你可以砍掉虫子最右侧的一节,同时虫子会在最左侧长出新的一节,以保持虫子的总长度不变。如果你砍掉的是一个 1 ,那么你可以指定虫子在最左侧长出的是 1 还是 0 ;但如果你砍掉的是一个 0 ,那么你无法控制虫子会在最左侧长出什么——它可能会长出 0 ,也可能会长出 1 ,因而你不得不假定,概率总是会和你做对,上天会竭尽全力地阻挠你。我们的问题是:不管虫子的初始状态是什么,你总能保证在有限步之内让虫子变成 000...00 吗?
实验室中有39个装小白鼠的笼子,每个笼子装有5~8只不等的小白鼠。
若尽可能从每个装有8只鼠的笼子中将1只小白鼠移动至1个装6只鼠的笼子中,则此时装有5只鼠的笼子比装有8只鼠的笼子多6个;
若再尽可能从每个装有7只鼠的笼子中将1只小白鼠移动至1个装5只鼠的笼子中,则此时装有7只鼠的笼子有12个;
若再尽可能从每个装有6只鼠的笼子中将1只小白鼠移动至1个装7只鼠的笼子中,则此时装有8只鼠的笼子有17个。
请问,一共有多少只小白鼠?
(注意:这里的“尽可能移动”指进行移动直到不存在符合条件的笼子为止,比如从每个8鼠笼中将1只小白鼠移动至1个6鼠笼中,若有10个8鼠笼和20个6鼠笼,则10对笼子会参与移动,直到不存在8鼠笼为止)