I'd like to directly use a rank-number to calculate the Lehmer code that corresponds to an nPk permutation. My goal is to subdivide the ranking-space for purposes of a parallel search. My background in combinatorics-theory is presently very light.
I've found that I can convert the rank-number to a factoradic-number for the purpose of extracting the first k symbols using the Lehmer code, but I have found no proof that this is a reliable way to go. To do this I'm using the formula:
$\text {factoradic} = \text{rank} * ( n - k )! + ( n! - k! ) * ( k - 1 )!$
For smaller nPk my results seem ok but for larger nPk it is difficult to check.
Is there a proof that this (or some other) formula actually works to convert from rank to a factoradic?
Edit1
Apologies for some terminology that may be incorrect and / or a confusing question.
Any links or insights into enumerating lexiographic arrangements of nPk would be most welcome.
Edit2
Perhaps my question is a duplicate.