Identifier
- St001667: Permutations ⟶ ℤ
Values
[1] => 0
[1,2] => 1
[2,1] => 1
[1,2,3] => 1
[1,3,2] => 1
[2,1,3] => 1
[2,3,1] => 1
[3,1,2] => 1
[3,2,1] => 1
[1,2,3,4] => 2
[1,2,4,3] => 2
[1,3,2,4] => 2
[1,3,4,2] => 2
[1,4,2,3] => 2
[1,4,3,2] => 1
[2,1,3,4] => 2
[2,1,4,3] => 2
[2,3,1,4] => 2
[2,3,4,1] => 1
[2,4,1,3] => 2
[2,4,3,1] => 2
[3,1,2,4] => 2
[3,1,4,2] => 2
[3,2,1,4] => 1
[3,2,4,1] => 2
[3,4,1,2] => 2
[3,4,2,1] => 2
[4,1,2,3] => 1
[4,1,3,2] => 2
[4,2,1,3] => 2
[4,2,3,1] => 2
[4,3,1,2] => 2
[4,3,2,1] => 2
[1,2,3,4,5] => 2
[1,2,3,5,4] => 2
[1,2,4,3,5] => 2
[1,2,4,5,3] => 2
[1,2,5,3,4] => 2
[1,2,5,4,3] => 2
[1,3,2,4,5] => 2
[1,3,2,5,4] => 2
[1,3,4,2,5] => 2
[1,3,4,5,2] => 2
[1,3,5,2,4] => 2
[1,3,5,4,2] => 2
[1,4,2,3,5] => 2
[1,4,2,5,3] => 2
[1,4,3,2,5] => 2
[1,4,3,5,2] => 2
[1,4,5,2,3] => 2
[1,4,5,3,2] => 2
[1,5,2,3,4] => 2
[1,5,2,4,3] => 2
[1,5,3,2,4] => 2
[1,5,3,4,2] => 2
[1,5,4,2,3] => 2
[1,5,4,3,2] => 2
[2,1,3,4,5] => 2
[2,1,3,5,4] => 2
[2,1,4,3,5] => 2
[2,1,4,5,3] => 2
[2,1,5,3,4] => 2
[2,1,5,4,3] => 2
[2,3,1,4,5] => 2
[2,3,1,5,4] => 2
[2,3,4,1,5] => 2
[2,3,4,5,1] => 2
[2,3,5,1,4] => 2
[2,3,5,4,1] => 2
[2,4,1,3,5] => 2
[2,4,1,5,3] => 2
[2,4,3,1,5] => 2
[2,4,3,5,1] => 2
[2,4,5,1,3] => 2
[2,4,5,3,1] => 2
[2,5,1,3,4] => 2
[2,5,1,4,3] => 2
[2,5,3,1,4] => 2
[2,5,3,4,1] => 2
[2,5,4,1,3] => 2
[2,5,4,3,1] => 2
[3,1,2,4,5] => 2
[3,1,2,5,4] => 2
[3,1,4,2,5] => 2
[3,1,4,5,2] => 2
[3,1,5,2,4] => 2
[3,1,5,4,2] => 2
[3,2,1,4,5] => 2
[3,2,1,5,4] => 2
[3,2,4,1,5] => 2
[3,2,4,5,1] => 2
[3,2,5,1,4] => 2
[3,2,5,4,1] => 2
[3,4,1,2,5] => 2
[3,4,1,5,2] => 2
[3,4,2,1,5] => 2
[3,4,2,5,1] => 2
[3,4,5,1,2] => 2
[3,4,5,2,1] => 2
[3,5,1,2,4] => 2
[3,5,1,4,2] => 2
>>> Load all 1200 entries. <<<
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Description
The maximal size of a pair of weak twins for a permutation.
A pair of weak twins in a permutation is a pair of two disjoint subsequences of the same length with the same descent pattern. More formally, a pair of weak twins of size $k$ for a permutation $\pi$ of length $n$ are two disjoint lists $1 \leq i_1 < \dots < i_k \leq n$ and $1 \leq j_1 < \dots < j_k \leq n$ such that $\pi(i_a) < \pi(i_{a+1})$ if and only if $\pi(j_a) < \pi(j_{a+1})$ for all $1 \leq a < k$.
A pair of weak twins in a permutation is a pair of two disjoint subsequences of the same length with the same descent pattern. More formally, a pair of weak twins of size $k$ for a permutation $\pi$ of length $n$ are two disjoint lists $1 \leq i_1 < \dots < i_k \leq n$ and $1 \leq j_1 < \dots < j_k \leq n$ such that $\pi(i_a) < \pi(i_{a+1})$ if and only if $\pi(j_a) < \pi(j_{a+1})$ for all $1 \leq a < k$.
References
[1] Dudek, A., Grytczuk, Jarosław, Ruciński, A. On weak twins and up-and-down sub-permutations arXiv:2012.11451
Code
def statistic(pi):
n = len(pi)
pairs = [[set([i]), set([j])] for j in range(n) for i in range(j)]
m = 0
while pairs:
m += 1
new_pairs = []
for A,B in pairs:
a = max(A)
b = max(B)
for i in range(a+1,n):
for j in range(b+1,n):
Anew = A.union([i])
Bnew = B.union([j])
if i not in Bnew and j not in Anew and (pi[a] > pi[i]) == (pi[b] > pi[j]):
new_pairs.append( [Anew,Bnew] )
pairs = new_pairs
return m
Created
Jan 08, 2021 at 12:18 by Christian Stump
Updated
Jan 08, 2021 at 12:59 by Martin Rubey
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!