Combinatorics / CONCEPT
Uniqueness of the Padovan Subsequence
Three initial values and a cubic recurrence determine the Padovan subsequence at multiples of three.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH2
DOCUMENT LINKS1
Uniqueness from three values
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
- Cyclic Pattern Avoidancestructural-affinity · Closed
- From Cycle Words to Permutationsstructural-affinity · Closed
- Padovan Counting Recurrencestructural-affinity · Closed
- Padovan Enumeration of Cyclic Avoidersstructural-affinity · Closed
- Pattern Constraints on Cycle Arcsstructural-affinity · Closed
- Pattern Occurrences in Padovan Wordsstructural-affinity · Closed
- Rotations and Circular Subwordsstructural-affinity · Closed
- The Fundamental Bijection and Fixed Avoidersstructural-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