A graph is triangle-free, but adding any edges to the graph will form a triangle. It's given that , , find the minimum of .
Solution
Given a graph that is triangle-free, but adding any edges to the graph will form a triangle, and with and , we need to find the minimum number of edges .
We claim that the minimum number of edges is where . This bound is attained for a graph constructed as follows: take a 5-cycle , and replace one of the vertices with an independent set of vertices, each of which is adjacent to the two neighbors of the original vertex.
To prove this, consider the following:
1. Diameter Condition: The graph has diameter 2 because any two vertices with distance greater than 2 could have an edge added between them without forming a triangle. A diameter 1 graph is complete, which is not our case.
2. Minimum Degree Analysis:
- If , then has at least edges.
- If , let be a vertex connected only to . Then every other vertex must be connected to , making a star graph, which contradicts .
- If , let be connected to and . By the diameter 2 condition, every other vertex is connected to , , or both. Let be the set of vertices adjacent to but not , be the set adjacent to both and , and be the set adjacent to but not . Then . The only edges we can add are between and , ensuring .
- If , let be adjacent to , , and . Each vertex in is adjacent to one of , , or . The degree sum gives , leading to .
Thus, the minimum number of edges in such a graph is:
The answer is: \boxed{4033}.