Codeforces 990D - Graph And Its Complement

传送门：http://codeforces.com/contest/990/problem/D

这是一个构造问题。

构造一张n阶简单无向图G，使得其连通分支个数为a，且其补图的连通分支个数为b。

对于一张n阶简单无向图G，若此图不连通，则其补图是连通的。

证明：

首先，在简单无向图G中，若结点u、v（u≠v）不连通，则在其补图中，u、v必然连通。

将图G=<V,E>划分为k个连通分支，Gi=<Vi,Ei>，i=1,2,...,k。在V中任取两点u、v（u≠v）。

若u∈Vi，v∈Vj，且i≠j，则u、v在图G中不连通，则u、v必然在其补图中连通；

若u,v∈Vi，则必然存在w∈Vj，且i≠j，使得u、w和v、w在补图中连通。

于是，在题中，a、b中至少有一个为1。

接下来构造连通分支：若一个n阶简单无向图有k（k≥2）个连通分支，则可以构造其连通分支分别为{1},{2},...,{k-1},{k,k+1,...,n}。

参考程序如下：

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

#define MAX_N 1000

bool adj[MAX_N][MAX_N];

int main(void)
{
    int n, a, b;
    cin >> n >> a >> b;
    bool flag = ;
    if (a !=  && b != ) flag = ;
    if ((n ==  || n == ) && (a + b == )) flag = ;
    if (!flag) {
        cout << "NO" << endl;
        return ;
    }
    cout << "YES" << endl;
    if (b == ) {
        memset(adj, , sizeof(adj));
        for (int i = a; i < n; i++) {
            adj[i - ][i] = ;
            adj[i][i - ] = ;
        }
    }
    else {
        memset(adj, -, sizeof(adj));
        for (int i = ; i < n; i++) adj[i][i] = ;
        for (int i = b; i < n; i++) {
            adj[i - ][i] = ;
            adj[i][i - ] = ;
        }
    }
    for (int i = ; i < n; i++) {
        for (int j = ; j < n; j++)
            putchar(adj[i][j]? '': '');
        putchar('\n');
    }
}