[論文レビュー] Domination Polynomials of Graph Products

Tomer Kotek, James Preen+1 more|arXiv (Cornell University)|May 7, 2013

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

ひとこと要約

本稿は、完全グラフやパスを含むカーテシアン積およびストロング積を含むさまざまなグラフ積の支配多項式に関する再帰関係および明示的公式を確立する。支配多項式の計算がチューリング還元を用いて#P困難であることを証明し、特定のグラフ族を超えて計算的に困難であることを示している。

ABSTRACT

The domination polynomials of binary graph operations, aside from union, join and corona, have not been widely studied. We compute and prove recurrence formulae and properties of the domination polynomials of families of graphs obtained by various products, ranging from explicit formulae and recurrences for specific families to more general results. As an application, we show the domination polynomial is computationally hard to evaluate.

研究の動機と目的

• グラフ積、特にカーテシアン積およびストロング積の支配多項式に関する再帰関係および明示的公式の開発。
• 結合、結合、およびコロナ演算を超えて、既知の支配多項式の結果を拡張すること。
• 支配多項式の評価の計算複雑性をさまざまなグラフ族にわたって分析すること。
• 完全グラフおよびパスを含む積における支配多項式の構造的性質の調査。
• グラフ積における再帰構造と支配多項式評価の計算困難性との間の関係を確立すること。

提案手法

• 積の頂点集合における部分集合の支配に基づいて、$ D(G \square K_2, x) $ の分解公式を導出する。
• ストロング積構造 $ G \boxtimes K_r $ を用いて、$ D(G \boxtimes K_r, x) $ を $ D(G, (1+x)^r - 1) $ の形で表現し、再帰的評価を可能にする。
• 母関数および対角抽出技術を用いて、$ P_n \square K_r $ における再帰関係を導出し、係数における線形再帰を活用する。
• チューリング還元フレームワークを適用：有理数 $ \gamma \notin \{0, -1, -2\} $ に対して $ D(-, \gamma) $ のオракルアクセスを用いて、完全な多項式 $ D(G, x) $ を補間する。
• $ D(G \boxtimes K_r, \gamma) = D(G, (1+\gamma)^r - 1) $ である事実を活用し、多項式評価を有限個のオラクルクエリに還元する。
• 異なる $ n+1 $ 個の点 $ (1+\gamma)^i - 1 $ における補間を用いて、次数 $ n $ の多項式 $ D(G, x) $ を再構築する。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフ $ G $ に対して、$ G \square K_s $、$ G \square P_s $、および $ G \square C_s $ の支配多項式に関する再帰関係を導出可能か？
• RQ2 $ G \boxtimes P_s $ および $ G \boxtimes C_s $ に対しても、ストロング積の公式の類似が存在するか？ また、それらが明示的公式を導くことができるか？
• RQ3 どのグラフ積族が、定理3.2と同様に単純で閉形式の表現を有する支配多項式を有するか？
• RQ4 グラフ積のどの構造的性質が、支配多項式係数における線形再帰関係を生じさせるか？
• RQ5 $ D(-, 0) $ が多項式時間で計算可能であることを踏まえ、$ D(-, -1) $ および $ D(-, -2) $ を計算するのはどの程度困難か？

主な発見

• $ D(G \square K_2, x) $ に対して閉形式の表現が得られ、それは部分集合 $ W \subseteq V(G) $ 及びそれらの近傍に依存することが示された。
• 任意のグラフ $ G $ に対して、$ D(G \boxtimes K_r, x) = D(G, (1+x)^r - 1) $ が成り立ち、ストロング積の多項式を元の多項式の評価に変換可能である。
• $ P_n \square K_r $ における支配多項式の再帰関係が、6つのより小さいグラフのみを用いて確立され、以前のパス積に関する結果を一般化した。
• 任意の $ \gamma \notin \{0, -1, -2\} $ に対して、$ n+1 $ 個の異なる点 $ (1+\gamma)^i - 1 $ における評価を用いて、$ D(G, x) $ を多項式時間で補間可能である。
• すべての有理数 $ \gamma \notin \{0, -1, -2\} $ に対して、$ D(-, \gamma) $ は#P困難であることがチューリング還元を用いて証明された。
• $ D(-, -1) $ および $ D(-, -2) $ の複雑性は未解決のままであり、$ D(-, 0) $ が多項式時間で計算可能であることを踏まえても同様である。