Konsep Inti
クラスタ密度の低い大規模グラフにおいて、パターングラフHの部分グラフ、誘導部分グラフ、およびホモモーフィズムの数を効率的に計算する問題の複雑性を明らかにした。
Abstrak
本研究では、パターングラフHと大規模ホストグラフGの組に対して、以下の3つの問題の複雑性を分類した:
- #Sub(H→G): Gの中にHと同型な部分グラフの数を数える問題
- #IndSub(H→G): Gの中にHと同型な誘導部分グラフの数を数える問題
- #Hom(H→G): HからGへのホモモーフィズムの数を数える問題
特に、Gがクラスタ密度の低い(somewhere dense)クラスの場合に焦点を当てた。
主な結果は以下の通り:
- #Match(G)とIndSet(G)がそれぞれ#Sub(H→G)と#IndSub(H→G)の最小の困難ケースであることを示した。
- Gがクラスタ密度の低いクラスの場合、#Match(G)と#IndSet(G)は固定パラメータ計算量的に困難であることを示した。
- Hが遺伝的クラスの場合、#Sub(H→G)と#IndSub(H→G)の複雑性を、Gの構造パラメータ(クリーク数、独立集合数、二部クリーク数、マッチング数など)に基づいて完全に分類した。
- #Hom(H→G)の複雑性については、Hの木幅に基づいて分類した。
これらの結果は、サブグラフカウンティングの複雑性に関する理解を大幅に深めるものである。
Statistik
グラフGの頂点数を|V(G)|、辺数を|E(G)|と表す。
Gの最大クリーク数を ω(G) と表す。
Gの最大独立集合数を α(G) と表す。
Gの最大二部クリーク数を β(G) と表す。
Gの最大マッチング数を m(G) と表す。
Gの誘導最大マッチング数を mind(G) と表す。
Gの誘導最大二部クリーク数を βind(G) と表す。
Hのツリー幅を tw(H) と表す。