Konsep Inti
恒等式次数の多項式による検出では、入力グラフ内の星グラフのカウントが最適な検出方法である。
Abstrak
本論文では、任意の植え込まれたサブグラフ 퐻 を持つ検出問題について、恒等式次数の多項式による検出の最適性を明らかにしている。
具体的には以下の点が示されている:
恒等式次数 D = O(1) の多項式による検出では、入力グラフ内の t-star グラフのカウントが最適な検出方法である。つまり、ある 1 ≤ t ≤ D について t-star グラフのカウントが強い分離を実現できる場合、他の恒等式次数 D の多項式では強い分離を実現できない。
恒等式次数 D = O(1) の多項式による検出の成功可否は、植え込まれたサブグラフ 퐻 の次数分布のみに依存する。つまり、次数分布が同じ 2 つのサブグラフ 퐻1, 퐻2 に対して、恒等式次数 D の多項式による検出が成功するか失敗するかは同じである。
上記の結果は、確率 p = Ω(1) の場合に成り立つ。確率 p = o(1) の場合や、恒等式次数 D = ω(1) の場合には、星グラフのカウントが最適ではない可能性がある。
Statistik
植え込まれたサブグラフ 퐻 の最大次数 Δ が以下の条件を満たす場合:
Δ = O((n/p/(1-p))^(1/2)) の場合、辺のカウントが最適
Δ ≥ (n/p/(1-p))^(1/2+ε) の場合、大きな星グラフのカウントが最適