Here $G_{n}$ denotes a simple undirected graph with $n$ vertices, $K_{n}$ denotes the complete graph with $n$ vertices, $K_{n,m}$ the complete bipartite graph whose components have $m$ and $n$ vertices, and $C_{n}$ a circuit with $n$ vertices. The number of edges in the graph $G_{n}$ is denoted $e(G_{n})$. If $e(G_{n}) \geq\frac{n\sqrt{n}}{2}+\frac{n}{4}$ ,prove that $G_{n}$ contains $C_{4}$ .

For a positive integer \( n \geq 6 \), find the smallest integer \( S(n) \) such that any graph with \( n \) vertices and at least \( S(n) \) edges must contain at least two disjoint cycles (cycles with no common vertices).

On a planet there are $M$ countries and $N$ cities. There are two-way roads between some of the cities. It is given that: (1) In each county there are at least three cities; (2) For each country and each city in the country is connected by roads with at least half of the other cities in the countries; (3) Each city is connceted with exactly one other city ,that is not in its country; (4) There are at most two roads between cities from cities in two different countries; (5) If two countries contain less than $2M$ cities in total then there is a road between them. Prove that there is cycle of lenght at least $M+\frac{N}{2}$.

Euler marks $n$ different points in the Euclidean plane. For each pair of marked points, Gauss writes down the number $\lfloor \log_2 d \rfloor$ where $d$ is the distance between the two points. Prove that Gauss writes down less than $2n$ distinct values. [i]Note:[/i] For any $d>0$, $\lfloor \log_2 d\rfloor$ is the unique integer $k$ such that $2^k\le d<2^{k+1}$. [i]Proposed by Pranjal Srivastava[/i]

Consider $9$ points in space, no four of which are coplanar. Each pair of points is joined by an edge (that is, a line segment) and each edge is either colored blue or red or left uncolored. Find the smallest value of $\,n\,$ such that whenever exactly $\,n\,$ edges are colored, the set of colored edges necessarily contains a triangle all of whose edges have the same color.

In a forest each of $n$ animals ($n\ge 3$) lives in its own cave, and there is exactly one separate path between any two of these caves. Before the election for King of the Forest some of the animals make an election campaign. Each campaign-making animal visits each of the other caves exactly once, uses only the paths for moving from cave to cave, never turns from one path to another between the caves and returns to its own cave in the end of its campaign. It is also known that no path between two caves is used by more than one campaign-making animal. a) Prove that for any prime $n$, the maximum possible number of campaign-making animals is $\frac{n-1}{2}$. b) Find the maximum number of campaign-making animals for $n=9$.

On a connected graph $G$, one may perform the following operations: [list] [*]choose a vertice $v$, and add a vertice $v'$ such that $v'$ is connected to $v$ and all of its neighbours [*] choose a vertice $v$ with odd degree and delete it [/list] Show that for any connected graph $G$, we may perform a finite number of operations such that the resulting graph is a clique. Proposed by [i]idonthaveanaopsaccount[/i]

Let $G$ be a bipartite graph in which the greatest degree of a vertex is 2019. Let $m$ be the least natural number for which we can color the edges of $G$ in $m$ colors so that each two edges with a common vertex from $G$ are in different colors. Show that $m$ doesn’t depend on $G$ and find its value.

There are $2^n$ words of length $n$ over the alphabet $\{0, 1\}$. Prove that the following algorithm generates the sequence $w_0, w_1, \ldots, w_{2^n-1}$ of all these words such that any two consecutive words differ in exactly one digit. (1) $w_0 = 00 \ldots 0$ ($n$ zeros). (2) Suppose $w_{m-1} = a_1a_2 \ldots a_n,\quad a_i \in \{0, 1\}$. Let $e(m)$ be the exponent of $2$ in the representation of $n$ as a product of primes, and let $j = 1 + e(m)$. Replace the digit $a_j$ in the word $w_{m-1}$ by $1 - a_j$. The obtained word is $w_m$.

Let $n \geq 2$ be a given integer $a)$ Prove that one can arrange all the subsets of the set $\{1,2... ,n\}$ as a sequence of subsets $A_{1}, A_{2},\cdots , A_{2^{n}}$, such that $|A_{i+1}| = |A_{i}| + 1$ or $|A_{i}| - 1$ where $i = 1,2,3,\cdots , 2^{n}$ and $A_{2^{n} + 1} = A_{1}$ $b)$ Determine all possible values of the sum $\sum \limits_{i = 1}^{2^n} (-1)^{i}S(A_{i})$ where $S(A_{i})$ denotes the sum of all elements in $A_{i}$ and $S(\emptyset) = 0$, for any subset sequence $A_{1},A_{2},\cdots ,A_{2^n}$ satisfying the condition in $a)$

A graph $G$ with $n$ vertex is called [i]good [/i] if every vertex could be labelled with distinct positive integers which are less than or equal $\lfloor \frac{n^2}{4} \rfloor$ such that there exists a set of nonnegative integers $D$ with the following property: there exists an edge between $2$ vertices if and only if the difference of their labels is in $D$. Show that there exists a positive integer $N$ such that for every $n \ge N$, there exist a not-good graph with $n$ vertices.

All edges of a polyhedron are painted with red or yellow. For an angle of a facet, if the edges determining it are of different colors, then the angle is called [i]excentric[/i]. The[i] excentricity [/i]of a vertex $A$, namely $S_A$, is defined as the number of excentric angles it has. Prove that there exist two vertices $B$ and $C$ such that $S_B + S_C \leq 4$.

A graph $G(V,E)$ is triangle-free, but adding any edges to the graph will form a triangle. It's given that $|V|=2019$, $|E|>2018$, find the minimum of $|E|$ .

