InclusionExclusionPrinciple

容斥

容斥解决的是一类形如:

莫比乌斯反演

两种形式:

$G(d) = \sum_{d|k} F(k) = F(d) + F(2d) + F(3d) + \cdots$