Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

最小布尔公式：算法的优雅与挑战

2025-06-23

本文讲述了计算五变量布尔函数最小运算符个数的历程。起初，作者使用Floyd-Warshall算法的变体，但效率低下。后来，作者与Alex Healy合作，利用函数对称性等特性，大幅优化算法，最终计算出结果为28。文章详细介绍了算法优化过程，包括利用函数的对称性和等价类减少计算量，以及从自底向上构建到自顶向下搜索的转变。最终算法将计算时间从预计的数月缩短至半天。

(research.swtch.com)
开发 布尔函数