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.

Previous Showing 91-100 of 182 results. Next

A369143 Number of labeled simple graphs with n edges and n vertices such that it is not possible to choose a different vertex from each edge (non-choosable).

Original entry on oeis.org

0, 0, 0, 0, 0, 30, 1335, 47460, 1651230, 59636640, 2284113762, 93498908580, 4099070635935, 192365988161490, 9646654985111430, 515736895712230192, 29321225548502776980, 1768139644819077541440, 112805126206185257070660, 7595507651522103787077270, 538504704005397535690160274
Offset: 0

Views

Author

Gus Wiseman, Jan 21 2024

Keywords

Examples

			The term a(5) = 30 counts all permutations of the graph {{1,2},{1,3},{1,4},{2,3},{2,4}}.
		

Crossrefs

The version without the choice condition is A116508, covering A367863.
The complement is A137916.
Allowing any number of edges gives A367867, covering A367868.
The version with loops is A368596, covering A368730, unlabeled A368835.
For set-systems we have A368600, for any number of edges A367903.
The covering case is A369144.
A006125 counts simple graphs, unlabeled A000088.
A058891 counts set-systems (without singletons A016031), unlabeled A000612.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n],{2}], {n}],Length[Select[Tuples[#],UnsameQ@@#&]]==0&]],{n,0,5}]

Formula

a(n) = A116508(n) - A137916(n). - Andrew Howroyd, Feb 02 2024

Extensions

a(8) onwards from Andrew Howroyd, Feb 02 2024

A370589 Number of subsets of {1..n} containing n such that it is not possible to choose a different binary index of each element.

Original entry on oeis.org

0, 0, 0, 1, 1, 6, 17, 42, 67, 175, 400, 870, 1841, 3820, 7837, 15920, 30997, 63370, 128348, 258699, 520042, 1043284, 2090732, 4186382, 8379022, 16765549, 33540664, 67092258, 134198633, 268412631, 536844414, 1073710403, 2147296425, 4294753612, 8589686922, 17179580003
Offset: 0

Views

Author

Gus Wiseman, Mar 08 2024

Keywords

Comments

A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793.

Examples

			The binary indices of {1,4,5} are {{1},{3},{1,3}}, from which it is not possible to choose three different elements, so S is counted under a(3).
The binary indices of S = {1,6,8,9} are {{1},{2,3},{4},{1,4}}, from which it is not possible to choose four different elements, so S is counted under a(9).
The a(0) = 0 through a(6) = 17 subsets:
  .  .  .  {1,2,3}  {1,2,3,4}  {1,4,5}      {2,4,6}
                               {1,2,3,5}    {1,2,3,6}
                               {1,2,4,5}    {1,2,4,6}
                               {1,3,4,5}    {1,2,5,6}
                               {2,3,4,5}    {1,3,4,6}
                               {1,2,3,4,5}  {1,3,5,6}
                                            {1,4,5,6}
                                            {2,3,4,6}
                                            {2,3,5,6}
                                            {2,4,5,6}
                                            {3,4,5,6}
                                            {1,2,3,4,6}
                                            {1,2,3,5,6}
                                            {1,2,4,5,6}
                                            {1,3,4,5,6}
                                            {2,3,4,5,6}
                                            {1,2,3,4,5,6}
		

Crossrefs

Simple graphs not of this type are counted by A133686, covering A367869.
Unlabeled graphs of this type are counted by A140637, complement A134964.
Simple graphs of this type are counted by A367867, covering A367868.
Set systems not of this type are counted by A367902, ranks A367906.
Set systems of this type are counted by A367903, ranks A367907.
Set systems uniquely not of this type are counted by A367904, ranks A367908.
Unlabeled multiset partitions of this type are A368097, complement A368098.
A version for MM-numbers of multisets is A355529, complement A368100.
Factorizations are counted by A368413/A370813, complement A368414/A370814.
The complement for prime indices is A370586, differences of A370582.
For prime indices we have A370587, differences of A370583.
Partial sums are A370637/A370643, minima A370642/A370644.
The complement is counted by A370639, partial sums A370636.
The version for a unique choice is A370641, partial sums A370638.
A048793 lists binary indices, A000120 length, A272020 reverse, A029931 sum.
A058891 counts set-systems, A003465 covering, A323818 connected.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A326031 gives weight of the set-system with BII-number n.

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    Table[Length[Select[Subsets[Range[n]],MemberQ[#,n] && Select[Tuples[bpe/@#],UnsameQ@@#&]=={}&]],{n,0,10}]

Extensions

a(19)-a(35) from Alois P. Heinz, Mar 09 2024

A093705 Numbers that are divisible by the total number of 1's in the binary expansions of all their divisors.

Original entry on oeis.org

1, 2, 3, 6, 8, 24, 27, 45, 49, 54, 55, 77, 90, 98, 108, 110, 128, 154, 180, 189, 209, 216, 299, 324, 360, 378, 384, 392, 418, 425, 440, 448, 598, 616, 689, 765, 783, 850, 855, 864, 880, 891, 896, 931, 972, 1023, 1040, 1056, 1160, 1188, 1200, 1209, 1215, 1378
Offset: 1

Views

Author

Jason Earls, May 17 2004

Keywords

Comments

Numbers of the form 2^(2^k-1) (A058891) are terms of this sequence since A093653(2^(2^k-1)) = 2^k. - Amiram Eldar, Oct 31 2020

Examples

			a(5) = 8 because the divisors of 8 in binary are: 1, 10, 100, 1000, with four 1's and 8/4 = 2.
		

Crossrefs

Cf. A093653.
A058891 is a subsequence.

Programs

  • Magma
    f:=func< n|&+[&+Intseq(d,2):d in Divisors(n)]>; [k:k in [1..1500]| k mod f(k) eq 0]; // Marius A. Burtea, Dec 16 2019
  • Mathematica
    Select[Range[1500], Divisible[#, Plus @@ DigitCount[Divisors[#], 2, 1]] &] (* Amiram Eldar, Dec 16 2019 *)

A326360 Number of maximal antichains of nonempty, non-singleton subsets of {1..n}.

Original entry on oeis.org

1, 1, 1, 2, 13, 279, 29820, 123590767
Offset: 0

Views

Author

Gus Wiseman, Jul 01 2019

Keywords

Comments

A set system (set of sets) is an antichain if no element is a subset of any other.

Examples

			The a(1) = 1 through a(4) = 13 maximal antichains:
  {}  {12}  {123}         {1234}
            {12}{13}{23}  {12}{134}{234}
                          {13}{124}{234}
                          {14}{123}{234}
                          {23}{124}{134}
                          {24}{123}{134}
                          {34}{123}{124}
                          {12}{13}{14}{234}
                          {12}{23}{24}{134}
                          {13}{23}{34}{124}
                          {14}{24}{34}{123}
                          {123}{124}{134}{234}
                          {12}{13}{14}{23}{24}{34}
		

Crossrefs

Antichains of nonempty, non-singleton sets are A307249.
Minimal covering antichains are A046165.
Maximal intersecting antichains are A007363.
Maximal antichains of nonempty sets are A326359.

Programs

  • Mathematica
    stableSets[u_,Q_]:=If[Length[u]==0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets[DeleteCases[u,r_/;r==w||Q[r,w]||Q[w,r]],Q]]]];
    fasmax[y_]:=Complement[y,Union@@(Most[Subsets[#]]&/@y)];
    Table[Length[fasmax[stableSets[Subsets[Range[n],{2,n}],SubsetQ]]],{n,0,4}]
  • Python
    # see Ignatov links
    # Dmitry I. Ignatov, Oct 14 2021

Formula

a(n) = Sum_{k=0..n} (-1)^(n-k)*binomial(n,k)*A326359(k) for n >= 2. - Andrew Howroyd, Nov 19 2021

Extensions

a(6) from Andrew Howroyd, Aug 14 2019
a(7) from Dmitry I. Ignatov, Oct 14 2021

A327228 Number of set-systems with n vertices and at least one endpoint/leaf.

Original entry on oeis.org

0, 1, 6, 65, 3297, 2537672, 412184904221, 4132070624893905681577, 174224571863520492218909428465944685216436, 133392486801388257127953774730008469745829658368044283629394202488602260177922751
Offset: 0

Views

Author

Gus Wiseman, Sep 01 2019

Keywords

Comments

A set-system is a finite set of finite nonempty sets. Elements of a set-system are sometimes called edges. A leaf is an edge containing a vertex that does not belong to any other edge, while an endpoint is a vertex belonging to only one edge.
Also set-systems with minimum covered vertex-degree 1.

Examples

			The a(2) = 6 set-systems:
  {{1}}
  {{2}}
  {{1,2}}
  {{1},{2}}
  {{1},{1,2}}
  {{2},{1,2}}
		

Crossrefs

The covering version is A327229.
The specialization to simple graphs is A245797.
BII-numbers of these set-systems are A327105.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n],{1,n}]],Min@@Length/@Split[Sort[Join@@#]]==1&]],{n,0,4}]

Formula

Binomial transform of A327229.
a(n) = A058891(n+1) - A330059(n). - Andrew Howroyd, Jan 21 2023

Extensions

Terms a(5) and beyond from Andrew Howroyd, Jan 21 2023

A357134 Take the k-th composition in standard order for each part k of the n-th composition in standard order; then set a(n) to be the index (in standard order) of the concatenation.

Original entry on oeis.org

0, 1, 2, 3, 3, 5, 6, 7, 4, 7, 10, 11, 7, 13, 14, 15, 5, 9, 14, 15, 11, 21, 22, 23, 12, 15, 26, 27, 15, 29, 30, 31, 6, 11, 18, 19, 15, 29, 30, 31, 20, 23, 42, 43, 23, 45, 46, 47, 13, 25, 30, 31, 27, 53, 54, 55, 28, 31, 58, 59, 31, 61, 62, 63, 7, 13, 22, 23, 19
Offset: 0

Views

Author

Gus Wiseman, Sep 24 2022

Keywords

Comments

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 terms together with their corresponding standard compositions begin:
   0: ()
   1: (1)
   2: (2)
   3: (1,1)
   3: (1,1)
   5: (2,1)
   6: (1,2)
   7: (1,1,1)
   4: (3)
   7: (1,1,1)
  10: (2,2)
  11: (2,1,1)
   7: (1,1,1)
  13: (1,2,1)
  14: (1,1,2)
  15: (1,1,1,1)
		

Crossrefs

See link for sequences related to standard compositions.
The version for Heinz numbers of partitions is A003963.
The vertex-degrees are A048896.
The a(n)-th composition in standard order is row n of A357135.

Programs

  • Mathematica
    stc[n_]:=Differences[Prepend[Join @@ Position[Reverse[IntegerDigits[n,2]],1],0]]//Reverse;
    stcinv[q_]:=Total[2^(Accumulate[Reverse[q]])]/2;
    Table[stcinv[Join@@stc/@stc[n]],{n,0,30}]

Formula

For n > 0, the value n appears A048896(n - 1) times.
Row a(n) of A066099 = row n of A357135.

A368111 Least k such that there are exactly A003586(n) ways to choose a binary index of each binary index of k.

Original entry on oeis.org

1, 4, 64, 20, 68, 52, 1088, 84, 308, 1092, 116, 5184, 820, 1108, 372, 5188, 2868, 1140, 13376, 884, 5204, 17204, 1396, 13380, 2932, 5236, 275520, 19252, 1908, 13396, 17268, 5492, 275524, 84788, 3956, 13428, 1324096, 19316, 6004, 275540, 215860, 18292, 13684
Offset: 1

Views

Author

Gus Wiseman, Dec 17 2023

Keywords

Comments

A binary index of n (row n of A048793) is any position of a 1 in its reversed binary expansion. For example, 18 has reversed binary expansion (0,1,0,0,1) and binary indices {2,5}.

Examples

			The terms together with the corresponding set-systems begin:
    1: {{1}}
    4: {{1,2}}
   64: {{1,2,3}}
   20: {{1,2},{1,3}}
   68: {{1,2},{1,2,3}}
   52: {{1,2},{1,3},{2,3}}
   84: {{1,2},{1,3},{1,2,3}}
  308: {{1,2},{1,3},{2,3},{1,4}}
  116: {{1,2},{1,3},{2,3},{1,2,3}}
  820: {{1,2},{1,3},{2,3},{1,4},{2,4}}
  372: {{1,2},{1,3},{2,3},{1,2,3},{1,4}}
  884: {{1,2},{1,3},{2,3},{1,2,3},{1,4},{2,4}}
		

Crossrefs

With distinctness we have A367910, sorted A367911, firsts of A367905.
For multisets we have A367913, sorted A367915, firsts of A367912.
Positions of first appearances in A368109.
The sorted version is A368112.
A048793 lists binary indices, length A000120, sum A029931.
A058891 counts set-systems, covering A003465, connected A323818.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.

Programs

  • Mathematica
    nn=10000;
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    dd=Select[Range[nn],Max@@First/@FactorInteger[#]<=3&];
    qq=Table[Length[Tuples[bpe/@bpe[n]]],{n,nn}];
    kk=Select[Range[Length[dd]],SubsetQ[qq,Take[dd,#]]&]
    Table[Position[qq,dd[[n]]][[1,1]],{n,kk}]

A368112 Sorted positions of first appearances in A368109 (number of ways to choose a binary index of each binary index).

Original entry on oeis.org

1, 4, 20, 52, 64, 68, 84, 116, 308, 372, 820, 884, 1088, 1092, 1108, 1140, 1396, 1908, 2868, 2932, 3956, 5184, 5188, 5204, 5236, 5492, 6004, 8052, 13376, 13380, 13396, 13428, 13684, 14196, 16244, 17204, 17268, 18292, 19252, 19316, 20340, 22388, 24436, 30580
Offset: 1

Views

Author

Gus Wiseman, Dec 17 2023

Keywords

Comments

A binary index of n (row n of A048793) is any position of a 1 in its reversed binary expansion. For example, 18 has reversed binary expansion (0,1,0,0,1) and binary indices {2,5}.

Examples

			The terms together with the corresponding set-systems begin:
    1: {{1}}
    4: {{1,2}}
   20: {{1,2},{1,3}}
   52: {{1,2},{1,3},{2,3}}
   64: {{1,2,3}}
   68: {{1,2},{1,2,3}}
   84: {{1,2},{1,3},{1,2,3}}
  116: {{1,2},{1,3},{2,3},{1,2,3}}
  308: {{1,2},{1,3},{2,3},{1,4}}
  372: {{1,2},{1,3},{2,3},{1,2,3},{1,4}}
  820: {{1,2},{1,3},{2,3},{1,4},{2,4}}
  884: {{1,2},{1,3},{2,3},{1,2,3},{1,4},{2,4}}
		

Crossrefs

For multisets we have A367915, unsorted A367913, firsts A367912.
Sorted positions of first appearances in A368109.
The unsorted version is A368111.
A048793 lists binary indices, length A000120, sum A029931.
A058891 counts set-systems, covering A003465, connected A323818.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    c=Table[Length[Tuples[bpe/@bpe[n]]], {n,1000}];
    Select[Range[Length[c]], FreeQ[Take[c,#-1],c[[#]]]&]

A368410 Number of non-isomorphic connected set-systems of weight n satisfying a strict version of the axiom of choice.

Original entry on oeis.org

0, 1, 1, 2, 3, 7, 15, 32, 80, 198, 528
Offset: 0

Views

Author

Gus Wiseman, Dec 25 2023

Keywords

Comments

A set-system is a finite set of finite nonempty sets. The weight of a set-system is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.
The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.

Examples

			Non-isomorphic representatives of the a(1) = 1 through a(6) = 15 set-systems:
  {1}  {12}  {123}    {1234}    {12345}      {123456}
             {2}{12}  {13}{23}  {14}{234}    {125}{345}
                      {3}{123}  {23}{123}    {134}{234}
                                {4}{1234}    {15}{2345}
                                {2}{13}{23}  {34}{1234}
                                {2}{3}{123}  {5}{12345}
                                {3}{13}{23}  {1}{14}{234}
                                             {12}{13}{23}
                                             {1}{23}{123}
                                             {13}{24}{34}
                                             {14}{24}{34}
                                             {3}{14}{234}
                                             {3}{23}{123}
                                             {3}{4}{1234}
                                             {4}{14}{234}
		

Crossrefs

For unlabeled graphs we have A005703, connected case of A134964.
For labeled graphs we have A129271, connected case of A133686.
The complement for labeled graphs is A140638, connected case of A367867.
The complement without connectedness is A367903, ranks A367907.
Without connectedness we have A368095, ranks A367906,
Complement with repeats: A368097, connected case of A368411, ranks A355529.
The complement is counted by A368409, connected case of A368094.
With repeats allowed: A368412, connected case of A368098, ranks A368100.
A000110 counts set-partitions, non-isomorphic A000041.
A003465 counts covering set-systems, unlabeled A055621.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A058891 counts set-systems, unlabeled A000612, connected A323818.
A283877 counts non-isomorphic set-systems, connected A300913.

Programs

  • Mathematica
    sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]& /@ sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
    mpm[n_]:=Join@@Table[Union[Sort[Sort/@(#/.x_Integer:>s[[x]])]& /@ sps[Range[n]]],{s,Flatten[MapIndexed[Table[#2,{#1}]&,#]]& /@ IntegerPartitions[n]}];
    brute[m_]:=First[Sort[Table[Sort[Sort/@(m/.Rule@@@Table[{i,p[[i]]}, {i,Length[p]}])],{p,Permutations[Union@@m]}]]];
    csm[s_]:=With[{c=Select[Subsets[Range[Length[s]],{2}],Length[Intersection@@s[[#]]]>0&]}, If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]], Union@@s[[c[[1]]]]]]]]];
    Table[Length[Union[brute/@Select[mpm[n], UnsameQ@@#&&And@@UnsameQ@@@#&&Length[csm[#]]==1&&Select[Tuples[#], UnsameQ@@#&]!={}&]]],{n,0,6}]

A368421 Number of non-isomorphic set multipartitions of weight n contradicting a strict version of the axiom of choice.

Original entry on oeis.org

0, 0, 1, 2, 7, 16, 47, 116, 325, 861
Offset: 0

Views

Author

Gus Wiseman, Dec 26 2023

Keywords

Comments

A set multipartition is a finite multiset of finite nonempty sets. The weight of a set multipartition is the sum of cardinalities of its elements. Weight is generally not the same as number of vertices.
The axiom of choice says that, given any sequence of nonempty sets Y, it is possible to choose a sequence containing an element from each. In the strict version, the elements of this sequence must be distinct, meaning none is chosen more than once.

Examples

			Non-isomorphic representatives of the a(2) = 1 through a(5) = 16 set multipartitions:
  {{1},{1}}  {{1},{1},{1}}  {{1},{1},{2,3}}    {{1},{1},{2,3,4}}
             {{1},{2},{2}}  {{1},{2},{1,2}}    {{2},{1,2},{1,2}}
                            {{2},{2},{1,2}}    {{3},{3},{1,2,3}}
                            {{1},{1},{1},{1}}  {{1},{1},{1},{2,3}}
                            {{1},{1},{2},{2}}  {{1},{1},{3},{2,3}}
                            {{1},{2},{2},{2}}  {{1},{2},{2},{1,2}}
                            {{1},{2},{3},{3}}  {{1},{2},{2},{3,4}}
                                               {{1},{2},{3},{2,3}}
                                               {{1},{3},{3},{2,3}}
                                               {{2},{2},{2},{1,2}}
                                               {{1},{1},{1},{1},{1}}
                                               {{1},{1},{2},{2},{2}}
                                               {{1},{2},{2},{2},{2}}
                                               {{1},{2},{2},{3},{3}}
                                               {{1},{2},{3},{3},{3}}
                                               {{1},{2},{3},{4},{4}}
		

Crossrefs

The case of unlabeled graphs is A140637, complement A134964.
Set multipartitions have ranks A302478, cf. A073576.
The case of labeled graphs is A367867, complement A133686.
With distinct edges we have A368094 connected A368409.
The complement with distinct edges is A368095, connected A368410.
Allowing repeated elements gives A368097, ranks A355529.
The complement allowing repeats is A368098, ranks A368100.
Factorizations of this type are counted by A368413, complement A368414.
The complement is counted by A368422.
A000110 counts set partitions, non-isomorphic A000041.
A003465 counts covering set-systems, unlabeled A055621.
A007716 counts non-isomorphic multiset partitions, connected A007718.
A058891 counts set-systems, unlabeled A000612, connected A323818.
A283877 counts non-isomorphic set-systems, connected A300913.

Programs

  • Mathematica
    sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]& /@ sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
    mpm[n_]:=Join@@Table[Union[Sort[Sort /@ (#/.x_Integer:>s[[x]])]&/@sps[Range[n]]],{s,Flatten[MapIndexed[Table[#2,{#1}]&,#]]& /@ IntegerPartitions[n]}];
    brute[m_]:=First[Sort[Table[Sort[Sort /@ (m/.Rule@@@Table[{i,p[[i]]},{i,Length[p]}])], {p,Permutations[Union@@m]}]]];
    Table[Length[Union[brute /@ Select[mpm[n],And@@UnsameQ@@@#&&Select[Tuples[#], UnsameQ@@#&]=={}&]]],{n,0,6}]
Previous Showing 91-100 of 182 results. Next