Sorry, format problem for New Sequence group generator
N. J. A. Sloane
njas at research.att.com
Sun Nov 11 16:58:53 CET 2007
Dear Max.
I wrote :
a(n) = Product_{v_i} m_i
+ Sum_{c_j} (se_j - 1)*Product_{v_k E (G_n-c_j)} m_k
where :
v_i E V_n, G_n={V_n,E_n}, "E" means element
m_i means number of matching of incident edges of v_i
c_j means cycles in G_n
se_j means number of start-end points in c_j
v_k E G_n and not(v_k E c_j)
m_k means number of matching of incident edges of v_k
But it is not correct.
The correct formula is the following.
a(n) = Product_{v_i} m_i
+ Sum_{c_j} (se_j - 1)*(Product_{v_k E (G_n-c_j)} m_k - {number of partitions of (G_n-c_i) which has cycles})
The first formula says :
a(4) = 3^6 + 2*(3^4-2) - 2*(3^2-1) + 2*(3^2-1) - 1 -2*1 + 3*3^2 + 2*1 + 2*3 + 3
= 922
But the correct formula says :
second term is case of one 4-cycle
._. ._._._.
|_|+._|_|_|
= {number of synmetry}*(se_j - 1)*(Product_{v_k E G_n-c_i)} m_k - {number of partitions of (G_n-c_i) which have {14c 3rd cell} and {14c 4th cell} and {16c 3rd+4th cell}}
= 2*(2-1)*(3^4-1-9-1)
I forgot the last one 6-cycle.
And the other terms are the same as the first formula.
Hence,
a(4) = 922 - 2*1*9
= 904
It is the same as yours.
I think that my formula is not so good.
Because if n is not small then a computing the {number of partitions of (G_n-c_i) which has cycles} becomes difficult.
I will soon submit an edited A131709 to OEIS.
Yasutoshi
There appears to be an error in A100729: I believe A100729(3) should be 26
rather than 25, and at least my program finds the other listed values for
each of A100729(n) and A100730(n) for n in 2..7 (and working on n=8).
It might also be useful a) to mention Ulam sequences in the comments for
these, as a phrase that might be easier to search for, and b) to link to
Finch(1992) as <http://www.expmath.org/expmath/volumes/1/1.html> rather
than just the top of the website, in both sequences.
If there is no objection to my correction I'll submit a suggested change
to Neil.
Hugo
More information about the SeqFan
mailing list