Is the following problem in P?
We are given a matroid M. Each element in M has a weight encoded using some unary notation. We are also give an integer K also encoded in unary bits. The question is whether there is a base of M that has weight EXACTLY K.
I know the exact spanning tree is in P.
Thanks a lot.