布尔逻辑问题--两种不同的方法

Question

我想出了两种不同的解决问题的方法，虽然这两种方法看起来都合乎逻辑，但只有一种有效。基本上，如果所有未被淘汰的剩余候选人获得相同的最小票数，该函数将返回true，否则返回false。这两种方法如下：

1

bool is_tie(int min)
{
    for (int i = 0; i < candidate_count; i++)
    {
        if (!candidates[i].eliminated)
        {
            if (candidates[i].votes != min)
                return false;
        }
    }
    return true;   
}

2

bool is_tie(int min)
{
    for (int i = 0; i < candidate_count; i++)
    {
        if (!candidates[i].eliminated)
        {
            if (candidates[i].votes == min)
                return true;
        }
    }
    return false;   
}

我看不出上面两个代码函数之间有什么逻辑上的区别。那么为什么2号是错的呢？

Answer 1

如果任何一个候选人投了除最小值之外的任何票数，则标记为1的代码将返回false。

如果任何一个候选人投了最小值，则标记为2的代码将返回true。

因此，考虑有两个候选人的情况，一个人投了最低票，另一个人没有投，你标记为1的代码返回false，因为一个候选人投了最低票而不是最低票。标记为2的代码返回true，因为有一个候选人投了最低票。