Mở rộng một bài toán quy hoạt nguyên với thuật toán được giải trong thời gian đa thức