Combinatorics / CONCEPT
Inserting a New Maximum
Insertion and deletion of a largest letter characterize avoidance of 2-41-3.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH4
DOCUMENT LINKS1
Deletion of the inserted maximum
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
- Active Sites and Recordsstructural-affinity · Closed
- Children of Vincular-Avoiding Permutationsstructural-affinity · Closed
- Children of Weak Ascent Sequencesstructural-affinity · Closed
- Counting Weak Ascent Extensionsstructural-affinity · Closed
- Equinumerosity with Semi-Baxter Permutationsstructural-affinity · Closed
- Parents of Vincular-Avoiding Permutationsstructural-affinity · Closed
- States of 210-Avoiding Weak Ascent Sequencesstructural-affinity · Closed
- The Height of a Weak Ascent Sequencestructural-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