cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A279673 The maximum number of coins that can be processed in n weighings where all coins are real except for one LHR-coin starting in the light state.

This page as a plain text file.
%I A279673 #22 Sep 08 2022 08:46:18
%S A279673 1,3,9,19,41,99,233,531,1225,2851,6601,15251,35305,81763,189225,
%T A279673 437907,1013641,2346275,5430537,12569363,29093289,67339363,155862889,
%U A279673 360759571,835013705,1932719395,4473463369,10354262163,23965938537,55471468387,128394046889
%N A279673 The maximum number of coins that can be processed in n weighings where all coins are real except for one LHR-coin starting in the light state.
%C A279673 An LHR-coin is a coin that can change its weight periodically from light to heavy to real to light.
%C A279673 If an LHR-coin starts in the real state, then the maximum number of coins that can be processed in n weighings is a(n-1).
%C A279673 Also the number of outcomes of n weighings such that every even-numbered imbalance that is not the last one must be followed by a balance.
%H A279673 Colin Barker, <a href="/A279673/b279673.txt">Table of n, a(n) for n = 0..1000</a>
%H A279673 Tanya Khovanova and Konstantin Knop, <a href="https://arxiv.org/abs/1611.09201">Coins that Change Their Weights</a>, arXiv:1611.09201 [math.CO], 2016.
%H A279673 <a href="/index/Rec#order_03">Index entries for linear recurrences with constant coefficients</a>, signature (2,-1,4).
%F A279673 a(n) = 2a(n-1) - a(n-2) + 4a(n-3).
%F A279673 G.f.: (1 + x + 4*x^2) / (1 - 2*x + x^2 - 4*x^3). - _Colin Barker_, Dec 17 2016
%e A279673 If we have three weighings we are not allowed to have outcomes that consist of three imbalances. That means a(3) = 27 - 8 = 19.
%e A279673 If we have four weighings we are not allowed the following outcomes: =<<<, <=<<, <<<=, <<<<, where any less-than sign can be interchanged with a greater-than sign. Thus a(4) = 81 - 3*8 - 16 = 41.
%t A279673 LinearRecurrence[{2, -1, 4}, {1, 3, 9}, 30]
%o A279673 (Magma) I:=[1,3,9]; [n le 3 select I[n] else 2*Self(n-1)-Self(n-2)+4*Self(n-3): n in [1..40]]; // _Vincenzo Librandi_, Dec 17 2016
%o A279673 (PARI) Vec((1 + x + 4*x^2) / (1 - 2*x + x^2 - 4*x^3) + O(x^40)) \\ _Colin Barker_, Dec 17 2016
%Y A279673 Cf. A279674, A279682, A279684, A279685.
%K A279673 nonn,easy
%O A279673 0,2
%A A279673 _Tanya Khovanova_ and _Konstantin Knop_, Dec 16 2016