Вычислить минимальное количество свопов, чтобы упорядочить последовательность

Я работаю над сортировкой целочисленной последовательности без идентичных чисел (без потери общности, давайте предположим, что последовательность является перестановкой 1,2,...,n) в ее естественном порядке возрастания (то есть 1,2,...,n). Я думал о прямой замене элементов (независимо от положения элементов; другими словами, подкачка действительна для любых двух элементов) с минимальным числом перестановок (следующее может быть возможным решением):

Поменяйте местами два элемента с тем условием, что один или оба из них должны быть заменены на правильные позиции. Пока каждый элемент не будет поставлен в правильное положение.

Но я не знаю, как математически доказать, является ли указанное решение оптимальным. Кто-нибудь может помочь?

Ответ 1

Я смог доказать это с помощью . Может быть, хотите добавить этот тег в :)

Создайте граф с n вершинами. Создайте ребро от узла n_i до n_j если элемент в позиции i должен быть в позиции j в правильном порядке. Теперь у вас будет график, состоящий из нескольких непересекающихся циклов. Я утверждаю, что минимальное количество перестановок, необходимое для правильного упорядочения графика,

M = sum (c in cycles) size(c) - 1

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

Учитывая это, теперь вы можете понять, почему ваш алгоритм оптимален. Если вы выполните обмен, и хотя бы один элемент находится в правильном положении, он всегда будет уменьшать значение M на 1. Для любого цикла длины n рассмотрите возможность перестановки элемента в правильное место, занимаемое его соседом. Теперь у вас есть правильно упорядоченный элемент и цикл длиной n-1.

Поскольку M - это минимальное количество свопов, а ваш алгоритм всегда уменьшает M на 1 для каждого свопа, он должен быть оптимальным.

Ответ 2

Для вашей справки, вот алгоритм, который я написал, чтобы сгенерировать минимальное количество свопов, необходимых для сортировки массива. Он находит циклы, описанные @Andrew Mao.

/**
 * Finds the minimum number of swaps to sort given array in increasing order.
 * @param ar array of <strong>non-negative distinct</strong> integers. 
 *           input array will be overwritten during the call!
 * @return min no of swaps
 */
public int findMinSwapsToSort(int[] ar) {
    int n = ar.length;
    Map<Integer, Integer> m = new HashMap<>();
    for (int i = 0; i < n; i++) {
        m.put(ar[i], i);
    }
    Arrays.sort(ar);
    for (int i = 0; i < n; i++) {
        ar[i] = m.get(ar[i]);
    }
    m = null;
    int swaps = 0;
    for (int i = 0; i < n; i++) {
        int val = ar[i];
        if (val < 0) continue;
        while (val != i) {
            int new_val = ar[val];
            ar[val] = -1;
            val = new_val;
            swaps++;
        }
        ar[i] = -1;
    }
    return swaps;
}

Ответ 3

Эмм, весь цикл счета очень сложно держать в голове. Есть способ, который намного проще запомнить.

Во-первых, давайте бросим образец дела вручную.

  • Последовательность: [7, 1, 3, 2, 4, 5, 6]
  • Перечислим это: [(0, 7), (1, 1), (2, 3), (3, 2), (4, 4), (5, 5), (6, 6)]
  • Сортировать перечисление по значению: [(1, 1), (3, 2), (2, 3), (4, 4), (5, 5), (6, 6), (0, 7)]
  • Начните с самого начала. Хотя индекс отличается от нумерованного индекса, продолжайте менять элементы, определенные индексом и перечисляемым индексом. Помните: swap(0,2);swap(0,3) аналогичен swap(2,3);swap(0,2)
    • swap(0, 1) => [ (3, 2), (1, 1), (2, 3), (4, 4), (5, 5), (6, 6), (0, 7) ]
    • swap(0, 3) => [ (4, 4), (1, 1), (2, 3), (3, 2), (5, 5), (6, 6), (0, 7) ]
    • swap(0, 4) => [ (5, 5), (1, 1), (2, 3), (3, 2), (4, 4), (6, 6), (0, 7) ]
    • swap(0, 5) => [ (6, 6), (1, 1), (2, 3), (3, 2), (4, 4), (5, 5), (0, 7) ]
    • swap(0, 6) => [ (0, 7), (1, 1), (2, 3), (3, 2), (4, 4), (5, 5), (6, 6) ]

