login
A300694
a(n) = number of edges in a cocoon concertina n-cube.
1
0, 1, 13, 139, 1605, 20741
OFFSET
0,3
COMMENTS
n-place formulas in first-order logic like Ax Ey P(x, y) or Ex P(x, x) can be ordered by implication. This Hasse diagram has A300696(n) vertices and a(n) edges.
The corresponding sequence for convex concertina n-cubes is A300693.
LINKS
Tilman Piesk, Formulas in predicate logic (Wikiversity)
Tilman Piesk, Image of a cocoon concertina square with 13 edges
Tilman Piesk, Lists of edges for n=2..5
EXAMPLE
The cocoon concertina square has the A300693(2) = 6 outer and 7 inner edges, giving a(n) = 13 in total.
CROSSREFS
Sequence in context: A125425 A016145 A351812 * A193708 A195464 A365999
KEYWORD
nonn,more
AUTHOR
Tilman Piesk, Mar 24 2018
STATUS
approved