Knapsack Part 5
8. Bài toán biến thể của bài toán cái túi
8.1 Tìm giá trị lớn nhất khi túi đầy
Bài toán cái túi tìm giá trị lớn nhất khi túi đầy: Trong bài toán cái túi với trọng lượng túi là , trọng lượng mỗi món hàng là , và các mối quan hệ giữa các món hàng (nhóm, phụ thuộc, v.v.), hỏi trong trường hợp túi đầy, giá trị lớn nhất có thể đặt trong túi là bao nhiêu?
Trong bài toán cái túi, có những bài toán không yêu cầu đầy túi, trong khi có những bài toán yêu cầu túi đầy.
Nếu yêu cầu bài toán là "túi đầy", chúng ta có thể thêm một định nghĩa trạng thái và công thức chuyển trạng thái ban đầu. Khi đó, ta có thể khởi tạo và . Điều này đảm bảo giá trị cuối cùng của sẽ là giá trị lớn nhất có thể đặt trong túi khi túi đầy.
Điều này là vì: Mảng được khởi tạo ban đầu thực sự là "trạng thái hợp lệ" khi không có món hàng nào có thể đặt vào túi.
Nếu không yêu cầu đầy túi, thì:
- Bất kỳ túi nào với giới hạn trọng lượng, khi không đặt bất kỳ món hàng nào vào, đều có một giải pháp hợp lệ, trong trường hợp này giá trị lớn nhất của các món hàng trong túi là , tức là .
Trong khi nếu yêu cầu đầy túi, thì:
- Chỉ có túi với giới hạn trọng lượng là , khi không đặt bất kỳ món hàng nào vào, mới có thể đầy túi (có một giải pháp hợp lệ), trong trường hợp này giá trị lớn nhất của các món hàng trong túi là , tức là .
- Các túi khác với giới hạn trọng lượng, khi đặt món hàng vào, không thể đầy túi (không có giải pháp hợp lệ), trong trường hợp này giá trị lớn nhất của các món hàng trong túi thuộc trạng thái không xác định, giá trị sẽ là , tức là .
Điều này giúp chúng ta kiểm tra mối quan hệ giữa và để xác định xem có thể đầy túi hay không khi thực hiện chuyển trạng thái.
Dưới đây, chúng ta sẽ lấy bài toán "cái túi 0-1" tìm giá trị lớn nhất khi túi đầy làm ví dụ.
Bài toán "cái túi 0-1" tìm giá trị lớn nhất khi túi đầy: Có loại món hàng và một cái túi có trọng lượng tối đa là ,loại hàng thứ có trọng lượng là ,giá trị là ,mỗi loại hàng chỉ có một cái. Hỏi trong trường hợp túi đầy, giá trị lớn nhất có thể đặt trong túi là bao nhiêu?
Ý tưởng 1: Quy hoạch động + trạng thái một chiều
- Phân đoạn: Phân đoạn theo giới hạn trọng lượng của túi.
- Định nghĩa trạng thái: Định nghĩa trạng thái là: Đặt món hàng vào trong một cái túi có trọng lượng tối đa là ,túi đầy, giá trị lớn nhất có thể đặt trong túi là bao nhiêu.
- Công thức chuyển trạng thái:
- Điều kiện ban đầu:
- Chỉ có túi với giới hạn trọng lượng là , khi không đặt bất kỳ món hàng nào vào, mới có thể đầy túi (có một giải pháp hợp lệ), trong trường hợp này giá trị lớn nhất của các món hàng trong túi là , tức là .
- Các túi khác với giới hạn trọng lượng, khi đặt món hàng vào, không thể đầy túi (không có giải pháp hợp lệ), trong trường hợp này giá trị lớn nhất của các món hàng trong túi thuộc trạng thái không xác định, giá trị sẽ là , tức là .
- Kết quả cuối cùng: Dựa trên định nghĩa trạng thái của chúng ta, biểu thị: Đặt món hàng vào trong một cái túi có trọng lượng tối đa là ,túi đầy, giá trị lớn nhất có thể đặt trong túi là bao nhiêu. Kết quả cuối cùng là ,trong đó là giới hạn trọng lượng của túi.
Ý tưởng 1: Code
class Solution:
# Ý tưởng 1: Quy hoạch động + trạng thái một chiều
def zeroOnePackJustFillUp(self, weight: [int], value: [int], W: int):
size = len(weight)
dp = [float('-inf') for _ in range(W + 1)]
dp[0] = 0
# Liệt kê qua i loại món hàng
for i in range(1, size + 1):
# Liệt kê qua trọng lượng của túi theo thứ tự ngược (tránh sai sót về giá trị trạng thái)
for w in range(W, weight[i - 1] - 1, -1):
# dp[w] lấy giá trị lớn nhất của "đặt i - 1 món hàng vào trong một cái túi có trọng lượng tối đa là w" và "đặt i - 1 món hàng vào trong một cái túi có trọng lượng tối đa là w - weight[i - 1] và thêm món hàng thứ i - 1"
dp[w] = max(dp[w], dp[w - weight[i - 1]] + value[i - 1])
if dp[W] == float('-inf'):
return -1
return dp[W]
Ý tưởng 1: Phân tích độ phức tạp
- Độ phức tạp thời gian: , trong đó là số lượng loại món hàng, là giới hạn trọng lượng của túi.
- Độ phức tạp không gian:
8.2 Tổng số lượng lời giải
Tính tổng số lượng lời giải trong bài toán cái túi: Trong bài toán cái túi với trọng lượng cái túi là , trọng lượng của mỗi vật phẩm là , và các mối quan hệ giữa các vật phẩm (nhóm, phụ thuộc, v.v.) trong bài toán cái túi, chúng ta cần tính tổng số lượng lời giải có thể có trong trường hợp tổng trọng lượng không vượt quá giới hạn trọng lượng của cái túi hoặc tổng trọng lượng không vượt quá một giới hạn trọng lượng cụ thể.
Vấn đề này chỉ cần thay đổi phép tính từ "tìm giá trị lớn nhất" thành "tính tổng" trong công thức chuyển trạng thái ban đầu.
Dưới đây chúng ta sẽ lấy ví dụ bài toán cái túi 0-1 để tính tổng số lượng lời giải.
Tính tổng số lượng lời giải trong bài toán cái túi 0-1: Cho vật phẩm và một cái túi có trọng lượng tối đa . Trọng lượng của vật phẩm thứ là , giá trị là , mỗi vật phẩm chỉ có một cái. Hãy tính tổng số lượng lời giải có thể có trong trường hợp tổng trọng lượng không vượt quá giới hạn trọng lượng của cái túi.
- Nếu sử dụng định nghĩa trạng thái hai chiều, chúng ta có thể định nghĩa trạng thái là: tổng số lượng lời giải có thể có trong trường hợp đặt vật phẩm vào một cái túi có trọng lượng tối đa là . Công thức chuyển trạng thái là: .
- Nếu sử dụng định nghĩa trạng thái một chiều, chúng ta có thể định nghĩa trạng thái là: tổng số lượng lời giải có thể có trong trường hợp đặt vật phẩm vào một cái túi có trọng lượng tối đa là . Công thức chuyển trạng thái là: .
Dưới đây chúng ta sử dụng cách định nghĩa trạng thái một chiều để giải quyết bài toán "Tính tổng số lượng lời giải trong bài toán cái túi 0-1".
Ý tưởng 2: Quy hoạch động + Trạng thái một chiều
- Phân chia giai đoạn: Phân chia giai đoạn theo số thứ tự của các vật phẩm và trọng lượng tối đa của cái túi.
- Định nghĩa trạng thái: Định nghĩa trạng thái là tổng số lượng lời giải có thể có trong trường hợp đặt vật phẩm vào một cái túi có trọng lượng tối đa là .
- Công thức chuyển trạng thái:
- Điều kiện ban đầu: Nếu trọng lượng tối đa của cái túi là , tổng số lượng lời giải có thể có là (không đặt gì vào túi), tức là .
- Kết quả cuối cùng: Dựa trên định nghĩa trạng thái, là tổng số lượng lời giải có thể có trong trường hợp đặt vật phẩm vào một cái túi có trọng lượng tối đa là . Vậy kết quả cuối cùng là , trong đó là trọng lượng tối đa của cái túi.
Ý tưởng 2: Code
class Solution:
# Tính tổng số lượng lời giải trong bài toán cái túi 0-1
def zeroOnePackNumbers(self, weight: [int], value: [int], W: int):
size = len(weight)
dp = [0 for _ in range(W + 1)]
dp[0] = 1
# Duyệt qua từng vật phẩm
for i in range(1, size + 1):
# Duyệt ngược từ trọng lượng tối đa đến trọng lượng của vật phẩm thứ i
for w in range(W, weight[i - 1] - 1, -1):
# dp[w] = tổng số lượng lời giải có thể có trong trường hợp đặt i - 1 vật phẩm vào cái túi có trọng lượng tối đa là w + tổng số lượng lời giải có thể có trong trường hợp đặt i vật phẩm vào cái túi có trọng lượng tối đa là w - weight[i - 1]
dp[w] = dp[w] + dp[w - weight[i - 1]]
return dp[W]
Ý tưởng 2: Phân tích độ phức tạp
- Độ phức tạp thời gian: , trong đó là số lượng vật phẩm và là trọng lượng tối đa của cái túi.
- Độ phức tạp không gian: .
8.3 Tìm số lượng lời giải tối ưu
Bài toán cái túi tìm số lượng lời giải tối ưu: Trong bài toán cái túi với trọng lượng túi , trọng lượng của mỗi vật phẩm là , giá trị của mỗi vật phẩm là , và có một số quan hệ giữa các vật phẩm (nhóm, phụ thuộc, v.v.). Hỏi trong trường hợp tổng trọng lượng không vượt quá giới hạn của túi, số lượng lời giải để đạt được tổng giá trị lớn nhất là bao nhiêu?
Bằng cách kết hợp hai bài toán "tìm giá trị tối đa của cái túi" và "tìm số lượng lời giải", chúng ta có thể định nghĩa hai trạng thái khác nhau:
- Định nghĩa là: Tổng giá trị tối đa có thể đạt được bằng cách đặt loại vật phẩm vào một cái túi có trọng lượng tối đa là .
- Định nghĩa là: Số lượng lời giải tối ưu để đặt loại vật phẩm vào một cái túi có trọng lượng tối đa là .
Dưới đây, chúng ta sẽ lấy ví dụ bài toán "cái túi 0-1" để tìm số lượng lời giải tối ưu.
Bài toán cái túi 0-1 tìm số lượng lời giải tối ưu: Cho loại vật phẩm và một cái túi có trọng lượng tối đa là . Trọng lượng của vật phẩm thứ là , giá trị của vật phẩm là , và mỗi loại vật phẩm chỉ có một cái. Hỏi trong trường hợp tổng trọng lượng không vượt quá giới hạn của túi, số lượng lời giải để đạt được tổng giá trị lớn nhất là bao nhiêu?
Ý tưởng 3: Quy hoạch động
- Phân đoạn bài toán: Phân đoạn bài toán theo số thứ tự của loại vật phẩm và trọng lượng tối đa của cái túi.
- Định nghĩa trạng thái:
- Định nghĩa là: Tổng giá trị tối đa có thể đạt được bằng cách đặt loại vật phẩm vào một cái túi có trọng lượng tối đa là .
- Định nghĩa là: Số lượng lời giải tối ưu để đặt loại vật phẩm vào một cái túi có trọng lượng tối đa là .
- Công thức chuyển trạng thái:
- Nếu , tức là chọn vật phẩm thứ sẽ có giá trị cao hơn, lúc này số lượng lời giải sẽ giống với , tức là không thay đổi: .
- Nếu , tức là chọn hoặc không chọn vật phẩm thứ đều có cùng giá trị, lúc này số lượng lời giải sẽ là tổng của hai trường hợp: .
- Nếu , tức là không chọn vật phẩm thứ sẽ có giá trị cao hơn, lúc này số lượng lời giải sẽ giống với số lượng lời giải trước đó: .
- Điều kiện ban đầu: Nếu trọng lượng tối đa của cái túi là , tức là không có vật phẩm nào được chọn, số lượng lời giải là (không chọn gì cả), tức là .
- Kết quả cuối cùng: Dựa trên định nghĩa trạng thái, là số lượng lời giải tối ưu để đặt loại vật phẩm vào một cái túi có trọng lượng tối đa là . Kết quả cuối cùng là , trong đó là số lượng loại vật phẩm và là trọng lượng tối đa của cái túi.
Ý tưởng 3: Code
class Solution:
# Bài toán cái túi 0-1 tìm số lượng lời giải tối ưu ý tưởng 1
def zeroOnePackMaxProfitNumbers1(self, weight: [int], value: [int], W: int):
size = len(weight)
dp = [[0 for _ in range(W + 1)] for _ in range(size + 1)]
op = [[1 for _ in range(W + 1)] for _ in range(size + 1)]
# Duyệt qua từng loại vật phẩm
for i in range(1, size + 1):
# Duyệt qua trọng lượng của túi
for w in range(W + 1):
# Vật phẩm thứ i - 1 không thể chứa vào túi
if w < weight[i - 1]:
# dp[i][w] lấy giá trị "tổng giá trị tối đa có thể đạt được bằng cách đặt i - 1 loại vật phẩm vào một cái túi có trọng lượng tối đa là w"
dp[i][w] = dp[i - 1][w]
op[i][w] = op[i - 1][w]
else:
# Chọn vật phẩm thứ i - 1 để có giá trị cao hơn
if dp[i - 1][w] < dp[i - 1][w - weight[i - 1]] + value[i - 1]:
dp[i][w] = dp[i - 1][w - weight[i - 1]] + value[i - 1]
# Số lượng lời giải tăng lên dựa trên số lượng lời giải trước đó
op[i][w] = op[i - 1][w - weight[i - 1]]
# Chọn hoặc không chọn vật phẩm thứ i - 1 đều có cùng giá trị
elif dp[i - 1][w] == dp[i - 1][w - weight[i - 1]] + value[i - 1]:
dp[i][w] = dp[i - 1][w]
# Số lượng lời giải = số lượng lời giải không chọn vật phẩm thứ i - 1 + số lượng lời giải chọn vật phẩm thứ i - 1
op[i][w] = op[i - 1][w] + op[i - 1][w - weight[i - 1]]
# Không chọn vật phẩm thứ i - 1 để có giá trị cao hơn
else:
dp[i][w] = dp[i - 1][w]
# Số lượng lời giải giống với số lượng lời giải trước đó
op[i][w] = op[i - 1][w]
return op[size][W]
Ý tưởng 3: Phân tích độ phức tạp
- Độ phức tạp thời gian: , trong đó là số lượng loại vật phẩm và là trọng lượng tối đa của cái túi.
- Độ phức tạp không gian: .
8.4 Tìm lời giải cụ thể
Bài toán cái túi tìm lời giải cụ thể: Trong bài toán cái túi với trọng lượng túi , trọng lượng của mỗi vật phẩm là , giá trị của mỗi vật phẩm là , và có một số quan hệ giữa các vật phẩm (nhóm, phụ thuộc, v.v.). Hỏi cần chọn những vật phẩm nào để đặt vào túi, sao cho tổng trọng lượng của chúng không vượt quá giới hạn của túi và tổng giá trị là lớn nhất?
Thường thì bài toán cái túi chỉ tìm kiếm một giá trị tối ưu, nhưng nếu muốn in ra lời giải cụ thể, chúng ta có thể định nghĩa thêm một mảng để ghi lại trạng thái được chọn trong quá trình chuyển trạng thái, từ đó xác định được các vật phẩm cụ thể được chọn.
Dưới đây, chúng ta sẽ lấy ví dụ bài toán "cái túi 0-1" để tìm lời giải cụ thể.
Bài toán cái túi 0-1 tìm lời giải cụ thể: Cho loại vật phẩm và một cái túi có trọng lượng tối đa là . Trọng lượng của vật phẩm thứ là , giá trị của vật phẩm là , và mỗi loại vật phẩm chỉ có một cái. Hỏi cần chọn những vật phẩm nào để đặt vào túi, sao cho tổng trọng lượng của chúng không vượt quá giới hạn của túi và tổng giá trị là lớn nhất?
Ý tưởng 4: Quy hoạch động + Ghi lại lời giải
Công thức chuyển trạng thái của bài toán cái túi 0-1 là:
Chúng ta có thể định nghĩa thêm một mảng để ghi lại trạng thái được chọn trong quá trình chuyển trạng thái.
- Nếu , tức là: khi chuyển đến , chọn trạng thái trước đó là và không bao gồm vật phẩm thứ trong lời giải cụ thể.
- Nếu , tức là: khi chuyển đến , chọn trạng thái trước đó là và bao gồm vật phẩm thứ trong lời giải cụ thể.
Ý tưởng 4: Code
class Solution:
# Bài toán cái túi 0-1 tìm lời giải cụ thể
def zeroOnePackPrintPath(self, weight: [int], value: [int], W: int):
size = len(weight)
dp = [[0 for _ in range(W + 1)] for _ in range(size + 1)]
path = [[False for _ in range(W + 1)] for _ in range(size + 1)]
# Duyệt qua từng loại vật phẩm
for i in range(1, size + 1):
# Duyệt qua trọng lượng của túi
for w in range(W + 1):
# Vật phẩm thứ i - 1 không thể chứa vào túi
if w < weight[i - 1]:
# dp[i][w] lấy giá trị "tổng giá trị tối đa có thể đạt được bằng cách đặt i - 1 loại vật phẩm vào một cái túi có trọng lượng tối đa là w"
dp[i][w] = dp[i - 1][w]
path[i][w] = False
else:
# Chọn vật phẩm thứ i - 1 để có giá trị cao hơn
if dp[i - 1][w] < dp[i - 1][w - weight[i - 1]] + value[i - 1]:
dp[i][w] = dp[i - 1][w - weight[i - 1]] + value[i - 1]
# Ghi lại trạng thái chọn thứ i - 1: chọn vật phẩm thứ i - 1
path[i][w] = True
# Chọn hoặc không chọn vật phẩm thứ i - 1 đều có cùng giá trị
elif dp[i - 1][w] == dp[i - 1][w - weight[i - 1]] + value[i - 1]:
dp[i][w] = dp[i - 1][w]
# Ghi lại trạng thái chọn thứ i - 1: chọn vật phẩm thứ i - 1
path[i][w] = True
# Không chọn vật phẩm thứ i - 1 để có giá trị cao hơn
else:
dp[i][w] = dp[i - 1][w]
# Ghi lại trạng thái chọn thứ i - 1: không chọn vật phẩm thứ i - 1
res = []
i, w = size, W
while i >= 1 and w >= 0:
if path[i][w]:
res.append(str(i - 1))
w -= weight[i - 1]
i -= 1
return " ".join(res[::-1])
Ý tưởng 4: Phân tích độ phức tạp
- Độ phức tạp thời gian: , trong đó là số lượng loại vật phẩm và là trọng lượng tối đa của cái túi.
- Độ phức tạp không gian: .
8.5 Tìm lời giải cụ thể theo thứ tự từ điển nhỏ nhất
Ở đây, "thứ tự từ điển nhỏ nhất" có nghĩa là khi sắp xếp các lời giải chọn vật phẩm theo thứ tự từ đến , thì lời giải đó có thứ tự từ điển nhỏ nhất.
Chúng ta sẽ tiếp tục lấy ví dụ bài toán "cái túi 0-1" để tìm lời giải cụ thể theo thứ tự từ điển nhỏ nhất.
Để đảm bảo "thứ tự từ điển nhỏ nhất", chúng ta có thể đảo ngược thứ tự của các vật phẩm, từ đến thành đến . Sau đó, khi trả về lời giải cụ thể, chúng ta có thể đảo ngược lại thứ tự bằng cách sử dụng .
Điều này giúp chúng ta chọn các vật phẩm có số thứ tự lớn hơn trước, từ đó đảm bảo rằng lời giải chọn vật phẩm theo thứ tự từ đến có thứ tự từ điển nhỏ nhất.
Ý tưởng 5: Code
class Solution:
# Bài toán cái túi 0-1 tìm lời giải cụ thể, yêu cầu thứ tự từ điển nhỏ nhất
def zeroOnePackPrintPathMinOrder(self, weight: [int], value: [int], W: int):
size = len(weight)
dp = [[0 for _ in range(W + 1)] for _ in range(size + 1)]
path = [[False for _ in range(W + 1)] for _ in range(size + 1)]
weight.reverse()
value.reverse()
# Duyệt qua từng loại vật phẩm
for i in range(1, size + 1):
# Duyệt qua trọng lượng của túi
for w in range(W + 1):
# Vật phẩm thứ i - 1 không thể chứa vào túi
if w < weight[i - 1]:
# dp[i][w] lấy giá trị "tổng giá trị tối đa có thể đạt được bằng cách đặt i - 1 loại vật phẩm vào một cái túi có trọng lượng tối đa là w"
dp[i][w] = dp[i - 1][w]
path[i][w] = False
else:
# Chọn vật phẩm thứ i - 1 để có giá trị cao hơn
if dp[i - 1][w] < dp[i - 1][w - weight[i - 1]] + value[i - 1]:
dp[i][w] = dp[i - 1][w - weight[i - 1]] + value[i - 1]
# Ghi lại trạng thái chọn thứ i - 1: chọn vật phẩm thứ i - 1
path[i][w] = True
# Chọn hoặc không chọn vật phẩm thứ i - 1 đều có cùng giá trị
elif dp[i - 1][w] == dp[i - 1][w - weight[i - 1]] + value[i - 1]:
dp[i][w] = dp[i - 1][w]
# Ghi lại trạng thái chọn thứ i - 1: chọn vật phẩm thứ i - 1
path[i][w] = True
# Không chọn vật phẩm thứ i - 1 để có giá trị cao hơn
else:
dp[i][w] = dp[i - 1][w]
# Ghi lại trạng thái chọn thứ i - 1: không chọn vật phẩm thứ i - 1
res = []
i, w = size, W
while i >= 1 and w >= 0:
if path[i][w]:
res.append(str(size - i))
w -= weight[i - 1]
i -= 1
return " ".join(res)
Ý tưởng 5: Phân tích độ phức tạp
- Độ phức tạp thời gian: , trong đó là số lượng loại vật phẩm và là trọng lượng tối đa của cái túi.
- Độ phức tạp không gian: .