2020.3.18 upd : 添加P5345、P4454两题
2020.5.16 upd : 添加CF1106F
2022.2.21 : 添加P4028
BSGS（baby-step gaint-step），即大步小步算法。常用于求解离散对数问题。形式化地说，该算法可以在 O(\sqrt p) 的时间内求解
其中a \perp p 。方程的解满足 0\leq x< p。（在这里需要注意，只要 a \perp p 就行了，不要求 p 是素数）
详见oi-wiki