泊松的分酒趣题。法国著名数学家泊松的数学问题：某人有12品脱的啤酒一瓶，想从中倒出6品脱，但他没有6品脱的容器，只有一个8品脱和一个5品脱的容易，怎么样才能将啤酒分为两个6品脱呢？请编程求解

可以使用深度优先搜索（DFS）来解决这个问题。

首先，定义状态为一个二元组 (x,y)，表示当前8和5品脱的容器中的啤酒量分别为 x 和 y。

然后，从初始状态 (12,0) 开始，进行 DFS 搜索。对于每个状态，我们有三种操作：倒满8品脱的容器、倒满5品脱的容器、将8品脱的容器倒入5品脱的容器或将5品脱的容器倒入8品脱的容器。对于每次操作，需要判断是否已经达到目标状态 (6,6)，如果达到了，就返回结果。如果搜索过程中出现了重复的状态，则需要剪枝，防止无限循环。

以下是 Python 代码实现：

def dfs(state, visited):
if state == (6, 6):
return True
visited.add(state)

x, y = state
if x < 8 and (8, y) not in visited:
if dfs((8, y), visited):
return True
if y < 5 and (x, 5) not in visited:
if dfs((x, 5), visited):
return True
if x > 0 and y < 5 and (0, x+y) not in visited:
if dfs((0, x+y), visited):
return True
if y > 0 and x < 8 and (x+y, 0) not in visited:
if dfs((x+y, 0), visited):
return True

return False

visited = set()
result = dfs((12, 0), visited)
if result:
print("可以分成两个6品脱")
else:
print("无法分成两个6品脱")