enumeratio

Appearance

LongestIncreasingSubsequence ​

The length of a longest increasing subsequence.

WikipediaLongest increasing subsequenceWikidataQ4183855FindStatSt000062via Permutation✓Rosetta CodeLongest increasing subsequence

LongestIncreasingSubsequence(p)

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.
  • By patience sorting: the number of piles. Checked against the piles algorithm over every permutation of 1..6.

Examples