使用for循环，用穷举法解鸡兔同笼问题。 输入头和腿的数目，输出相应的鸡和兔子的数目. 穷举法是指列出所有可能答案，逐一验证是否可行。 例如输入头有10个，腿有28，应输出 鸡6，兔4.

在解决鸡兔同笼问题时，我们可以使用一个简单的for循环结合穷举法来找出所有的可能组合。这个问题是一个经典的数学应用题，假设我们有两个未知数，分别是鸡的数量x和兔子的数量y。已知每只鸡有1个头和2条腿，每只兔子有1个头和4条腿。

以下是Python代码示例：

def solve_chicken_rabbit(total_heads, total_legs):
    for i in range(total_heads + 1):  # 鸡头的最大值不会超过总头数
        for j in range(total_legs // 2 + 1):  # 兔脚的最大值是总腿数的一半加上剩余的腿数（因为每个头都有两条腿）
            if i * 2 + j * 4 == total_legs and i + j == total_heads:  # 验证头和腿的总数
                chicken = i
                rabbit = j
                return f"鸡有{chicken}只，兔子有{rabbit}只"
    return "无解"

# 测试例子
total_heads = 10
total_legs = 28
result = solve_chicken_rabbit(total_heads, total_legs)
print(result)

在这个代码中，我们遍历了从0到总头数的所有可能的鸡的数量，并计算出对应的兔子数量，如果满足头和腿的条件，则找到了解决方案并返回。如果没有找到符合条件的组合，那么函数会返回“无解”。