Генерация комбинаторных объектов в лексикографическом порядке — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Источники информации)
(не показано 47 промежуточных версий 5 участников)
Строка 1: Строка 1:
Комбинаторные объекты сгенерированы в '''лексикографическом порядке''' ''(in lexicographical order)'', если для любых <tex> i<j </tex> выполняется неравенство <tex> S_i<S_j </tex>, где <tex> S_i </tex> и <tex> S_j </tex> комбинаторные объекты с номерами <tex> i </tex> и <tex> j </tex>.
+
[[Комбинаторные объекты]] сгенерированы в [[Лексикографический порядок|лексикографическом порядке]] , если для любых <tex> i<j </tex> выполняется неравенство <tex> S_i<S_j </tex>, где <tex> S_i </tex> и <tex> S_j </tex> комбинаторные объекты с номерами <tex> i </tex> и <tex> j </tex>.
 
== Алгоритм построения ==
 
== Алгоритм построения ==
  
Строка 6: Строка 6:
 
Данный алгоритм генерирует все объекты заданного типа в лексикографическом порядке. На каждом шаге генерируется минимальный возможный префикс требуемого объекта.
 
Данный алгоритм генерирует все объекты заданного типа в лексикографическом порядке. На каждом шаге генерируется минимальный возможный префикс требуемого объекта.
  
*<tex>\mathtt{genObj(K, p)}</tex> {{---}} процедура генерирования,
+
*<tex>\mathtt{genObj(K, ␣␣depth)}</tex> {{---}} процедура генерирования,
*<tex>\mathtt{ p}</tex> {{---}} глубина рекурсии,
+
*<tex>\mathtt{depth}</tex> {{---}} глубина рекурсии,
*''<tex>\mathtt{list <A>}</tex>'' <tex>\mathtt{K}</tex> {{---}} текущий комбинаторный объект,
+
*<tex>\mathtt{list\left<A\right>}</tex> <tex>\mathtt{K}</tex> {{---}} текущий комбинаторный объект,
 
* <tex>\mathtt{len}</tex> {{---}} требуемый размер объекта,
 
* <tex>\mathtt{len}</tex> {{---}} требуемый размер объекта,
*''<tex>\mathtt{list <A>}</tex>'' <tex>\mathtt{alpha}</tex> {{---}} все возможные элементы комбинаторного объекта, отсортированные в лексикографическом порядке,
+
*<tex>\mathtt{list\left<A\right>}</tex> <tex>\mathtt{alpha}</tex> {{---}} все возможные элементы комбинаторного объекта, отсортированные в лексикографическом порядке,
* <tex>\mathtt{n}</tex> {{---}} размер alpha,
+
* <tex>\mathtt{n}</tex> {{---}} размер <tex>\mathtt{alpha}</tex>,
*''<tex>\mathtt{list <list <A> >}</tex>'' {{---}} список, содержащий все сгенерированные объекты в нужном порядке.
+
*<tex>\mathtt{list\left<list\left<A\right>\right>}</tex> <tex>\mathtt{ans}</tex>  {{---}} список, содержащий все сгенерированные объекты в нужном порядке.
  
 
+
  '''list<A>''' genObj('''list<A>''' K, '''int''' depth, '''list<list<A>>''' ans):
'''list<A>''' genObj(int K,int p)
+
    '''if''' depth == len                               <font color=green> // если сформирован объект нужного размера, то возвращаем его  </font>  
  '''if''' p == len                           <font color=green> // если сформирован объект нужного размера, то возвращаем его  </font>  
+
     ans.push_back(K)                             <font color=green>// записываем объект K в ответ </font>
     ans.push_back(K);                    <font color=green>// записываем объект K в ответ </font>
 
 
   '''else'''
 
   '''else'''
     '''for''' i = 1 to n                         
+
     '''for''' i = 1 '''to''' n                         
 
         '''if''' к объекту К можно добавить элемент alpha[i] в конец
 
         '''if''' к объекту К можно добавить элемент alpha[i] в конец
           K.push_back(alpha[i])                     
+
           genObj(K ++ alpha[i], depth + 1, ans)   <font color=green> // добавляем alpha[i] в конец и вызываем функцию genObj от нового полученного префикса </font>
          genObj(K, p + 1)               <font color=green> // добавляем alpha[i] в конец и вызываем функцию genObj от нового полученного префикса </font>
 
          К.pop_back()
 
  
 
==== Генерация с помощью процедуры получения следующего объекта ====
 
==== Генерация с помощью процедуры получения следующего объекта ====
Строка 36: Строка 33:
  
 
*<tex>\mathtt{genChooses(k, l)}</tex> {{---}} процедура генерирования,
 
*<tex>\mathtt{genChooses(k, l)}</tex> {{---}} процедура генерирования,
*''<tex>\mathtt{list <int>}</tex>'' <tex>\mathtt{a}</tex> {{---}} текущее сочетание,
+
*<tex>\mathtt{list\left<int\right>}</tex> <tex>\mathtt{a}</tex> {{---}} текущее сочетание,
 
*<tex>\mathtt{k}</tex> {{---}} следующий элемент в сочетании,
 
*<tex>\mathtt{k}</tex> {{---}} следующий элемент в сочетании,
 
*<tex>\mathtt{l}</tex> {{---}} глубина рекурсии,
 
*<tex>\mathtt{l}</tex> {{---}} глубина рекурсии,
*''<tex>\mathtt{list <list <int> > }</tex>'' {{---}} все сгенерированные сочетания в нужном порядке.
+
*<tex>\mathtt{list\left<list\left<int\right>\right>\ ans}</tex> {{---}} все сгенерированные сочетания в нужном порядке.
  
  '''list<int>''' genChooses(int k, int l)
