T1
把所有数字从小到大排序，如果存在a[i]>s[i-1]+1或s[n]<m则不行，否则一定可以。
证明可以利用数学归纳法。
假设1~s[i-1]可以被表示出，那么我们可以先强制把a[i]加上，此时，对于s[i-1]+1~s[i-1]+a[i]这块区间可以通过删掉一些之前的物品，
从而来凑出这个区间的任意一个数，但是，由于前i-1个数字最多只能达到s[i-1]，一旦a[i]超过s[i-1]+1，就会导致无法凑出。
例如当a[i]=s[i-1]+1+1，此时，s[i-1]+1就无法被表示。
T2