This site is supported by donations to The OEIS Foundation.
Meanders filling out an nbyk grid (reduced for symmetry)
Meanders filling out an by grid, reduced for symmetry:
 Closed paths that visit every cell of an by rectangular lattice at least once, that never cross any edge between adjacent squares more than once, and are selfavoiding. Paths related by rotation and/or reflection of the square lattice are not considered distinct.
Contents
 1 Meanders filling out an nbyk grid, reduced for symmetry
 2 Number of meanders filling out an nbyk grid, reduced for symmetry
 3 Meanders filling out an nbyn grid (reduced for symmetry)
 3.1 Meanders filling out a 1by1 grid (reduced for symmetry)
 3.2 Meanders filling out a 2by2 grid (reduced for symmetry)
 3.3 Meanders filling out a 3by3 grid (reduced for symmetry)
 3.4 Meanders filling out a 4by4 grid (reduced for symmetry)
 3.5 Meanders filling out a 5by5 grid (reduced for symmetry)
 3.6 Meanders filling out a 6by6 grid (reduced for symmetry)
 4 Selfcrossing meanders filling out an nbyk grid (reduced for symmetry)
 5 Sequences
 6 See also
Meanders filling out an nbyk grid, reduced for symmetry
The 1by1 grid has the distinct and unique meander with zero ID.
ID  Image 

0 
The by grid, has meanders which are built from the meander sections with nonzero IDs.
The sum of meander section IDs is 0 for a meander with horizontal and vertical symmetry. The sum of meander section IDs is 0 for the four corners (2, +3, +2, 3.)
For the by grid, we need to solve cells. For each cell, there are up to 8 tiles to choose from, giving possible (valid or invalid) configurations.
Meanders filling out a 4by3 grid, reduced for symmetry
Code  Image  

{{Meander43 2, 1, +3,, +1, 2, 3,, +1, +2, +3,, +2, 1, 3,, }} (2 orientations) 

Number of meanders filling out an nbyk grid, reduced for symmetry
Number of meanders filling out an by grid, reduced for symmetry = 1 1 2 0 1 3 0 1 0 4 0 1 1 4 5 0 1 1 14 42 6 0 1 3 63 843 9050 7 0 1 3 224 7506 342743 6965359 8 0 1 8 1022 71542 6971973 ? ? 9 0 1 12 4314 668042 ? ? ? ? 10 0 1 ? ? ? ? ? ? ? ? 11 0 1 ? ? ? ? ? ? ? ? ? 12 0 1 ? ? ? ? ? ? ? ? ? ? 13 0 1 ? ? ? ? ? ? ? ? ? ? ? = 1 2 3 4 5 6 7 8 9 10 11 12 13
Conjecture concerning S(n, 3)
might match A090597 (if so, how could this be proved?).
 Comment from Jon Wild: I have extended the sequence for S(n,3) beyond the entries currently appearing here, and it continues to match A090597 as far as I can test it. I do not know how to prove it.
 This is thus a conjecture. — Daniel Forgues 05:32, 28 November 2011 (UTC)
A090597 a(n) =  a(n1) + 5[a(n2) + a(n3)]  2[a(n4) + a(n5)]  8[a(n6) + a(n7)], n >= 3. (thus S(n, 3) = a(n), n ≥ 3)
 {0, 1, 1, 3, 3, 8, 12, 27, 45, 96, 176, 363, 693, 1408, 2752, 5547, 10965, 22016, 43776, 87723, 174933, 350208, 699392, 1399467, 2796885, 5595136, 11186176, 22375083, 44741973, 89489408, ...}
Proposition concerning S(n, 3)
Proposition. (David Scambler 03:45, 19 December 2011 (UTC))
S(n, 3) = a(n), n ≥ 3.
Closed Form Solution:
where is the Jacobsthal number A001045.
Proof. First, by algebraic manipulation it can be shown that the closed form satisfies the given recurrence.The geometry of nlong, 3high meanders is such that the lower track (1) and the upper track (3) take turns moving in and out of the middle (2) row. Considering the middle row only at the borders joining adjacent cells it must be the case that track (1), track (3) or neither (2) crosses the border. At the extremes the first and last middlerow borders are crossed by neither track and may be ignored for the time being. There are therefore n3 borders to consider. A meander can be fully specified by a list of letters from the alphabet {1,2,3}, one for each border crossing. To eliminate topbottom symmetry assume that it is track 1 that first enters the middle row starting from the left. It is clear that there can be no repeated identical letters since that would cause a cell to be skipped. We therefore arrive at words that start with 1, end with 1 or 3 and have no repeats. Such words of length are counted by the Jacobsthal number .
It remains to evaluate leftright and rotational symmetries. Leftright words are symmetrical if they are the same read backwards. They are rotationally symmetrical if they are the same read backwards while exchanging 1s and 3s. It is necessary to consider even and odd length words separately.
Odd length words:
 A word of odd length 2k+3 (e.g. 1231321, k=2) is leftright symmetrical when the left half matches the reversed right half, e.g. 1[23]1[32]1. There are such halfwords. For rotational symmetry the middle letter must be 2 to remain fixed under the transformation, e.g. 1[23]2[12]3. The left side cannot end with 2 otherwise a duplicate letter results. The left side is now of length k as before but must end in 1 or 3. These words are counted by . An oddlength word may have leftright symmetry or rotational symmetry but not both.
