近似公因数问题（Approximate Common Divisor Problem，ACDP）

前言

给定两个整数$a$和$b$，存在整数$d$，使得$d|a$并且$d|b$。即$d$同时整除$a$和$b$，我们把$d$叫做$a$和$b$的公因数，满足条件的$d$的最大值，叫做$a$和$b$的最大公因数（GCD）。
通过辗转相除法或者错位相减法，可以在多项式时间内求出$a$和$b$的最大公因数。
现在，我们考虑，$a$和$b$在传输的过程中出现了一些小错误。得到$a^{\prime }=a+e_1$和$b^{\prime }=b+e_2$，那么是否可以在多项式时间内求出$d$。这就是站在解码的角度的近似公因数问题。

定义

论文：《Approximate Integer Common Divisors》中仔细讨论了这个问题。
更加正式的描述如下：
给定两个整数$a_0$和$b_0$，参数$X,Y,M$。近似公因数问题是寻找这样一个或者所有的$d>M$，使得$d|(a_0+x_0)$和$d|b_0+y_0$ ，其中$|x_0|\ne X$，$|y_0|\ne Y$。
不妨设$X\ge Y$，如果$Y=0$，那么问题叫做部分近似公因数问题（Partially Approximate Common Divisor Problem，PACDP）；如果$Y>0$那么叫做一般的近似公因数问题（General Approximate Common Divisor Problem，GACDP）。

应用

解决该问题的算法，可以用来设计纠错码。由于问题本身是一个困难的问题，所以也有基于该问题设计的密码算法。