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.
%I A290710 #22 Feb 16 2025 08:33:50
%S A290710 24,77,178,373,724,1331,2364,4127,7186,12625,22558,41153,76680,145607,
%T A290710 280792,547867,1078006,2133461,4238634,8442221,16841500,33630907,
%U A290710 67199188,134323703,268559034,537014201,1073907094,2147673337,4295184016,8590181135
%N A290710 Number of irredundant sets in the n-crown graph.
%C A290710 From _Andrew Howroyd_, Aug 11 2017: (Start)
%C A290710 For n > 3 the irredundant sets are:
%C A290710 - 2*(2^n-1): any number of vertices from one side of the graph
%C A290710 - n^2: any two vertices on opposite sides
%C A290710 - n*(n-1)*(n-2): two vertices on one side and one non-opposing on the other
%C A290710 - n*(n-1)*(n-2)*(n-3)/4: two non-opposing vertices from each side
%C A290710 - 1: the empty set
%C A290710 (End)
%H A290710 Vincenzo Librandi, <a href="/A290710/b290710.txt">Table of n, a(n) for n = 3..1000</a>
%H A290710 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/CrownGraph.html">Crown Graph</a>
%H A290710 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/IrredundantSet.html">Irredundant Set</a>
%H A290710 <a href="/index/Rec#order_06">Index entries for linear recurrences with constant coefficients</a>, signature (7, -20, 30, -25, 11, -2).
%F A290710 a(n) = 2^(n+1) + n*(n^3 - 2*n^2 + 3*n + 2)/4 - 1 for n > 3. - _Andrew Howroyd_, Aug 11 2017
%F A290710 a(n) = 7*a(n-1) - 20*a(n-2) + 30*a(n-3) - 25*a(n-4) + 11*a(n-5) - 2*a(n-6) for n > 9.
%F A290710 G.f.: (x^3 (24 - 91 x + 119 x^2 - 53 x^3 - 37 x^4 + 44 x^5 - 12 x^6))/((-1 + x)^5 (-1 + 2 x)).
%t A290710 Table[If[n == 3, 24, 2^(n + 1) + n*(n^3 - 2 n^2 + 3 n + 2)/4 - 1], {n, 3, 20}]
%t A290710 Join[{24}, LinearRecurrence[{7, -20, 30, -25, 11, -2}, {77, 178, 373, 724, 1331, 2364}, 20]]
%t A290710 CoefficientList[Series[(24 - 91 x + 119 x^2 - 53 x^3 - 37 x^4 + 44 x^5 - 12 x^6)/((-1 + x)^5 (-1 + 2 x)), {x, 0, 20}], x]
%o A290710 (PARI) a(n)=if(n<4, [4,9,24][n], 2^(n+1) + n*(n^3 - 2*n^2 + 3*n + 2)/4 - 1); \\ _Andrew Howroyd_, Aug 11 2017
%o A290710 (Magma) [24] cat [2^(n+1)+n*(n^3-2*n^2+3*n+2)/4-1: n in [4..40]]; // _Vincenzo Librandi_, Mar 17 2018
%K A290710 nonn
%O A290710 3,1
%A A290710 _Eric W. Weisstein_, Aug 09 2017
%E A290710 a(13)-a(32) from _Andrew Howroyd_, Aug 11 2017