遇见数据集

packing-records: candidate improvements to four packing record tables

收藏
Zenodo2026-11-03 更新2026-11-05 收录
官方服务:

资源简介:

1,066 explicit configurations that improve entries in four public record tables for packing problems: 747 in Henry Cohn's table of Grassmannian packings, 52 on the Game of Sloanes leaderboard of complex line packings, and 108 (equal 4-D spheres in a 4-D sphere) and 159 (equal spheres in a cube) in Eckard Specht's Packomania tables. Each Grassmannian file beats the table's printed value in its last digit (value at least table + 1e-10, the table rounding down to 10 decimals) and stays below any listed bound. Every other file beats its table entry by at least 1e-7 in the table's own measure, and the Packomania results also beat a local LP polish of the posted configuration by at least 1e-7. Version 1.1.0 adds 16 Grassmannian cells, checked against the table as read on 2026-11-03; the 731 Grassmannian cells of version 1.0.0 are listed in the table as reference [24]. The other tables were read on 2026-10-31 and 2026-11-01. The archive contains the coordinate files in each table's own format, cells.csv (values, margins, polish floors, sha256, and the author of any posted configuration a search started from), fact extracts of the four tables, and a Python standard-library checker that recomputes every value with exact rational arithmetic (sh check/check_all.sh). Found by Benjamin Meadows with Claude AI, using numerical optimization (smoothed-maximum descent, Riesz-energy relaxation, basin hopping, large-neighborhood search and sequential LP polish) run on cloud machines. Snapshot of https://github.com/TheBenMeadows/packing-records at commit 2c7353b (branch v1.1).

提供机构:
Zenodo
创建时间:
2026-11-03
二维码
社区交流群
二维码
科研交流群
商业服务