[論文レビュー] Further progress on Wojda's conjecture

Maciej Cisiński, Andrzej Żak|arXiv (Cornell University)|Jan 19, 2026

graph theory and CDMA systems被引用数 0

ひとこと要約

この論文はWojdaの予想を幅広いパラメータ領域で確認する：すべての m ≥ 93 および n ≥ 31m に対して、二つの有向グラフがパックできなくなる最小の弧数 μ(n, n−m) は 2n − floor(n/m) に等しい。著者は確率的な近パック法と洗練された貪欲補助定理を用いてこの結果を確立する。

ABSTRACT

Two digraphs of order $n$ are said to pack if they can be found as edge-disjoint subgraphs of the complete digraph of order $n$. It is well established that if the sum of the sizes of the two digraphs is at most $2n-2$, then they pack, with this bound being sharp. However, it is sufficient for the size of the smaller digraph to be only slightly below $n$ for the sum of their sizes to significantly exceed this threshold while still guaranteeing the existence of a packing. In 1985, Wojda conjectured that for any $2 \leq m \leq n/2$, if one digraph has size at most $n - m$ and the other has size less than $2n - \lfloor n/m \rfloor$, then the two digraphs pack. It was previously known that this conjecture holds for $m = Ω(\sqrt{n})$. In this paper, we confirm it for $m \geq 93$ and $n \geq 31m$.

研究の動機と目的

• 有向グラフのパッキング問題に関するWojdaのモチベーションを提示し、μ(n, n−m) がパックを阻む閾値であることを決定する。
• 既知のケースを拡張し、重要な新しい範囲（m ≥ 93, n ≥ 31m）について予想を証明する。
• 近パック法の確率的ツールを開発・適用し、パックの保証を強化する。

提案手法

• |A(D)|·|A(D′)| < (q+1)n(n−1) のとき、確率的手法を用いて q-near-packings の存在を示す。
• 補助定理6を適用して近パックを得、分解と貪欲補題8を用いて完全なパックへ展開する。
• 全弧数が ≤ 2n−2 のときのパックニングを基盤として組み立てを行う定理7を活用する。
• 有向森の貪欲パック戦略（補題8）を洗練させ、重要頂点が像に含まれることを保証する。
• 頂点度を D′ で制限することで反復的なパック手順を可能にする命題9 を活用する。
• D′ の度に基づくケース分解を行い、木構造 T_i と残り R のサブ構造を順次パックしていく。

実験結果

リサーチクエスチョン

• RQ1 Wojda予想の境界域における large n, m に対する μ(n, n−m) の正確な値は何か。
• RQ2 これまで知られている √n スケールを超える広いパラメータ領域、特に m ≥ 93 および n ≥ 31m に対して Wojda の予想は検証できるか。
• RQ3 近パックと洗練された貪欲技術を組み合わせて、近パックから完全なパックを保証する方法は何か。
• RQ4 n 頂点の固定有向グラフへ反復的にパックするのに役立つグラフ構造分解は何か。

主な発見

• m ≥ 93 および n ≥ 31m のとき μ(n, n−m) = 2n − ⌊n/m⌋。
• 新しいパラメータ領域では近パック保証が古典的な 2n−2 の閾値を超えるパック可能性を改善する。
• 確率的近パック（補題6）と貪欲な森のパック（補題8）の組み合わせにより、上記領域で完全なパックへ至る。
• D′ の高次頂点の度に基づく4サブケース分析が、部分パックを順次拡張してパックを得る。
• 本研究は Konarski–Żak, Wojda などの既存結果を拡張・拡大し、m/n 比のより広い範囲をカバーする。
• 定理7（全弧数 ≤ 2n−2 のときのパック）は近パックから完全パックへ組み立てる際の主要な道具として依然重要である。