CF755E PolandBall and White-Red graph

PolandBall 拥有一个包含 $n$ 个顶点的无向简单图。不幸的是，这个图没有任何边，因此它很伤心。PolandBall 想让图更开心一些，于是他打算添加一些红色的边。接着，他会将剩下的所有位置都加上白色的边。因此，最终得到的图是一个由白色和红色两种颜色边构成的完全图。 图的“多彩度”被定义为 $min(d_r, d_w)$，其中 $d_r$ 是红色子图的直径，$d_w$ 是白色子图的直径。图的直径指的是在该子图中，存在最短路径长度为 $d$ 的顶点对的最大值。如果子图不连通，则认为它的直径为 -1。 PolandBall 希望最终得到的图的多彩度等于 $k$。你能帮帮 PolandBall 找到符合要求的某个图么？

唯一一行包含两个整数 $n$ 和 $k$（$2 \leq n \leq 1000$，$1 \leq k \leq 1000$），表示图的顶点个数和期望的多彩度。

如果不存在符合条件的图，输出 $-1$。 否则，你可以输出任意一个满足 PolandBall 要求的图。首先输出一个整数 $m$，表示红色边的数量。接下来输出 $m$ 行，每行两个整数 $a_i$ 和 $b_i$（$1 \leq a_i, b_i \leq n$，$a_i \neq b_i$），表示在顶点 $a_i$ 和 $b_i$ 之间连一条无向红色边。每条红色边只需输出一次，边的顺序及顶点编号顺序均不限。 请注意，PolandBall 的图必须保持简单图，因此不能有自环或重边。

在第一个样例中，没有图能够满足 PolandBall 的要求。 在第二个样例中，红色子图是从 $1$ 到 $5$ 的一条路径，其直径为 $4$。而白色子图的直径为 $2$，因为它包含边 $1$-$3$、$1$-$4$、$1$-$5$、$2$-$4$、$2$-$5$、$3$-$5$。 由 ChatGPT 5 翻译