[论文解读] Putting Dots in Triangles

Simon R. Blackburn⋆, Maura B. Paterson+1 more|arXiv (Cornell University)|Oct 22, 2009

Mathematics and Applications参考文献 3被引用 7

一句话总结

本文提出了一种新颖的线性规划方法，用于证明在边长为 $ n $ 的直角三角形网格中，最多可放置的点数 $ N(n) $ 满足上界 $ N(n) \leq \left\lfloor \frac{2n+1}{3} \right\rfloor $，且任意行、列或对角线中至多包含一个点。关键贡献在于基于对偶线性规划可行解的简洁对偶性证明，以极低的组合复杂度确认了已知的上界。

ABSTRACT

Given a right-angled triangle of squares in a grid whose horizontal and vertical sides are $n$ squares long, let N(n) denote the maximum number of dots that can be placed into the cells of the triangle such that each row, each column, and each diagonal parallel to the long side of the triangle contains at most one dot. It has been proven that $N(n) = \lfloor \frac{2n+1}{3} floor$. In this note, we give a new proof of this result using linear programming techniques.

研究动机与目标

• 通过线性规划技术，为点在三角形中的问题提供上界 $ N(n) \leq \lfloor (2n+1)/3 \rfloor $ 的新证明。
• 展示线性规划对偶性在解决具有规则结构的组合优化问题中的实用性。
• 通过构造与原始目标值匹配的对偶LP解，验证已知公式 $ N(n) = \lfloor (2n+1)/3 \rfloor $。
• 建立一种框架，使数值实验与对偶性可结合使用，以高效推导并确认组合界。

提出的方法

• 将点在三角形中的问题表述为整数线性规划（ILP），其中二值变量 $ x_{i,j} $ 表示在单元格 $ (i,j) $ 是否放置点。
• 通过允许 $ 0 \leq x_{i,j} \leq 1 $ 将ILP松弛为线性规划（LP），从而得到上界 $ \mathit{LP}(n) \geq N(n) $。
• 针对三种情形 $ n = 3t $、$ n = 3t+1 $ 和 $ n = 3t+2 $，使用形如 $ \max\{0, \frac{i - t - 1}{3t+1}\} $ 的分段有理函数，显式构造对偶LP的可行解。
• 通过证明对任意单元格，其行、列及对角线的对偶变量之和至少为1，验证对偶约束成立。
• 计算对偶目标值并证明其等于 $ \mathit{LP}_{f}(n) $，即对 $ \mathit{LP}(n) $ 的猜想闭式表达式。
• 应用弱对偶性得出 $ \mathit{LP}(n) \leq \mathit{LP}_{f}(n) $，并结合原始问题的下界，推导出 $ N(n) = \lfloor (2n+1)/3 \rfloor $。

实验结果

研究问题

• RQ1 能否利用线性规划对偶性，为已知上界 $ N(n) = \lfloor (2n+1)/3 \rfloor $ 提供一种简洁的组合证明？
• RQ2 点在三角形中的问题的松弛线性规划的最优解具有何种结构？
• RQ3 对所有 $ n $，是否存在目标值与猜想 $ \mathit{LP}_{f}(n) $ 匹配的可行对偶解？该解能否统一构造？
• RQ4 在避免复杂情形分析的前提下，数值实验与对偶性在多大程度上可结合用于证明组合界？

主要发现

• 通过线性规划对偶性，建立了一种新证明，确认了上界 $ N(n) \leq \lfloor (2n+1)/3 \rfloor $，避免了复杂的组合论证。
• 对所有 $ n $ 显式构造了可行的对偶解，其目标值与猜想的 $ \mathit{LP}_{f}(n) $ 一致，具体为：当 $ n = 3t+1 $ 时为 $ 2t+1 $，当 $ n = 3t+2 $ 时为 $ 2t+1 + \frac{2t+1}{3t+2} $，当 $ n = 3t $ 时为 $ 2t + \frac{t}{3t+1} $。
• 对偶解结构具有规律性，为分段有理函数，仅依赖于 $ n \mod 3 $ 的余数，且行、列与对角线的对偶变量表达式对称。
• 当 $ n \equiv 1 \pmod{3} $ 时，原始解与对偶解的目标值相等，通过强对偶性证明了该情形下LP猜想的正确性。
• 该方法以简短而优美的证明方式，确认了已知公式 $ N(n) = \lfloor (2n+1)/3 \rfloor $，其核心依赖于对偶性而非直接计数。
• 该方法展示了将数值实验与对偶性理论结合，可高效推导并验证组合界的强大潜力。