13
Subgraph Properties
Let Q = G
1
, G
2
, , G
m
Lemma
Pr(Q)
·
C/H * 1/n
E
V = number of variables in Q
A = arity(Q) = arity(G
1
) + + arity(G
m
)
E = A - V
= the exponent of Q
H = number of automorphisms Q
!
Q
C = c
1
* c
2
* * c
m
= the coefficient of Q