Прохождение всех перестановок по одному свопу за раз - PullRequest
10 голосов
/ 04 января 2010

Учитывая список из n отдельных элементов, как я могу пройти через каждую перестановку элементов, меняя только одну пару значений за раз? (Я предполагаю, что это возможно, это, безусловно, кажется, что так и должно быть.)

То, что я ищу, - это итератор, который выдает индексы для следующей пары элементов, подлежащих обмену, так что при повторении n! -1 раз он будет проходить через n! Перестановки списка в некотором порядке. Если повторить его еще раз, список вернется к начальному порядку, что будет бонусом, но это не является обязательным требованием. Если все пары включают первый (или последний) элемент в качестве одной из пар, так что функция должна возвращать только одно значение, это также будет бонусом.

Пример: - для 3 элементов вы можете поменять местами последний элемент попеременно с первым и вторым элементами для циклического перестановки, а именно: (abc) swap 0-2 => (cba) 1-2 (cab) 0 -2 (bac) 1-2 (bca) 0-2 (acb).

Я буду внедрять в C, но, вероятно, смогу найти решения на большинстве языков.

Ответы [ 4 ]

18 голосов
/ 11 августа 2012

Я уверен, что уже слишком поздно для вас, но я нашел хорошее дополнение к этому вопросу: Алгоритм Штайнхауса – Джонсона – Троттера и его варианты делают именно то, что вы просили. Более того, он имеет дополнительное свойство, заключающееся в том, что он всегда меняет соседние индексы. Я попытался реализовать один из вариантов (Even) в Java в качестве итератора и прекрасно работает:

import java.util.*;

// Based on https://en.wikipedia.org/wiki/Steinhaus%E2%80%93Johnson%E2%80%93Trotter_algorithm#Even.27s_speedup
public class PermIterator
    implements Iterator<int[]>
{
    private int[] next = null;

    private final int n;
    private int[] perm;
    private int[] dirs;

    public PermIterator(int size) {
        n = size;
        if (n <= 0) {
            perm = (dirs = null);
        } else {
            perm = new int[n];
            dirs = new int[n];
            for(int i = 0; i < n; i++) {
                perm[i] = i;
                dirs[i] = -1;
            }
            dirs[0] = 0;
        }

        next = perm;
    }

    @Override
    public int[] next() {
        int[] r = makeNext();
        next = null;
        return r;
    }

    @Override
    public boolean hasNext() {
        return (makeNext() != null);
    }

    @Override
    public void remove() {
        throw new UnsupportedOperationException();
    }

    private int[] makeNext() {
        if (next != null)
            return next;
        if (perm == null)
            return null;

        // find the largest element with != 0 direction
        int i = -1, e = -1;
        for(int j = 0; j < n; j++)
            if ((dirs[j] != 0) && (perm[j] > e)) {
                e = perm[j];
                i = j;
            }

        if (i == -1) // no such element -> no more premutations
            return (next = (perm = (dirs = null))); // no more permutations

        // swap with the element in its direction
        int k = i + dirs[i];
        swap(i, k, dirs);
        swap(i, k, perm);
        // if it's at the start/end or the next element in the direction
        // is greater, reset its direction.
        if ((k == 0) || (k == n-1) || (perm[k + dirs[k]] > e))
            dirs[k] = 0;

        // set directions to all greater elements
        for(int j = 0; j < n; j++)
            if (perm[j] > e)
                dirs[j] = (j < k) ? +1 : -1;

        return (next = perm);
    }

    protected static void swap(int i, int j, int[] arr) {
        int v = arr[i];
        arr[i] = arr[j];
        arr[j] = v;
    }


    // -----------------------------------------------------------------
    // Testing code:

    public static void main(String argv[]) {
        String s = argv[0];
        for(Iterator<int[]> it = new PermIterator(s.length()); it.hasNext(); ) {
            print(s, it.next());
        }
    }

    protected static void print(String s, int[] perm) {
        for(int j = 0; j < perm.length; j++)
            System.out.print(s.charAt(perm[j]));
        System.out.println();
    }
}

Было бы легко изменить его на бесконечный итератор, который перезапускает цикл в конце, или итератор, который будет возвращать поменяемые индексы вместо следующей перестановки.

Здесь еще одна ссылка, собирающая различные реализации.

4 голосов
/ 05 января 2010

Ах, как только я вычислил последовательность для n = 4 (с ограничением «всегда заменять первый элемент другим»), я смог найти последовательность A123400 в OEIS, которая сказала мне нужен "метод обмена Эрлиха".

Google нашел меня реализация C ++ , что, как я предполагаю из , это находится под GPL. Я также нашел пучок 2b Кнута, который описывает различные решения именно моей проблемы.

Как только у меня будет протестированная реализация C, я обновлю ее кодом.

Вот некоторый Perl-код, который реализует метод Эрлиха, основанный на описании Кнута. Для списков до 10 элементов в каждом случае я проверял, правильно ли он генерирует полный список перестановок, а затем останавливается.

#
# Given a count of items in a list, returns an iterator that yields the index
# of the item with which the zeroth item should be swapped to generate a new
# permutation. Returns undef when all permutations have been generated.
#
# Assumes all items are distinct; requires a positive integer for the count.
#
sub perm_iterator {
    my $n = shift;
    my @b = (0 .. $n - 1);
    my @c = (undef, (0) x $n);
    my $k;
    return sub {
        $k = 1;
        $c[$k++] = 0 while $c[$k] == $k;
        return undef if $k == $n;
        ++$c[$k];
        @b[1 .. $k - 1] = reverse @b[1 .. $k - 1];
        return $b[$k];
    };
}

Пример использования:

#!/usr/bin/perl -w
use strict;
my @items = @ARGV;
my $iterator = perm_iterator(scalar @items);
print "Starting permutation: @items\n";
while (my $swap = $iterator->()) {
    @items[0, $swap] = @items[$swap, 0];
    print "Next permutation: @items\n";
}
print "All permutations traversed.\n";
exit 0;

По запросу, код Python. (Извините, это, вероятно, не слишком идиоматично. Предложения по улучшению приветствуются.)

class ehrlich_iter:
  def __init__(self, n):
    self.n = n
    self.b = range(0, n)
    self.c = [0] * (n + 1)

  def __iter__(self):
    return self

  def next(self):
    k = 1
    while self.c[k] == k:
      self.c[k] = 0
      k += 1
    if k == self.n:
      raise StopIteration
    self.c[k] += 1
    self.b[1:k - 1].reverse
    return self.b[k]

mylist = [ 1, 2, 3, 4 ]   # test it
print "Starting permutation: ", mylist
for v in ehrlich_iter(len(mylist)):
  mylist[0], mylist[v] = mylist[v], mylist[0]
  print "Next permutation: ", mylist
print "All permutations traversed."
0 голосов
/ 14 октября 2013

Вы могли бы взглянуть на https://sourceforge.net/projects/swappermutation/, который является реализацией Java именно ваших требований: итератор, который генерирует Swaps. Создал это недавно, недавно обновил.

0 голосов
/ 04 января 2010

Посмотрите на стандартную библиотечную функцию C ++ next_permuation (...). Это должно быть хорошей отправной точкой.

...