login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A262070 a(n) = ceiling( log_3( binomial(n,2) ) ). 0
0, 1, 2, 3, 3, 3, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 9, 9, 9, 9, 9 (list; graph; refs; listen; history; text; internal format)
OFFSET

2,3

COMMENTS

A lower bound on the number of weighings which suffice to determine the counterfeit (heavier) coins in a set of n coins given a balance scale and the information that there are exactly two heavier coins present.

Records occur at n=2, 3, 4, 5, 8, 14, 23, 39, 67, 116, 199, 345, 596,...

LINKS

Table of n, a(n) for n=2..120.

Anping Li, Three counterfeit coins problem, J. Comb. Theory A 66 (1994) 93-101 eq. (3).

Anping Li, On the conjecture at two counterfeit coins, Discr. Math. 133 (1-3) (1994) 301-306

Wen An Liu, Qi Min Zhang, Zan Kan Nie, Optimal search procedure on coin-weighing problem, J. Statl. Plan. Inf. 136 (2006) 4419-4435.

R. Tosic, Two counterfeit coins, Discr. Math. 46 (3) (1993) 295-298, eq. (2).

MAPLE

seq(ceil(log[3](binomial(n, 2))), n=2..120) ;

MATHEMATICA

Ceiling[Log[3, Binomial[Range[2, 120], 2]]] (* Harvey P. Dale, Dec 13 2016 *)

PROG

(PARI) first(m)=vector(m, i, i++; ceil(log(binomial(i, 2))/log(3))) \\ Anders Hellström, Sep 10 2015

(MAGMA) [Ceiling(Log(3, Binomial(n, 2))): n in [2..120]]; // Bruno Berselli, Sep 10 2015

CROSSREFS

Cf. A080342 (single counterfeit coin).

Sequence in context: A335741 A103586 A194847 * A117806 A085423 A260998

Adjacent sequences:  A262067 A262068 A262069 * A262071 A262072 A262073

KEYWORD

nonn,easy

AUTHOR

R. J. Mathar, Sep 10 2015

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified September 25 06:32 EDT 2020. Contains 337335 sequences. (Running on oeis4.)