[論文レビュー] On k-hypertournament losing scores

S. Pirzada, Guofei Zhou|arXiv (Cornell University)|Mar 5, 2010

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

ひとこと要約

本稿では、k-ハイパートーナメントにおける負けスコア列の特徴づけ定理について、簡潔で新しい証明を提示している。Landauのトーナメントに関する古典的結果を拡張し、背理法と構造的分解（列の分割と、互いに素な直和および弧の再割り当てによるハイパートーナメントの構成）を用いることで、非減少列 R = [r₁, ..., rₙ] が負けスコア列であるための必要十分条件が、すべての j に対して最初の j 個の要素の和が C(j,k) 以上であり、j = n のとき等号が成り立つことであると示している。

ABSTRACT

We give a new and short proof of a theorem on k-hypertournament losing scores due to Zhou et al. [G. Zhou, T. Yao, K. Zhang, On score sequences of k-tournaments, European J. Comb., 21, 8 (2000) 993-1000.]

研究の動機と目的

• k-ハイパートーナメントにおける負けスコア列の特徴づけに関する新しい、簡潔な証明を提供すること。
• k-一様辺をもつハイパーグラフ設定に、Landauのトーナメント・スコア定理を拡張すること。
• k-ハイパートーナメントにおけるスコア列が負けスコア列であるための必要十分条件を特定する問題を解決すること。
• 組合せ的不等式と実現可能なハイパートーナメント構造との同値性を確立すること。

提案手法

• 長さ n と最小の r₁ をもつ反例の最小性を仮定した背理法を用いる。
• 2つの場合を検討する：ある j < n で和の条件に等号が成り立つ場合、およびすべての段階で厳密不等号が成り立つ場合。
• 二項係数 C(j,i)C(n−j,k−i) を含む組合せ的恒等式を用いて列を分解する。
• 2つの互いに素なハイパートーナメント H₁ と H₂ を組み合わせ、mα 個のハイパートーナメント間弧を追加することで k-ハイパートーナメントを構成する。
• H₁ から H₂ への最後の要素の弧を均等に分配することで、負けスコアを保つ。
• 弧の再割り当て技術（弧内の最後の要素を入れ替え）を用い、等号が成り立たない場合の不整合を解消する。

実験結果

リサーチクエスチョン

• RQ1 非負整数の非減少列が、k-ハイパートーナメントにおける負けスコア列として実現可能であるために満たすべき条件は何か？
• RQ2 Landauのトーナメント・スコア定理は、どのように k-ハイパートーナメントに一般化できるか？
• RQ3 すべての j ≤ n に対して ∑ᵢ₌₁ʲ rᵢ ≥ C(j,k) が成り立ち、j = n のとき等号が成り立つという不等式は、負けスコア列の必要十分条件であるか？
• RQ4 有効な負けスコア列から、構成的技法を用いて k-ハイパートーナメントを構築することは可能か？

主な発見

• 非減少列 R = [r₁, ..., rₙ] が k-ハイパートーナメントの負けスコア列であるための必要十分条件は、すべての 1 ≤ j ≤ n に対して ∑ᵢ₌₁ʲ rᵢ ≥ C(j,k) であり、j = n のとき等号が成り立つことである。
• この条件の必要性は、負けスコアの定義と組合せ的数え上げから直接導かれる。
• 十分性は、条件を違反する最小反例列を仮定した背理法によって証明される。
• ケース(a)では、ある j < n で等号が成り立つ場合、列は最初の j 頂点における H₁ と残りの n−j 項における H₂ に分割され、負けスコアを保つためにハイパートーナメント間弧が追加される。
• ケース(b)では、すべての不等式が厳密に成り立つ場合、列 [r₁−1, r₂, ..., rₙ+1] が条件を満たすことが示され、弧の再割り当てにより矛盾が生じる。
• 直和と制御された弧の挿入を用いた構成により、列 R から有効なハイパートーナメントが構成されることで、このようなすべての列が実現可能であることが確認される。