login
This site is supported by donations to The OEIS Foundation.

 

Logo

"Email this user" was broken Aug 14 to 9am Aug 16. If you sent someone a message in this period, please send it again.

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A264041 a(n) is the maximum number of diagonals that can be placed in an n X n grid made up of 1 X 1 unit squares when diagonals are placed in the unit squares in such a way that no two diagonals may cross or intersect at an endpoint. 7
1, 3, 6, 10, 16, 21, 29, 36, 46, 55, 68, 78, 93, 105, 122, 136, 156, 171, 193, 210, 234, 253, 280, 300, 329, 351 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,2

COMMENTS

In other words, largest number of nonintersecting vertex-disjoint diagonals / and \ that can be packed in an n X n grid.

/ and \ cannot be adjacent horizontally or vertically.

Two \ cannot be adjacent on a northwest-to-southeast diagonal, two / cannot be adjacent on a southwest-to-northeast diagonal.

We also extended this to m X n grids, and have some limited results.

a(n) is the size of a maximum independent set in a graph with vertices (x,y,z), x=1..n, y=1..n, z=1..2, with edges joining (x,y,z) to (x,y,3-z), (x+1,y,3-z), and (x,y+1,3-z), (x,y,1) to (x+1,y-1,1) and (x,y,2) to (x+1,y+1,2). - Robert Israel, Nov 01 2015

From Rob Pratt, Nov 09 2015: (Start)

382 <= a(27) <= 383.

a(29) = 440.

For n in {2,4,...,100}, a(n) = n(n+1)/2.

Let b(n) denote the number of optimal solutions. Then b(1) = 2, b(2) = 4, b(3) = 28, b(4) = 108, b(5) = 2, b(6) = 13968, b(7) = 480, b(8) > 14000, b(9) > 5000. (End)

LINKS

Table of n, a(n) for n=1..26.

Robert Israel, Optimal configurations for n=1..26

Peter Boyland, Gabriella Pintér, István Laukó, Ivan Roth, Jon E. Schoenfield, and Stephen Wasielewski, On the Maximum Number of Non-intersecting Diagonals in an Array, Journal of Integer Sequences, Vol. 20 (2017), Article 17.2.4.

Robert Israel, Code for Matlab with Cplex

Mathematics StackExchange, How to solve 5x5 grid with 16 diagonals

NRICH, Distinct Diagonals

Gabriella Pinter, Figure used to illustrate proof of lower bound in n=6k-1 case, k=1,2,3

Gabriella Pinter, Lower bound for the case n = 6k-1, Oct 27 2015

Gabriella Pinter, Solution when there are an even number of rows of cells

FORMULA

Theorem: a(2*n) = n*(2n+1) (the even-indexed terms among the triangular numbers A000217). More generally, for the 2k X m case, the optimal solution is k*(m+1). See third Pinter link for proof.

Theorem: a(6*n-1) >= n + 3*n*(6*n-1). See second Pinter link for proof.

Theorem: a(n) <= a(n-2) + 2*n.

Empirical g.f.: (1+2*x+2*x^2+2*x^3+3*x^4+x^5+x^6)*x/((1+x+x^2)*(1-x+x^2)*(1-x)^3). - Robert Israel, Nov 01 2015

EXAMPLE

For a(2) = 3, an optimal configuration is

   //

   ./

(This is best seen using a fixed-width font. It is better to use "." instead of " " for blank squares, because " " tends to disappear.)

Note that the bottom left square can't have / because that would conflict with the / at top right, or \ because that would conflict with its horizontal and vertical neighbors.

For a(3) = 6, an optimal configuration is

   ///

   ../

   /./

For a(4) = 10, an optimal configuration may be depicted, with the grid lines explicitly drawn, as

   +-+-+-+-+

   |/| |\|\|

   +-+-+-+-+

   |/| |\| |

   +-+-+-+-+

   |/| | | |

   +-+-+-+-+

   |/|/|/|/|

   +-+-+-+-+

or, using "o" and "." to represent used and unused vertices, as

   .-o-o-o-.

   |/| |\|\|

   o-o-o-o-o

   |/| |\| |

   o-o-.-o-.

   |/| | | |

   o-o-o-o-o

   |/|/|/|/|

   o-o-o-o-.

For a(5) = 16, an optimal configuration is

   ///.\

   ../.\

   \\.\\

   \./..

   \.///

For more examples, see the link "Optimal configurations for n=1..26".

CROSSREFS

Cf. A000217, A260708 (the same?), A264938 (first bisection?).

Sequence in context: A202269 A151375 A153453 * A260708 A025215 A283503

Adjacent sequences:  A264038 A264039 A264040 * A264042 A264043 A264044

KEYWORD

nonn,more,nice

AUTHOR

Gabriella Pinter, Stephen Wasielewski, Peter Boyland, Ivan Roth, G. Christopher Hruska, Jeb Willenbring, Oct 22 2015

EXTENSIONS

Additional comments and terms a(9)-a(26) from Robert Israel, Nov 01 2015

This entry is the result of merging two independent submissions, merged by N. J. A. Sloane, Nov 11 2015

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent | More pages
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy .

Last modified August 21 17:49 EDT 2017. Contains 290892 sequences.