bzoj 2257[Jsoi2009]瓶子和燃料数论/裴蜀定理

题目

Description

jyy就一直想着尽快回地球，可惜他飞船的燃料不够了。
有一天他又去向火星人要燃料，这次火星人答应了，要jyy用飞船上的瓶子来换。jyy
的飞船上共有 N个瓶子(1<=N<=1000) ，经过协商，火星人只要其中的K 个。 jyy
将 K个瓶子交给火星人之后，火星人用它们装一些燃料给 jyy。所有的瓶子都没有刻度，只
在瓶口标注了容量，第i个瓶子的容量为Vi（Vi 为整数，并且满足1<=Vi<=1000000000 ）。
火星人比较吝啬，他们并不会把所有的瓶子都装满燃料。他们拿到瓶子后，会跑到燃料
库里鼓捣一通，弄出一小点燃料来交差。jyy当然知道他们会来这一手，于是事先了解了火
星人鼓捣的具体内容。火星人在燃料库里只会做如下的3种操作：1、将某个瓶子装满燃料；
2、将某个瓶子中的燃料全部倒回燃料库；3、将燃料从瓶子a倒向瓶子b，直到瓶子b满
或者瓶子a空。燃料倾倒过程中的损耗可以忽略。火星人拿出的燃料，当然是这些操作能
得到的最小正体积。
jyy知道，对于不同的瓶子组合，火星人可能会被迫给出不同体积的燃料。jyy希望找
到最优的瓶子组合，使得火星人给出尽量多的燃料。

Input

第1行：2个整数N,K，
第2..N 行：每行1个整数，第i+1 行的整数为Vi

Output

仅1行，一个整数，表示火星人给出燃料的最大值。

Sample Input

3 2

Sample Output

一句话题意

本来只是想单纯地学习一下裴蜀定理，没想到碰到了这题。乍一看好眼熟啊，这不就是学姐出的一道几乎一模一样的题吗（逃。讲那题时说了裴蜀定理，当时还听懂了，只是下课后就忘了orz，但是最后还说解决这题用分块（？？？

那么我们先来看一看裴蜀定理吧

从oi的角度看，裴蜀定理：

对于任意整数a,b，存在一对整数x,y使 ax+by=gcd(a,b)

证明部分可以出门左转baidu...

那么跟本题有什么关系呢？看了好多log的博客，都对求gcd的原因一带而过。然而我太蒟啊，看不出这是显然的。

先看两个瓶子的情况，如果两个瓶子的容量分别为a,b，那么两个瓶子乱搞出的容量为ax+by,又因为gcd(a,b)|ax+by，

所以最小体积为gcd(a,b)。推广到n个瓶子，就是这n个瓶子容量的gcd。

这话不是我说的是另一位神犇说的

代码搞一搞（vector用不好，只能用朴素的方法

 #include<cmath>

 #include<algorithm>

 #include<cstdio>

 #include<vector>

 using namespace std;

 int n,k,ans=,step;

 int cnt[];

 bool cmp(int a,int b)

 {

     return a>b;

 }

 void apart(int x)

 {

     for(int i=;i*i<=x;i++)

     {

         if(x%i==)

         {

             cnt[++step]=i;

             if(x/i!=i) cnt[++step]=x/i;

         }

     }

 }

 int main()

 {

     scanf("%d%d",&n,&k);

     for(int i=;i<=n;i++)

         {

             int x=;

             scanf("%d",&x);

             apart(x);

         }

         sort(cnt+,cnt+step+,cmp);

         for(int i=;i<=step;i++)

         {

             if(cnt[i]==cnt[i-])

             {

                 ans++;

                 if(ans==k)

                 {

                     printf("%d",cnt[i]);

                     return ;

                   }

             }

             else ans=;

         }

     return ;

 }

更多的有关裴蜀定理

在数论中，裴蜀定理是一个关于最大公约数（或最大公约式）的定理。裴蜀定理得名于法国数学家艾蒂安·裴蜀，说明了对任何整数a、b和它们的最大公约数d，关于未知数x和y的线性丢番图方程（称为裴蜀等式）：

　　ax + by = m

　　有解当且仅当m是d的倍数。裴蜀等式有解时必然有无穷多个整数解，每组解x、y都称为裴蜀数，可用辗转相除法求得。

　　例如，12和42的最大公因子是6，则方程12x + 42y = 6有解。事实上有(-3)×12 + 1×42 = 6及4×12 + (-1)×42 = 6。

　　特别来说，方程 ax + by = 1 有解当且仅当整数a和b互素。

　　裴蜀等式也可以用来给最大公约数定义：d其实就是最小的可以写成ax + by形式的正整数。这个定义的本质是整环中“理想”的概念。因此对于多项式整环也有相应的裴蜀定理。