Let $k>1$ be a positive integer. A set $S{}$ is called [i]good[/i] if there exists a colouring of the positive integers with $k{}$ colours, such that no element from $S{}$ can be written as the sum of two distinct positive integers having the same colour. Find the greatest positive integer $t{}$ (in terms of $k{}$) for which the set \[S=\{a+1,a+2,\ldots,a+t\}\]is good, for any positive integer $a{}$.

Determine the smallest possible value of $| A_{1} \cup A_{2} \cup A_{3} \cup A_{4} \cup A_{5} |$, where $A_{1}, A_{2}, A_{3}, A_{4}, A_{5}$ sets simultaneously satisfying the following conditions: $(i)$ $| A_{i}\cap A_{j} | = 1$ for all $1\leq i < j\leq 5$, i.e. any two distinct sets contain exactly one element in common; $(ii)$ $A_{i}\cap A_{j} \cap A_{k}\cap A_{l} =\varnothing$ for all $1\leq i<j<k<l\leq 5$, i.e. any four different sets contain no common element. Where $| S |$ means the number of elements of $S$.

Given the disjoint finite sets of natural numbers $ A $ and $ B $, consisting of $ n $ and $ m $ elements, respectively. It is known that every natural number belonging to $ A $ or $ B $ satisfies at least one of the conditions $ k + 17 \in A $, $ k-31 \in B $. Prove that $ 17n = 31m $

For a given natural $n$, we consider the set $A\subset \{1,2, ..., n\}$, which consists of at least $\left[\frac{n+1}{2}\right]$ items. Prove that for $n \ge 2015$ the set $A$ contains a three-element arithmetic sequence.

Given any set $S$ of positive integers, show that at least one of the following two assertions holds: (1) There exist distinct finite subsets $F$ and $G$ of $S$ such that $\sum_{x\in F}1/x=\sum_{x\in G}1/x$; (2) There exists a positive rational number $r<1$ such that $\sum_{x\in F}1/x\neq r$ for all finite subsets $F$ of $S$.

Let $n > 1$ be an integer and $\Omega=\{1,2,...,2n-1,2n\}$ the set of all positive integers that are not larger than $2n$. A nonempty subset $S$ of $\Omega$ is called [i]sum-free[/i] if, for all elements $x, y$ belonging to $S, x + y$ does not belong to $S$. We allow $x = y$ in this condition. Prove that $\Omega$ has more than $2^n$ distinct [i]sum-free[/i] subsets.

Given any set $S$ of positive integers, show that at least one of the following two assertions holds: (1) There exist distinct finite subsets $F$ and $G$ of $S$ such that $\sum_{x\in F}1/x=\sum_{x\in G}1/x$; (2) There exists a positive rational number $r<1$ such that $\sum_{x\in F}1/x\neq r$ for all finite subsets $F$ of $S$.

Yamin and Tamim are playing a game with subsets of $\{1, 2, \ldots, n\}$ where $n \geq 3$. [list] [*] Tamim starts the game with the empty set. [*] On Yamin's turn, he adds a proper non-empty subset of $\{1, 2, \ldots, n\}$ to his collection $F$ of blocked sets. [*] On Tamim's turn, he adds or removes a positive integer less than or equal to $n$ to or from their set but Tamim can never add or remove an element so that his set becomes one of the blocked sets in $F$. [/list] Tamim wins if he can make his set to be $\{1, 2, \ldots, n\}$. Yamin wins if he can stop Tamim from doing so. Yamin goes first and they alternate making their moves. Does Tamim have a winning strategy? [i]Proposed by Ahmed Ittihad Hasib[/i]

Given a set $S \subset N$ and a positive integer n, let $S\oplus \{n\} = \{s+n / s \in S\}$. The sequence $S_k$ of sets is defined inductively as follows: $S_1 = {1}$, $S_k=(S_{k-1} \oplus \{k\}) \cup \{2k-1\}$ for $k = 2,3,4, ...$ (a) Determine $N - \cup _{k=1}^{\infty} S_k$. (b) Find all $n$ for which $1994 \in S_n$.

2. Let $A_1,A_2,...,A_n$be distinct subsets of an n-element set $ X$ ($n \geq 2$). Show that there exists an element $x$ of $X$ such that the sets $A_1\setminus \{x\}$ ,:......., $A_n\setminus \{x\}$ are all distinct.

We will say that two sets of distinct numbers are $\textit{linked}$ to each other if between any two numbers of each set lies at least one number of the other set. Is it possible to fill the cells of a $100 \times 200$ rectangle with distinct numbers so that any two rows of the rectangle are linked to one another, and any two columns of the rectangle are linked to one another?

Given any set $S$ of positive integers, show that at least one of the following two assertions holds: (1) There exist distinct finite subsets $F$ and $G$ of $S$ such that $\sum_{x\in F}1/x=\sum_{x\in G}1/x$; (2) There exists a positive rational number $r<1$ such that $\sum_{x\in F}1/x\neq r$ for all finite subsets $F$ of $S$.

