（蓝桥杯省赛）最少砝码（数学+构造）

题目：

分析：这是一道构造题目，假设我们组成0~k最少需要的数的数目是n，且组成0~k+1最少需要的数目是n+1，那么我们第n+1个数选2*k+1可以使得我们这n+1个数能够组成0~3*k+1中的任意数，先给出这个构造方法：

由于0~k我们可以由原来的n个数组成，所以就不需要额外构造了，从k+1开始：

k+1=(2*k+1)-k k可以由前n个数组成

k+2=(2*k+1)-(k-1)

……

k+k=(2*k+1)-(1)

2*k+1=(2*k+1)-(0)

2*k+2=(2*k+1)+(1)

……

3*k=(2*k+1)+(k-1)

3*k+1=(2*k+1)+k

第n+1个数最大取到2*k+1吗？如果要是大于2*k+1呢？假如对于第n+1个数s>2*k+1，那么由于前n个数最大表示的数是k，那么对于k+1则无法表示，因为对于k+1的表示要么是由第n+1个数-前n个数组成的一个数得到，要么就只能由前n个数组成得到，但是由于前n个数最大组成k，所以一定不可能只由前n个数组成，但是若想由第n+1个数-前n个数组成的一个数得到，那么需要前n个数组成一个>k的数，因为第n+1个数s>2*k+1么，所以这也是不可能的，所以我们就知道第n+1个数一定不能比2*k+1大，但是2*k+1又能够满足构造，所以第n+1个数就是取2*k+1.

至于代码就很好实现了，下面直接附上代码：