有向グラフの非巡回彩色に関する上界と最小例
Acyclic Dicolourings of Oriented Graphs: Paths, Random Tournaments, and Critical Orders
この論文をやさしく読む
ひとことで言うと
有向グラフを、特定の部分グラフに有向閉路ができないよう色分けするとき、必要な色数の上界と、色数が大きい最小の例を調べた研究。
何に役立つ？
有向グラフの彩色に必要な色数の見積もりや、境界を達成する小さなグラフの分類に役立つ。
この研究の面白いところ
最大有向路から得る上界、ランダムなトーナメントでの漸近的な下界、最小例の分類を同じ研究で扱い、既存の対数項の係数を改善している。
どこまで分かった？
要旨で示されるのは数学的な証明である。ランダムなトーナメントの不等式は漸近的にほぼ確実という条件付きで、小さい頂点数の分類は k=3、4 に限られる。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
有向グラフの非巡回二彩色とは、各色の頂点集合と、任意の2色の頂点集合が誘導する二部有向部分グラフのいずれも非巡回となるような頂点分割である。まず、最大有向路の頂点数を L(D) とするとき、非巡回二色数について Gallai–Roy 型の上界 χ⃗ₐ(D)≤L(D) を証明する。 r=log₂(8/7) とする。Bang-Jensen、Picasarri-Arrieta、Yeo は以前、頂点数 n で非巡回二色数が少なくとも n−(8/r)log₂n−log₂log₂n のトーナメントを構成した。本研究は、先頭の対数項の係数を半分に改善し、一様ランダムなトーナメント Tₙ について、n が大きくなると確率が1に近づく意味で、χ⃗ₐ(Tₙ)≥n−(4/r)log₂n+(2/r)log₂log₂n−O(1) を示す。 最後に、非巡回二色数が少なくとも k である有向グラフの最小頂点数を m(k) とすると、トーナメントへの補完により、トーナメントに限っても同じ最小値が得られることを示す。m(3)=5、m(4)=7 を証明し、これらの最小頂点数を達成するトーナメントを分類する。5頂点では1種類、7頂点では2種類である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
An acyclic dicolouring of an oriented graph is a vertex partition in which every colour class and every bipartite subdigraph induced by two classes is acyclic. We first prove the Gallai--Roy-type bound $\vec{\chi}_a(D)\leq L(D)$, where $L(D)$ is the maximum order of a directed path. Let $r=\log_2(8/7)$. Bang-Jensen, Picasarri-Arrieta, and Yeo previously constructed tournaments of order $n$ whose acyclic dichromatic number is at least $n-(\frac8r)\log_2 n-\log_2\log_2 n$. We improve the leading logarithmic coefficient by a factor of two: for the uniform random tournament $\mathcal{T}_n$, asymptotically almost surely, $\vec{\chi}_a(\mathcal{T}_n)\geq n-\frac4r\log_2 n+\frac2r\log_2\log_2 n-O(1)$. Finally, if $m(k)$ denotes the minimum order of an oriented graph with acyclic dichromatic number at least $k$, tournament completion shows that the same minimum is obtained over tournaments. We prove $m(3)=5$ and $m(4)=7$ and classify the tournament witnesses at these minimum orders: there is one at order five and two at order seven.
著者のコメント
17 pages, 2 figures
arXiv ID: 2609.22931 ／ 要約の誤りについて