趣味算法之泊松分酒

有一个12品脱(pint)的酒瓶，里面装满葡萄酒，另有8品脱和5品脱的瓶子各一个。问如何从中分出6品脱的酒出来？

传说泊松年轻时成功解决了该问题，勾起了他对数学的兴趣而投身数学研究，因此该问题被称为泊松分酒问题。另外这个问题又被称为分油问题啦，分水问题啦等等。

小学的时候在一本《十万个问什么——数学卷》中看到过这个问题，那本书直接给出了一个解答过程，又没说原理，看得我糊里糊涂。

一 .  解答过程 

为了方便说明，将容量为12品脱，8品脱，5品脱瓶子分别称为大瓶子，中瓶子，小瓶子。按照下面2种规则中的如何一种可以解决这个问题：

第一套规则：

1. 大瓶子只能倒入中瓶子

2. 中瓶子只能倒入小瓶子

3. 小瓶子只能倒入大瓶子

4. 小瓶子只有在已经装满的情况下才能倒入大瓶子

5. 若小瓶子被倒空，则无论中瓶子是否满，应马上从中瓶子倒入小瓶子

之所以要规定倒酒的顺序是为了防止状态重复。而根据这5条规则，大瓶子每次倒入中瓶子的酒总是8品脱，小瓶子每次倒入大瓶子的酒总是5品脱。（请结合下面的表来理解这句话，理解这点很重要）

有了上面的规定后，倒酒的顺序就确定下来了：

12品脱瓶子	8品脱瓶子	5品脱瓶子
12	0	0	初始状态
4	8（倒进）	0
4	3	5（倒出）