https://mp.weixin.qq.com/s/gbR5fuDbE_nUFVxw-p4rsA
简单介绍ReduceOthers的实现。
1. 基本介绍
输入一组Bool元素，把其他位置元素逐个相与的结果，作为当前位置的值输出。
2. helper
helper实现ReduceOthers的核心功能：
1) 输入参数
x是输入的一组Bool类型的元素。
2) 返回值
返回一个元组：(Seq[Bool], Bool)
a. Seq[Bool]：每个位置上返回其他位置上元素逐个相与的结果；
b. Bool：全部输入元素相与的结果；
3) x.size <= 1
可以分成两组情况：
a. x.size == 0：返回(true, true)
b. x.size == 1：返回(true, x(0))
4) x.size <= 3
因为元素个数有限，所以直接生成结果逻辑。
a. 返回元组的第二个元素为x里的所有元素相与的结果：x.reduce(_ && _)
b. x.take(i)取x中从0到i(不包含，exclusive)的元素：
c. x.drop(i + 1)取x中从i+1(包含，inclusive)开始的元素；
d. 这样x.take(i) ++ x.drop(i + 1)取x中除去i之外的全部元素；
e. 把这些元素逐个相与：(x.take(i) ++ x.drop(i + 1)).reduce(_ && _)
5) x.size > 3
如果x中元素过多，则需要提升效率。
a. x.grouped(2)把x中的元素每2个分成一个小组，若有多余的1个元素，则自成一组；
b. (i ^ 1) >= x.size表示自成一组的多余的1个元素
c. i/2表示当前元素所在的小组的编号；
d. half(i / 2)表示其他小组中所有元素相与的结果；
e. x(i ^ 1)表示当前小组中的另外一个元素；
f. x(i ^ 1) && half(i / 2)表示其他所有元素的相与结果；
3. def apply(x: Seq[Bool]): Seq[Bool]
使用helper实现ReduceOthers的功能，考虑输入带有常量的情况。
所谓常量就是输入是一个已知恒定的值（字面量，lieral），而不是可变的值（variable）。
a. 把输入分成常量和变量：val (literals, variables) = x.partition(_.isLit)
b. 找出值为假的常量：val falses = literals.count(_.litValue == 0)
c. 如果有两个及以上值为假的常量，则所有输出都为假：
这里有个Bug，应该是大于等于2：
d. 如果只有一个为假的常量
这个值为假的常量所在位置的输出由其他元素相与获得；
其他位置的输出为假；
e. 如果没有为假的常量
常量不加入相与运算，只需要求出所有变量ReduceOthers的输出。
常量元素对应位置的输出为所有变量相与的结果；
变量元素对应位置的输出从helper的输出中逐个取出；
4. def apply(x: Seq[(Bool, Bool)])
输入参数为：Seq[(Bool, Bool)]
其中：
a. 所有元组的第二个Bool集中在一起进行ReduceOthers运算。
b. 元组的第一个Bool，连接到第二个Bool对应位置ReduceOthers的运算结果；
5. 附录
略