Т.е. семантически вы сортируете элементы, а затем выясняете, как перевести их в исходное состояние, переключая крайний левый элемент, который не на своем месте.

Алгоритм Python настолько прост:

def swap(arr, i, j):
    tmp = arr[i]
    arr[i] = arr[j]
    arr[j] = tmp


def minimum_swaps(arr):
    annotated = [*enumerate(arr)]
    annotated.sort(key = lambda it: it[1])

    count = 0

    i = 0
    while i < len(arr):
        if annotated[i][0] == i:
            i += 1
            continue
        swap(annotated, i, annotated[i][0])
        count += 1

    return count

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

Ответ 4

Нам не нужно менять местами фактические элементы, просто найдите, сколько элементов не в нужном индексе (цикл). Мин. Свопами будет цикл - 1; Вот код...

static int minimumSwaps(int[] arr) {
        int swap=0;
        boolean visited[]=new boolean[arr.length];

        for(int i=0;i<arr.length;i++){
            int j=i,cycle=0;

            while(!visited[j]){
                visited[j]=true;
                j=arr[j]-1;
                cycle++;
            }

            if(cycle!=0)
                swap+=cycle-1;
        }
        return swap;


    }

Ответ 5

Версия Swift 4:

func minimumSwaps(arr: [Int]) -> Int {

      struct Pair {
         let index: Int
         let value: Int
      }

      var positions = arr.enumerated().map { Pair(index: $0, value: $1) }
      positions.sort { $0.value < $1.value }
      var indexes = positions.map { $0.index }

      var swaps = 0
      for i in 0 ..< indexes.count {
         var val = indexes[i]
         if val < 0 {
            continue // Already visited.
         }
         while val != i {
            let new_val = indexes[val]
            indexes[val] = -1
            val = new_val
            swaps += 1
         }
         indexes[i] = -1
      }
      return swaps
}

Ответ 6

Красивое решение от @bekce. Если вы используете С#, начальный код настройки измененного массива ar может быть кратко выражен как:

var origIndexes = Enumerable.Range(0, n).ToArray();
Array.Sort(ar, origIndexes);

затем используйте origIndexes вместо ar в остальной части кода.

Ответ 7

//Предполагая, что мы имеем дело только с последовательностью, начинающейся с нуля

function minimumSwaps(arr) {
    var len = arr.length
    var visitedarr = []
    var i, start, j, swap = 0
    for (i = 0; i < len; i++) {
        if (!visitedarr[i]) {
            start = j = i
            var cycleNode = 1
            while (arr[j] != start) {
                j = arr[j]
                visitedarr[j] = true
                cycleNode++
            }
            swap += cycleNode - 1
        }
    }
    return swap
}

Ответ 8

Это пример кода на С++, который находит минимальное количество свопов для сортировки перестановки последовательности (1,2,3,4,5,.......n-2,n-1,n)

#include<bits/stdc++.h>
using namespace std;


int main()
{
    int n,i,j,k,num = 0;
    cin >> n;
    int arr[n+1];
    for(i = 1;i <= n;++i)cin >> arr[i];
    for(i = 1;i <= n;++i)
    {
        if(i != arr[i])// condition to check if an element is in a cycle r nt
        {
            j = arr[i];
            arr[i] = 0;
            while(j != 0)// Here i am traversing a cycle as mentioned in 
            {             // first answer
                k = arr[j];
                arr[j] = j;
                j = k;
                num++;// reducing cycle by one node each time
            }
            num--;
        }
    }
    for(i = 1;i <= n;++i)cout << arr[i] << " ";cout << endl;
    cout << num << endl;
    return 0;
}

Ответ 9

Реализация на целых числах с примитивными типами в Java (и тесты).

import java.util.Arrays;

