За всяко цяло неотрицателно число kN0k \in \mathbb{N}_{0} с BkB_{k} означаваме множеството от степени на двойката в единственото (двоично) представяне на kk като сума от степени на двойката. Например, B12={23,22}B_{12}=\left\{2^{3}, 2^{2}\right\}. За двойките числа m,nN0m, n \in \mathbb{N}_{0} дефинираме операцията mn=bBmBnbm \oplus n=\sum_{b \in B_{m} \triangle B_{n}} b, където BmBn={BmBn}\{BmBn}B_{m} \triangle B_{n}=\left\{B_{m} \cup B_{n}\right\} \backslash\left\{B_{m} \cap B_{n}\right\} е множеството от елементи, съдържащи се в точно едно от множествата BmB_{m} и BnB_{n}, т. е mnm \oplus n е сумата от различните степени на двойката в двоичното представяне на mm и nn, като сумата от елементите на празното множество приемаме за 0. Например 1210=22+21=612 \oplus 10=2^{2}+2^{1}=6. Нека f:N0×N0N0f: \mathbb{N}_{0} \times \mathbb{N}_{0} \rightarrow \mathbb{N}_{0} е дефинирана по следния начин: ()(*) f(0,0)=0f(0, 0)=0; ()(*) За (m,n)(0,0)(m, n) \neq(0, 0) дефинирамеf(m,n):=minkN0{k{f(m,n):0m<m}{f(m,n):0n<n}}. f(m, n): =\min _{k \in \mathbb{N}_{0}}\left\{k \notin\left\{f\left(m^{\prime}, n\right): 0 \leq m^{\prime}\lt{}m\right\} \cup\left\{f\left(m, n^{\prime}\right): 0 \leq n^{\prime}\lt{}n\right\}\right\}.Да се докаже, че f(m,n)=mnf(m, n)=m \oplus n за всички естествени числа mm и nn.
📣НОВО: Добавени задачи от Международната олимпиада по математика 2000-2024
Още задачи при скрол