更快的布尔矩阵乘法

这是小蝴蝶研读的第二篇论文，时间复杂度的话，原论文写的是 \(\frac{n^3}{2^{\Omega(\sqrt[7]{\log n})}}\)，我感觉这个界可以精确分析出来，不过我还没看懂论文，先占个坑。