Skip to content

OneRunCount ​

The number of maximal runs of ones.

✓ checked against that system · ! checked, with disagreements (hover a chip)FindStatSt000390via BinaryWord✓
OneRunCount(word)The number of maximal runs of ones.
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.
  • A run starts at the first letter if it is a 1, and after each 0 followed by a 1.

Definition

Epsil, as the implementation runs it.

on BinaryWord, over _x

0 if Length(_x) < 1 else _x[1] + (0 if Length(_x) < 2 else Count(Filter(
                                                                         Range(
                                                                                1,
                                                                                Length(_x) - 1,
                                                                              ),
                                                                         Function(_x[i] <
                                                                                  _x[i + 1], i),
                                                                       )))

Examples

Basic #

the word 110100111110100111

live ↗
InOneRunCount(BinaryWord⁡([1,1,0,1,0,0,1,1,1]))\mathrm{OneRunCount}({\operatorname{BinaryWord}}([1, 1, 0, 1, 0, 0, 1, 1, 1]))Out33
Properties #

FindStat's value for 0

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

Known value · FindStat St000390

FindStat's value for 1

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

Known value · FindStat St000390

FindStat's value for 00

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

Known value · FindStat St000390

About
Examples4
CrosswalkFindStat