| For All Solvers
OMC188

OMC188(D) - lcm(x,y,z) を固定

ユーザー解説 by jjmmxx

 twitterで見つけた誰かの解法です.誰だったか忘れました...><


 lcm(x,y,z)=k\mathrm{lcm} (x,y,z) = k となる (x,y,z)(x,y,z) の個数を C(k)C(k) で表すと, Sn=k=1nC(k)×nkS_n = \sum_{k=1}^n C(k) × \Big \lfloor \frac{n}{k} \Big \rfloor である.
 ここで,k=p1e1p2e2pmemk = p_1^{e_1}p_2^{e_2} \cdots p_m^{e_m} とすると C(k)=((e1+1)3e13)×((e2+1)3e23)××((em+1)3em3)C(k) = ((e_1+1)^3 - e_1^3) × ((e_2+1)^3 - e_2^3) × \cdots × ((e_m+1)^3 - e_m^3) なので,常に奇数となる.従って Snk=1nnk(mod2)S_n \equiv \sum_{k=1}^n \Big \lfloor \frac{n}{k} \Big \rfloor \pmod 2 であり,あとは他の方のユーザー解説と同様.


 いろんな解法があって面白いなぁと思いました.