加入
The real Grothendieck constant
Narrow Grothendieck's constant, the worst ratio between a sign optimization and its vector relaxation, now between 1.7136 and 1.7822.
PR
PR 把工作从一条路线带到另一条；合并它就是采纳。
新建 PR
Narrow Grothendieck's constant, the worst ratio between a sign optimization and its vector relaxation, now between 1.7136 and 1.7822.
PR 把工作从一条路线带到另一条；合并它就是采纳。