A097805 Number of compositions of n with k parts, T(n, k) = binomial(n-1, k-1) for n, k >= 1 and T(n, 0) = 0^n, triangle read by rows for n >= 0 and 0 <= k <= n.
1, 0, 1, 0, 1, 1, 0, 1, 2, 1, 0, 1, 3, 3, 1, 0, 1, 4, 6, 4, 1, 0, 1, 5, 10, 10, 5, 1, 0, 1, 6, 15, 20, 15, 6, 1, 0, 1, 7, 21, 35, 35, 21, 7, 1, 0, 1, 8, 28, 56, 70, 56, 28, 8, 1, 0, 1, 9, 36, 84, 126, 126, 84, 36, 9, 1, 0, 1, 10, 45, 120, 210, 252, 210, 120, 45, 10, 1, 0, 1, 11, 55, 165, 330, 462, 462, 330, 165, 55, 11, 1
Offset: 0
A058622 a(n) = 2^(n-1) - ((1+(-1)^n)/4)*binomial(n, n/2).
0, 1, 1, 4, 5, 16, 22, 64, 93, 256, 386, 1024, 1586, 4096, 6476, 16384, 26333, 65536, 106762, 262144, 431910, 1048576, 1744436, 4194304, 7036530, 16777216, 28354132, 67108864, 114159428, 268435456, 459312152, 1073741824, 1846943453
Offset: 0
Comments
a(n) is the number of n-digit binary sequences that have more 1's than 0's. - Geoffrey Critzer, Jul 16 2009
Maps to the number of walks that end above 0 on the number line with steps being 1 or -1. - Benjamin Phillabaum, Mar 06 2011
Chris Godsil observes that a(n) is the independence number of the (n+1)-folded cube graph; proof is by a Cvetkovic's eigenvalue bound to establish an upper bound and a direct construction of the independent set by looking at vertices at an odd (resp., even) distance from a fixed vertex when n is odd (resp., even). - Stan Wagon, Jan 29 2013
Also the number of subsets of {1,2,...,n} that contain more odd than even numbers. For example, for n=4, a(4)=5 and the 5 subsets are {1}, {3}, {1,3}, {1,2,3}, {1,3,4}. See A014495 when same number of even and odd numbers. - Enrique Navarrete, Feb 10 2018
Also half the number of length-n binary sequences with a different number of zeros than ones. This is also the number of integer compositions of n with nonzero alternating sum, where the alternating sum of a sequence (y_1,...,y_k) is Sum_i (-1)^(i-1) y_i. Also the number of integer compositions of n+1 with alternating sum <= 0, ranked by A345915 (reverse: A345916). - Gus Wiseman, Jul 19 2021
Examples
G.f. = x + x^2 + 4*x^3 + 5*x^4 + 16*x^5 + 22*x^6 + 64*x^7 + 93*x^8 + ... From _Gus Wiseman_, Jul 19 2021: (Start) The a(1) = 1 through a(5) = 16 compositions with nonzero alternating sum: (1) (2) (3) (4) (5) (1,2) (1,3) (1,4) (2,1) (3,1) (2,3) (1,1,1) (1,1,2) (3,2) (2,1,1) (4,1) (1,1,3) (1,2,2) (1,3,1) (2,1,2) (2,2,1) (3,1,1) (1,1,1,2) (1,1,2,1) (1,2,1,1) (2,1,1,1) (1,1,1,1,1) (End)
References
- A. P. Prudnikov, Yu. A. Brychkov and O.I. Marichev, "Integrals and Series", Volume 1: "Elementary Functions", Chapter 4: "Finite Sums", New York, Gordon and Breach Science Publishers, 1986-1992, Eq. (4.2.1.7)
Links
- G. C. Greubel, Table of n, a(n) for n = 0..1000
- Eric Weisstein's World of Mathematics, Folded Cube Graph
- Eric Weisstein's World of Mathematics, Independence Number
Crossrefs
The odd bisection is A000302.
The even bisection is A000346.
The following relate to compositions with nonzero alternating sum:
- The version for alternating sum > 0 is A027306.
- The version for alternating sum < 0 is A294175.
- These compositions are ranked by A345921.
A011782 counts compositions.
A097805 counts compositions by alternating (or reverse-alternating) sum.
A345197 counts compositions by length and alternating sum.
Compositions of n, 2n, or 2n+1 with alternating/reverse-alternating sum k:
Programs
-
Magma
[(2^n -(1+(-1)^n)*Binomial(n, Floor(n/2))/2)/2: n in [0..40]]; // G. C. Greubel, Aug 08 2022
-
Mathematica
Table[Sum[Binomial[n, Floor[n/2 + i]], {i, 1, n}], {n, 0, 32}] (* Geoffrey Critzer, Jul 16 2009 *) a[n_] := If[n < 0, 0, (2^n - Boole[EvenQ @ n] Binomial[n, Quotient[n, 2]])/2]; (* Michael Somos, Nov 22 2014 *) a[n_] := If[n < 0, 0, n! SeriesCoefficient[(Exp[2 x] - BesselI[0, 2 x])/2, {x, 0, n}]]; (* Michael Somos, Nov 22 2014 *) Table[2^(n - 1) - (1 + (-1)^n) Binomial[n, n/2]/4, {n, 0, 40}] (* Eric W. Weisstein, Mar 21 2018 *) CoefficientList[Series[2 x/((1-2x)(1 + 2x + Sqrt[(1+2x)(1-2x)])), {x, 0, 40}], x] (* Eric W. Weisstein, Mar 21 2018 *) ats[y_]:=Sum[(-1)^(i-1)*y[[i]],{i,Length[y]}];Table[Length[Select[Join@@Permutations/@IntegerPartitions[n],ats[#]!=0&]],{n,0,15}] (* Gus Wiseman, Jul 19 2021 *)
-
PARI
a(n) = 2^(n-1) - ((1+(-1)^n)/4)*binomial(n, n\2); \\ Michel Marcus, Dec 30 2015
-
PARI
my(x='x+O('x^100)); concat(0, Vec(2*x/((1-2*x)*(1+2*x+((1+2*x)*(1-2*x))^(1/2))))) \\ Altug Alkan, Dec 30 2015
-
Python
from math import comb def A058622(n): return (1<
>1)>>1) if n else 0 # Chai Wah Wu, Aug 25 2025 -
SageMath
[(2^n - binomial(n, n//2)*((n+1)%2))/2 for n in (0..40)] # G. C. Greubel, Aug 08 2022
Formula
a(n) = 2^(n-1) - ((1+(-1)^n)/4)*binomial(n, n/2).
a(n) = Sum_{i=0..floor((n-1)/2)} binomial(n, i).
G.f.: 2*x/((1-2*x)*(1+2*x+((1+2*x)*(1-2*x))^(1/2))). - Vladeta Jovovic, Apr 27 2003
E.g.f: (e^(2x)-I_0(2x))/2 where I_n is the Modified Bessel Function. - Benjamin Phillabaum, Mar 06 2011
Logarithmic derivative of the g.f. of A210736 is a(n+1). - Michael Somos, Nov 22 2014
Even index: a(2n) = 2^(n-1) - A088218(n). Odd index: a(2n+1) = 2^(2n). - Gus Wiseman, Jul 19 2021
D-finite with recurrence n*a(n) +2*(-n+1)*a(n-1) +4*(-n+1)*a(n-2) +8*(n-2)*a(n-3)=0. - R. J. Mathar, Sep 23 2021
a(n) = 2^n-A027306(n). - R. J. Mathar, Sep 23 2021
A345197 Concatenation of square matrices A(n), each read by rows, where A(n)(k,i) is the number of compositions of n of length k with alternating sum i, where 1 <= k <= n, and i ranges from -n + 2 to n in steps of 2.
1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1, 1, 1, 0, 0, 1, 2, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 0, 0, 1, 2, 3, 0, 0, 2, 2, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 2, 3, 4, 0, 0, 3, 4, 3, 0, 0, 0, 0, 2, 3, 0, 0, 0, 0, 1, 0, 0, 0
Offset: 0
Comments
The alternating sum of a sequence (y_1,...,y_k) is Sum_i (-1)^(i-1) y_i.
Examples
The matrices for n = 1..7: 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 0 1 2 0 0 1 2 3 0 0 1 2 3 4 0 0 1 2 3 4 5 0 0 1 0 0 0 2 2 0 0 0 3 4 3 0 0 0 4 6 6 4 0 0 0 0 1 0 0 0 0 2 3 0 0 0 0 3 6 6 0 0 0 0 1 0 0 0 0 0 3 3 0 0 0 0 0 0 1 0 0 0 Matrix n = 5 counts the following compositions: i=-3: i=-1: i=1: i=3: i=5: ----------------------------------------------------------------- k=1: | 0 0 0 0 (5) k=2: | (14) (23) (32) (41) 0 k=3: | 0 (131) (221)(122) (311)(113)(212) 0 k=4: | 0 (1211)(1112) (2111)(1121) 0 0 k=5: | 0 0 (11111) 0 0
Links
- Gus Wiseman, A raster plot of the zeros in A(16).
Crossrefs
The number of nonzero terms in each matrix appears to be A000096.
The number of zeros in each matrix appears to be A000124.
Row sums and column sums both appear to be A007318 (Pascal's triangle).
The matrix sums are A131577.
Antidiagonal sums appear to be A163493.
The reverse-alternating version is also A345197 (this sequence).
Antidiagonals are A345907.
Traces are A345908.
A011782 counts compositions.
A097805 counts compositions by alternating (or reverse-alternating) sum.
A344610 counts partitions by sum and positive reverse-alternating sum.
A344611 counts partitions of 2n with reverse-alternating sum >= 0.
Compositions of n, 2n, or 2n+1 with alternating/reverse-alternating sum k:
Programs
-
Mathematica
ats[y_]:=Sum[(-1)^(i-1)*y[[i]],{i,Length[y]}]; Table[Length[Select[Join@@Permutations/@IntegerPartitions[n],Length[#]==k&&ats[#]==i&]],{n,0,6},{k,1,n},{i,-n+2,n,2}]
A294175 a(n) = 2^(n-1) + ((1+(-1)^n)/4)*binomial(n, n/2) - binomial(n, floor(n/2)).
0, 0, 1, 1, 5, 6, 22, 29, 93, 130, 386, 562, 1586, 2380, 6476, 9949, 26333, 41226, 106762, 169766, 431910, 695860, 1744436, 2842226, 7036530, 11576916, 28354132, 47050564, 114159428, 190876696, 459312152, 773201629, 1846943453, 3128164186, 7423131482
Offset: 0
Keywords
Comments
Number of subsets of {1,2,...,n} that contain more even than odd numbers.
Note that A058622 counts the nonempty subsets of {1,2,...,n} that contain more odd than even numbers.
From Gus Wiseman, Jul 22 2021: (Start)
Also the number of integer compositions of n + 1 with alternating sum < 0, where the alternating sum of a sequence (y_1,...,y_k) is Sum_i (-1)^(i-1) y_i. For example, the a(0) = 0 through a(6) = 6 compositions (empty columns indicated by dots) are:
. . (12) (13) (14) (15)
(23) (24)
(131) (141)
(1112) (1113)
(1211) (1212)
(1311)
Also the number of integer compositions of n + 1 with reverse-alternating sum < 0. For a bijection, keep the odd-length compositions and reverse the even-length ones.
Also the number of (n+1)-digit binary numbers with more 0's than 1's. For example, the a(0) = 0 through a(5) = 6 binary numbers are:
. . 100 1000 10000 100000
10001 100001
10010 100010
10100 100100
11000 101000
110000
(End)
2*a(n) is the number of all-positive pinnacle sets that are admissible in the group S_{n+1}^B of signed permutations, but not admissible in S_{n+1}. - Bridget Tenner, Jan 06 2023
Examples
For example, for n=5, a(5)=6 and the 6 subsets are {2}, {4}, {2,4}, {1,2,4}, {2,3,4}, {2,4,5}.
Links
- Nicolle González, Pamela E. Harris, Gordon Rojas Kirby, Mariana Smit Vega Garcia, and Bridget Eileen Tenner, Pinnacle sets of signed permutations, arXiv:2301.02628 [math.CO] (2023).
Crossrefs
Programs
-
Maple
f:= gfun:-rectoproc({(8+8*n)*a(n)+(4*n+16)*a(1+n)+(-20-6*n)*a(n+2)+(-5-n)*a(n+3)+(5+n)*a(n+4), a(0) = 0, a(1) = 0, a(2) = 1, a(3) = 1}, a(n), remember): map(f, [$0..40]); # Robert Israel, Feb 12 2018
-
Mathematica
f[n_] := 2^(n - 1) + ((1 + (-1)^n)/4) Binomial[n, n/2] - Binomial[n, Floor[n/2]]; Array[f, 38, 0] (* Robert G. Wilson v, Feb 10 2018 *) Table[Length[Select[Tuples[{0,1},{n+1}],First[#]==1&&Count[#,0]>Count[#,1]&]],{n,0,10}] (* Gus Wiseman, Jul 22 2021 *)
Formula
From Robert Israel, Feb 12 2018: (Start)
G.f.: (x+1)*sqrt(1-4*x^2)/(2*x*(4*x^2-1))+(x-1)/(2*(2*x-1)*x).
D-finite with recurrence: (8+8*n)*a(n)+(4*n+16)*a(1+n)+(-20-6*n)*a(n+2)+(-5-n)*a(n+3)+(5+n)*a(n+4) = 0. (End)
A262977 a(n) = binomial(4*n-1,n).
1, 3, 21, 165, 1365, 11628, 100947, 888030, 7888725, 70607460, 635745396, 5752004349, 52251400851, 476260169700, 4353548972850, 39895566894540, 366395202809685, 3371363686069236, 31074067324187580, 286845713747883300, 2651487106659130740, 24539426037817994160
Offset: 0
Comments
From Gus Wiseman, Sep 28 2022: (Start)
Also the number of integer compositions of 4n with alternating sum 2n, where the alternating sum of a sequence (y_1,...,y_k) is Sum_i (-1)^(i-1) y_i. These compositions are ranked by A348614. The a(12) = 21 compositions are:
(6,2) (1,2,5) (1,1,5,1) (1,1,1,1,4)
(2,2,4) (2,1,4,1) (1,1,2,1,3)
(3,2,3) (3,1,3,1) (1,1,3,1,2)
(4,2,2) (4,1,2,1) (1,1,4,1,1)
(5,2,1) (5,1,1,1) (2,1,1,1,3)
(2,1,2,1,2)
(2,1,3,1,1)
(3,1,1,1,2)
(3,1,2,1,1)
(4,1,1,1,1)
The following pertain to this interpretation:
- Allowing any alternating sum gives A013777 (compositions of 4n).
- A011782 counts compositions of n.
- A034871 counts compositions of 2n with alternating sum 2k.
- A097805 counts compositions by alternating (or reverse-alternating) sum.
- A345197 counts compositions by length and alternating sum.
(End)
Links
- V. V. Kruchinin and D. V. Kruchinin, A Generating Function for the Diagonal T_{2n,n} in Triangles, Journal of Integer Sequences, Vol. 18 (2015), Article 15.4.6.
Crossrefs
Programs
-
Magma
[Binomial(4*n-1,n): n in [0..20]]; // Vincenzo Librandi, Oct 06 2015
-
Mathematica
Table[Binomial[4 n - 1, n], {n, 0, 40}] (* Vincenzo Librandi, Oct 06 2015 *)
-
Maxima
B(x):=sum(binomial(4*n-1,n-1)*3/(4*n-1)*x^n,n,1,30); taylor(x*diff(B(x),x,1)/B(x),x,0,20);
-
PARI
a(n) = binomial(4*n-1,n); \\ Michel Marcus, Oct 06 2015
Formula
G.f.: A(x)=x*B'(x)/B(x), where B(x) if g.f. of A006632.
a(n) = Sum_{k=0..n}(binomial(n-1,n-k)*binomial(3*n,k)).
a(n) = 3*A224274(n), for n > 0. - Michel Marcus, Oct 12 2015
From Peter Bala, Nov 04 2015: (Start)
The o.g.f. equals f(x)/g(x), where f(x) is the o.g.f. for A005810 and g(x) is the o.g.f. for A002293. More generally, f(x)*g(x)^k is the o.g.f. for the sequence binomial(4*n + k,n). Cf. A005810 (k = 0), A052203 (k = 1), A257633 (k = 2), A224274 (k = 3) and A004331 (k = 4). (End)
a(n) = [x^n] 1/(1 - x)^(3*n). - Ilya Gutkovskiy, Oct 03 2017
From Peter Bala, Feb 14 2024: (Start)
a(n) = (-1)^n * binomial(-3*n, n).
a(n) = hypergeom([1 - 3*n, -n], [1], 1).
The g.f. A(x) satisfies A(x/(1 + x)^4) = 1/(1 - 3*x). (End)
a(n) = Sum_{k = 0..n} binomial(2*n+k-1, k)*binomial(2*n-k-1, n-k). - Peter Bala, Sep 16 2024
G.f.: 1/(4-3*g) where g = 1+x*g^4 is the g.f. of A002293. - Seiichi Manyama, Aug 17 2025
A345912 Numbers k such that the k-th composition in standard order (row k of A066099) has reverse-alternating sum -1.
5, 18, 23, 25, 29, 68, 75, 78, 81, 85, 90, 95, 98, 103, 105, 109, 114, 119, 121, 125, 264, 275, 278, 284, 289, 293, 298, 303, 308, 315, 318, 322, 327, 329, 333, 338, 343, 345, 349, 356, 363, 366, 369, 373, 378, 383, 388, 395, 398, 401, 405, 410, 415, 418, 423
Offset: 1
Keywords
Comments
The reverse-alternating sum of a sequence (y_1,...,y_k) is Sum_i (-1)^(k-i) y_i.
The k-th composition in standard order (graded reverse-lexicographic, A066099) is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, taking first differences, and reversing again. This gives a bijective correspondence between nonnegative integers and integer compositions.
Examples
The sequence of terms together with the corresponding compositions begins: 5: (2,1) 18: (3,2) 23: (2,1,1,1) 25: (1,3,1) 29: (1,1,2,1) 68: (4,3) 75: (3,2,1,1) 78: (3,1,1,2) 81: (2,4,1) 85: (2,2,2,1) 90: (2,1,2,2) 95: (2,1,1,1,1,1) 98: (1,4,2) 103: (1,3,1,1,1) 105: (1,2,3,1)
Crossrefs
These compositions are counted by A001791.
These are the positions of -1's in A344618.
The non-reverse version is A345910.
The opposite (positive 1) version is A345911.
The version for Heinz numbers of partitions is A345959.
A011782 counts compositions.
A097805 counts compositions by alternating or reverse-alternating sum.
A344610 counts partitions by sum and positive reverse-alternating sum.
A344611 counts partitions of 2n with reverse-alternating sum >= 0.
A345197 counts compositions by sum, length, and alternating sum.
Compositions of n, 2n, or 2n+1 with alternating/reverse-alternating sum k:
Programs
-
Mathematica
stc[n_]:=Differences[Prepend[Join@@Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse; sats[y_]:=Sum[(-1)^(i-Length[y])*y[[i]],{i,Length[y]}]; Select[Range[0,100],sats[stc[#]]==-1&]
A345911 Numbers k such that the k-th composition in standard order (row k of A066099) has reverse-alternating sum 1.
1, 6, 7, 20, 21, 26, 27, 30, 31, 72, 73, 82, 83, 86, 87, 92, 93, 100, 101, 106, 107, 110, 111, 116, 117, 122, 123, 126, 127, 272, 273, 290, 291, 294, 295, 300, 301, 312, 313, 324, 325, 330, 331, 334, 335, 340, 341, 346, 347, 350, 351, 360, 361, 370, 371, 374
Offset: 1
Keywords
Comments
The reverse-alternating sum of a sequence (y_1,...,y_k) is Sum_i (-1)^(k-i) y_i.
The k-th composition in standard order (graded reverse-lexicographic, A066099) is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, taking first differences, and reversing again. This gives a bijective correspondence between nonnegative integers and integer compositions.
Examples
The sequence of terms together with the corresponding compositions begins: 1: (1) 6: (1,2) 7: (1,1,1) 20: (2,3) 21: (2,2,1) 26: (1,2,2) 27: (1,2,1,1) 30: (1,1,1,2) 31: (1,1,1,1,1) 72: (3,4) 73: (3,3,1) 82: (2,3,2) 83: (2,3,1,1) 86: (2,2,1,2) 87: (2,2,1,1,1)
Crossrefs
The version for Heinz numbers of partitions is A001105.
A version using runs of binary digits is A066879.
These are positions of 1's in A344618.
The non-reverse version is A345909.
The opposite (negative 1) version is A345912.
The version for prime indices is A345958.
A011782 counts compositions.
A097805 counts compositions by alternating or reverse-alternating sum.
A344610 counts partitions by sum and positive reverse-alternating sum.
A344611 counts partitions of 2n with reverse-alternating sum >= 0.
A345197 counts compositions by sum, length, and alternating sum.
Compositions of n, 2n, or 2n+1 with alternating/reverse-alternating sum k:
Programs
-
Mathematica
stc[n_]:=Differences[Prepend[Join@@Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse; sats[y_]:=Sum[(-1)^(i-Length[y])*y[[i]],{i,Length[y]}]; Select[Range[0,100],sats[stc[#]]==1&]
A345913 Numbers k such that the k-th composition in standard order (row k of A066099) has alternating sum >= 0.
0, 1, 2, 3, 4, 5, 7, 8, 9, 10, 11, 13, 14, 15, 16, 17, 18, 19, 21, 22, 23, 26, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39, 41, 42, 43, 44, 45, 46, 47, 50, 52, 53, 55, 56, 57, 58, 59, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 73, 74, 75, 76, 77, 78, 79, 82
Offset: 1
Keywords
Comments
The alternating sum of a sequence (y_1,...,y_k) is Sum_i (-1)^(i-1) y_i.
The k-th composition in standard order (graded reverse-lexicographic, A066099) is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, taking first differences, and reversing again. This gives a bijective correspondence between nonnegative integers and integer compositions.
Examples
The sequence of terms together with the corresponding compositions begins: 0: () 17: (4,1) 37: (3,2,1) 1: (1) 18: (3,2) 38: (3,1,2) 2: (2) 19: (3,1,1) 39: (3,1,1,1) 3: (1,1) 21: (2,2,1) 41: (2,3,1) 4: (3) 22: (2,1,2) 42: (2,2,2) 5: (2,1) 23: (2,1,1,1) 43: (2,2,1,1) 7: (1,1,1) 26: (1,2,2) 44: (2,1,3) 8: (4) 28: (1,1,3) 45: (2,1,2,1) 9: (3,1) 29: (1,1,2,1) 46: (2,1,1,2) 10: (2,2) 31: (1,1,1,1,1) 47: (2,1,1,1,1) 11: (2,1,1) 32: (6) 50: (1,3,2) 13: (1,2,1) 33: (5,1) 52: (1,2,3) 14: (1,1,2) 34: (4,2) 53: (1,2,2,1) 15: (1,1,1,1) 35: (4,1,1) 55: (1,2,1,1,1) 16: (5) 36: (3,3) 56: (1,1,4)
Crossrefs
These compositions are counted by A116406.
These are the positions of terms >= 0 in A124754.
The version for prime indices is A344609.
The reverse-alternating sum version is A345914.
The opposite (k <= 0) version is A345915.
The strict (k > 0) version is A345917.
The complement is A345919.
A011782 counts compositions.
A097805 counts compositions by alternating (or reverse-alternating) sum.
A345197 counts compositions by sum, length, and alternating sum.
Compositions of n, 2n, or 2n+1 with alternating/reverse-alternating sum k:
Programs
-
Mathematica
stc[n_]:=Differences[Prepend[Join@@Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse; ats[y_]:=Sum[(-1)^(i-1)*y[[i]],{i,Length[y]}]; Select[Range[0,100],ats[stc[#]]>=0&]
A345909 Numbers k such that the k-th composition in standard order (row k of A066099) has alternating sum 1.
1, 5, 7, 18, 21, 23, 26, 29, 31, 68, 73, 75, 78, 82, 85, 87, 90, 93, 95, 100, 105, 107, 110, 114, 117, 119, 122, 125, 127, 264, 273, 275, 278, 284, 290, 293, 295, 298, 301, 303, 308, 313, 315, 318, 324, 329, 331, 334, 338, 341, 343, 346, 349, 351, 356, 361
Offset: 1
Keywords
Comments
The alternating sum of a composition (y_1,...,y_k) is Sum_i (-1)^(i-1) y_i.
The k-th composition in standard order (graded reverse-lexicographic, A066099) is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, taking first differences, and reversing again. This gives a bijective correspondence between nonnegative integers and integer compositions.
Examples
The sequence of terms together with the corresponding compositions begins: 1: (1) 87: (2,2,1,1,1) 5: (2,1) 90: (2,1,2,2) 7: (1,1,1) 93: (2,1,1,2,1) 18: (3,2) 95: (2,1,1,1,1,1) 21: (2,2,1) 100: (1,3,3) 23: (2,1,1,1) 105: (1,2,3,1) 26: (1,2,2) 107: (1,2,2,1,1) 29: (1,1,2,1) 110: (1,2,1,1,2) 31: (1,1,1,1,1) 114: (1,1,3,2) 68: (4,3) 117: (1,1,2,2,1) 73: (3,3,1) 119: (1,1,2,1,1,1) 75: (3,2,1,1) 122: (1,1,1,2,2) 78: (3,1,1,2) 125: (1,1,1,1,2,1) 82: (2,3,2) 127: (1,1,1,1,1,1,1) 85: (2,2,2,1) 264: (5,4)
Crossrefs
The version for prime indices is A001105.
A version using runs of binary digits is A031448.
These are the positions of 1's in A124754.
The opposite (negative 1) version is A345910.
The reverse version is A345911.
The version for Heinz numbers of partitions is A345958.
A011782 counts compositions.
A097805 counts compositions by sum and alternating sum.
A344610 counts partitions by sum and positive reverse-alternating sum.
A344611 counts partitions of 2n with reverse-alternating sum >= 0.
A345197 counts compositions by sum, length, and alternating sum.
Compositions of n, 2n, or 2n+1 with alternating/reverse-alternating sum k:
Programs
-
Mathematica
stc[n_]:=Differences[Prepend[Join@@Position[ Reverse[IntegerDigits[n,2]],1],0]]//Reverse; ats[y_]:=Sum[(-1)^(i-1)*y[[i]],{i,Length[y]}]; Select[Range[0,100],ats[stc[#]]==1&]
A345919 Numbers k such that the k-th composition in standard order (row k of A066099) has alternating sum < 0.
6, 12, 20, 24, 25, 27, 30, 40, 48, 49, 51, 54, 60, 72, 80, 81, 83, 86, 92, 96, 97, 98, 99, 101, 102, 103, 106, 108, 109, 111, 116, 120, 121, 123, 126, 144, 160, 161, 163, 166, 172, 184, 192, 193, 194, 195, 197, 198, 199, 202, 204, 205, 207, 212, 216, 217, 219
Offset: 1
Keywords
Comments
The alternating sum of a sequence (y_1,...,y_k) is Sum_i (-1)^(i-1) y_i.
The k-th composition in standard order (graded reverse-lexicographic, A066099) is obtained by taking the set of positions of 1's in the reversed binary expansion of k, prepending 0, taking first differences, and reversing again. This gives a bijective correspondence between nonnegative integers and integer compositions.
Examples
The initial terms and the corresponding compositions: 6: (1,2) 81: (2,4,1) 12: (1,3) 83: (2,3,1,1) 20: (2,3) 86: (2,2,1,2) 24: (1,4) 92: (2,1,1,3) 25: (1,3,1) 96: (1,6) 27: (1,2,1,1) 97: (1,5,1) 30: (1,1,1,2) 98: (1,4,2) 40: (2,4) 99: (1,4,1,1) 48: (1,5) 101: (1,3,2,1) 49: (1,4,1) 102: (1,3,1,2) 51: (1,3,1,1) 103: (1,3,1,1,1) 54: (1,2,1,2) 106: (1,2,2,2) 60: (1,1,1,3) 108: (1,2,1,3) 72: (3,4) 109: (1,2,1,2,1) 80: (2,5) 111: (1,2,1,1,1,1)
Crossrefs
The version for Heinz numbers of partitions is A119899.
These are the positions of terms < 0 in A124754.
The complement is A345913.
The weak (k <= 0) version is A345915.
The opposite (k < 0) version is A345917.
The version for reversed alternating sum is A345920.
A011782 counts compositions.
A097805 counts compositions by alternating (or reverse-alternating) sum.
A236913 counts partitions of 2n with reverse-alternating sum <= 0.
A345197 counts compositions by sum, length, and alternating sum.
Compositions of n, 2n, or 2n+1 with alternating/reverse-alternating sum k:
Programs
-
Mathematica
stc[n_]:=Differences[Prepend[Join@@Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse; ats[y_]:=Sum[(-1)^(i-1)*y[[i]],{i,Length[y]}]; Select[Range[0,100],ats[stc[#]]<0&]
Comments
Examples
References
Links
Crossrefs
Programs
Maple
Mathematica
PARI
PARI
PARI
Python
Sage
Formula
Extensions