A300694 - OEIS

The OEIS is supported by the many generous donors to the OEIS Foundation.

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

Other ways to Give

A300694

a(n) = number of edges in a cocoon concertina n-cube.

0, 1, 13, 139, 1605, 20741

(list; graph; refs; listen; history; text; internal format)

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

Table of n, a(n) for n=0..5.

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

Tilman Piesk, Python code used to generate the sequence

EXAMPLE

The cocoon concertina square has the A300693(2) = 6 outer and 7 inner edges, giving a(n) = 13 in total.

CROSSREFS

Cf. A300696, A300693.

Sequence in context: A125425 A016145 A351812 * A193708 A195464 A365999

Adjacent sequences: A300691 A300692 A300693 * A300695 A300696 A300697

KEYWORD

nonn,more

AUTHOR

Tilman Piesk, Mar 24 2018

STATUS

approved