[論文レビュー] Hat Guessing on Books and Windmills

Xiaoyu He, Yuzu Ido+1 more|arXiv (Cornell University)|Oct 25, 2020

Advanced Graph Theory Research参考文献 12被引用数 5

ひとこと要約

本稿は、十分に多くのページを持つブックグラフについて、ハット・ゲッシング番号（HG）を正確に決定し、HG(B_{d,n}) = 1 + ∑_{i=1}^d i^i であることを証明することで、Gadouleauの上界がタイトであることを確認した。また、HG(K_{3,3}) = 3 を確立し、HGがn+1未満であることが知られている最初の完全二部グラフK_{n,n}としての意義を持つ。さらに、n ≥ log₂(2k−2) のとき、風車グラフW_{k,n}のHGを2k−2として計算し、1つの頂点に接合されたクリークがHGを個々のクリークのサイズをはるかに超えて大きくする可能性を示した。

ABSTRACT

The hat-guessing number is a graph invariant defined by Butler, Hajiaghayi, Kleinberg, and Leighton. We determine the hat-guessing number exactly for book graphs with sufficiently many pages, improving previously known lower bounds of He and Li and exactly matching an upper bound of Gadouleau. We prove that the hat-guessing number of $K_{3,3}$ is $3$, making this the first complete bipartite graph $K_{n,n}$ for which the hat-guessing number is known to be smaller than the upper bound of $n+1$ of Gadouleau and Georgiou. Finally, we determine the hat-guessing number of windmill graphs for most choices of parameters.

研究の動機と目的

• 十分に多くのページを持つブックグラフB_{d,n}の正確なハット・ゲッシング番号（HG）を特定すること。
• 完全二部グラフK_{3,3}のハット・ゲッシング番号を解明し、HGがn+1未満であることが知られている最初のK_{n,n}であることを明らかにすること。
• 広範なパrameter範囲における風車グラフW_{k,n}のハット・ゲッシング番号を計算すること。
• Gadouleauのブックグラフに対する既存の下界と上界の差を埋めるために、上界のタイト性を証明すること。

提案手法

• Hallの結婚定理を用いてℕ^dにおける射影に関する同値な幾何的問題を解き、ブックグラフの正確なHGを証明する。
• K_{3,3}のケースを3次元立方体における分割と被覆問題に還元し、HG=3を確立する。
• 合同算術と差分集合が互いに素である集合の構成を用いて、風車グラフにおける不交和の配置を構築し、HG ≥ qを達成する。
• d^n個の集合に基づく再帰的構成を用いて、特定のパrameterでHG(W_{d^n - d^{n-1} + 1, n}) = d^nを証明する。
• Lemma 4.4を適用して、構築された配置の集合が互いに素であることを検証し、q色に対して有効な戦略が存在することを保証する。
• 共通の頂点に接合されたクリークの構造を活用し、グローバルな対称性を活かした連携する推測戦略を設計する。

実験結果

リサーチクエスチョン

• RQ1 nが十分に大きいとき、ブックグラフB_{d,n}の正確なハット・ゲッシング番号は何か？
• RQ2 n > 2のとき、HG(K_{n,n}) ≤ n+1 という上界はタイトか？また、HG(K_{3,3})の値は何か？
• RQ3 一般のkとnについて、風車グラフW_{k,n}のハット・ゲッシング番号は何か？
• RQ4 1つの頂点に接合された複数のクリークからなるグラフのHGは、クリークのサイズを上回るか？
• RQ5 平面グラフのHGは無限大に発散するのか、それともハドウィガー数の関数によって有界であるのか？

主な発見

• 十分に大きなnに対して、ブックグラフB_{d,n}のハット・ゲッシング番号は正確に1 + ∑_{i=1}^d i^iである。これはGadouleauの上界がタイトであることを確認する。
• K_{3,3}のハット・ゲッシング番号は正確に3であり、HG < n+1 であることが知られている最初の完全二部グラフK_{n,n}としての意義を持つ。
• n ≥ log₂(2k−2) のとき、風車グラフW_{k,n}のHGは2k−2である。これはHGがクリークのサイズにほぼ2倍に達することを示している。
• ある構成により、HG(W_{d^n - d^{n-1} + 1, n}) = d^n が達成され、固定されたnに対してHGがkに関して超線形的に増加することを示している。
• HG(G) ≤ Δ+1 がすべてのグラフGに対して成り立つという予想を支持する。ブックと風車は極値例として機能する。
• 本稿は、平面グラフのHGが無限大に発散する可能性があるという証拠を提供し、従来の予想に挑戦している。