[go: up one dir, main page]

login
Revision History for A318111 (Bold, blue-underlined text is an addition; faded, red-underlined text is a deletion.)

Showing entries 1-10 | older changes
Number of maximal 1-intersecting families of 2-sets of [n] = {1,2,...,n}.
(history; published version)
#30 by Bruno Berselli at Thu Sep 06 11:51:40 EDT 2018
STATUS

reviewed

approved

#29 by Michel Marcus at Thu Sep 06 11:51:04 EDT 2018
STATUS

proposed

reviewed

#28 by Colin Barker at Thu Sep 06 06:12:16 EDT 2018
STATUS

editing

proposed

#27 by Colin Barker at Thu Sep 06 06:12:03 EDT 2018
LINKS

Colin Barker, <a href="/A318111/b318111.txt">Table of n, a(n) for n = 1..1000</a>

STATUS

approved

editing

#26 by Bruno Berselli at Thu Sep 06 03:09:47 EDT 2018
STATUS

editing

approved

#25 by Bruno Berselli at Thu Sep 06 03:09:42 EDT 2018
FORMULA

G.f.: x*(1 - 3*x + 3*x^2 + 6*x^3 - 14*x^4 + 11*x^5 - 3*x^6) / (1 - x)^4.

a(n) = n*(8 - 3*n + n^2) / 6 for n>3.

PROG

(PARI) Vec(x*(1 - 3*x + 3*x^2 + 6*x^3 - 14*x^4 + 11*x^5 - 3*x^6) / (1 - x)^4 + O(x^50)) \\ Colin Barker, Aug 31 2018

STATUS

reviewed

editing

#24 by Peter Luschny at Thu Sep 06 01:52:08 EDT 2018
STATUS

proposed

reviewed

#23 by Peter Luschny at Wed Sep 05 10:20:40 EDT 2018
STATUS

editing

proposed

#22 by Peter Luschny at Wed Sep 05 10:17:13 EDT 2018
COMMENTS

a(n) = C(n,3) + n except for n = 2, 3 because all 1-intersecting families of 2-sets of size n > 3 can be interpreted as graphs with no independent edges. On n > 3 nodes, the only possibilities are triangles (C(n,3) possibilities) and stars (n possibilities, except for n=2,3).

This is because all 1-intersecting families of 2-sets of size n > 3 can be interpreted as graphs with no independent edges. On n > 3 nodes, the only possibilities are triangles (C(n,3) possibilities) and stars (n possibilities, except for n=2,3).

FORMULA

a(n) = C(n,3) + n except for n=2,3.

MAPLE

A318111 := n -> `if`(n<=3, 1, n*(8 - 3*n + n^2)/6):

seq(A318111(n), n=1..30); # Peter Luschny, Sep 05 2018

MATHEMATICA

CoefficientList[Series[x*(1 - 3*x + 3*x^2 + 6*x^3 - 14*x^4 + 11*x^5 - 3*x^6) / (1 - x)^4, {x, 0, 50}], x] (* Stefano Spezia, Aug 31 2018 *)

CROSSREFS

a(n) = A000125(n-1) except for n = 2, 3.

#21 by Peter Luschny at Wed Sep 05 09:58:19 EDT 2018
COMMENTS

a(n) = C(n,3) + n, which implies.

a(n) = A000125(n-1), both except for n=2,3.

CROSSREFS

a(n) = A000125(n-1) except for n = 2, 3.

Discussion
Wed Sep 05
10:02
Peter Luschny: The first comment says: "a(n) = C(n,3) + n" and the last formula: "a(n) = C(n,3) + n except for n=2,3". Could you please decide which one is correct?
10:05
Peter Luschny: OK, it is my fault, sorry. So please: one formula per line. Mini-formulas with references go to the cross-refs. No duplicates in comment and formula section.