Count the number of permutations subject to some constraints