OFFSET
1,4
COMMENTS
A graph is point-determining if no two vertices have the same set of neighbors. This kind of graph is also called a mating graph.
For all n >= 3, a(n) is even. For every prime p > 2, a(n) is divisible by p for all n >= p. It follows that, if m is squarefree with largest prime factor q, then a(n) is divisible by m for all n >= q. A similar property appears to hold for prime powers, in which case it would hold for all numbers.
LINKS
Andrew Howroyd, Table of n, a(n) for n = 1..100 (terms 1..20 from Justin M. Troyka)
Ira Gessel and Ji Li, Enumeration of point-determining graphs, arXiv:0705.0042 [math.CO], 2007-2009.
Andy Hardt, Pete McNeely, Tung Phan, and Justin M. Troyka, Combinatorial species and graph enumeration, arXiv:1312.0542 [math.CO], 2013.
FORMULA
E.g.f.: x + log(1 + (G(x)-x-1)/(1+x)) where G(x) is the e.g.f. of A232699. - Andrew Howroyd, Sep 09 2018
EXAMPLE
Consider n = 4. There are 12 connected point-determining bipartite graphs on 4 vertices: the graph *--*--*--*, with 12 possible labelings. - Justin M. Troyka, Nov 27 2013
MATHEMATICA
terms = 18;
G[x_] = Sqrt[Sum[((1 + x)^2^k*Log[1 + x]^k)/k!, {k, 0, terms+1}]] + O[x]^(terms+1);
A[x_] = x + Log[1 + (G[x] - x - 1)/(1 + x)];
(CoefficientList[A[x], x]*Range[0, terms]!) // Rest (* Jean-François Alcover, Sep 13 2018, after Andrew Howroyd *)
PROG
(PARI) seq(n)={my(A=log(1+x+O(x*x^n))); my(p=sqrt(sum(k=0, n, exp(2^k*A)*A^k/k!))); Vec(serlaplace(x + log(1+(p-x-1)/(1+x))))} \\ Andrew Howroyd, Sep 09 2018
CROSSREFS
Cf. A088974 (unlabeled connected point-determining bipartite graphs).
KEYWORD
nonn
AUTHOR
Justin M. Troyka, Nov 27 2013
STATUS
approved