Codeforces 41E 3-cycles

题意

n个顶点的简单图，求没有三元环的最大边数，并且输出这些边。

题解

假设有任意没有三元环的简单图G(V,E)，我们先来证明这个图可以被转化为一个二分图并且保持顶点数边数不变：

假设图G的最大出度点为v0，最大出度为m，那么与v0相连的m个顶点互不连接，设这m个顶点为集合X，我们可以把集合V-X的所有边都转向与X连接（V-X的出度都不大于m），于是G被转化为了一个二分图。

因为任意没有三元环的简单图都可以被转化为边数相同顶点数相同的二分图，所以任意n个顶点的没有三元环的简单图的边数都不大于n个顶点的二分图的最大边数，而且二分图也是没有三元环的，所以n个顶点的二分图的最大边数也不大于任意n个顶点的没有三元环的简单图的最大边数，于是任意n个顶点的没有三元环的简单图的最大边数=n个顶点的二分图的最大边数。

于是原问题也被转化为了求n个顶点的二分图的最大边数，这就比较简单了。首先肯定是完全二分图，并且根据柯西不等式二分的顶点数越接近越好，答案就是(n//2)*(n-n//2)。

二分图也是没有三元环的，所以直接输出这个完全二分图即可。