[论文解读] Deciding football sequences

Antal Iványi, J. E. Schoenfield|arXiv (Cornell University)|Jul 26, 2012

Sports Analytics and Performance参考文献 58被引用 5

一句话总结

本文提出多项式时间近似算法与精确指数时间算法，用于判断给定的非负整数序列是否可表示为仅允许特定结果（如 0:3、1:1、3:0）的足球锦标赛最终得分。核心贡献是基于广义 Landau 和 Moon 型定理对不完整锦标赛的合法足球得分序列进行表征，采用过滤与重构技术。

ABSTRACT

An open problem posed by the first author is the complexity to decide whether a sequence of nonnegative integer numbers can be the final score of a football tournament. In this paper we propose polynomial time approximate and exponential time exact algorithms which solve the problem.

研究动机与目标

• 解决一个开放问题：判断给定整数序列是否可表示为仅允许特定结果类型的足球锦标赛最终得分。
• 为验证足球得分序列，开发多项式时间近似与精确指数时间算法。
• 将经典得分序列定理（如 Landau 与 Moon 定理）扩展至具有禁止比赛结果的不完整锦标赛。
• 利用组合过滤与重构技术，表征合法足球得分序列的结构与密度。
• 分析当球队数量增加时，常规序列与合法足球序列之间比率的渐近行为。

提出的方法

• 提出一种基于点失分函数 $ P_k $ 的过滤机制，以限制前 $ k $ 支球队的失分总数，确保与锦标赛约束的一致性。
• 应用广义 Landau 型不等式：$ \frac{ak(k-1)}{2} \leq \sum_{i=1}^k s_i \leq \frac{bn(n-1)}{2} - P_k - (n-k)s_k $，该不等式必须对所有 $ k \in [1,n] $ 成立。
• 开发一种重构算法，通过动态规划与预计算的约化序列矩阵，迭代检查序列是否可由有效锦标赛实现。
• 基于首名得分 $ s_1 $ 的递归过滤过程，探索被省略球队结果为胜（3 分）、平（1 分）或负（0 分）的多种情况。
• 采用动态规划，通过矩阵 $ \mathcal{M} $、$ P $ 和 $ F $ 跟踪状态，并利用约化序列高效剪枝无效路径。
• 分析比率 $ F(n)/R(n) $ 的渐近增长，其中 $ F(n) $ 为合法足球序列的数量，$ R(n) $ 为常规序列的数量，结果表明其增长缓慢。

实验结果

研究问题

• RQ1 给定的非负整数序列是否可被实现为仅允许特定结果（如 0:3、1:1、3:0）的足球锦标赛最终得分序列？
• RQ2 在不完整 $(a,b,n)$-锦标赛中，序列成为合法得分序列的充要条件是什么？
• RQ3 如何利用组合与图论约束，高效地过滤与重构合法足球得分序列？
• RQ4 当球队数量 $ n $ 增加时，合法足球序列在所有常规序列中的渐近密度是多少？
• RQ5 当 $ n \to \infty $ 时，比率 $ F(n)/R(n) $ 的行为如何？是否会趋于零？

主要发现

• 本文通过广义 Landau 型不等式与点失分函数 $ P_k $，建立了不完整 $(a,b,n)$-锦标赛中序列成为合法得分序列的必要且充分条件。
• 提出一种精确的指数时间重构算法，通过递归约简序列并对照预计算矩阵验证得分，检查所有可能配置。
• 比率 $ R(n+1)/R(n) $（其中 $ R(n) $ 为常规序列数量）在 $ n \to \infty $ 时渐近趋于 $ 256/27 \approx 9.481 $。
• 比率 $ F(n)/R(n) $（表示合法足球序列在所有常规序列中的密度）随 $ n $ 增加而上升，表明合法序列在相对意义上变得更为常见，尽管收敛速度缓慢。
• 当 $ n \geq 5 $ 时，比率 $ F(n+1)/F(n) $ 非递减，本文推测其在 $ n \to \infty $ 时趋于 1，表明 $ F(n) $ 呈次指数增长。
• 表 18 的实证数据表明，$ F(n)/R(n) $ 从 $ n=4 $ 时的 0.0559 增至 $ n=12 $ 时的 0.0938，支持了其趋于零的收敛过程缓慢，且趋势向上。