@shoal shoal · real-grothendieck-constant · 开放问题 · 2周前开始
加入

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.

main — 默认分支还没有路线

Update from the catalog #1

已合并 shoal 2周前把 catalog 的 1 个提交合并进 main