Удалите шов минимальной суммы из массива


18

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

Ваш ввод будет прямоугольным двумерным массивом целых чисел.

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

Иллюстрация резьбы шва https://en.wikipedia.org/wiki/Seam_carving

На приведенном выше рисунке значение каждой ячейки показано красным. Черные числа являются суммой значения ячейки и самого низкого черного числа в одной из трех ячеек над ней (на которые указывают зеленые стрелки). Белые выделенные пути - это два пути с наименьшей суммой, оба с суммой 5 (1 + 2 + 2 и 2 + 2 + 1).

В случае, когда для наименьшей суммы связаны два пути, не имеет значения, какой из них вы удалите.

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

Вывод должен быть в стандартный вывод в формате с разделителями или в виде возвращаемого функцией значения в вашем языке, эквивалентном массиву 2d (который может включать в себя вложенные списки и т. Д.).

Примеры:

Input:
1 4 3 5 2
3 2 5 2 3
5 2 4 2 1
Output:
4 3 5 2      1 4 3 5
3 5 2 3  or  3 2 5 3
5 4 2 1      5 2 4 2

Input:
1 2 3 4 5
Output:
2 3 4 5

Input:
1
2
3
Output:
(empty, null, a sentinel non-array value, a 0x3 array, or similar)

РЕДАКТИРОВАТЬ: все числа будут неотрицательными, и каждый возможный шов будет иметь сумму, которая вписывается в 32-разрядное целое число со знаком.


В примерах все значения ячеек представляют собой однозначные числа. Это гарантировано? Если нет, есть ли другие предположения относительно размера / диапазона значений? Например, что сумма соответствует 16/32-битному значению? Или хотя бы что все значения положительные?
Рето Коради

@RetoKoradi отредактировано с подробностями о диапазоне
Спарр

Ответы:


5

CJam, 51 44 байта

{_z,1$,m*{_1>.-W<2f/0-!},{1$.=:+}$0=.{WtW-}}

Это анонимная функция, которая извлекает двумерный массив из стека и возвращает его в ответ.

Попробуйте тестовые примеры онлайн в интерпретаторе CJam . 1

идея

Этот подход перебирает все возможные комбинации элементов строки, отфильтровывает те, которые не соответствуют швам, сортирует по соответствующей сумме, выбирает минимум и удаляет соответствующие элементы из массива. 2

Код

_z,   e# Get the length of the transposed array. Pushes the number of columns (m).
1$,   e# Get the length of the array itself. Pushes the number of rows (n).
m*    e# Cartesian power. Pushes the array of all n-tuples with elements in [0 ... m-1].
{     e# Filter:
  _1> e#     Push a copy of the tuple with first element removed.
  .-  e#     Vectorized difference.
  W<  e#     Discard last element.
  2f/ e#     Divide all by 2.
  0-  e#     Remove 0 from the results.
  !   e#     Push 1 if the remainder is empty and 0 otherwise.
},    e#     Keep only tuples which pushed a 1.

      e# The filtered array now contains only tuples that encode valid paths of indexes.

{     e# Sort by:
  1$  e#     Copy the input array.
  .=  e#     Retrieve the element of each row that corresponds to the index in the tuple.
  :+  e#     Add all elements.
}$    e#
0=    e# Retrieve the tuple of indexes with minimum sum.
.{    e# For each row in the array and the corresponding index in the tuple:
  Wt  e#     Replace the element at that index with -1.
  W-  e#     Remove -1 from the row.
}

1 Обратите внимание, что CJam не может различить пустые массивы и пустые строки, поскольку строки - это просто массивы, элементы которых являются символами. Таким образом, строковое представление как пустых массивов, так и пустых строк равно "".

2 В то время как временная сложность алгоритма, показанного на странице Википедии, должна составлять O (нм) для матрицы n × m , эта величина должна быть не менее O (m n ) .


{2ew::m2f/0-!},
Оптимизатор

К сожалению, это не сработает для второго теста. Я подал отчет об ошибке две недели назад.
Денис

5

Haskell, 187 байт

l=length
f a@(b:c)=snd$maximum$(zip=<<map(sum.concat))$map(zipWith((uncurry((.drop 1).(++)).).flip splitAt)a)$iterate((\e@(f:_)->[f-1:e,f:e,min(f+1)(l b-1):e])=<<)[[y]|y<-[0..l b-1]]!!l c

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

*Main> f [[1,4,3,5,2],[3,2,5,2,3],[5,2,4,2,1]]
[[4,3,5,2],[3,5,2,3],[5,4,2,1]]

