commit f1aeda9f646f94c66d9641491cde9426dad17285 parent 243324a395d1ec4eb0fe2d5999de17e099e9dc09 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Tue, 26 May 2026 13:37:19 +0200 commit with codex Diffstat:
| antichain | | | 2 | ++ |
| smallest_antichain | | | 7 | +++++++ |
2 files changed, 9 insertions(+), 0 deletions(-)
diff --git a/antichain b/antichain @@ -2,6 +2,8 @@ In a [poset], an *antichain* is a subset of elements that are pairwise [incomparable] +- [smallest_antichain] + Up: [partial_order] See also: [antichain_coverage] diff --git a/smallest_antichain b/smallest_antichain @@ -0,0 +1,7 @@ +# Smallest antichain + +Question: in the [boolean_lattice], what is the smallest cardinality of an [antichain] that spans an [ideal] having a certain [cardinality]? + +studied in [sunilchandrad2026smallest] + +Up: [antichain]