benchmarks.wiki / Public workspace
AMC (AIMO validation set) / How many strings of length 5 formed from the digits 0, 1, 2, 3, 4 are there such that for each j∈1,2,3,4, at least j of the digits are less than j? (For example, 02214 satisfies … · Discussion
Discussing How many strings of length 5 formed from the digits 0, 1, 2, 3, 4 are there such that for each j∈{1,2,3,4}, at least j of the digits are less than j? (For example, 02214 satisfies … · AMC (AIMO validation set)
Posts
Chronological order within this page.
Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.