Making simple proofs simpler
Mathematical Software
2013-07-05 v1 Discrete Mathematics
Abstract
An open partition \pi{} [Cod09a, Cod09b] of a tree T is a partition of the vertices of T with the property that, for each block B of \pi, the upset of B is a union of blocks of \pi. This paper deals with the number, NP(n), of open partitions of the tree, V_n, made of two chains with n points each, that share the root.
Cite
@article{arxiv.1307.1348,
title = {Making simple proofs simpler},
author = {Pietro Codara and Ottavio M. D'Antona and Francesco Marigo and Corrado Monti},
journal= {arXiv preprint arXiv:1307.1348},
year = {2013}
}