Words / CONCEPT
Minimum nonempty palindrome factorisation
Minimum nonempty palindrome factorisation
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES6
PROOF DEPTH0
DOCUMENT LINKS1
pl_one_letter_lipschitz
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
- Alternating Tail Upper Boundtruth-dependency · Closed
- An explicit upper bound for Frid prefixestruth-dependency · Closed
- Palindromic factorisations bound integral potentialstruth-dependency · Closed
- Palindromic Length and Suffix Cutstruth-dependency · Closed
- Sparse Block Upper Constructionstruth-dependency · Closed
- Uniform prefix bound for the AKMP substitutiontruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Alternating Tail Upper Boundstructural-affinity · Closed
- An explicit upper bound for Frid prefixesstructural-affinity · Closed
- Exact Odd-Palindrome Radiistructural-affinity · Closed
- Palindromic factorisations bound integral potentialsstructural-affinity · Closed
- Palindromic Length and Suffix Cutsstructural-affinity · Closed
- Signed-Weight Lower Bound for Period Doublingstructural-affinity · Closed
- Sparse Block Upper Constructionsstructural-affinity · Closed
- Uniform prefix bound for the AKMP substitutionstructural-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