🥰32
Forwarded from 萌图交流～色图也收，不要太过。 (jialeleya)
现在还有人用 Windows XP 系统吗？王洪雷 的回答 - 知乎
2024 年，上海地铁的闸机应该还在用着 Windows XP 或者同期的 POSReady 2009。
编辑于 2024-12-01 15:48・IP 属地上海
2024 年，上海地铁的闸机应该还在用着 Windows XP 或者同期的 POSReady 2009。
编辑于 2024-12-01 15:48・IP 属地上海
🥰8🤯3
数学家백진언（Jineon Baek）宣称解决了移动沙发问题 - 知乎
11 月 29 日，arXiv 贴出了一篇长达 119 页的论文（图一），声称解决了困扰数学界近 60 年的移动沙发问题。论文作者是来自延世大学的백진언（Jineon Baek，图二）
移动沙发问题指的是 1966 年 Leo Moser 正式提出的一个平面优化问题：在宽度为 1 的直角平面走廊中，能够刚性（即不变形）地通过的沙发面积最大值是多少？
此前数学家们发现的面积最大解是 1992 年 Gerver 构造的由 18 条光滑曲线围成的沙发，它的面积约为 2.2195：（图三、图四）
此后数学家没有找到更优的解，也没能从数学上严格证明 Gerver 沙发就是最优解。而백진언在论文中证明了 Gerver 沙发就是面积最大的最优解。
11 月 29 日，arXiv 贴出了一篇长达 119 页的论文（图一），声称解决了困扰数学界近 60 年的移动沙发问题。论文作者是来自延世大学的백진언（Jineon Baek，图二）
移动沙发问题指的是 1966 年 Leo Moser 正式提出的一个平面优化问题：在宽度为 1 的直角平面走廊中，能够刚性（即不变形）地通过的沙发面积最大值是多少？
此前数学家们发现的面积最大解是 1992 年 Gerver 构造的由 18 条光滑曲线围成的沙发，它的面积约为 2.2195：（图三、图四）
此后数学家没有找到更优的解，也没能从数学上严格证明 Gerver 沙发就是最优解。而백진언在论文中证明了 Gerver 沙发就是面积最大的最优解。
👍12🆒10🥰2❤1