{k: number of pairs from circular nodes, in which X_i is the first node in them}

{k: number of pairs from circular nodes defined in previous part, in which X_j is the second node in them}

{k: number of pairs from circular nodes obtained from previous parts}

Detect Circularity Part 1

Detect Circularity Part 2

Detect Circularity Part 3