裴蜀定理

裴蜀定理其实很简单。

就是如果(a,b)|n的话，ax+by=n一定存在一组合法解 。

但出于数学的严谨性，我还是把百度百科的解释抓过来了，

裴蜀定理（或贝祖定理，Bézout's identity）得名于法国数学家艾蒂安·裴蜀，

说明了对任何整数a、b和它们的最大公约数d，关于未知数x和y的线性不定方程（称为裴蜀等式）：

若a,b是整数,且（a,b)=d，那么对于任意的整数x,y,ax+by都一定是d的倍数，

特别地，一定存在整数x,y，使ax+by=d成立。

它的一个重要推论是：a,b互质的充要条件是存在整数x,y使ax+by=1.

int check(int x,int y){
    if (x%d==0 && y%d==0) return 1;
    return 0;
}