题目链接:http://poj.org/problem?id=1006
解题思路:中国剩余定理
一个数x对其他a【n】个数取模,结果为非零的b【n】个数,求x?
前提:a【n】个数两两互质,(x%6=4,x%9=7合并为x%3=1)
设M为a【n】个数相乘,显然M%a【i】==0,
令Mi=M/ai,则Mi与ai互质(因为ai是互质的,它们的积/ai只会与ai互质)
但是互质不代表Mi%ai==1,Mi%ai==1可以推出Mi与ai互质,
但是一定存在ti×Mi%ai==1,ti一定存在,这个我们可以算出来,哪为什么求ti?
最后x的最小解为(bi×ti×Mi)的和%(ai的最小公倍数,由于互质,最小公倍数lcm为ai相乘)
证明:ti×Mi%ai为1是我们特意设计的,bi×ti×Mi%ai==bi,虽然我们是对lcm取余,但是Mi就等于除lcm/ai,是不会留下其他余数的
带入x%ai,对应的bi保留,其他项的Mi中含有ai取余为0,最终结果为bi,及证明x为解。
通式:x=(bi×ti×Mi)的和%lcm(a【n】)+K×lcm(a【n】)(两个解之间差个lcm)