+
  '''list<int>''' genChooses('''int''' k, '''int''' l, '''list<int>''' a, '''list<list<int>>''' ans):
  a[l] = k
 
 
   '''if''' l == m         
 
   '''if''' l == m         
 
     ans.push_back(a)
 
     ans.push_back(a)
   '''for''' i = k + 1 to n
+
   '''else'''
    genChooses(i, l + 1);
+
    '''for''' i = k + 1 '''to''' n
 +
      genChooses(i, l + 1, a ++ i, ans)
  
 
==== Пример работы процедуры генерации ====
 
==== Пример работы процедуры генерации ====
  
Иллюстрация работы процедуры генерирования всех сочетаний из 4 по 2.
+
Иллюстрация работы процедуры генерации <tex dpi=150>\binom {4} {2} </tex>
 +
 
 +
[[Файл:1211.png]]
  
[[Файл:4 2 s.png]]
+
==См. также==
 +
* [[Получение номера по объекту]]
 +
* [[Получение объекта по номеру]]
  
 
== Источники информации ==
 
== Источники информации ==
 
* [http://ru.wikipedia.org/wiki/Перечисление_(комбинаторика) Википедия — Перечисление (комбинаторика)]
 
* [http://ru.wikipedia.org/wiki/Перечисление_(комбинаторика) Википедия — Перечисление (комбинаторика)]
* [http://rain.ifmo.ru/cat/view.php/ Дискретная математика: алгоритмы]
+
* [http://rain.ifmo.ru/cat/view.php/ Дискретная математика — Алгоритмы]
 
* [http://algolist.ru/maths/combinat/ AlgoList — Комбинаторика и переборные задачи]
 
* [http://algolist.ru/maths/combinat/ AlgoList — Комбинаторика и переборные задачи]
 
* [http://e-maxx.ru/algo/ MAXimal :: Комбинаторика]
 
* [http://e-maxx.ru/algo/ MAXimal :: Комбинаторика]
Строка 63: Строка 64:
  
 
[[Категория: Комбинаторика ]]
 
[[Категория: Комбинаторика ]]
 +
 +
[[Категория: Генерация комбинаторных объектов]]

Версия 05:21, 23 января 2016

Комбинаторные объекты сгенерированы в лексикографическом порядке , если для любых [math] i\lt j [/math] выполняется неравенство [math] S_i\lt S_j [/math], где [math] S_i [/math] и [math] S_j [/math] комбинаторные объекты с номерами [math] i [/math] и [math] j [/math].

Алгоритм построения

Описание процедуры построения

Данный алгоритм генерирует все объекты заданного типа в лексикографическом порядке. На каждом шаге генерируется минимальный возможный префикс требуемого объекта.

  • [math]\mathtt{genObj(K, ␣␣depth)}[/math] — процедура генерирования,
  • [math]\mathtt{depth}[/math] — глубина рекурсии,
  • [math]\mathtt{list\left\lt A\right\gt }[/math] [math]\mathtt{K}[/math] — текущий комбинаторный объект,
  • [math]\mathtt{len}[/math] — требуемый размер объекта,
  • [math]\mathtt{list\left\lt A\right\gt }[/math] [math]\mathtt{alpha}[/math] — все возможные элементы комбинаторного объекта, отсортированные в лексикографическом порядке,
  • [math]\mathtt{n}[/math] — размер [math]\mathtt{alpha}[/math],
  • [math]\mathtt{list\left\lt list\left\lt A\right\gt \right\gt }[/math] [math]\mathtt{ans}[/math] — список, содержащий все сгенерированные объекты в нужном порядке.
 list<A> genObj(list<A> K, int depth, list<list<A>> ans):
   if depth == len                                 // если сформирован объект нужного размера, то возвращаем его    
    ans.push_back(K)                              // записываем объект K в ответ 
  else
    for i = 1 to n                        
       if к объекту К можно добавить элемент alpha[i] в конец
         genObj(K ++ alpha[i], depth + 1, ans)    // добавляем alpha[i] в конец и вызываем функцию genObj от нового полученного префикса 

Генерация с помощью процедуры получения следующего объекта

Составляем первый объект — [math]K_1[/math], для него получаем следующий объект[math]K_2[/math], для [math]K_2[/math] получаем [math]K_3[/math], далее действуем также, для [math]K_i[/math] получая [math]K_i[/math][math]_+[/math][math]_1[/math] объект, пока не получим последний объект [math]K_n[/math].

Примеры

Пример генерации сочетаний из N элементов по M в лексикографическом порядке

Данный алгоритм генерирует все сочетания из [math]n[/math] элементов по [math]m[/math].

  • [math]\mathtt{genChooses(k, l)}[/math] — процедура генерирования,
  • [math]\mathtt{list\left\lt int\right\gt }[/math] [math]\mathtt{a}[/math] — текущее сочетание,
  • [math]\mathtt{k}[/math] — следующий элемент в сочетании,
  • [math]\mathtt{l}[/math] — глубина рекурсии,
  • [math]\mathtt{list\left\lt list\left\lt int\right\gt \right\gt \ ans}[/math] — все сгенерированные сочетания в нужном порядке.
list<int> genChooses(int k, int l, list<int> a, list<list<int>> ans):
  if l == m        
    ans.push_back(a)
  else
    for i = k + 1 to n
      genChooses(i, l + 1, a ++ i, ans)

Пример работы процедуры генерации

Иллюстрация работы процедуры генерации [math]\binom {4} {2} [/math]

1211.png

См. также

Источники информации