@Flying2018 https://www.luogu.com.cn/blog/[Flying2018](/user/52902)/qian-tan-zi-fu-chuan-hash

抱歉没有早点看，已经加入候选队列

但是为什么你要说hash的式子是生成函数而不是b进制数呢，b进制数才更接近本质吧

然后自然溢出是可以构造卡掉的，不过自然溢出常数确实小，能用就用吧

@wangdemao 感谢投稿，不予通过

@Aw顿顿 @TRZ_2007 感谢投稿，不予通过

另外，k维树状数组何苦呢。。

@盧鋅 感谢投稿，您有兴趣的话可以去看2019年集训队论文，有Catalan数相关的

@C3H5ClO

根据扩展欧几里得算法是个啥。。应该根据$\mathbb{Z}_p$是一个域，所以存在逆元

类比复数是个啥。。你得写$\mathbb{Z}_p[\sqrt{w}]$，然后明确定义运算

定理5a的差分描述不清

$\overline{u}$是啥没说，下面突然绝对值，然而上面说的范数，最好统一说法

分解4n+1型素数不严谨，没有证明存在这样的k。（这种东西怎么注意到呢）

令$N(a+bi)=a^2+b^2$（范数），则一个数$x$能分解为$x=\prod_i p_i$当且仅当$N(x)=\prod_i N(p_i)$。可以证明这个范数满足欧几里得整环的要求，所以高斯整数$\mathbb{Z}[i]$是欧几里得整环，所以唯一分解，还可以搞欧几里得算法。其实你下面就在证明这个事情了，可以把它放上去