每次一想到 BSGS，映入脑海的不是 Baby-Step Giant-Step，而是「北上广深」算法……

群是什么？裴蜀定理又是什么？它们和 ElGamal 算法又有什么千丝万缕的联系？