Data underlying the publication: The chromatic number of projective spaces

This dataset supports computational results in finite geometry and combinatorics: it provides two executable Jupyter notebooks (<code>.ipynb</code>) that construct and verify a 3-coloring of the projective spaces PG(4,3) and PG(4,4) with no monochromatic line. Data are generated by code in SageMath that enumerates projective points and lines and formulates a feasibility mixed-integer linear program; Gurobi is used as the default ILP solver, with an option to switch to SageMath’s built-in solver. Each notebook contains the complete workflow and outputs: solver logs, existence flag, color-class sizes, and explicit color assignments. The type of data is reproducible computational code and embedded plain-text results; the notebooks can be opened in a text editor and converted to <code>.py</code> for direct execution.

本数据集支撑有限几何与组合数学领域的相关计算研究成果，提供两份可执行的Jupyter笔记本（<code>.ipynb</code>），用于构造并验证射影空间PG(4,3)与PG(4,4)的无单色线3着色方案。数据由SageMath中的代码生成，该代码枚举射影空间中的点与直线，并构建可行性混合整数线性规划（mixed-integer linear program）模型；默认以Gurobi作为整数线性规划（Integer Linear Program，ILP）求解器，亦可切换至SageMath内置求解器。每份笔记本均包含完整的计算流程与输出结果，涵盖求解器日志、存在性验证标记、各着色类的规模以及显式的着色分配方案。本数据集的数据类型为可复现的计算代码与嵌入的纯文本结果；这些笔记本可在文本编辑器中打开，并转换为<code>.py</code>格式文件以直接运行。