突然意识到好久没推歌了，而且最近的内容也和“闲话”两字丝毫不沾边。但是上一句话和闲话二字沾边了。
今日推歌：
月光 - はるまきごはん / キタニタツヤ / 初音ミク / 鏡音リン
歌词
ガラクタばかりを集めて
一味收集毫无价值的杂物
ボロ切れひとつを被せた
以一块破碎旧布轻轻包裹
醜い形をしたレプリカ
形成外貌拙劣的复制品
誰かが紡いだ言葉を
是将他人编织的话语
誰かが奏でた音色を
以及他人奏响的音色
歪にコラージュした偽物
扭曲地拼凑而成的仿制品
一番最初はベイルの中
最初只是隐藏面纱之下
革新的な少年の愛情が
革新性的少年热爱之情
僕ら
然而
気付いたらもう見えなくなる
它早已在不知不觉间无迹可寻
おもちゃを無くした子供が泣いている
独留我们像丢失了玩具的小孩一样哭泣
どうしてだろう？
究竟是为什么呢？
あのスポットライトに
在那聚光灯之下
照らされている
沐浴万众光芒的
その背中はまたこの手から
那个背影又再度
遠ざかっていく
逐渐远离这只手
あなたみたいに
绝对无法变成
なれやしなくて
像你这样的人
あの月を追いかけるように
如同追逐着那月亮一般
渇いた心は
充满渴望的内心
満たされないまま
至今也未能填满
一人になって一人になって
纵然失去同伴 即使孤身一人
くすんだ夢を見続けてしまった
也仍旧在追逐着日渐暗淡的梦想
なぞる僕たちは
模仿他人的我们
ガラクタだって、ボロ切れだって
哪怕毫无价值，即使衣衫褴褛
その心臓が放つ血液には
从心脏中喷涌而出的血液
僕だけの怒りがあった
也饱含独属于我的愤怒
足りないのなんだったんだろう
到底是哪里还不足够呢
神様に聞いてきたあとで
我试图向神明寻求答案
堕天使の弓矢に口止めされた
却被堕天使的弓箭堵上了嘴
初めから知っていたんだよ
其实从最初开始就已然知晓
忘れた芝居をしてんだよ
却选择视而不见故作遗忘
貰いもんの剣を抱きしめている
只是紧紧怀抱着那被赠与的宝剑
何十回目の失望だろう？
已经失望第几十次了呢？
いっそ何もかもを捨ててしまいたいと
甚至想要干脆就把一切都尽数抛弃吧
きっと最後は何も残らない
到头来肯定什么也不会剩下
愛も、紡いだ音も、名前も朽ちていく
爱、纺织的音色、甚至名字都归于腐朽
どうしてだろう？
究竟是为什么呢？
この胸の奥に
这在我的内心深处
こびり付いている
紧紧缠绕不放
冬の夜の静寂に似た孤独を
犹如冬夜的静寂一般的孤独
あなたはきっと
你肯定就连这一点
知りもしないで
都不曾知晓吧
一人星を見ていた
独自一人看着星星
赤い目の僕に気も留めないまま
丝毫没有留意到我已通红的双眼
隣に立った
近在身旁的你
あなたは遠くて
却显得如此遥远
くすんだ夢も見えなくなってしまって
就连那日渐暗淡的梦想也已经无迹可寻
それでも追い続けて
即使如此仍不停追逐
偽物だって、真実（ほんとう）だって
是虚假也好，是真实也罢
今振り返ればただそこには
此刻若回首过往 会发现在那里
ぼやけた記憶があった
只留下一片朦胧的记忆
廃物と化したアイロニー
面对化作废品的冷嘲热讽
クリシェを抜け出したいのに
明明想要从那陈词滥调中脱身
「また誰かの焼き直し？」
“然而终究还是谁的翻版？”
数多の星の屑たち
漫天闪烁的群星们
沈み消えゆくユースタシー
随着海面升降徐徐沉没
無慈悲な月の光
徒留这残忍月光
「アイデンティティさえまやかし？」
“就连自我证明亦是伪造？”
「盗んででも愛が欲しい？」
“不惜偷窃也想要这份爱？”
羊のような雲が浮かんだ昼すぎ
飘浮着羊羔般轻柔的云朵的午后
懐かしい歌が風に揺れている
令人怀念的歌声随风轻轻飘扬
あなたの声で教えて貰った言葉
你曾经告诉过我的那些珍贵话语
今でも忘れぬように
如今的我也依然谨记于心
書き留めてる同じことを
不曾忘记 从未改变
あなたみたいに
绝对无法变成
なれやしなくて
像你这样的人
あの月を追いかけるように
如同追逐着那月亮一般
渇いた心は
充满渴望的内心
満たされないまま
至今也未能填满
時間が経って
纵然时间流逝
時間が経って
即便历经风霜
振り返る時目を逸らさぬように
回顾往事时 只愿那眼神不必躲闪
なぞる僕たちは
模仿他人的我们
ガラクタだって、ボロ切れだって
哪怕毫无价值，即使衣衫褴褛
醒めぬ夢を追っていった先には
在追逐永不醒来的梦想之路上
僕だけの光が、ずっと
只属于我的光芒，永远在前方闪耀
有点难，但是得到了一个看上去挺对的答案 .
把相同颜色等价于连边，即为 \((i,j)\to(j,(i+j)\bmod 2^n)\)，不难验证，所有点只有一个前驱，所以连成图就是一堆环，那么命题等价于证明环的个数最多为 \(2^n\) .
可以注意到的是，以 \((0,i)\) 为开头的循环是有好性质的，其前驱为 \((i,0)\)，之后的点是 \((i\cdot f_{n-1},i\cdot f_n)\) 形式，其中 \(f_n\) 为斐波那契数列 .
设以 \((0,i)\) 的循环长度为 \(len\)，因为 \((0,i)\) 的前驱为 \((i,0)\)，所以 \(len\) 为第一个满足 \(i\cdot f_{len-1}\equiv i\pmod {2^n},i\cdot f_{len}\equiv 0\pmod {2^n}\) 的正整数，转化一下得：\(f_{len-1}\equiv 1\pmod {\frac{2^n}{(2^n,i)}},f_{len}\equiv 0\pmod {\frac{2^n}{(2^n,i)}}\)，容易验证 \(len\) 等于皮萨诺周期，所以假设每个 \((0,i)\) 都在不同的循环内，则所有循环的长度和为：
所以如果都在不同的循环内的话，正好覆盖所有点，因此 \(2^n\) 是颜色的上界 .
感觉我这个证明和官方题解缺了点啥，但是好像还挺对的，如果我这个证明哪里有问题请在评论区指出 .
附官方题解 .
