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
KEYWORD
nonn,more
AUTHOR
Ludovic Schwob, Oct 11 2025
STATUS
approved