一位面试官最近问了我这样一个问题:给定三个布尔变量a、b和c，如果三个变量中至少有两个为真，则返回true。
我的解决方案如下:
boolean atLeastTwo(boolean a, boolean b, boolean c) {
if ((a && b) || (b && c) || (a && c)) {
return true;
}
else{
return false;
}
}
他说这还可以进一步改进，但如何改进呢?
当前回答
这真的取决于你对“改进”的定义:
清晰吗?
boolean twoOrMoreAreTrue(boolean a, boolean b, boolean c)
{
return (a && b) || (a && c) || (b && c);
}
反之亦然？
boolean moreThanTwo(boolean a, boolean b, boolean c)
{
return a == b ? a : c;
}
更一般的?
boolean moreThanXTrue(int x, boolean[] bs)
{
int count = 0;
for(boolean b : bs)
{
count += b ? 1 : 0;
if(count > x) return true;
}
return false;
}
更多的可伸缩的吗?
boolean moreThanXTrue(int x, boolean[] bs)
{
int count = 0;
for(int i < 0; i < bs.length; i++)
{
count += bs[i] ? 1 : 0;
if(count > x) return true;
int needed = x - count;
int remaining = bs.length - i;
if(needed >= remaining) return false;
}
return false;
}
更快呢?
// Only profiling can answer this.
哪一种是“改进”的，很大程度上取决于具体情况。
其他回答
这类问题可以用卡诺图来解决:
| C | !C
------|---|----
A B | 1 | 1
A !B | 1 | 0
!A !B | 0 | 0
!A B | 1 | 0
由此推断，第一行需要一组，第一列需要两组，得到聚基因润滑剂的最优解:
(C && (A || B)) || (A && B) <---- first row
^
|
first column without third case
public static boolean atLeast(int atLeastToBeTrue, boolean...bools){
int booleansTrue = 0;
for(boolean tmp : bools){
booleansTrue += tmp ? 1 : 0;
}
return booleansTrue >= atLeastToBeTrue;
}
你可以从varargs a.k.a boolean[]中选择至少有多少你想为真:-)
return (a==b) ? a : c;
解释:
如果a==b，则两者都为真或都为假。如果两者都为真，我们已经找到了两个真布尔值，并可以返回真(通过返回a)。如果两者都为假，即使c为真，也不可能有两个真布尔值，因此我们返回假(通过返回a)。这是(a==b) ?一个部分。c呢?如果a==b为假，那么a或b中只有一个为真，所以我们找到了第一个真布尔值，剩下的唯一问题是c是否也为真，所以我们返回c作为答案。
如果我把布尔值转换成一个数字，如果这个数字不是2的幂，它至少有两个真值。
a*4 + b*2 + c*1 = N
return( N != 0 && (N&(N-1)) != 0)
我只是给出了另一种选择。
供你参考，这只是一个完整加法器的执行部分。在硬件中，您可以根据不同的布尔表达式使用逻辑工作来确定最佳电路。我猜传统的异或解决方案要比海报上展示的不那么简洁的表达式花费更多的精力。
