Skip to content

PalindromicDecompositionCount ​

The ways to write the word as a concatenation of palindromic factors.

✓ checked against that system · ! checked, with disagreements (hover a chip)FindStatSt000631via BinaryWord✓
PalindromicDecompositionCount(word)The ways to write the word as a concatenation of palindromic factors.
Typed signatures
TypePackageApplies
(binary_word) -> numbercombinatoricsalways

Domain: Binary word statistics

Details
  • Defined over BinaryWord as an expression in _x, evaluated by compute-engine — the definition IS the implementation.
  • Takes a BinaryWord and nothing else — it reads values against their positions, or walks the orbits, so it needs the bijection. Applying it to a bare list is a type error, not a wrong answer.
  • FindStat's St000631. The table holds the ways for each prefix.

Definition

Epsil, as the implementation runs it.

on BinaryWord, over _x

1 if Length(_x) < 1 else Apply((a_init: list<integer>) => Fold((
                                                                 a: list<integer>,
                                                                 b,
                                                               ) => Apply(
                                                                          (a_next: list<integer>) => a_next,
                                                                          Join(
                                                                                a,
                                                                                [Max(Sum(Map(
                                                                                              Function(a[i + 1] if Max(Sum(Map(Function((_x[i + 1 +
                                                                                                                                            (m - 1)] +
                                                                                                                                         1) *
                                                                                                                                        3 ^
                                                                                                                                        (b - i -
                                                                                                                                         m), m), Range(1, b - i, 1))), 0) ==
                                                                                                                   Max(Sum(Map(Function((_x[i + 1 +
                                                                                                                                            (m - 1)] +
                                                                                                                                         1) *
                                                                                                                                        3 ^
                                                                                                                                        (m - 1), m), Range(1, b - i, 1))), 0) else 0, i),
                                                                                              Range(0, b - 1, 1),
                                                                                            )), 0)],
                                                                              ),
                                                                        ), a_init, Range(1, Length(_x))), [1])[Length(_x) + 1]

Examples

Basic #

the word 110100111110100111

live ↗
InPalindromicDecompositionCount(BinaryWord⁡([1,1,0,1,0,0,1,1,1]))\mathrm{PalindromicDecompositionCount}({\operatorname{BinaryWord}}([1, 1, 0, 1, 0, 0, 1, 1, 1]))Out3636
Properties #

FindStat's value for 0

live ↗
InCombinatorialStat(BinaryWord⁡([0]),PalindromicDecompositionCount)\mathrm{CombinatorialStat}({\operatorname{BinaryWord}}([0]), \text{PalindromicDecompositionCount})Out11

Known value · FindStat St000631

FindStat's value for 1

live ↗
InCombinatorialStat(BinaryWord⁡([1]),PalindromicDecompositionCount)\mathrm{CombinatorialStat}({\operatorname{BinaryWord}}([1]), \text{PalindromicDecompositionCount})Out11

Known value · FindStat St000631

FindStat's value for 00

live ↗
InCombinatorialStat(BinaryWord⁡([0,0]),PalindromicDecompositionCount)\mathrm{CombinatorialStat}({\operatorname{BinaryWord}}([0, 0]), \text{PalindromicDecompositionCount})Out22

Known value · FindStat St000631

About
Examples4
CrosswalkFindStat