olymmath

CN-TST 2016 Problem 3

  • Test 1

Let n≥2n \geq 2 be a natural. Define X={(a1,a2,⋯ ,an)∣ak∈{0,1,2,⋯ ,k},k=1,2,⋯ ,n}X = \{ (a_1,a_2,\cdots,a_n) | a_k \in \{0,1,2,\cdots,k\}, k = 1,2,\cdots,n \} . For any two elements s=(s1,s2,⋯ ,sn)∈X,t=(t1,t2,⋯ ,tn)∈Xs = (s_1,s_2,\cdots,s_n) \in X, t = (t_1,t_2,\cdots,t_n) \in X , define s∨t=(max⁡{s1,t1},max⁡{s2,t2},⋯ ,max⁡{sn,tn})s \vee t = (\max \{s_1,t_1\},\max \{s_2,t_2\}, \cdots , \max \{s_n,t_n\} ) s∧t=(min⁡{s1,t1},min⁡{s2,t2,},⋯ ,min⁡{sn,tn})s \wedge t = (\min \{s_1,t_1 \}, \min \{s_2,t_2,\}, \cdots, \min \{s_n,t_n\}) Find the largest possible size of a proper subset AA of XX such that for any s,t∈As,t \in A , one has s∨t∈A,s∧t∈As \vee t \in A, s \wedge t \in A .

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

Add a solution

Similar problems

These problems have the most words in common with this statement.

Locator cn-tst/2016/p3 · Tag M3M18C0MNF · Edit this page on GitHub · Keys: j next, k previous