Let $A=\{1,2,\cdots ,100\}$. Let $S$ be a subset of power set of $A$ such that any two elements of $S$ has nonzero intersection (Note that elements of $S$ are actually some subsets of $A$). Then the maximum possible cardinality of $S$ is [list=1] [*] $2^{99}$ [*] $2^{99}+1$ [*] $2^{99}+2^{98}$ [*] None of these [/list]

Find all odd prime numbers $p$ for which there exists a natural number $g$ for which the sets \[A=\left\{ \left( {{k}^{2}}+1 \right)\,\bmod p|\,k=1,2,\ldots ,\frac{p-1}{2} \right\}\] and \[B=\left\{ {{g}^{k}}\bmod \,p|\,k=1,2,...,\frac{p-1}{2} \right\}\] are equal.

The positive integers are partitioned into two infinite sets so that the sum of any $2023$ distinct integers in one set is also in that set. Prove that one set contains all the odd positive integers, and one set contains all the even positive integers. [i]Proposed by Evan Chang (squareman), USA[/i]

Let $m$ and $n$ be positive integers integers such that $2m + 1 < n$, and let $S$ be the set of the $2^n$ subsets of $\{1,2,\ldots,n\}$. Prove that we can place the elements of $S$ on a circle, so that for any two adjacent elements $A$ and $B$, the set $A \Delta B$ has exactly $2m + 1$ elements. [b]Note[/b]: $A \Delta B = (A \cup B) - (A \cap B)$ is the set of elements that are exclusively in $A$ or exclusively in $B$.

From all possible permutations from $(a_1,a_2,...,a_n)$ from the set $\{1,2,..,n\}$, $n\geq 1$, consider the sets that satisfies the $2(a_1+a_2+...+a_m)$ is divisible by $m$, for every $m=1,2,...,n$. Find the total number of permutations.

Find all positive integers $n$ such that the set $S=\{1,2,3, \dots 2n\}$ can be divided into $2$ disjoint subsets $S_1$ and $S_2$, i.e. $S_1 \cap S_2 = \emptyset$ and $S_1 \cup S_2 = S$, such that each one of them has $n$ elements, and the sum of the elements of $S_1$ is divisible by the sum of the elements in $S_2$. [i]Proposed by Viktor Simjanoski[/i]

Let $X$ be a set of $n$ elements and $k$ be a positive integer. Consider the family $S_k$ of all $k$-tuples $(E_1,...,E_k)$ with $E_i \subseteq X$ for each $i$. Evaluate the sums $\sum_{(E_1,...,E_k) \in S_k }|E_1 \cap ... \cap E_k|$ and $\sum_{(E_1,...,E_k) \in S_k }|E_1 \cup ... \cup E_k|$

Let $\{E_1, E_2, \dots, E_m\}$ be a collection of sets such that $E_i \subseteq X = \{1, 2, \dots, 100\}$, $E_i \neq X$, $i = 1, 2, \dots, m$. It is known that every two elements of $X$ is contained together in exactly one $E_i$ for some $i$. Determine the minimum value of $m$.

a) Prove that for every positive integer n, there exist $a, b \in R - Z$ such that the set $A_n = \{a - b, a^2 - b^2, a^3 - b^3,...,a^n - b^n\}$ contains only positive integers. b) Let $a$ and $b$ be two real numbers such that the set $A = \{a^k - b^k | k \in N*\}$ contains only positive integers. Prove that $a$ and $b$ are integers.

Find the least possible cardinality of a set $A$ of natural numbers, the smallest and greatest of which are $1$ and $100$, and having the property that every element of $A$ except for $1$ equals the sum of two elements of $A$.

What is the number of ordered pairs $(A,B)$ where $A$ and $B$ are subsets of $\{1,2,..., 5\}$ such that neither $A \subseteq B$ nor $B \subseteq A$?

Define the distance between real numbers $x$ and $y$ by $d(x,y) =\sqrt{([x]-[y])^2+(\{x\}-\{y\})^2}$ . Determine (as a union of intervals) the set of real numbers whose distance from $3/2$ is less than $202/100$ .

Let $C_1,C_2$, and $C_3$ be points inside a bounded convex planar set $M$. Rays $l_1,l_2,l_3$ emanating from $C_1,C_2,C_3$ respectively partition the complement of the set $M \cup l_1 \cup l_2 \cup l_3$ into three regions $D_1,D_2,D_3$. Prove that if the convex sets $A$ and $B$ satisfy $A\cap l_j =\emptyset = B\cap l_j$ and $A\cap D_j \ne \emptyset \ne B\cap D_j$ for $j = 1,2,3$, then $A\cap B \ne \emptyset$