public class MinSwaps {
  public static int computate(int[] unordered) {
    int size = unordered.length;
    int[] ordered = order(unordered);
    int[] realPositions = realPositions(ordered, unordered);
    boolean[] touchs = new boolean[size];
    Arrays.fill(touchs, false);
    int i;
    int landing;
    int swaps = 0;

    for(i = 0; i < size; i++) {
      if(!touchs[i]) {
        landing = realPositions[i];

        while(!touchs[landing]) {
          touchs[landing] = true;
          landing = realPositions[landing];

          if(!touchs[landing]) { swaps++; }
        }
      }
    }

    return swaps;
  }

  private static int[] realPositions(int[] ordered, int[] unordered) {
    int i;
    int[] positions = new int[unordered.length];

    for(i = 0; i < unordered.length; i++) {
      positions[i] = position(ordered, unordered[i]);
    }

    return positions;
  }

  private static int position(int[] ordered, int value) {
    int i;

    for(i = 0; i < ordered.length; i++) {
      if(ordered[i] == value) {
        return i;
      }
    }

    return -1;
  }

  private static int[] order(int[] unordered) {
    int[] ordered = unordered.clone();
    Arrays.sort(ordered);

    return ordered;
  }
}

тесты

import org.junit.Test;

import static org.junit.Assert.assertEquals;

public class MinimumSwapsSpec {
  @Test
  public void example() {
    // setup
    int[] unordered = new int[] { 40, 23, 1, 7, 52, 31 };

    // run
    int minSwaps = MinSwaps.computate(unordered);

    // verify
    assertEquals(5, minSwaps);
  }

  @Test
  public void example2() {
    // setup
    int[] unordered = new int[] { 4, 3, 2, 1 };

    // run
    int minSwaps = MinSwaps.computate(unordered);

    // verify
    assertEquals(2, minSwaps);
  }

  @Test
  public void example3() {
    // setup
    int[] unordered = new int[] {1, 5, 4, 3, 2};

    // run
    int minSwaps = MinSwaps.computate(unordered);

    // verify
    assertEquals(2, minSwaps);
  }
}

Ответ 10

Swift 4.2:

func minimumSwaps(arr: [Int]) -> Int {
    let sortedValueIdx = arr.sorted().enumerated()
        .reduce(into: [Int: Int](), { $0[$1.element] = $1.offset })

    var checked = Array(repeating: false, count: arr.count)
    var swaps = 0

    for idx in 0 ..< arr.count {
        if checked[idx] { continue }

        var edges = 1
        var cursorIdx = idx
        while true {
            let cursorEl = arr[cursorIdx]
            let targetIdx = sortedValueIdx[cursorEl]!
            if targetIdx == idx {
                break
            } else {
                cursorIdx = targetIdx
                edges += 1
            }
            checked[targetIdx] = true
        }
        swaps += edges - 1
    }

    return swaps
}

Ответ 11

Код Python

A = [4,3,2,1]
count = 0
for i in range (len(A)):
    min_idx = i
    for j in range (i+1,len(A)):
        if A[min_idx] > A[j]:
            min_idx = j
    if min_idx > i:
        A[i],A[min_idx] = A[min_idx],A[i]
        count = count + 1
print "Swap required : %d" %count

Ответ 12

В JavaScript

Если счетчик массива начинается с 1

function minimumSwaps(arr) {
   var len = arr.length
    var visitedarr = []
    var i, start, j, swap = 0
    for (i = 0; i < len; i++) {
        if (!visitedarr[i]) {
            start = j = i
            var cycleNode = 1
            while (arr[j] != start + 1) {
                j = arr[j] - 1
                visitedarr[j] = true
                cycleNode++
            }
            swap += cycleNode - 1
        }
    }
    return swap
}

еще

function minimumSwaps(arr) {
    var len = arr.length
    var visitedarr = []
    var i, start, j, swap = 0
    for (i = 0; i < len; i++) {
        if (!visitedarr[i]) {
            start = j = i
            var cycleNode = 1
            while (arr[j] != start) {
                j = arr[j]
                visitedarr[j] = true
                cycleNode++
            }
            swap += cycleNode - 1
        }
    }
    return swap
}

Просто расширяем код Даршана Путтасвами для текущих входных данных стекового потока