Задача о рюкзаке — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м
Строка 21: Строка 21:
 
== Метод динамического программирования ==
 
== Метод динамического программирования ==
  
Пусть <tex>A(s, n)</tex> есть максимальная стоимости предметов, которые можно уложить в рюкзак вместимости n, если можно использовать только первые s предметов из заданных k.
+
Пронумеруем предметы по порядку, как дано в условии <tex>k=\{k_1, k_2,...,k_n. Пусть <tex>A(s, n)</tex> есть максимальная стоимости предметов, которые можно уложить в рюкзак вместимости n, если можно использовать только первые s предметов из заданных k.
  
 
<tex>A(s, 0) = 0</tex>
 
<tex>A(s, 0) = 0</tex>
Строка 49: Строка 49:
 
  for s = 1..k               
 
  for s = 1..k               
 
   for n = 0..W  //Перебираем для каждого s, все n
 
   for n = 0..W  //Перебираем для каждого s, все n
     if n >= w[s]    //Если текущий предмет можно положить в рюкзак
+
     if n >= w[s]    //Если текущий предмет вмещается в рюкзак
 
       A[s][n] = max(A[s-1][n], A[s-1][n-w[s]]+p[s]) //выбираем класть его или нет
 
       A[s][n] = max(A[s-1][n], A[s-1][n-w[s]]+p[s]) //выбираем класть его или нет
 
     else  
 
     else  
Строка 105: Строка 105:
 
Максимальная стоимость рюкзака находится в <tex>A(5, 13)</tex>.
 
Максимальная стоимость рюкзака находится в <tex>A(5, 13)</tex>.
  
'''Теперь восстановим набор предметов, из которых состоит максимально дорогой рюкзак.'''
+
'''Восстановление набора предметов, из которых состоит максимально дорогой рюкзак.'''
  
 +
Будем начиная с ячейки, соответствующей ответу, то есть вместимость <tex> = W</tex>, и можно использовать для составления набора все предметы, определять, входит последний предмет в набор или нет. Для этого сравниваем значение в рассматриваемой ячейке с:
  
 +
# Со значением в ячейке с такой же вместимостью, и можно использовать все предметы имеющие 
  
  

Версия 10:55, 29 декабря 2012

Задача о рюкзаке — дано [math]k[/math] предметов, [math]k_i[/math] предмет имеет массу [math] w_i \gt 0[/math] и стоимость [math] p_i \gt 0[/math]. Необходимо выбрать из этих предметов такой набор, чтобы суммарная масса не превосходила заданной величины [math]W[/math] (вместимость рюкзака), а суммарная стоимость была максимальна.

Формулировка задачи

Дано [math]k[/math] предметов, [math]W[/math] - вместимость рюкзака, [math]w=\{w_{1},w_{2},...,w_{k}\}[/math] — соответствующий ему набор положительных целых весов, [math]p=\{p_{1},p_{2},...,p_{k}\}[/math] — соответствующий ему набор положительных целых стоимостей. Нужно определить набор бинарных величин [math]B=\{b_{1},b_{2},...,b_{k}\}[/math], где [math]b_{i} = 1 [/math], если предмет включен в набор, [math] b_{i} = 0 [/math], если предмет не включен, такой что:

  1. [math]b_{1} w_{1}+ ... + b_{k} w_{k} \le W[/math]
  1. [math]b_{1} p_{1}+ ... + b_{k} k_{k} [/math] максимальна.

Варианты решения

Задачу о рюкзаке можно решить несколькими способами:

  • Перебирая все подмножества набора из k предметов. Сложность такого решения [math]O({2^{k}})[/math].
  • Методом Meet-in-the-middle. Сложность решения [math] O({2^{N/2}}\times{N}) [/math]
  • Метод динамического программирования. Сложность - [math]O(k \times W)[/math].

Метод динамического программирования

Пронумеруем предметы по порядку, как дано в условии [math]k=\{k_1, k_2,...,k_n. Пусть \lt tex\gt A(s, n)[/math] есть максимальная стоимости предметов, которые можно уложить в рюкзак вместимости n, если можно использовать только первые s предметов из заданных k.

[math]A(s, 0) = 0[/math]

[math]A(0, n) = 0[/math]

Найдем [math]A(s, n)[/math]. Возможны 2 варианта:

  1. Если предмет [math]s[/math] не попал в рюкзак. Тогда [math]A(s, n) = A(s-1, n)[/math]
  1. Если [math]s[/math] попал в рюкзак. Тогда [math]A(s, n) = A(s-1, n-w_{s}) + p_{s}[/math]

Таким образом: [math]A(s,n) = max(A(s-1,n), A(s-1,n-w_{s}) + p_{s})[/math]

Теперь найдем набор предметов, входящих в рюкзак.

Рассмотрим входит ли [math]k[/math] - последний предмет в рюкзак. Если [math]A(k, W)[/math] равно [math]A(k-1, W)[/math], значит последний предмет не входит в набор, иначе входит. Так рекусривно идем до первого предмета. Получаем искомый набор.

Реализация

Сначала генерируем [math]A[/math].

for i = 0..W
  A[0][i] = 0
for i = 0..k
  A[i][0] = 0    //Первые элементы приравниваем 0
for s = 1..k               
  for n = 0..W   //Перебираем для каждого s, все n
    if n >= w[s]    //Если текущий предмет вмещается в рюкзак
      A[s][n] = max(A[s-1][n], A[s-1][n-w[s]]+p[s]) //выбираем класть его или нет
    else 
      A[s][n] = A[s-1][n]             //иначе, не кладем

Затем найдем набор [math]ans[/math] предметов, входящих в рюкзак, рекурсивной функцией:

findAns(s, n)
  if A[s][n] == 0 
    return
  if A[s-1][n] == A[s][n]
    findAns(s-1, n)
  else 
    findAns(s-1, n - w[s]);
    ans.push(s);

Сложность алгоритма [math]O(kW)[/math]

Пример

[math]W = 13, k = 5[/math]

[math]w_{1} = 3, p_{1} = 1 [/math]

[math]w_{2} = 4, p_{2} = 6 [/math]

[math]w_{3} = 5, p_{3} = 4 [/math]

[math]w_{4} = 8, p_{4} = 7 [/math]

[math]w_{5} = 9, p_{5} = 6 [/math]

0 1 2 3 4 5 6 7 8 9 10 11 12 13
s = 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
s = 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1
s = 2 0 0 0 1 6 6 6 7 7 7 7 7 7 7
s = 3 0 0 0 1 6 6 6 7 7 10 10 10 11 11
s = 4 0 0 0 1 6 6 6 7 7 10 10 10 13 13
s = 5 0 0 0 1 6 6 6 7 7 10 10 10 13 13

Числа от 0 до 13 в первой строчке обозначают вместимость рюкзака.

В первой строке как только вместимость рюкзака [math]n \ge 3[/math], добавляем в рюкзак 1 предмет.

Рассмотрим [math]s = 3[/math], при каждом [math]n \ge 5 ([/math]так как [math]w_3 = 5)[/math] сравниваем [math]A[s-1][n] и A[s-1][n-w_3]+p_3[/math] и записываем в [math]A[s][n][/math] стоимость либо рюкзака без третьего предмета, но с таким же весом, либо с третьим предметом, тогда стоимость равна стоимость третьего предмета плюс стоимость рюкзака с вместимостью на [math]w_3[/math] меньше.

Максимальная стоимость рюкзака находится в [math]A(5, 13)[/math].

Восстановление набора предметов, из которых состоит максимально дорогой рюкзак.

Будем начиная с ячейки, соответствующей ответу, то есть вместимость [math] = W[/math], и можно использовать для составления набора все предметы, определять, входит последний предмет в набор или нет. Для этого сравниваем значение в рассматриваемой ячейке с:

  1. Со значением в ячейке с такой же вместимостью, и можно использовать все предметы имеющие













Таким образом, набор состоит из [math]1, 2, 5[/math] предметов.

Стоимость рюкзака [math]= 5 + 3 + 6 = 14[/math]

Вес рюкзака [math]= 6 + 4 + 5 = 15[/math]

Литература