有一堵十尺厚的墙，两只老鼠从两边问中间打洞。大老鼠第一天打一尺，小老鼠也是一尺。大老鼠每天的打洞进度是前一天的一倍，小老鼠每天的进度是前一天的一半。问它们几天可以相逢，相逢时各打了多少。怎么用Python写

这是一个经典的递归和动态规划的问题。我们可以通过编写一个简单的函数来模拟这个过程。首先，我们需要定义两个变量，分别表示大老鼠和小老鼠的当前进度。当它们进度之和等于墙壁厚度时，它们就会相遇。

def find_meeting_day(thickness, rat1=0, rat2=0):
    if rat1 + rat2 >= thickness:
        return (rat1 // 2, rat2)  # 返回相遇日和各自的打洞长度
    elif rat1 < thickness and rat2 < thickness:  # 如果未相遇且进度都不满
        return find_meeting_day(thickness, rat1 * 2, rat2 // 2)
    else:  # 其他情况视为未相遇
        return find_meeting_day(thickness)

# 墙壁厚度
thickness = 10

# 计算相遇天数和各自打洞长度
meeting_day, rat1_length, rat2_length = find_meeting_day(thickness)
print(f"大老鼠打了 {rat1_length} 尺，小老鼠打了 {rat2_length} 尺，相遇需要 {meeting_day} 天。")