给定 nnn,对于每个 xxx,yyy(1≤y<x≤n1 \le y < x \le n1≤y<x≤n),如果 x2−y2=z2(z∈Z)x ^ 2 - y ^ 2 = z^ 2(z \in \Z)x2−y2=z2(z∈Z) 且 gcd(y,z)=1\gcd(y, z) = 1gcd(y,z)=1 则在 xxx,yyy 之间连边。
求证得出的是二分图。