Skip to content

UlamDistance ​

The entries to remove to leave an increasing sequence: n less the length of a longest increasing subsequence.

✓ checked against that system · ! checked, with disagreements (hover a chip)FindStatSt000829via Permutation✓
UlamDistance(p)The entries to remove to leave an increasing sequence: n less the length of a longest increasing subsequence.
Typed signatures
TypePackageApplies
(list<integer> | permutation) -> numbercombinatoricsalways

Domain: Permutation statistics

Details
  • Defined over Permutation as an expression in _x, evaluated by compute-engine — the definition IS the implementation.
  • Takes a Permutation, and also a bare list of integers: this reading compares entries with each other rather than with their positions, so it stands on any sequence.
  • FindStat takes the longest increasing subsequence of the inverse, which has the same length.

Definition

Epsil, as the implementation runs it.

on Permutation, over _x

0 if Length(_x) < 1 else Length(_x) - Count(Fold(Function(Apply(
                                                                 Function(
                                                                           Join(a, [b]) if k > Count(a) else ReplaceAt(a, k, b),
                                                                           k,
                                                                         ),
                                                                 Count(Filter(
                                                                               a,
                                                                               Function(t < b, t),
                                                                             )) +
                                                                 1,
                                                               ), a, b), [], _x))

Examples

Basic #

the one-line word 312312

live ↗
InUlamDistance(Permutation⁡([3,1,2]))\mathrm{UlamDistance}({\operatorname{Permutation}}([3, 1, 2]))Out11

the one-line word 312312, as a plain list

live ↗
InUlamDistance([3,1,2])\mathrm{UlamDistance}(\bigl\lbrack3, 1, 2\bigr\rbrack)Out11

the one-line word 24132413

live ↗
InUlamDistance(Permutation⁡([2,4,1,3]))\mathrm{UlamDistance}({\operatorname{Permutation}}([2, 4, 1, 3]))Out22
Properties #

FindStat's value for [1,2]

live ↗
InCombinatorialStat(Permutation⁡([1,2]),UlamDistance)\mathrm{CombinatorialStat}({\operatorname{Permutation}}([1, 2]), \text{UlamDistance})Out00

Known value · FindStat St000829

FindStat's value for [2,1]

live ↗
InCombinatorialStat(Permutation⁡([2,1]),UlamDistance)\mathrm{CombinatorialStat}({\operatorname{Permutation}}([2, 1]), \text{UlamDistance})Out11

Known value · FindStat St000829

FindStat's value for [1,2,3]

live ↗
InCombinatorialStat(Permutation⁡([1,2,3]),UlamDistance)\mathrm{CombinatorialStat}({\operatorname{Permutation}}([1, 2, 3]), \text{UlamDistance})Out00

Known value · FindStat St000829

About
Examples6
CrosswalkFindStat