Calculation of the factorial rank of the permutation (N choose K)

I recently learned about CNS and FNS , and since they look so elegant for me, I decided to try and implement methods for generating combinations and permutations using these methods. I finished my method to convert from n select k combinations to CSN rank and vice versa, but I hit my head against the wall trying to do the same with n choice of k (unique) permutations.

Thanks to @Joshua , I got the FNS to perutation method:

function Pr_Unrank($n, $k, $rank) { // rank starts at 1 if ($n >= $k) { if (($rank > 0) && ($rank <= Pr($n, $k))) { $rank--; $result = array(); $factoriadic = array(); for ($i = 1; $i <= ($n - $k); ++$i) { $rank *= $i; } for ($j = 1; $j <= $n; ++$j) { $factoriadic[$n - $j] = ($rank % $j) + 1; $rank /= $j; } for ($i = $n - 1; $i >= 0; --$i) { $result[$i] = $factoriadic[$i]; for ($j = $i + 1; $j < $n; ++$j) { if ($result[$j] >= $result[$i]) { ++$result[$j]; } } } return array_reverse(array_slice($result, 0 - $k)); } } return false; } 

This is my current attempt at the ranking method (permutation for FNS):

 function Pr_Rank($n, $k, $permutation) { if ($n >= $k) { $result = range(1, $n); $factoriadic = array(); foreach ($permutation as $key => $value) { $factoriadic[$k - $key - 1] = array_search($value, $result); array_splice($result, $factoriadic[$k - $key - 1], 1); } $result = 1; foreach (array_filter($factoriadic) as $key => $value) { $result += F($key) * $value; } return $result; } return false; } 

And these are the helper functions that I use:

 function F($n) { // Factorial return array_product(range($n, 1)); } function Pr($n, $k) { // Permutations (without Repetitions) return array_product(range($n - $k + 1, $n)); } 

The problem is that the Pr_Rank() method returns the correct rank when n = k ( demo ):

 var_dump(Pr_Rank(5, 2, Pr_Unrank(5, 2, 10))); // 3, should be 10 var_dump(Pr_Rank(5, 3, Pr_Unrank(5, 3, 10))); // 4, should be 10 var_dump(Pr_Rank(5, 5, Pr_Unrank(5, 5, 10))); // 10, it correct 

I behaved using the Wikipedia article I linked above and this MSDN article , I know that none of them consider k-size subsets, but I'm completely in the dark, what that logic looks like ...

I also tried Googling and looked for existing questions / answers, but nothing significant came up.

+3
math php permutation combinatorics base-conversion
source share
1 answer

After a good night's sleep and a little help from a pen and paper, I realized this. In case someone is interested:


For example, a 42nd 5 permutation selects 3 4-2-5 , but if you look at Pr_Unrank() , where array_slice() is array_slice() , you will notice that the actual permutation (in lexicographic order) is actually 4-2-5[-1-3] , the last two elements are discarded, so that you only get k tags.

This is very important for calculating the decimal representation of factoriadic ( 3-1-2[-0-0] ):

  • 4-2-5 = (2! * 3) + (1! * 1) + (0! * 2) = 9
  • 4-2-5-1-3 = (4! * 3) + (3! * 1) + (2! * 2) + (1! * 0) + (0! * 0) = 82

However, 82 not the correct answer. To get it, we need to divide it by the result:

  • Pr(5, 5) / Pr(5, 3) (=) (5 - 3)! = 120 / 60 = 2

So 82 / 2 is 41 , all I have to do is add 1 to get a ranking starting at 1.


 Array // 5 choose 3 permutations ( [1] => 1-2-3 [2] => 1-2-4 [3] => 1-2-5 [4] => 1-3-2 [5] => 1-3-4 [6] => 1-3-5 [7] => 1-4-2 [8] => 1-4-3 [9] => 1-4-5 [10] => 1-5-2 [11] => 1-5-3 [12] => 1-5-4 [13] => 2-1-3 [14] => 2-1-4 [15] => 2-1-5 [16] => 2-3-1 [17] => 2-3-4 [18] => 2-3-5 [19] => 2-4-1 [20] => 2-4-3 [21] => 2-4-5 [22] => 2-5-1 [23] => 2-5-3 [24] => 2-5-4 [25] => 3-1-2 [26] => 3-1-4 [27] => 3-1-5 [28] => 3-2-1 [29] => 3-2-4 [30] => 3-2-5 [31] => 3-4-1 [32] => 3-4-2 [33] => 3-4-5 [34] => 3-5-1 [35] => 3-5-2 [36] => 3-5-4 [37] => 4-1-2 [38] => 4-1-3 [39] => 4-1-5 [40] => 4-2-1 [41] => 4-2-3 [42] => 4-2-5 [43] => 4-3-1 [44] => 4-3-2 [45] => 4-3-5 [46] => 4-5-1 [47] => 4-5-2 [48] => 4-5-3 [49] => 5-1-2 [50] => 5-1-3 [51] => 5-1-4 [52] => 5-2-1 [53] => 5-2-3 [54] => 5-2-4 [55] => 5-3-1 [56] => 5-3-2 [57] => 5-3-4 [58] => 5-4-1 [59] => 5-4-2 [60] => 5-4-3 ) 
+3
source share

All Articles