cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

User: Roy van Rijn

Roy van Rijn's wiki page.

Roy van Rijn has authored 2 sequences.

A376449 Smallest sum of addition chain for n.

Original entry on oeis.org

0, 1, 3, 3, 6, 6, 10, 7, 12, 11, 17, 12, 19, 17, 21, 15, 24, 21, 29, 21, 31, 28, 34, 24, 36, 32, 39, 31, 46, 36, 48, 31, 48, 41, 52, 39, 56, 48, 58, 41, 62, 52, 64, 50, 66, 57, 74, 48, 73, 61, 75, 58, 82, 66, 83, 59, 86, 75, 90, 66, 93, 79, 94, 63, 96, 81, 101, 75, 103, 87, 112, 75, 112, 93, 111
Offset: 1

Author

Roy van Rijn, Sep 23 2024

Keywords

Comments

There are multiple ways to get a shortest addition chain (A003313), this sequence is the smallest sum of the possible chains.

Examples

			Here are the smallest examples:
   n : a(n)
   1 :  0    []
   2 :  1    [1]
   3 :  3    [1, 2]
   4 :  3    [1, 2]
   5 :  6    [1, 2, 3]
   6 :  6    [1, 2, 3]
   7 : 10    [1, 2, 3, 4]
   8 :  7    [1, 2, 4]
   9 : 12    [1, 2, 4, 5]
  10 : 11    [1, 2, 3, 5]
  11 : 17    [1, 2, 3, 5, 6]
  12 : 12    [1, 2, 3, 6]
  13 : 19    [1, 2, 3, 6, 7]
  14 : 17    [1, 2, 3, 4, 7]
  15 : 21    [1, 2, 3, 6, 9]
  16 : 15    [1, 2, 4, 8]
  17 : 24    [1, 2, 4, 8, 9]
  18 : 21    [1, 2, 4, 5, 9]
  19 : 29    [1, 2, 3, 4, 8, 11]
  20 : 21    [1, 2, 3, 5, 10]
  ...
		

Crossrefs

Formula

For n = 2^s, a(n) = n-1.
For odd n, a(n) = A008057((n-1)/2) - n + 1. - Pontus von Brömssen, Apr 22 2025

A308632 Largest aggressor for the maximum number of peaceable coexisting queens as given in A250000.

Original entry on oeis.org

0, 0, 2, 3, 4, 6, 7, 10, 12, 15, 19
Offset: 1

Author

Roy van Rijn, Jun 12 2019

Keywords

Comments

Sequence A250000 is the maximum number m such that m white queens and m black queens can coexist on an n X n chessboard without attacking each other. However, one of the players can have more than m queens, being a bigger 'aggressor' in peaceful times. The current sequence lists the largest aggressors with k queens when the opponent has m queens for an n X n chessboard (from A250000).
The idea and name of the sequence was first mentioned by Bob Selcoe on May 29 2019 in the comment section of A250000.
The sequence was initially generated by Roy van Rijn using a SAT solver and is optimal for n=1 to n=11 (as of June 12 2019).
Bob Selcoe has shown it is possible to construct a 15 X 15 board with 32 queens of one color and 34 of another but this hasn't yet been proved to be optimal.
Many of these values have already been obtained by Stephen Ainley in 1977 (see links).
Conjecture: a(n) - A250000(n) <= 2 for all n. - Dmitry Kamenetsky, Oct 14 2019

Examples

			Examples (omitted cases where the largest aggressor is equal to A250000):
  n=1: white queens 0, black queens 0
  n=2: white queens 0, black queens 0
  n=3: white queens 1, black queens 2
  n=4: white queens 2, black queens 3
  +---------+
  | . W . W |
  | . . . . |
  | B . B . |
  | . . B . |
  +---------+
  n=5: white queens 4, black queens 4
  n=6: white queens 5, black queens 6
  +-------------+
  | . W . . . . |
  | W . W . . . |
  | . . . . B B |
  | . . . B . B |
  | W W . . . . |
  | . . . B . B |
  +-------------+
  n=7: white queens 7, black queens 7
  n=8: white queens 9, black queens 10
  +-----------------+
  | . . . B B B . . |
  | W W . . . . . . |
  | . . . B . . . B |
  | . . . . . . B B |
  | . . . . . B B B |
  | . W W . . . . . |
  | W W W . . . . . |
  | W W . . . . . . |
  +-----------------+
  n=9: white queens 12, black queens 12
  n=10: white queens 14, black queens 15
  +---------------------+
  | . . B B . . . . B B |
  | . . B B . . . B B B |
  | . . B . . . . B B B |
  | . . . . . . . B B . |
  | . W . . . . . . . . |
  | W W . . . . . . . . |
  | W W . . . . . . . . |
  | W . . . . W W . . . |
  | . . . . W W W . . . |
  | . . . . W W W . . . |
  +---------------------+
  n=11: white queens 17, black queens 19
  +-----------------------+
  | W . W . . . . . W . W |
  | . . . . B B B . . . . |
  | W . W . . . . . W . W |
  | . . . . B . B . . . . |
  | . B . . . B . B . B . |
  | . B . . B . B . . B . |
  | . B . . . B . B . B . |
  | . . . . B . B . . . . |
  | W . W . . . . . W . W |
  | . . . W . . . . . . . |
  | W . W . . . . . W . W |
  +-----------------------+
		

Crossrefs

Cf. A250000.

Formula

a(n) >= A250000(n).