OFFSET
1,5
COMMENTS
Equivalently, T(n,k) is the number of unlabeled n-vertex graphs that are the XOR sum of k (but no fewer) complete graphs, where the XOR sum of a set of graphs has edges between those pairs of vertices that are adjacent in an odd number of graphs in the set. (The set of vertices is initialized to [n], so the complete graphs in the sum are needed for the edges only.)
Any n-vertex graph G can be obtained from the empty graph in at most n-1 steps: the first step can be done so that all edges incident to the first vertex agree with G, the second step can be done so that all edges incident to the second vertex agree with G (without changing any edges incident to the first vertex), etc. After the (n-1)-st step, all edges agrees with G.
Apparently, the path graph is the unique n-vertex graph that requires n-1 steps.
LINKS
Pontus von Brömssen, Illustration of row n = 4.
EXAMPLE
Triangle begins:
1;
1, 1;
1, 2, 1;
1, 3, 6, 1;
1, 4, 14, 14, 1;
1, 5, 26, 73, 50, 1;
1, 6, 42, 226, 541, 227, 1;
1, 7, 63, 558, 3127, 6962, 1627, 1;
...
CROSSREFS
KEYWORD
AUTHOR
Pontus von Brömssen, Feb 10 2024
STATUS
approved