Identifier
Values
([(0,1)],2) => ([(0,1)],2) => ([(0,1)],2) => 1
([(1,2)],3) => ([(0,1)],2) => ([(0,1)],2) => 1
([(0,2),(1,2)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
([(0,1),(0,2),(1,2)],3) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 1
([(2,3)],4) => ([(0,1)],2) => ([(0,1)],2) => 1
([(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
([(0,3),(1,2)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
([(1,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 1
([(3,4)],5) => ([(0,1)],2) => ([(0,1)],2) => 1
([(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
([(1,4),(2,3)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
([(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 1
([(4,5)],6) => ([(0,1)],2) => ([(0,1)],2) => 1
([(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
([(2,5),(3,4)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
([(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 1
([(5,6)],7) => ([(0,1)],2) => ([(0,1)],2) => 1
([(4,6),(5,6)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
([(3,6),(4,5)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
([(4,5),(4,6),(5,6)],7) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 1
search for individual values
searching the database for the individual values of this statistic
Description
The sum of the values of the Möbius function of a poset.
The Möbius function μ of a finite poset is defined as
μ(x,y)={1if x=y−∑z:x≤z<yμ(x,z)for x<y0otherwise.
Since μ(x,y)=0 whenever x≰, this statistic is
\sum_{x\leq y} \mu(x,y).
If the poset has a minimal or a maximal element, then the definition implies immediately that the statistic equals 1. Moreover, the statistic equals the sum of the statistics of the connected components.
This statistic is also called the magnitude of a poset.
The Möbius function μ of a finite poset is defined as
μ(x,y)={1if x=y−∑z:x≤z<yμ(x,z)for x<y0otherwise.
Since μ(x,y)=0 whenever x≰, this statistic is
\sum_{x\leq y} \mu(x,y).
If the poset has a minimal or a maximal element, then the definition implies immediately that the statistic equals 1. Moreover, the statistic equals the sum of the statistics of the connected components.
This statistic is also called the magnitude of a poset.
Map
to poset
Description
Return the poset corresponding to the lattice.
Map
connected vertex partitions
Description
Sends a graph to the lattice of its connected vertex partitions.
A connected vertex partition of a graph G = (V,E) is a set partition of V such that each part induced a connected subgraph of G. The connected vertex partitions of G form a lattice under refinement. If G = K_n is a complete graph, the resulting lattice is the lattice of set partitions on n elements.
In the language of matroid theory, this map sends a graph to the lattice of flats of its graphic matroid. The resulting lattice is a geometric lattice, i.e. it is atomistic and semimodular.
A connected vertex partition of a graph G = (V,E) is a set partition of V such that each part induced a connected subgraph of G. The connected vertex partitions of G form a lattice under refinement. If G = K_n is a complete graph, the resulting lattice is the lattice of set partitions on n elements.
In the language of matroid theory, this map sends a graph to the lattice of flats of its graphic matroid. The resulting lattice is a geometric lattice, i.e. it is atomistic and semimodular.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!