HDU 5813 Elegant Construction

Elegant Construction

Time Limit: 4000/2000 MS (Java/Others)    Memory Limit: 65536/65536 K (Java/Others)
Total Submission(s): 204    Accepted Submission(s): 112
Special Judge

Problem Description

Being an ACMer requires knowledge in many fields, because problems in this contest may use physics, biology, and even musicology as background. And now in this problem, you are being a city architect!
A city with N towns (numbered 1 through N) is under construction. You, the architect, are being responsible for designing how these towns are connected by one-way roads. Each road connects two towns, and passengers can travel through in one direction.

For business purpose, the connectivity between towns has some requirements. You are given N non-negative integers a1 .. aN. For 1 <= i <= N, passenger start from town i, should be able to reach exactly ai towns (directly or indirectly, not include i itself). To prevent confusion on the trip, every road should be different, and cycles (one can travel through several roads and back to the starting point) should not exist.

Your task is constructing such a city. Now it's your showtime!

 

 

Input

The first line is an integer T (T <= 10), indicating the number of test case. Each test case begins with an integer N (1 <= N <= 1000), indicating the number of towns. Then N numbers in a line, the ith number ai (0 <= ai < N) has been described above.

 

 

Output

For each test case, output "Case #X: Y" in a line (without quotes), where X is the case number starting from 1, and Y is "Yes" if you can construct successfully or "No" if it's impossible to reach the requirements.

If Y is "Yes", output an integer M in a line, indicating the number of roads. Then M lines follow, each line contains two integers u and v (1 <= u, v <= N), separated with one single space, indicating a road direct from town u to town v. If there are multiple possible solutions, print any of them.

 

 

Sample Input

3

3 2 1 0

2

1 1

4

3 1 1 0

 

Sample Output

Case #1: Yes

2

1 2

2 3

Case #2: No

Case #3: Yes

4

1 2

1 3

2 4

3 4

 

构造

/* ***********************************************
Author        :guanjun
Created Time  :2016/8/9 15:59:08
File Name     :p705.cpp
************************************************ */
#include <iostream>
#include <cstring>
#include <cstdlib>
#include <stdio.h>
#include <algorithm>
#include <vector>
#include <queue>
#include <set>
#include <map>
#include <string>
#include <math.h>
#include <stdlib.h>
#include <iomanip>
#include <list>
#include <deque>
#include <stack>
#define ull unsigned long long
#define ll long long
#define mod 90001
#define INF 0x3f3f3f3f
#define maxn 1010
#define cle(a) memset(a,0,sizeof(a))
const ull inf = 1LL << 61;
const double eps=1e-5;
using namespace std;

struct node{
    int x;
    int id;
}nod[maxn];
int n;
int b[maxn][maxn];
bool cmp(node a,node b){
   return a.x<b.x;
}
int main()
{
    #ifndef ONLINE_JUDGE
    freopen("in.txt","r",stdin);
    #endif
    //freopen("out.txt","w",stdout);
    int T;
    cin>>T;
    for(int t=1;t<=T;t++){
        cle(b);
        scanf("%d",&n);
        for(int i=1;i<=n;i++){
            scanf("%d",&nod[i].x);
            nod[i].id=i;
        }
        sort(nod+1,nod+1+n,cmp);
        int mark=0,ans=0;

        for(int i=1;i<=n;i++){
            if(nod[i].x>=i){
                mark=1;break;
            }
            for(int j=1;j<=nod[i].x;j++){
                b[nod[i].id][nod[j].id]=1;
                ans++;
            }
        }
        if(mark)printf("Case #%d: No\n",t);
        else{
            printf("Case #%d: Yes\n",t);
            printf("%d\n",ans);
            for(int i=1;i<=n;i++){
                for(int j=1;j<=n;j++){
                    if(b[i][j]){
                        printf("%d %d\n",i,j);
                    }
                }
            }
        }
    }
    return 0;
}