The minimum size of a chain decomposition of a post is equal to the size of a maximum anti-chain.
October 15, 2024 at 1:53 AM
The minimum size of a chain decomposition of a post is equal to the size of a maximum anti-chain.
Dyck paths are in bijection with rooted planar trees.
October 3, 2024 at 4:59 PM
Dyck paths are in bijection with rooted planar trees.
The number of Dyck words on a and b (words where the number of a's is at least the number of b's in any initial segment of the word) is counted by the Catalan numbers.
October 2, 2024 at 12:43 AM
The number of Dyck words on a and b (words where the number of a's is at least the number of b's in any initial segment of the word) is counted by the Catalan numbers.
On Earth 1, I am the proof of the proposition that if a graph does not contain a complete k minor then it is k-1 colorable.
October 1, 2024 at 4:32 AM
On Earth 1, I am the proof of the proposition that if a graph does not contain a complete k minor then it is k-1 colorable.
A graph is 2-colorable if and only if the graph is bipartite.
September 30, 2024 at 12:54 AM
A graph is 2-colorable if and only if the graph is bipartite.
There are n^(n-2) number of labelled trees on n vertices.
September 28, 2024 at 10:39 PM
There are n^(n-2) number of labelled trees on n vertices.
In any tree there exists at least two vertices of order 1
September 28, 2024 at 5:53 AM
In any tree there exists at least two vertices of order 1