[論文レビュー] Reconstruction of complete interval tournaments

Antal Iványi|arXiv (Cornell University)|Mar 21, 2010

Numerical Methods and Algorithms被引用数 5

ひとこと要約

本稿では、与えられたスコアベクトルを持つ完全な区間トーナメント（a, b）-トーナメントの存在の必要十分条件と、効率的な再構成アルゴリズムを提示する。この手法は、不適切なスコア列を制限するための損失関数を用い、O(bn³)時間でエッジの向きを割り当てるためのグリーディなスライシングアルゴリズムを適用する。これは、標準的なトーナメント（a = b = 1 および a = b ≥ 1）におけるランドーの定理とムーンの定理を一般化する。

ABSTRACT

Let $a, b$ and $n$ be nonnegative integers $(b \geq a, \ b > 0, \ n \geq 1)$, $\mathcal{G}_n(a,b)$ be a multigraph on $n$ vertices in which any pair of vertices is connected with at least $a$ and at most $b$ edges and extbf{v =} $(v_1, v_2, ..., v_n)$ be a vector containing $n$ nonnegative integers. We give a necessary and sufficient condition for the existence of such orientation of the edges of $\mathcal{G}_n(a,b)$, that the resulted out-degree vector equals to extbf{v}. We describe a reconstruction algorithm. In worst case checking of extbf{v} requires $Θ(n)$ time and the reconstruction algorithm works in $O(bn^3)$ time. Theorems of H. G. Landau (1953) and J. W. Moon (1963) on the score sequences of tournaments are special cases $b = a = 1$ resp. $b = a \geq 1$ of our result.

研究の動機と目的

• 与えられたスコアベクトルを持つ完全な区間トーナメントが存在するための必要十分条件を特定すること。
• 妥当なスコア列から有効な（a,b）-トーナメントを再構成する効率的なアルゴリズムを設計すること。
• 古典的なトーナメントのスコア列に関する結果（ランドー, 1953; ムーン, 1963）を、a以上b以下のエッジ多重度を持つ多重グラフへ一般化すること。
• 完全な区間トーナメントのための意思決定問題と再構成問題に多項式時間解法を提供すること。
• 1-トーナメント用に既存のアルゴリズムを、エッジ多重度が有界な（a,b）-トーナメントの広いクラスへ拡張すること。

提案手法

• 損失関数 Lk を導入し、最初の k プレイヤーにおける最小損失ポイントをモデル化する。再帰的に Lk = max(Lk−1, bBk − ∑₁ᵏ si) で定義される。
• 必要条件となる不等式を導出：すべての 1 ≤ k ≤ n に対して aBk ≤ ∑₁ᵏ si ≤ bBn − Lk − (n−k)sk が成り立つ。
• 導出された不等式を用いて Θ(n) 時間でスコア列の妥当性を検証する ScoreCheck アルゴリズムを提案。
• 余剰ポイントと不足ポイントに基づいて、逐次的に試合結果を割り当てるスライシング法による再構成手順を構築。
• ScoreSlicing において、損失関数を用いて境界を維持し、残りのポイントに合わせて調整するグリーディ戦略を採用。
• Main アルゴリズムにより、プレイヤーインデックスの降順に ScoreSlicing の呼び出しを制御し、完全な隣接行列の一貫性ある再構成を保証する。

実験結果

リサーチクエスチョン

• RQ1 スコアベクトルが（a,b）-トーナメントとして実現可能であるためには、どのような条件を満たす必要があるか？
• RQ2 妥当なスコア列から有効な（a,b）-トーナメントを多項式時間で再構成できるアルゴリズムは存在するか？
• RQ3 標準的なトーナメントに関するランドーの定理とムーンの定理は、有界なエッジ多重度を持つ多重グラフへどのように一般化できるか？
• RQ4 （a,b）-トーナメントの意思決定問題と再構成問題の計算量的複雑度は何か？
• RQ5 損失関数 Lk は、不適切なスコア列を制限し、再構成プロセスを導くためにどのように利用できるか？

主な発見

• スコアベクトル (s₁, ..., sₙ) が（a,b）-トーナメントとして実現可能であるための必要十分条件は、すべての 1 ≤ k ≤ n に対して aBk ≤ ∑₁ᵏ si ≤ bBn − Lk − (n−k)sk が成り立つことである。
• ScoreCheck アルゴリズムは、導出された不等式をチェックすることで、スコア列の妥当性を Θ(n) 時間で検証できる。
• 再構成アルゴリズムの実行時間は O(bn³) であり、メモリ使用量は Θ(n²) であり、実用的用途においても効率的である。
• このアルゴリズムは、ランドーの定理（a = b = 1）とムーンの定理（a = b ≥ 1）を特別な場合として含む。
• 損失関数 Lk は、最初の k プレイヤーにおける損失ポイント数を効果的に制限し、妥当なスコア列に対する厳密な制約を可能にする。
• ScoreSlicing の反復処理における余剰ポイントと不足ポイントの単調減少性により、再構成プロセスは正しく、有限時間内に終了する。