[学习笔记]省选算法·数论·BSGS算法

一、开头

（浙江省神犇协会）
神犇1号：ZJOI 2018的题大家都AK了吗？
全体神犇：AK了！
神犇1号：7号神犇，你认识那个弱弱的xyz32768吗？
神犇7号：是的，我认识！我现在就去D他！
（X省Y市）
神犇7号：告诉你，ZJ的神犇协会从此有一个规矩：第1天，协会派我，也就是7号神犇来D人，第2天，协会就派49号神犇来D人，第3天，就派343号神犇来D人，以此类推。我们这里的神犇人数为$10^9+6$，所以，如果是第$n$天，
就派$7^n\mod(10^9+7)$号神犇来D人。
我们这里最巨的神犇是$168812736$号，就考考你：最少在第几天，这号神犇会来D你？
xyz32768：难道，一个一个枚举$n$？
神犇7号：如果想不出来的话，我马上去叫168812736号神犇出来！
xyz32768：我还真的不会什么高端的数论算法。
神犇7号：168812736号神犇，在浙江吗？我又D了一个弱鸡！
神犇168812736号：切，BSGS这么水的算法，我们协会里每一个人都会，就你不会，辣鸡！
xyz32768：BSGS？北上广深？拔山盖世？
神犇7号&神犇168812736号：哈，菜！

二、引入

开头中ZJ神犇7号提出的问题就是一个经典模型：
给定$A,B,C$（$C$是质数），求满足

Ax≡B(modC)