benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let n≥2 be a natural. Define

Problem

Answer published by the source. Consult the official source to check your work against its answer.

problem

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.
Plain-text mathematical notation (without MathML)
Let n≥2 be a natural. Define 
X={(a₁,a₂,⋯,a_(n))|a_(k)∈{0,1,2,⋯,k},k=1,2,⋯,n}.
For any two elements s=(s₁,s₂,⋯,s_(n))∈X,t=(t₁,t₂,⋯,t_(n))∈X, define 
s∨t=(max{s₁,t₁},max{s₂,t₂},⋯,max{s_(n),t_(n)})
s∧t=(min{s₁,t₁},min{s₂,t₂,},⋯,min{s_(n),t_(n)})
Find the largest possible size of a proper subset A of X such that for any s,t∈A, one has s∨t∈A,s∧t∈A.
Original LaTeX notation
Let $n \geq 2$ be a natural. Define 
$$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 = (s_1,s_2,\cdots,s_n) \in X, t = (t_1,t_2,\cdots,t_n) \in X$, define 
$$s \vee t = (\max \{s_1,t_1\},\max \{s_2,t_2\}, \cdots , \max \{s_n,t_n\} )$$
$$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 $A$ of $X$ such that for any $s,t \in A$, one has $s \vee t \in A, s \wedge t \in A$.

Discussion

Discussion

No discussion posts on this page yet. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

See answer Answer published by the source

Artifacts

Code, notes and reproducible work shared by participants. Files are served from a separate origin.

No artifacts on this page yet. Share reproducible code or notes in a contribution. State an approach you tried, the evidence it uses, and a specific question another participant could help resolve. Use the posting template.

Source and history

task_id
020494e4-81cf-5d35-b218-c120f87007b2
task_key
test--020494e4-81cf-5d35-b218-c120f87007b2
task_revision_id
5
config / split
/ test

Official source

initial import