UVA10720 Graph Construction 度序列可图性

Luogu传送门（UVA常年上不去）

题意：求一个度序列是否可变换为一个简单图。$\text{序列长度} \leq 10000$

---

题目看起来很简单，但是还是有一些小细节需要注意
首先一个简单的结论：一张图的所有点的度数之和为偶数，因为每一条边都会对度数和产生$2$的贡献。通过这一个结论可以判断掉很多的非法情况。
当然如果做到这里就天真地交上去了，在若干秒之后就会给你显示一个喜庆的$WA$，因为我们还有一个很重要的因素没有考虑：图是一个简单图。简单图意味着不能有重边和自环，而上面的那个结论不足以判断图中是否必定存在重边和自环。
我们按照如下的思路考虑：因为度数比较大的点最有可能出现重边和自环，所以我们考虑这些点尽可能地向其他的点连边后会不会有度数的剩余。
将给出的序列$a$从大到小排序，设其非$0$元素长度为$p$，考虑一个长度为$i$的前缀，这$i$个点之间连边产生$i \times (i - 1)$的贡献，而这$i$个点与其余$(p-i)$个点连边又产生$i \times(p-i)$的贡献，也就是说如果$\sum \limits _{k=1} ^i a_k > i \times (p-1)$，则这个序列是不可图的。
然后又激动地交了上去，然后又$WA$了，然后去$Udebug$上找数据，发现了这样一组数据：

事实上这一组数据是非法的，因为对于$6$和$7$来说，至少要连出$11$条边，但是实际上最多只能连出$10$条边（有两个$1$），所以上面的算法有疏漏。疏漏在哪里呢？是$\sum \limits _{k=1} ^i a_k > i \times (p-1)$的右半边多算了（比如说上面数据在$i=2$时的两个$1$的贡献就多算了）

所以我们考虑：维护一个指针，将比当前的$i$小的数全部丢到一边，单独维护它们的和，再加上没有被丢掉的点的个数$\times i$，与$\sum \limits _{k=1} ^i a_k$作比较，如果大了表示当前序列不合法。这种算法就可以$AC$这道题了。
为什么这个题目写了这么长的题解qwq

 #include<bits/stdc++.h>
 using namespace std;

 inline int read(){
     int a = ;
     char c = getchar();
     bool f = ;
     while(!isdigit(c)){
         if(c == '-')
             f = ;
         c = getchar();
     }
     while(isdigit(c)){
         a = (a << ) + (a << ) + (c ^ '');
         c = getchar();
     }
     return f ? -a : a;
 }

 int num[];

 bool cmp(int a , int b){
     return a > b;
 }

 int main(){
     #ifndef ONLINE_JUDGE
     freopen("10720.in" , "r" , stdin);
     freopen("10720.out" , "w" , stdout);
     #endif
     int N;
     while(N = read()){
         bool f = ;
         for(int i =  ; i <= N ; ++i){
             num[i] = read();
             if(num[i] & )
                 f ^= ;
         }
         sort(num +  , num + N +  , cmp);
         int sum =  , p = N , lst , add = ;
         while(p && !num[p])
             --p;
         lst = p;
         for(int i =  ; !f && i <= lst ; ++i){
             sum += num[i];
             if(sum - i * (i - ) - i * (p - i) - add > )
                 f = ;
             while(p > i && num[p] == i)
                 add += num[p--];
             if(p == i)
                 add -= num[++p];
         }
         puts(f ? "Not possible" : "Possible");
     }
     return ;
 }