十维布尔立方顶点子集的博斯克问题

在 Ziegler（2001）和 Goldstein（2012）的论文中，已证明任何属于布尔立方的子集 $S \subset \{0,1\}^n$（$n \leq 9$）都可划分为 $n+1$ 个较小直径的部分，即博斯克猜想对此类子集成立。在本文中，证明了 $n=10$ 也如此然而，计算验证的复杂度显著增加。为在合理时间内完成计算，开发了若干启发式方法以减少搜索树。SAT 求解器 \textbf{kissat} 用于切断搜索分支。