自己写出来的证明过程，震撼中露出一丝兴奋。
“啥？啥解出来了？”老刘还没反应过来。
老陆已经迫不及待地抢过萧然桌上的论证过程草稿，从头到尾仔细看了起来。
萧然的字迹很潦草，老陆看的有些吃力，但依旧能从各种公式，行列式中看出萧然的思路。
首先，萧然是将原矩阵的最小奇异值的问题划归为矩阵中的一行与单位向量的内积的绝对值的下界。
紧接着讨论了当矩阵中的一行中的元素是伯努利随机变量时，与单位向量的内积的绝对值的下界取决于该单位向量中是否存在一种在加性数论领域定义的算术结构，在这里用上了逆Littlewood-Offord理论，分别控制有结构的向量和无结构的向量，得到一个m×m的矩阵的最小奇异值，该矩阵失去了任何元素之间的独立性。
接着在第二步中，用矩阵反集中不等式来填充逆Littlewood-Offord理论最后论证出向量结构性就对应于全局小球概率界。
至此，萧然的论证过程已经完成。
这个证明的难度和创造性可以分解为三点：一是在分解单位球时需要定义正确的结构性，二是需要利用矩阵反集中不等式估计VC-维数并绕过熵方法直接使用ε-网定理。
三是建立部分行列式的增量的非负条件以利用Markov不等式。
这三点分别对应了把时间复杂度从O(n^2.34)降到O(n^2.32)再降到O(n^2.28)再简化原算法的步骤。
看完萧然整个论证过程，老陆久久不曾言语，良久才感慨一声：“后生可畏啊！”
至于老刘，此刻已经彻底看傻了！
内心只有一个念头，老陆这混蛋到底是从哪里挖出来的小怪物？
请收藏：https://m.it4be.com
（温馨提示：请关闭畅读或阅读模式，否则内容无法正常显示）