%I #30 Apr 19 2021 17:46:08
%S 0,0,1,5,20,71,236,755,2360,7271,22196,67355,203600,613871,1847756,
%T 5555555,16691240,50122871,150466916,451597355,1355185280,4066342271,
%U 12200599676,36604944755,109821125720,329475960071,988453046036,2965409469755,8896329072560
%N Number of edges in the n-th Mycielski graph.
%C The Mycielski graphs are formed, starting from the empty graph, by repeatedly applying a construction of Mycielski for generating triangle-free graphs with arbitrarily large chromatic number.
%C The number of vertices in the Mycielski graphs is given by sequence A083329.
%C Also the number of maximal and maximum cliques in the n-Mycielski graph for n > 1. - _Eric W. Weisstein_, Dec 01 2017
%H Colin Barker, <a href="/A122695/b122695.txt">Table of n, a(n) for n = 0..1000</a>
%H J. Mycielski, <a href="http://matwbn.icm.edu.pl/ksiazki/cm/cm3/cm3119.pdf">Sur le coloriage des graphes</a>, Colloq. Math. 3: 161-162, 1955.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/MaximalClique.html">Maximal Clique</a>
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/MaximumClique.html">Maximum Clique</a>
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/MycielskiGraph.html">Mycielski Graph</a>
%H Emre Yolcu, Xinyu Wu, Marijn J. H. Heule, <a href="https://www.cs.cmu.edu/~eyolcu/papers/mycielski-graphs-pr-proofs.pdf">Mycielski graphs and PR proofs</a>, Carnegie Mellon University (2020).
%H <a href="/index/Rec#order_03">Index entries for linear recurrences with constant coefficients</a>, signature (6,-11,6).
%F a(n) = 3*a(n-1) + 3*2^(n-3) - 1 for n > 2. [corrected by _Moeez Muhammad_, Apr 17 2021]
%F From _Colin Barker_, Mar 07 2012 and Jan 16 2016: (Start)
%F a(n) = (18-27*2^n+14*3^n)/36 for n>1.
%F a(n) = 6*a(n-1)-11*a(n-2)+6*a(n-3) for n>4.
%F G.f.: x^2*(1-x+x^2) / ((1-x)*(1-2*x)*(1-3*x)).
%F (End)
%e The first few graphs in the sequence of Mycielski graphs are the null graph, K1, K2, C5 and the Graezsch graph with 11 vertices and 20 edges. Thus the first entries in this sequence are 0, 0, 1, 5 and 20.
%t Table[If[n < 2, 0, (18 - 27 2^n + 14 3^n)/36], {n, 0, 10}] (* _Eric W. Weisstein_, Dec 01 2017 *)
%t Join[{0, 0}, LinearRecurrence[{6, -11, 6}, {1, 5, 20}, 20]] (* _Eric W. Weisstein_, Dec 01 2017 *)
%t ientList[Series[x^2 (1 - x + x^2)/(1 - 6 x + 11 x^2 - 6 x^3), {x, 0, 20}], x] (* _Eric W. Weisstein_, Dec 01 2017 *)
%o (PARI) concat(vector(2), Vec(x^2*(1-x+x^2)/((1-x)*(1-2*x)*(1-3*x)) + O(x^40))) \\ _Colin Barker_, Jan 16 2016
%Y Cf. A083329.
%K easy,nonn
%O 0,4
%A _David Eppstein_, Oct 29 2006