There's a group of $21$ people such that each person has no more than $7$ friends among the others and any two friends have a different number of total friends. Prove that there are $6$ people, none of which knows the others.

Given an integer $n\ge2$, the graph $G$ is defined by: - Vertices of $G$ are represented by binary strings of length $n$ - Two vertices $a,b$ are connected by an edge if and only if they differ in exactly $2$ places Let $S$ be a subset of the vertices of $G$, and let $S'$ be the set of edges between vertices in $S$ and vertices not in $S$. Show that if $|S|$ (the size of $S$) $\le2^{n-2}$, then $|S'|\ge|S|$.

Let $G$ be a finite graph. Prove that one can partition $G$ into two graphs $A \cup B=G$ such that if we erase all edges conecting a vertex from $A$ to a vertex from $B$, each vertex of the new graph has even degree.

There are $n$ people, and given that any $2$ of them have contacted with each other at most once. In any group of $n-2$ of them, any one person of the group has contacted with other people in this group for $3^k$ times, where $k$ is a non-negative integer. Determine all the possible value of $n.$

Fix a positive integer $n$ and a finite graph with at least one edge; the endpoints of each edge are distinct, and any two vertices are joined by at most one edge. Vertices and edges are assigned (not necessarily distinct) numbers in the range from $0$ to $n-1$, one number each. A vertex assignment and an edge assignment are [i]compatible[/i] if the following condition is satisfied at each vertex $v$: The number assigned to $v$ is congruent modulo $n$ to the sum of the numbers assigned to the edges incident to $v$. Fix a vertex assignment and let $N$ be the total number of compatible edge assignments; compatibility refers, of course, to the fixed vertex assignment. Prove that, if $N \neq 0$, then the prime divisors of $N$ are all at most $n$.

There are $n$ points in the plane, some of which are connected by segments. Some of the segments are colored in white, while the others are colored black in such a way that there exist a completely white as well as a completely black closed broken line of segments, each of them passing through every one of the $n$ points exactly once. It is known that the segments $AB$ and $BC$ are white. Prove that it is possible to recolor the segments in red and blue in such a way that $AB$ and $BC$ are recolored as red, [hide=not all of which segments are recolored red]meaning that recoloring every white as red and every black as blue is not acceptable[/hide], and that there exist a completely red as well as a completely blue closed broken line of segments, each of them passing through every one of the $n$ points exactly once.

Given seven points on a plane, with no three points collinear. Prove that it is always possible to divide these points into the vertices of a triangle and a convex quadrilateral, with no shared parts between the two shapes.

Adam, Benin, Chiang, Deshawn, Esther, and Fiona have internet accounts. Some, but not all, of them are internet friends with each other, and none of them has an internet friend outside this group. Each of them has the same number of internet friends. In how many different ways can this happen? $ \textbf{(A)}\ 60 \qquad\textbf{(B)}\ 170 \qquad\textbf{(C)}\ 290 \qquad\textbf{(D)}\ 320 \qquad\textbf{(E)}\ 660 $

Edges of a complete graph with $2m$ vertices are properly colored with $2m-1$ colors. It turned out that for any two colors all the edges colored in one of these two colors can be described as union of several $4$-cycles. Prove that $m$ is a power of $2$.

In a chess tournament there are $n>2$ players. Every two players play against each other exactly once. It is known that exactly $n$ games end as a tie. For any set $S$ of players, including $A$ and $B$, we say that $A$ [i]admires[/i] $B$ [i]in that set [/i]if i) $A$ does not beat $B$; or ii) there exists a sequence of players $C_1,C_2,\ldots,C_k$ in $S$, such that $A$ does not beat $C_1$, $C_k$ does not beat $B$, and $C_i$ does not beat $C_{i+1}$ for $1\le i\le k-1$. A set of four players is said to be [i]harmonic[/i] if each of the four players admires everyone else in the set. Find, in terms of $n$, the largest possible number of harmonic sets.

$ $ $ $ $ $ $ $There is a group of more than three airports. For any two airports $A, B$ belonging to this group, if there is an aircraft from $A$ to $ $ $B$, there is an aircraft from $B$ to $ $ $A$. For a list of different airports $A_0,A_1,...A_n$, define this list as a '[color=#00f]route[/color]' if there is an aircraft from $A_i$ to $A_{i+1}$ for each $i=0,1,...,n-1$. Also, define the beginning of this [color=#00f]route[/color] as $A_0$, the end as $A_n$, and the length as $n$. ($n\in \mathbb N$) $ $ $ $ $ $ $ $Now, let's say that for any three different pairs of airports $(A,B,C)$, there is always a [color=#00f]route[/color] $P$ that satisfies the following condition. $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ $ [b]Condition[/b]: $P$ begins with $A$ and ends with $B$, and does not include $C$. $ $ $ $ $ $When the length of the longest of the existing [color=#00f]route[/color]s is $M$ ($\ge 2$), prove that any two [color=#00f]route[/color]s of length $M$ contain at least two different airports simultaneously.

The kingdom of Anisotropy consists of $n$ cities. For every two cities there exists exactly one direct one-way road between them. We say that a [i]path from $X$ to $Y$[/i] is a sequence of roads such that one can move from $X$ to $Y$ along this sequence without returning to an already visited city. A collection of paths is called [i]diverse[/i] if no road belongs to two or more paths in the collection. Let $A$ and $B$ be two distinct cities in Anisotropy. Let $N_{AB}$ denote the maximal number of paths in a diverse collection of paths from $A$ to $B$. Similarly, let $N_{BA}$ denote the maximal number of paths in a diverse collection of paths from $B$ to $A$. Prove that the equality $N_{AB} = N_{BA}$ holds if and only if the number of roads going out from $A$ is the same as the number of roads going out from $B$. [i]Proposed by Warut Suksompong, Thailand[/i]