*Main> f [[1],[2],[3]]
[[],[],[]]

*Main> f [[1,2,3,4,5]]
[[2,3,4,5]]

Как это работает, короткая версия: создайте список всех путей (1), для каждого пути: удалите соответствующие элементы (2) и суммируйте все оставшиеся элементы (3). Возьмите прямоугольник с наибольшей суммой (4).

Более длинная версия:

Input parameters, assigned via pattern matching:
a = whole input, e.g. [[1,2,4],[2,5,6],[3,1,6]]
b = first line, e.g. [1,2,4]
c = all lines, except first, e.g. [[2,5,6],[3,1,6]]

Step (1), build all paths:

iterate((\e@(f:_)->[f-1:e,f:e,min(f+1)(l b-1):e])=<<)[[y]|y<-[0..l b-1]]!!l c

     [[y]|y<-[0..l b-1]]           # build a list of single element lists
                                   # for all numbers from 0 to length b - 1
                                   # e.g. [[0],[1],[2]] for a 3 column input.
                                   # These are all possible start points

     \e@(f:_)->[f-1:e,f:e,min(f+1)(l b-1):e]
                                   # expand a list of paths by replacing each
                                   # path with 3 new paths (up-left, up, up-right)

     (...)=<<                      # flatten the list of 3-new-path lists into
                                   # a single list

     iterate (...) [...] !! l c    # repeatedly apply the expand function to
                                   # the start list, all in all (length c) times.


Step (2), remove elements

map(zipWith((uncurry((.drop 1).(++)).).flip splitAt)a)

     (uncurry((.drop 1).(++)).).flip splitAt
                                   # point-free version of a function that removes
                                   # an element at index i from a list by
                                   # splitting it at index i, and joining the
                                   # first part with the tail of the second part

      map (zipWith (...) a) $ ...  # per path: zip the input list and the path with
                                   # the remove-at-index function. Now we have a list
                                   # of rectangles, each with a path removed

Step (3), sum remaining elements

zip=<<map(sum.concat)             # per rectangle: build a pair (s, rectangle)
                                  # where s is the sum of all elements


Step (4), take maximum

snd$maximum                      # find maximum and remove the sum part from the
                                 # pair, again.

3

IDL 8,3, 307 байт

Мех, я уверен, что это не победит, потому что это долго, но вот простое решение:

pro s,a
z=size(a,/d)
if z[0]lt 2then return
e=a
d=a*0
u=max(a)+1
for i=0,z[1]-2 do begin
e[*,i+1]+=min([[u,e[0:-2,i]],[e[*,i]],[e[1:*,i],u]],l,d=2)
d[*,i]=l/z[0]-1
endfor
v=min(e[*,-1],l)
r=intarr(z[1])+l
for i=z[1]-2,0,-1 do r[0:i]+=d[r[i+1],i]
r+=[0:z[1]-1]*z[0]
remove,r,a
print,reform(a,z[0]-1,z[1])
end

Ungolfed:

pro seam, array
  z=size(array, /dimensions)
  if z[0] lt 2 then return
  energy = array
  ind = array * 0
  null = max(array) + 1
  for i=0, z[1]-2 do begin
    energy[*, i+1] += min([[null, energy[0:-2,i]], [energy[*,i]], [energy[1:*,i], null]], loc ,dimension=2)
    ind[*, i] = loc / z[0] - 1
  endfor
  void = min(energy[*,-1], loc)
  rem = intarr(z[1]) + loc
  for i=z[1]-2, 0, -1 do rem[0:i] += ind[rem[i+1], i]
  rem += [0:z[1]-1]*z[0]
  remove, rem, array
  print, reform(array, z[0]-1, z[1])
end

Мы итеративно создаем энергетический массив и отслеживаем, в каком направлении идет шов, затем строим список удаления, как только мы узнаем окончательную позицию. Удалите шов с помощью 1D-индексации, затем верните обратно в массив с новыми измерениями.


3
О боже ... Я думаю, что я только что вырвал немного, увидев IDL (снова). Я думал, что закончил, увидев это после выпуска ...
Кайл Канос

Тем не менее, я подозреваю, что это также работает для GDL, так что люди, не желающие платить 1 миллиард долларов за однопользовательскую лицензию, могут проверить это?
Кайл Канос

