13
Subgraph Properties
•Let Q = G1, G2, …, Gm
•
•
•
•
•
•Lemma Pr(Q) · C/H * 1/nE
V = number of variables in Q
A = arity(Q) = arity(G1) + … + arity(Gm)
E = A - V  = “the exponent of Q”
H = number of automorphisms Q ! Q
C = c1 * c2 * … * cm = “the coefficient of Q”