OFFSET
1,3
COMMENTS
For n <= 13, the complements of all extremal graphs are acyclic (see A352767). Is this true for all n?
For 10 <= n <= 13, a(n) = 2^(binomial(n,2)-n+2) + 2^(binomial(n-1,2)-n+3).
FORMULA
For n >= 6, a(n) >= 2^(binomial(n,2)-A352764(n)), because if G is the complement of an asymmetric n-node graph with A352764(n) edges, all its 2^(binomial(n,2)-A352764(n)) orientations are pairwise inequivalent. Equality holds for n = 8 and n = 9, but for all other n between 6 and 13 we can do better by trading the asymmetry for more edges.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Pontus von Brömssen, Apr 02 2022
STATUS
approved