Combinatorics / CONCEPT
Counting the First Decorated Family
The decorated family has the binomial-product cardinality in the first avoidance formula.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH6
DOCUMENT LINKS1
Counting when all required gaps fit
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- Cigler's Even-Strip Expansionsstructural-affinity · Closed
- Counting the First Arrow-Pattern Avoidersstructural-affinity · Closed
- Counting the Second Arrow-Pattern Avoidersstructural-affinity · Closed
- Decorated Objects for the First Patternstructural-affinity · Closed
- Decorated Objects for the Second Patternstructural-affinity · Closed
- Finite Sums for the Arrow-Wilf Equivalencestructural-affinity · Closed
- Gap Vectors and Interleaved Wordsstructural-affinity · Closed
- Inverting the Second Decorated Constructionstructural-affinity · Closed
- Partitions by Extremal Fixed Pointsstructural-affinity · Closed
- Recovering First-Pattern Decorated Datastructural-affinity · Closed
- The Arrow-Wilf Equivalencestructural-affinity · Closed
- Uniqueness of the First Decorated Descriptionstructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance