離散對數的波拉德ρ算法

離散對數的波拉德ρ算法是1978年所發明解決離散對數問題的算法 。 算法的目標是求 使得 ， 其中 屬於一個由 生成的 循環群 。 該算法尋找,,, 使得 。 若他們基於的群是一個 階的循環群 ， 則 是方程 的其中一個解 。 爲求得,,, ， 該算法使用 Floyd判圈算法 在數列 中尋找一個環 。 假設映射 是近似於隨機的 ， 則有可能在約 步後發現一個環 。 可使用一下規則來生成一個此類映射 ： 將 分割爲三個不相交的子集 ， ， ， 且其所含元素數量大致相等 ， 如果 則將 和 加倍 ； 如果 則將 自增 ； 如果 則將 自增 。