login
A387943
Number of fully packed loops on an n X n grid with no cycle.
1
1, 1, 2, 7, 41, 395, 6212, 158757
OFFSET
0,3
COMMENTS
A fully packed loop of size n is a subgraph of an n X n square grid, where each vertex inside the grid has degree exactly 2. Vertices on the border have degree 2 or 1 alternatingly, with corners counting as two vertices for the border conditions. Subgraphs which are the same under reflection or rotation are counted twice.
Fully packed loops are in bijection with alternating sign matrices, which are counted by Robbins numbers (A005130).
LINKS
James Propp, The many faces of alternating-sign matrices, Discrete Mathematics and Theoretical Computer Science Proceedings AA (DM-CCG), 2001, 43-58.
EXAMPLE
The 7 fully packed loops of size 3 are:
|__ __| |__ __| | __| |__ |
__ __ __ __ __ __ __| |__ __ __ __| |__
| |__ __| | __ __ __ __
| | | | | | | |
.
|__ __| | __| |__ |
__ __ __ __ __| | __ __ | |__
__ __ __| | | |__
| | | | | |
The only fully packed loop of size 4 with a cycle is:
|__ __| __
__ __ |
| |__| |__
__| __ __
| |
hence a(4) = A005130(4) - 1 = 41.
CROSSREFS
Cf. A005130.
Sequence in context: A163921 A213434 A331920 * A008934 A084871 A399029
KEYWORD
nonn,more
AUTHOR
Ludovic Schwob, Oct 11 2025
STATUS
approved