Most common term in a vector - PARI/GP

Question

I feel like I'm being really stupid here as I would have thought there's a simple command already in Pari, or it should be a simple thing to write up, but I simply cannot figure this out.

Given a vector, say V, which will have duplicate entries, how can one determine what the most common entry is?

For example, say we have: V = [ 0, 1, 2, 2, 3, 4, 6, 8, 8, 8 ]

I want something which would return the value 8.

I'm aware of things like vecsearch, but I can't see how that can be tweaked to make this work?

Very closely related to this, I want this result to return the most common non-zero entry, and some vectors I look at will have 0 as the most common entry. Eg: V = [ 0, 0, 0, 0, 3, 3, 5 ]. So whatever I execute here I would like to return 3. I tried writing up something which would remove all zero terms, but again struggled.

The thing I have tried in particular is:

rem( v ) = {
my( c );
while( c = vecsearch( v, 0 ); #c, v = vecextract( v, "^c" ) ); v
}

but vecextract doesn't seem to like this set up.

Piotr Semenov · Accepted Answer · 2021-04-28T18:23:15.700

2

If you can ensure all the elements are within the some fixed range then it is enough just to do the counting sorting with PARI/GP code like this:

counts_for(v: t_VEC, lower: t_INT, upper: t_INT) = {
    my(counts = vector(1+upper-lower));

    for(i=1, #v, counts[1+v[i]-lower]++);
    vector(#counts, i, [i-1, counts[i]])
};

V1 = [0, 1, 2, 2, 3, 4, 6, 8, 8, 8];
vecsort(counts_for(V1, 0, 8), [2], 4)[1][1]
> 8

V2 = [0, 0, 0, 0, 3, 3, 5];
vecsort(counts_for(V2, 0, 5), [2], 4)[1][1]
> 0

You also can implement the following short-cut for the sake of convenience:

counts_for1(v: t_VEC) = {
    counts_for(v, vecmin(v), vecmax(v))
};

most_frequent(v: t_VEC) = {
    my(counts=counts_for1(v));
    vecsort(counts, [2], 4)[1][1]
};

most_frequent(V1)
> 8

most_frequent(V2)
> 0

edited Apr 28 '21 at 18:23

answered Apr 27 '21 at 15:47

Piotr Semenov

1,761
16
24

Thanks for the response! I'm a bit confused though; when running ```vecsort(counts_for(V1, 0, 8), [2], 4)[1][1]```, I get the following error: ```vecsort: incorrect type in lexicographic vecsort (t_INT).``` When running ```counts_for``` I seem to just get a vector of integers, but I imagine the intention is to get something different based on the set up? eg: ```counts_for( V1, 0, 8 ) = [1, 1, 2, 1, 1, 0, 1, 0, 3] ``` Any ideas why this might be? – Mystery_Jay Apr 28 '21 at 12:34
1

Sorry, I missed the last line when typing the function `counts_for`. Please, find it fixed now. So, now my example works fine. – Piotr Semenov Apr 28 '21 at 18:25

score 1 · Answer 2 · answered Jul 24 '21 at 18:06

The function matreduce provides this in a more general setting: applied to a vector of objects, it returns a 2-column matrix whose first column contains the distinct objects and the second their multiplicity in the vector. (The function has a more general form that takes the union of multisets.)

 most_frequent(v) = my(M = matreduce(v), [n] = matsize(M)); M[n, 1];

 most_frequent_non0(v) = 
 { my(M = matreduce(v), [n] = matsize(M), x = M[n, 1]);
   if (x == 0, M[n - 1, 1], x);
 }
 
 ? most_frequent([ 0, 1, 2, 2, 3, 4, 6, 8, 8, 8 ])
 %1 = 8
 ? most_frequent([x, x, Mod(1,3), [], [], []])
 %2 = []
 ? most_frequent_non0([ 0, 0, 0, 0, 3, 3, 5 ])
 %3 = 5
 ? most_frequent_non0([x, x, Mod(1,3), [], [], []])
 %4 = x

The first function will error out if fed an empty vector, and the second one if there are no non-zero entries. The second function tests for "0" using the x == 0 test (and we famously have [] == 0 in GP); for a more rigorous semantic, use x === 0 in the function definition.

Most common term in a vector - PARI/GP

2 Answers2