[論文レビュー] Enumeration of Minimal Hitting Sets Parameterized by Treewidth

Günter Rote|arXiv (Cornell University)|Mar 11, 2019

Advanced Graph Theory Research参考文献 3被引用数 4

ひとこと要約

本稿では、根付き木の部分解を特徴付ける六つ組の状態に基づく動的計画法と双線形演算を用いた、まったく新しい半自動的手法により、n 頂点をもつ木における最小支配集合の最大数の成長定数 λ = ¹³√95 ≈ 1.4194908 を正確に特定した。また、O(n) のセットアップ時間と、連続する解の間で O(n) の遅延をもつ出力に敏感な列挙アルゴリズムを提示し、『積雪星型木』と呼ばれる木の族と凸幾何学的手法を用いて、成長率のタイトな上界と下界を証明した。

ABSTRACT

A tree with $n$ vertices has at most $95^{n/13}$ minimal dominating sets. The growth constant $λ= \sqrt[13]{95} \approx 1.4194908$ is best possible. It is obtained in a semi-automatic way as a kind of "dominant eigenvalue" of a bilinear operation on sixtuples that is derived from the dynamic-programming recursion for computing the number of minimal dominating sets of a tree. We also derive an output-sensitive algorithm for listing all minimal dominating sets with linear set-up time and linear delay between successive solutions.

研究の動機と目的

• 木における最小支配集合の最大数の正確な漸近的成長率を特定すること。
• 木におけるすべての最小支配集合を列挙する、効率的で出力に敏感なアルゴリズムを開発すること。
• 動的計画法と凸幾何学に基づくまったく新しい半自動的手法を用いて、成長定数 λ のタイトな上界と下界を確立すること。
• 最小支配集合の数を最大にする極値の木構造を特定すること。
• 最小支配集合の成長率を支配する双線形演算の代数的および幾何的性質を調査すること。

提案手法

• 根付き木における動的計画法を用い、部分解を特徴付ける六つのクラスに分類する。
• 再帰を六つ組の上での双線形演算 ⋆ に抽象化し、部分木の組み合わせをモデル化する。
• 主要化および凸包技術を用いて、有効な六つ組の集合を幾何的領域 P で囲み、上界を導出する。
• P ◦ P ⊆ P を満たす最小の λ を探索する半自動的計算手法を適用し、最適な成長定数を得る。
• 動的計画法の枠組みを、線形遅延と線形セットアップ時間をもつ出力に敏感な列挙アルゴリズムに適応する。
• 再帰的でメッセージ渡し方式のアプローチ（ENUM2）を用い、木を効率的に走査してすべての最小支配集合を列挙する。

実験結果

リサーチクエスチョン

• RQ1 サイズ n の木における最小支配集合の最大数の成長定数 λ の正確な値は何か？
• RQ2 木における最小支配集合の数を、線形遅延と線形セットアップ時間をもって列挙できるか？
• RQ3 成長定数 λ = ¹³√95 は最適であり、無限個の木の族によって漸近的に達成可能か？
• RQ4 最小支配集合の成長率を支配する双線形演算の幾何的および代数的性質は何か？
• RQ5 この手法は、木や階層的構造における他の組合せ的問題へ一般化可能か？

主な発見

• n 頂点をもつ木における最小支配集合の最大数は、0.992579 · λ^n で上界づけられる。ここで λ = ¹³√95 ≈ 1.4194908 である。
• すべての n = 13k + 1 に対して、少なくとも 95^k > 0.704477 · λ^n 個の最小支配集合をもつ木が存在する。これは下界がタイトであることを証明する。
• 成長定数 λ = ¹³√95 は最適であり、より高い成長率を達成する木は存在しない。
• O(n) のセットアップ時間と、連続する解の間で O(n) の遅延をもつ出力に敏感な列挙アルゴリズムが存在する。
• この手法により、λ が代数的数であることが特定され、双線形演算から導かれる臨界多項式方程式から生じることが示された。
• 成長率に達する極値の木は、以前の例のように有限構成ではなく、『積雪星型木』と呼ばれる無限族として構成される。