摘要：如果a和p互质，用扩欧求逆元就可以直接套用普通BSGS。考虑怎么将其化至这种情况。 注意到当x>=logp时gcd(ax,p)是一个定值，因为这样的话每个存在于a中的质因子，其在ax中的出现次数一定比在p中的多。 于是对x<logp的情况暴力验证。对x>=logp的情况，设d=gcd(ax,p)，剩 阅读全文

摘要：显然multiset求出每次用哪把剑。注意到除了p=1的情况，其他数据都保证了ai<pi，于是先特判一下p=1。比较坑的是还可能存在ai=pi，稍微考虑一下。 剩下的部分即解bix≡ai(mod pi)方程组。没有保证模数互质，于是excrt一发。excrt实际上就是不停exgcd合并两个方程。 这 阅读全文