关于十四变量的Rivest-Vuillemin猜想

布尔函数 $f(x_1,...,x_n)$ 如果是其变量上一个传递置换群下的不变量，则是\textit{弱对称}的。布尔函数 $f(x_1,...,x_n)$ 如果我们在最坏情况下必须检查所有 $x_1$,..., $x_n$ 才能确定 $f(x_1,...,x_n)$ 的输出，则是\textit{难解}的。有人猜想每个非平凡单调弱对称布尔函数都是难解的，该猜想长期未解。在本文中，我们报告该猜想对于 $n=14$ 成立。