codeforces755E PolandBall and White-Red graph -- 构造

传送门

题目大意：

构造一个$n$个点的无向图，使这张图的直径与其补图的直径的最小值为$k$，其中图的直径表示图中所有点对间最短路径的最大值。

我们先证明一个结论：如果图$G$的直径大于$3$，那么它的补图$G^{'}$的直径一定小于$3$。

证明：
$~~~~~~~$设图$G(V,E)$的直径为$(u,v)$，$S$表示与$u$相邻的点的集合，$T$表示与$v$相邻的点的集合。由于图的直径大于$3$，所以$S$中的点与$T$中的点一定不相邻。
令$P=S\bigcup T$，$Q=V-P$。然后我们对$G^{'}$中的点对$(x,y)$分类讨论：

• 若$x$与$y$都在$P$中：如果$x$与$y$都在$S$中，那么在$G^{'}$中一定存在一条$x\rightarrow v\rightarrow y$的路径。在$T$中同理。否则如果一个在$S$中，一个在$T$中，那么在$G$中$x$与$y$一定不相邻，在$G^{'}$中一定相邻。于是$x$与$y$的距离小于$3$。
• 若$x$与$y$都在$Q$中：如果$x$或$y$就是$u$，那么在$G^{'}$中$x$与$y$一定相邻。否则$G^{'}$中一定存在一条$x\rightarrow u\rightarrow y$的路径。于是$x$与$y$的距离小于$3$。
• 若$x$在$P$中，$y$在$Q$中：如果$x$在$S$中，那么在$G^{'}$中一定存在一条$x\rightarrow v\rightarrow y$的路径。在$T$中同理。于是$x$与$y$的距离小于$3$。

这样就证完了。

显然$k=1$一定是无解的。于是我们只需构造$k$等于$2$和$3$时的答案。
当$k=2$时：
显然如果连成一条链，$G^{'}$的直径一定是$2$。判一下$n=4$时无解就可以了。
当$k=3$时：
将前$3$个点依次连成一条链，后面的点都连向第$3$个点，那么$G$与$G^{'}$的直径都是 3 <script type="math/tex" id="MathJax-Element-25704">3</script>。

代码：

#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
using namespace std;
int i,j,k,n,m,p;
int main(){
    scanf("%d%d",&n,&k);
    if(n<4||k==1||k>3){
        puts("-1");
        return 0;
    }
    if(k==3){
        printf("%d\n",n-1);
        printf("1 2\n2 3\n");
        for(i=4;i<=n;i++)printf("%d %d\n",3,i); 
        return 0;
    }
    if(n==4)puts("-1");else{
        printf("%d\n",n-1);
        for(i=2;i<=n;i++)printf("%d %d\n",i-1,i);
    }
    return 0;
}