Jul, 2023

高效可验证的强唯一可解拼图与矩阵乘法

TL;DR研究了一种解决快速矩阵乘法计算的算法,介绍了高效验证的可简化的独特可解谜题,指出可以通过可简化的 SUSPs 实现和无限个 SUSPs 同样强的矩阵乘法上限,利用电脑搜索构建了比现有更大的 SUSPs 用于提高矩阵乘法上限。