Я никогда не использовал GDL, поэтому я не могу сказать (честно говоря, я забыл, что он существует). Единственное, что может вызвать проблему, - это если GDL не может обработать создание синтаксиса в массиве [0:n]; если это правда, то это легко заменить r+=[0:z[1]-1]*z[0]с r+=indgen(z[1]-1)*z[0].
sirpercival

Кроме того, хотя я предпочел бы использовать python для своих гольфов, никто не делает IDL, поэтому я чувствую себя обязанным внести XD. Плюс, он делает некоторые вещи очень хорошо.
sirpercival

3
Я действительно заставляю меня очень брезгать / плакать;)
Кайл Канос

3

JavaScript ( ES6 ) 197 209 215

Пошаговая реализация алгоритма википедии.

Вероятно, можно сократить больше.

Попробуйте запустить фрагмент в Firefox.

// Golfed

F=a=>(u=>{for(r=[i=p.indexOf(Math.min(...p))];l--;i=u[l][i])(r[l]=[...a[l]]).splice(i,1)})
(a.map(r=>[r.map((v,i)=>(q[i]=v+~~p[j=p[i+1]<p[j=p[i-1]<p[i]?i-1:i]?i+1:j],j),q=[++l]),p=q][0],p=[l=0]))||r

// LESS GOLFED

U=a=>{
  p = []; // prev row
  u = a.map( r => { // in u the elaboration result, row by row
      q=[];
      t = r.map((v,i) => { // build a row for u from a row in a
        j = p[i-1] < p[i] ? i-1 : i; // find position of min in previous row
        j = p[i+1] < p[j] ? i+1 : j;
        q[i] = v + ~~p[j]; // values for current row
        // ~~ convert to number, as at first row all element in p are 'undefined'
        return j;//  position in u, row by row
      });
      p = q; // current row becomes previous row 
      return t;
  });
  n = Math.min(...p) // minimum value in the last row
  i = p.indexOf(n); // position of minimum (first if there are more than one present)
  r = []; // result      
  // scan u bottom to up to find the element to remove in the output row
  for(j = u.length; j--;)
  {
    r[j] = a[j].slice(); // copy row to output
    r[j].splice(i,1); // remove element
    i = u[j][i]; // position for next row
  }
  return r;
}

// TEST        
out=x=>O.innerHTML += x + '\n';        

test=[
  [[1,4,3,5,2],[3,2,5,2,3],[5,2,4,2,1]],
  [[1,2,3,4,5]],
  [[1],[2],[3],[4]]
];  

test.forEach(t=>{
  out('Test data:\n' + t.map(v=>'['+v+']').join('\n'));
  r=F(t);
  out('Golfed version:\n' + r.map(v=>'['+v+']').join('\n'))      
  r=U(t);
  out('Ungolfed version:\n' + r.map(v=>'['+v+']').join('\n'))
})  
<pre id=O></pre>


1

Пип, 91 байт

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

{
 p:{(zaj-1+,3RMv)}
 z:a
 w:,#(a0)
 Fi,#a
  Fjw
   Ii
    z@i@j+:MN(pi-1)
 s:z@i
 Ti<0{
  j:s@?MNs
  a@i@:wRMj
  s:(p--i)
 }
 a
}

Этот код определяет анонимную функцию, аргумент и возвращаемое значение которой являются вложенными списками. Он реализует алгоритм со страницы Википедии: a(аргумент) - это красные цифры, а zэто черные цифры.

Вот версия с тестовым комплектом:

f:{p:{(zaj-1+,3RMv)}z:aw:,#(a0)Fi,#aFjwIiz@i@j+:MN(pi-1)s:z@iTi<0{j:s@?MNsa@i@:wRMjs:(p--i)}a}
d:[
 [[1 4 3 5 2]
  [3 2 5 2 3]
  [5 2 4 2 1]]
 [[1 2 3 4 5]]
 [[1]
  [2]
  [3]]
 ]
Fld
 P(fl)

Результаты:

C:\> pip.py minSumSeam.pip -p
[[4;3;5;2];[3;5;2;3];[5;4;2;1]]
[[2;3;4;5]]
[[];[];[]]

И вот грубый эквивалент в Python 3. Если кто-то хочет лучшего объяснения кода Pip, просто спросите в комментариях.

def f(a):
    z = [row.copy() for row in a]
    w = range(len(a[0]))

    for i in range(len(a)):
        for j in w:
            if i:
                z[i][j] += min(z[i-1][max(j-1,0):j+2])
    s = z[i]
    while i >= 0:
        j = s.index(min(s))
        del a[i][j]
        i -= 1
        s = z[i][max(j-1,0):j+2]
    return a
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.