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.

A351489 Irregular triangle read by rows: T(n,k) is the minimum number of alphabetic symbols in a regular expression for the k lexicographically first palindromes of length 2*n over a binary alphabet, n >= 0, 1 <= k <= 2^n.

This page as a plain text file.
%I A351489 #46 Mar 26 2022 22:22:24
%S A351489 0,2,4,4,6,10,12,6,8,12,14,20,22,26,28,8,10,14,16,22,24,28,30,38,40,
%T A351489 44,46,52,54,58,60,10,12,16,18,24,26,30,32,40,42,46,48,54,56,60,62,72,
%U A351489 74,78,80,86,88,92,94,102,104,108,110,116,118,122,124,12,14,18,20,26,28,32,34,42,44,48,50,56,58,62
%N A351489 Irregular triangle read by rows: T(n,k) is the minimum number of alphabetic symbols in a regular expression for the k lexicographically first palindromes of length 2*n over a binary alphabet, n >= 0, 1 <= k <= 2^n.
%C A351489 Following the notation in Gruber/Holzer (2021), for n >= 0 and 1 <= k <= 2^n, let P_{n,k} denote the set containing the lexicographically first k palindromes of even length 2n over the binary alphabet {a,b}. T(n,k) is the minimum number of alphabetic symbols in any regular expression describing the set P_{n,k}.
%H A351489 Hermann Gruber and Markus Holzer, <a href="https://doi.org/10.4230/LIPIcs.MFCS.2021.52">Optimal Regular Expressions for Palindromes of Given Length</a>, Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, Article No. 53, pp. 53:1-53:15, 2021.
%F A351489 T(n,k) = 2*n + 4*(k-1) - 2*wt(k-1), where wt(n) = A000120(n) is the sum of the binary digits of n. [Gruber and Holzer theorem 14]
%e A351489 Triangle T(n,k) begins:
%e A351489       k=1   2   3   4   5   6 ...
%e A351489   n=0:  0,
%e A351489   n=1:  2,  4;
%e A351489   n=2:  4,  6, 10, 12;
%e A351489   n=3:  6,  8, 12, 14, 20, 22, 26, 28;
%e A351489   n=4:  8, 10, 14, 16, 22, 24, 28, 30, 38, 40, 44, 46, 52, 54, 58, 60;
%e A351489   ...
%t A351489 Flatten[Table[2n+4(k-1)-2Total[IntegerDigits[k-1,2]],{n,0,6},{k,2^n}]] (* _Stefano Spezia_, Feb 13 2022 *)
%Y A351489 Cf. A000120 (sum of binary digits), A351490 (on odd lengths).
%K A351489 nonn,easy,tabf
%O A351489 0,2
%A A351489 _Hermann Gruber_, Feb 12 2022