Получение номера по объекту — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Перестановки)
(Перестановки)
Строка 17: Строка 17:
 
   permutation[n] ''{{---}} данная перестановка''
 
   permutation[n] ''{{---}} данная перестановка''
 
   was[n] ''{{---}} использовали ли мы уже эту цифру в перестановке''
 
   was[n] ''{{---}} использовали ли мы уже эту цифру в перестановке''
   '''for''' i = 1 '''to''' n '''do'''                     ''// n - количество цифр в перестановке''
+
   '''for''' i = 1 '''to''' n '''do'''                         ''// n - количество цифр в перестановке''
     '''for''' j = 1  '''to''' a[i] - 1 '''do'''           ''// перебираем элемент который может стоять на i-м месте лексикографически меньше нашего
+
     '''for''' j = 1  '''to''' a[i] - 1 '''do'''               ''// перебираем элемент который может стоять на i-м месте лексикографически меньше нашего
       '''if''' was[j] = false                   ''// если элемент j ранее не был использован
+
       '''if''' was[j] = false                     ''// если элемент j ранее не был использован
         '''then ''' numOfPermutation += P[n-i]   ''// все перестановки с префиксом длиной i-1 равным нашему, и i-й элемент у которых меньше  
+
         '''then ''' numOfPermutation += P[n-i]   ''// все перестановки с префиксом длиной i-1 равным нашему, и i-й элемент у которых меньше  
 
                                             ''  нашего в лексикографическом порядке идут раньше данной престановки               
 
                                             ''  нашего в лексикографическом порядке идут раньше данной престановки               
 
         was[i] = true                      ''// элемент i использован             
 
         was[i] = true                      ''// элемент i использован             

Версия 08:37, 28 ноября 2011

Описанте алгоритма

Номер данного комбинаторного объекта равен количеству меньших в лексикографическом порядке комбинаторных объектов (нумерацию ведём с 0).Все объекты меньшие данного можно разбить на непересекающиеся группы по длине совпадающего префикса.Тогда количество меньших объектов можно представить как сумму количеств объектов у которых префикс длины [math]i[/math] совпадает , а [math]i+1[/math] элемент лексикографически меньше [math]i+1[/math]-го в данном объекте([math]i[/math] = 0..[math]n-1[/math]). Следующий алгоритм вычисляет эту сумму

 numOfObject = 0                            // numOfObject — искомый номер комбинаторного объекта
 for i = 1 to n do                        // перебираем элементы комбинаторного объекта
   for j = 1 to a[i] - 1 do               // перебираем элементы которые в лексикографическом порядке меньше рассматриваемого
     if элемент j можно поставить на i-e место
       then numOfObject += (коллличество комбинаторных объектов с префиксом от 1 до i-1 равным данному и с i-м элементом равным j)

т.е. он правильно находит номер данного объекта.

Сложность алгоритма — [math]O(nk) [/math]. Здесь [math]k[/math] - количество различных элементов, которые могут находиться в данном комбинаторном объекте. Для битового вектора [math]k=2[/math] : возможны только 0 и 1. Количества комбинаторных объектов с заданными префиксами считаются известными, и их подсчет в сложности не учитывается. Приведем примеры способов получения номеров некоторых из комбинаторных объектов по данному объекту.

Перестановки

Рассмотрим алгоритм получения номера в лексикографическом порядке по данной перестановки размера n.

 P[n] — количество перестановок размера n
 permutation[n] — данная перестановка
 was[n] — использовали ли мы уже эту цифру в перестановке
 for i = 1 to n do                         // n - количество цифр в перестановке
   for j = 1  to a[i] - 1 do               // перебираем элемент который может стоять на i-м месте лексикографически меньше нашего
     if was[j] = false                     // если элемент j ранее не был использован
       then  numOfPermutation += P[n-i]    // все перестановки с префиксом длиной i-1 равным нашему, и i-й элемент у которых меньше 
                                              нашего в лексикографическом порядке идут раньше данной престановки               
       was[i] = true                       // элемент i использован            

Данный алгоритм работает за [math]O(n^2) [/math].

Битовые вектора

Рассмотрим алгоритм получения номера [math]i[/math] в лексикографическом порядке данного битового вектора размера [math]n[/math]. Колличество битовых векторов длины [math]n[/math] = [math]2^n[/math] На каждой позиции может стоять один из двух элементов, независимо от того, какие элементы находятся в префиксе, поэтому поиск меньших элементов можно упростить до условия:

for i = 1 to n do                                         
 if bitvector[i] = 1  {
    numOfBitvector += 2 ^ (n - i)        
 }

См. также

  • Программирование в алгоритмах / С. М. Окулов. — М.: БИНОМ. Лаборатория знаний, 2002. стр.31