[論文レビュー] Twin-Width is Linear in the Poset Width

Jakub Balabán, Petr Hliněný|arXiv (Cornell University)|Jun 29, 2021

Advanced Graph Theory Research被引用数 3

ひとこと要約

本稿では、二重幅と順序型の幅の間のタイトな線形関係を確立し、幅$d$の順序型に対して二重幅が$9d - 6$以下であることを証明している。この上限は漸近的にタイトであり、幅2の順序型ですら二重幅が2以下であることが示されており、これは最適である。著者らは、この上限に達する収縮列を直接的かつ構成的に計算するアルゴリズムを提供しており、先行研究の二重指数関数的上限を改善している。

ABSTRACT

Twin-width is a new parameter informally measuring how diverse are the neighbourhoods of the graph vertices, and it extends also to other binary relational structures, e.g. to digraphs and posets. It was introduced just very recently, in 2020 by Bonnet, Kim, Thomasse and Watrigant. One of the core results of these authors is that FO model checking on graph classes of bounded twin-width is in FPT. With that result, they also claimed that posets of bounded width have bounded twin-width, thus capturing prior result on FO model checking of posets of bounded width in FPT. However, their translation from poset width to twin-width was indirect and giving only a very loose double-exponential bound. We prove that posets of width d have twin-width at most 9d with a direct and elegant argument, and show that this bound is asymptotically tight. Specially, for posets of width 2 we prove that in the worst case their twin-width is also equal 2. These two theoretical results are complemented with straightforward algorithms to construct the respective contraction sequence for a given poset.

研究の動機と目的

• 幅$d$の順序型の二重幅に関する直接的で緩い上界$2^{2^{O(d)}}$と真の二重幅との間のギャップを埋める。
• 幅$d$の順序型の二重幅が$9d - 6$以下であることを、直接的かつ構成的証明により示し、先行研究を改善する。
• 幅$d$の順序型の最悪ケースにおける二重幅が$d - 1$以上である下界を示すことにより、この境界が漸近的にタイトであることを証明する。
• 提示された二重幅境界に達する収縮列を計算する、効率的で単純なアルゴリズムを開発する。
• 幅2の順序型に対して、最悪ケースにおける二重幅が正確に2であり、この境界がタイトであることを示す。

提案手法

• 著者らは、順序型のハッセ図におけるバー経路に基づく、新しい収縮戦略を導入し、各バーは比較可能な要素のペアを表す。
• 頂点の収縮中に近傍の不一致を追跡するためのレッドエッジシステムを定義し、レッド次数が有界に保たれることを保証する。
• チェーンに基づく順序型の表現を用いて、反復的に頂点ペアを同定・収縮する構成的アルゴリズムを設計し、効率的な更新のためのデータ構造を維持する。
• 各要素について、それより小さい最小の要素を格納する特別な表現を用い、各収縮ごとに定数時間で更新が可能である。
• すべての収縮ステップが、バー経路を延長するか、順序型のサイズを小さくするため、終了が保証される。
• 解析は、順序型における後続要素の存在と比較可能性に基づく場合分けによる推論に依存し、レッドエッジ次数に関する不変式を証明する。

実験結果

リサーチクエスチョン

• RQ1 順序型の幅$d$に関して、二重幅の最もタイトな上界は何か？
• RQ2 先行研究の間接的・二重指数的上限を、よりタイトな境界を持つ直接的・構成的証明に置き換えられるか？
• RQ3 幅2の順序型の二重幅は2で有界であり、この境界はタイトか？
• RQ4 最適な二重幅境界に達する収縮列を計算する、単純で効率的なアルゴリズムを設計できるか？
• RQ5 順序型の幅と二重幅の間の線形関係は、漸近的にタイトか？

主な発見

• 幅$d$の順序型の二重幅は$9d - 6$以下であり、これは先行研究の二重指数的上限に比べて顕著な改善である。
• 最悪ケースにおける幅$d$の順序型の二重幅が少なくとも$d - 1$以上であることを示すことで、この境界が漸近的にタイトであることが証明され、線形依存関係が避けがたいことが示された。
• 幅2の順序型に対しては、二重幅が2以下であり、これは具体的な例（自然な二重幅が正確に2である例）によって、境界がタイトであることが示された。
• 本稿では、要素数に比例する線形時間で収縮列を計算する構成的アルゴリズムを提供している。
• アルゴリズムは、各収縮ごとに定数時間で更新可能な特殊なデータ構造を維持しており、計算の効率性を実現している。
• 著者らは、幅2の結果のタイトさを、全探索によるコンピュータによる検証により確認しており、例におけるすべての収縮が、少なくとも2のレッド次数を生じることを確認した。