benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Let n>0 be an integer. We are given a balance and n weights of weight 2⁰,2¹,⋯,2^(n−1). We are to place each of the n weights on the balance, one after another, in such a way that t… · Discussion

Discussing Let n>0 be an integer. We are given a balance and n weights of weight 2⁰,2¹,⋯,2^(n−1). We are to place each of the n weights on the balance, one after another, in such a way that t… · Omni-MATH

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.