小猿辅导的题目是吧

先证一些trivial的情况
当n=偶，x^2 mod n =奇 -> x=奇 -> 不存在两个相邻，显然成立
余数关于n*k/2对称（k为非负整数）。接下来考虑关于n对称或关于n/2对称的连续长度

吧里应该有过做法的，等我遍历搜索一会…

有什么可行的方向了吗

@printf 乱暗示是违规的~再这样我就举报你 我昨晚出去玩，没看吧主消息

6楼好像有一点点问题?!
情形(1)的n²/4+n(q-t) 应该是一个整数加1/4，当n²/4+n(q-t)≥5/4>1/2 时，n/2 两边应该是不连续的两段
但是n²/4+n(q-t)≤1/4<1/2时，应该就得归到情形(2)了，这时由n/4+q-t= L+n0/4+q-t ≤1/4n，n0等于1或3，在n>1时也能得到L+n0/4+q-t<0，L+q-t≤-1，后续部分就不影响了
后面还有一步 2[α +1/2]≤[ 2α +1]，没有想清楚是怎么证明的 ( α = √(3n/4) )

@蔸蔸白 蔸蔸白它刚刚找到原题了，是2018年塞尔维亚奥林匹克的数论题