Identifier
Values
0 => [2] => ([],2) => 0
1 => [1,1] => ([(0,1)],2) => 1
00 => [3] => ([],3) => 0
01 => [2,1] => ([(0,2),(1,2)],3) => 1
10 => [1,2] => ([(1,2)],3) => 1
11 => [1,1,1] => ([(0,1),(0,2),(1,2)],3) => 2
000 => [4] => ([],4) => 0
001 => [3,1] => ([(0,3),(1,3),(2,3)],4) => 2
010 => [2,2] => ([(1,3),(2,3)],4) => 1
011 => [2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4) => 2
100 => [1,3] => ([(2,3)],4) => 1
101 => [1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4) => 2
110 => [1,1,2] => ([(1,2),(1,3),(2,3)],4) => 2
111 => [1,1,1,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => 3
0000 => [5] => ([],5) => 0
0001 => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5) => 2
0010 => [3,2] => ([(1,4),(2,4),(3,4)],5) => 2
0011 => [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 3
0100 => [2,3] => ([(2,4),(3,4)],5) => 1
0101 => [2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 2
0110 => [2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 2
0111 => [2,1,1,1] => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 3
1000 => [1,4] => ([(3,4)],5) => 1
1001 => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => 2
1010 => [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5) => 2
1011 => [1,2,1,1] => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 3
1100 => [1,1,3] => ([(2,3),(2,4),(3,4)],5) => 2
1101 => [1,1,2,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 3
1110 => [1,1,1,2] => ([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 3
1111 => [1,1,1,1,1] => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 4
00000 => [6] => ([],6) => 0
00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 2
00010 => [4,2] => ([(1,5),(2,5),(3,5),(4,5)],6) => 2
00011 => [4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
00100 => [3,3] => ([(2,5),(3,5),(4,5)],6) => 2
00101 => [3,2,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
00110 => [3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
00111 => [3,1,1,1] => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
01000 => [2,4] => ([(3,5),(4,5)],6) => 1
01001 => [2,3,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2
01010 => [2,2,2] => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2
01011 => [2,2,1,1] => ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
01100 => [2,1,3] => ([(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 2
01101 => [2,1,2,1] => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
01110 => [2,1,1,2] => ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
01111 => [2,1,1,1,1] => ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
10000 => [1,5] => ([(4,5)],6) => 1
10001 => [1,4,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
10010 => [1,3,2] => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
10011 => [1,3,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
10100 => [1,2,3] => ([(2,5),(3,4),(3,5),(4,5)],6) => 2
10101 => [1,2,2,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
10110 => [1,2,1,2] => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
10111 => [1,2,1,1,1] => ([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
11000 => [1,1,4] => ([(3,4),(3,5),(4,5)],6) => 2
11001 => [1,1,3,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
11010 => [1,1,2,2] => ([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
11011 => [1,1,2,1,1] => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
11100 => [1,1,1,3] => ([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
11101 => [1,1,1,2,1] => ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
11110 => [1,1,1,1,2] => ([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
11111 => [1,1,1,1,1,1] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
000000 => [7] => ([],7) => 0
000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 2
000010 => [5,2] => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 2
000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
000100 => [4,3] => ([(2,6),(3,6),(4,6),(5,6)],7) => 2
000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
000110 => [4,1,2] => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
001000 => [3,4] => ([(3,6),(4,6),(5,6)],7) => 2
001001 => [3,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
001010 => [3,2,2] => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
001011 => [3,2,1,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
001100 => [3,1,3] => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
001101 => [3,1,2,1] => ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
001110 => [3,1,1,2] => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
001111 => [3,1,1,1,1] => ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
010000 => [2,5] => ([(4,6),(5,6)],7) => 1
010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
010010 => [2,3,2] => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
010011 => [2,3,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
010100 => [2,2,3] => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
010101 => [2,2,2,1] => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
010110 => [2,2,1,2] => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
010111 => [2,2,1,1,1] => ([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
011000 => [2,1,4] => ([(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
011001 => [2,1,3,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
011010 => [2,1,2,2] => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
011011 => [2,1,2,1,1] => ([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
011100 => [2,1,1,3] => ([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
011101 => [2,1,1,2,1] => ([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
011110 => [2,1,1,1,2] => ([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
100000 => [1,6] => ([(5,6)],7) => 1
100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
100010 => [1,4,2] => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
100011 => [1,4,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
100100 => [1,3,3] => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
100101 => [1,3,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
100110 => [1,3,1,2] => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
100111 => [1,3,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
>>> Load all 120 entries. <<<
101000 => [1,2,4] => ([(3,6),(4,5),(4,6),(5,6)],7) => 2
101001 => [1,2,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
101010 => [1,2,2,2] => ([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
101011 => [1,2,2,1,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
101100 => [1,2,1,3] => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
101101 => [1,2,1,2,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
101110 => [1,2,1,1,2] => ([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
110000 => [1,1,5] => ([(4,5),(4,6),(5,6)],7) => 2
110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
110010 => [1,1,3,2] => ([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
110011 => [1,1,3,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
110100 => [1,1,2,3] => ([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
110101 => [1,1,2,2,1] => ([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
110110 => [1,1,2,1,2] => ([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
111000 => [1,1,1,4] => ([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
111001 => [1,1,1,3,1] => ([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
111010 => [1,1,1,2,2] => ([(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
111100 => [1,1,1,1,3] => ([(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
=> [1] => ([],1) => 0
search for individual values
searching the database for the individual values of this statistic
/ search for generating function
searching the database for statistics with the same generating function
click to show known generating functions       
Description
The proper pathwidth of a graph.
The proper pathwidth $\operatorname{ppw}(G)$ was introduced in [1] as the minimum width of a proper-path-decomposition. Barioli et al. [2] showed that if $G$ has at least one edge, then $\operatorname{ppw}(G)$ is the minimum $k$ for which $G$ is a minor of the Cartesian product $K_k \square P$ of a complete graph on $k$ vertices with a path; and further that $\operatorname{ppw}(G)$ is the minor monotone floor $\lfloor \operatorname{Z} \rfloor(G) := \min\{\operatorname{Z}(H) \mid G \preceq H\}$ of the zero forcing number $\operatorname{Z}(G)$. It can be shown [3, Corollary 9.130] that only the spanning supergraphs need to be considered for $H$ in this definition, i.e. $\lfloor \operatorname{Z} \rfloor(G) = \min\{\operatorname{Z}(H) \mid G \le H,\; V(H) = V(G)\}$.
The minimum degree $\delta$, treewidth $\operatorname{tw}$, and pathwidth $\operatorname{pw}$ satisfy
$$\delta \le \operatorname{tw} \le \operatorname{pw} \le \operatorname{ppw} = \lfloor \operatorname{Z} \rfloor \le \operatorname{pw} + 1.$$
Note that [4] uses a different notion of proper pathwidth, which is equal to bandwidth.
Map
to threshold graph
Description
The threshold graph corresponding to the composition.
A threshold graph is a graph that can be obtained from the empty graph by adding successively isolated and dominating vertices.
A threshold graph is uniquely determined by its degree sequence.
The Laplacian spectrum of a threshold graph is integral. Interpreting it as an integer partition, it is the conjugate of the partition given by its degree sequence.
Map
to composition
Description
The composition corresponding to a binary word.
Prepending $1$ to a binary word $w$, the $i$-th part of the composition equals $1$ plus the number of zeros after the $i$-th $1$ in $w$.
This map is not surjective, since the empty composition does not have a preimage.