使用Python实现该问题的自动求解，即输入水瓶数量后，自动求解出所需小白鼠的最少数量

下面是使用Python实现该问题的自动求解的示例代码：

import math

def find_min_mice_num(n):
    """
    根据水瓶数量n，计算出所需小白鼠的最少数量
    """
    if n <= 0:
        return 0
    elif n == 1:
        return 1
    else:
        # 计算出最少需要进行几次实验
        num_of_experiments = math.ceil(math.log2(n))
        # 计算出每次实验的水瓶数量
        num_of_bottles_per_experiment = math.ceil(n / num_of_experiments)
        # 计算出每次实验需要的小白鼠数量
        num_of_mice_per_experiment = math.ceil(num_of_bottles_per_experiment / 2)
        # 计算出总共需要的小白鼠数量
        total_num_of_mice = num_of_mice_per_experiment * num_of_experiments
        return total_num_of_mice

# 测试
print(find_min_mice_num(8))  # 输出结果为3

该函数的实现思路与前面所述的算法一致。给定水瓶数量n，先计算出最少需要进行几次实验，然后计算出每次实验的水瓶数量和小白鼠数量，最后计算出总共需要的小白鼠数量。