A365968 Irregular triangle read by rows: T(n,k) (0 <= n, 0 <= k < 2^n). An infinite binary tree with root node 0 in row n = 0. Each node then has left child (2*j) - k - 1 and right child (2*j) - k + 1, where j and k are the values of the parent and grandparent nodes respectively.

0, -1, 1, -3, -1, 1, 3, -6, -4, -2, 0, 0, 2, 4, 6, -10, -8, -6, -4, -4, -2, 0, 2, -2, 0, 2, 4, 4, 6, 8, 10, -15, -13, -11, -9, -9, -7, -5, -3, -7, -5, -3, -1, -1, 1, 3, 5, -5, -3, -1, 1, 1, 3, 5, 7, 3, 5, 7, 9, 9, 11, 13, 15, -21, -19, -17, -15, -15, -13, -11, -9

Offset

0,4

Comments

For n in A014601 row n will contain all even numbers from 0 to A000217(n).

For n in A042963 row n will contain all odd numbers from 1 to A000217(n).

Links

John Tyler Rascoe, Rows n = 0..12, flattened

Formula

T(n,k) = - Sum_{i=0..n-1} (i+1)*(-1)^b[i] where the binary expansion of k is k = Sum_{i=0..n-1} b[i]*2^i. - Kevin Ryde, Nov 14 2023

Example

Triangle begins:
        k=0   1   2   3   4   5   6   7   8   9  10  11  12  13  14  15
  n=0:    0;
  n=1:   -1,  1;
  n=2:   -3, -1,  1,  3;
  n=3:   -6, -4, -2,  0,  0,  2,  4,  6;
  n=4:  -10, -8, -6, -4, -4, -2,  0,  2, -2,  0,  2,  4,  4,  6,  8, 10;
  ...
The binary tree starts with root 0 in row n = 0. For rows n < 2, k = 0.
In row n = 3, the parent node -3 has left child -6 = 2*(-3) - (-1) - 1.
The tree begins:
row
[n]
[0]                   ______0______
                     /             \
[1]              __-1__           __1__
                /      \         /     \
[2]           -3       -1       1       3
              / \      / \     / \     / \
[3]         -6  -4   -2   0   0   2   4   6
.

Prog

(Python)
def A365968(n, k):
    b, x = bin(k)[2:].zfill(n), 0
    for i in range(0, n):
        x += (-1)**(int(b[n-(i+1)])+1)*(i+1)
    return(x) # John Tyler Rascoe, Nov 12 2023
(PARI) T(n, k) = sum(i=0, n-1, if(bittest(k, i), i+1, -(i+1))); \\ Kevin Ryde, Nov 14 2023

Crossrefs

Cf. A004718, A274575, A360173, A363718.

Sequence in context: A209563 A308624 A133825 * A156710 A114588 A253223

Adjacent sequences: A365965 A365966 A365967 * A365969 A365970 A365971

Keyword

sign,tabf,look,easy

Author

John Tyler Rascoe, Sep 23 2023

Status

approved