Conceitos Básicos
パターングラフHに対して、m辺のホストグラフGにおいて、Hの部分グラフを列挙、最小重み部分グラフを検出、列挙アルゴリズムを設計することができる。その際、Hの構造に応じて、最適な時間計算量を決定することができる。
Resumo
本論文では、固定されたパターングラフHに対して、ホストグラフGにおけるH部分グラフの列挙、最小重み部分グラフの検出、列挙アルゴリズムの設計について研究している。
まず、パターングラフHの構造に応じて、以下の3つの問題について、最適な時間計算量を決定する:
- 最小重み部分グラフ検出問題(Min-Weight-H-Subgraph)
- ホストグラフGの辺に重みが付与されており、Hの部分グラフの中で、重み和が最小のものを見つける問題
- 既知の結果では、三角形は O(m^1.5)、k-サイクルは O(m^(2-1/⌈k/2⌉))で解ける
- 部分グラフ列挙問題(H-Listing)
- ホストグラフGに含まれるHの部分グラフをすべて出力する問題
- 既知の結果では、三角形は O(m^1.5)、k-サイクルは O(m^(2-1/⌈k/2⌉) + t)で解ける
- 部分グラフ列挙アルゴリズム(H-Enumeration)
- ホストグラフGに含まれるHの部分グラフを列挙する問題
- 前処理時間とデレイ時間の両方を最小化する
これらの問題について、パターングラフHの構造に応じて、最適な時間計算量を決定する。具体的には、以下の手順で解決する:
- クリーク分離子に基づいて、パターングラフHを分解し、P-グラフと呼ばれる部分グラフに分類する
- P-グラフに対して、新しいアルゴリズムを設計し、それぞれの最適な時間計算量を決定する
- P-グラフ以外のグラフに対しては、条件付き下界を証明する
この結果、パターングラフHの構造に応じて、最小重み部分グラフ検出、部分グラフ列挙、部分グラフ列挙アルゴリズムの最適な時間計算量を決定することができる。
Estatísticas
三角形の最小重み部分グラフ検出は O(m^1.5)で解ける
k-サイクルの最小重み部分グラフ検出は O(m^(2-1/⌈k/2⌉))で解ける
三角形の部分グラフ列挙は O(m^1.5 + t)で解ける
k-サイクルの部分グラフ列挙は O(m^(2-1/⌈k/2⌉) + t)で解ける