Even length words:
 A word of even length 2k+2 (e.g. 123123, k=2) cannot be leftright symmetrical because the middle two letters would need to be identical. For rotational symmetry the left side is of length k as above and must end in 1 or 3, e.g. 1[23][12]3. These words are also counted by .
 To obtain the results we first assume that the rotation or flipping of each meander maps to a redundant partner. We then adjust for the symmetrical meanders, which map to themselves. So we halve the number of meanders and add back half of the symmetrical meanders. Recalling that an nx3 meander has n1 borders of which 2 were ignored, such meanders with topbottom symmetry removed are counted by .
Applying these results we get:
 n odd:
 n even:
Simplifying the latter yields where , completing the proof. □
Meanders filling out an nbyn grid (reduced for symmetry)
Meanders filling out an nbyn grid, reduced for symmetry:
 Closed paths that visit every cell of an nbyn square lattice at least once, that never cross any edge between adjacent squares more than once, and that do not selfintersect. Paths related by rotation and/or reflection of the square lattice are not considered distinct.
For the nbyn grid, we need to solve cells. For each cell, there are up to 8 tiles to choose from, giving possible (valid or invalid) configurations.
Meanders filling out a 1by1 grid (reduced for symmetry)
The 1by1 grid has the distinct and unique meander
Code  Image  

{{Meander11 0,, }} 

Meanders filling out a 2by2 grid (reduced for symmetry)
Trivial case.
Code  Image  

{{Meander22 2, +3,, +2, 3,, }} 

Meanders filling out a 3by3 grid (reduced for symmetry)
There are no single closed path meanders for the 3by3 grid, since the edges must join the corners, leaving the center unvisited.
Code  Image  

{{Meander33 2, 1, +3,, +1, 0, +1,, +2, 1, 3,, }} 

Meanders filling out a 4by4 grid (reduced for symmetry)
There are 4 nonoriented meanders.
Meanders filling out a 5by5 grid (reduced for symmetry)
There are 42 nonoriented meanders.
Code  Image  

{{Meander55 2, +3, 2, 1, +3,, +2, +4, 3, 2, 3,, 2, 3, 2, 4, +3,, +1, 2, +4, 3, +1,, +2, 3, +2, 1, 3,, }} 
... 
Meanders filling out a 6by6 grid (reduced for symmetry)
There are 9050 nonoriented meanders.
Code  Image  

{{Meander66 2, +3, 2, +3, 2, +3,, +2, +4, 3, +2, 3, +1,, 2, 3, 2, +3, 2, 3,, +2, +3, +2, +4, 4, +3,, 2, 3, 2, +4, 3, +1,, +2, 1, 3, +2, 1, 3,, }} 
... 
Selfcrossing meanders filling out an nbyk grid (reduced for symmetry)
(...)
Selfcrossing meanders filling out an nbyn grid (reduced for symmetry)
(...)
Selfcrossing meanders filling out a 4by4 grid (reduced for symmetry)
Example of a selfcrossing meander filling out a 4by4 grid (reduced for symmetry)



Sequences
A200000 Number of meanders filling out an nbyn, grid, reduced for symmetry, n ≥ 1.
 {1, 1, 0, 4, 42, 9050, 6965359, ...}
A200749 Number of meanders filling out an nbyn grid, not reduced for symmetry, n ≥ 1.
 {1, 1, 0, 11, 320, 71648, 55717584, ...}
A200893 Triangle read by rows: number of meanders filling out an n by k grid, reduced for symmetry, n ≥ 1, 1 ≤ k ≤ n.
 {1, 0, 1, 0, 1, 0, 0, 1, 1, 4, 0, 1, 1, 14, 42, 0, 1, 3, 63, 843, 9050, 0, 1, 3, 224, 7506, 342743, 6965359, 0, 1, 8, 1022, 71542, 6971973, ...}
A201145 Triangle read by rows: number of meanders filling out an n by k grid, not reduced for symmetry, n ≥ 1, 1 ≤ k ≤ n.
 {1, 0, 1, 0, 1, 0, 0, 1, 2, 11, 0, 1, 2, 42, 320, 0, 1, 6, 199, 3278, 71648, 0, 1, 10, 858, 29904, 1369736, 55717584, 0, 1, 22, 3881, 285124, ...}
See also
 {{Meander}} graphic template
 Meanders filling out an nbyk grid (reduced for symmetry)
 Meanders filling out an nbyn grid (reduced for symmetry)
 Meanders filling out an nbyk grid (not reduced for symmetry)
 Meanders filling out an nbyn grid (not reduced for symmetry)
 Selfcrossing meanders filling out an nbyk grid (reduced for symmetry)
 Selfcrossing meanders filling out an nbyn grid (reduced for symmetry)