Bộ phần mềm nguồn mở của Google dùng để tối ưu hoá, OR-Tools, cung cấp trình bao bọc MPSolver để giải quyết các vấn đề về lập trình tuyến tính và lập trình số nguyên hỗn hợp.
Để giải các bài toán lập trình số nguyên thuần tuý, bạn cũng có thể sử dụng trình giải CP-SAT.
Ví dụ
Các trang sau đây cung cấp ví dụ minh hoạ cách sử dụng MPSolver:
- Giải quyết vấn đề về chế độ ăn Stigler bằng Glop
- Giải bài tập LP bằng Glop
- Giải bài tập MIP bằng SCIP
- Giải quyết vấn đề về việc đóng gói thùng bằng SCIP
- Giải quyết bài tập bằng CP-SAT
- Sử dụng mảng để xác định một mô hình
Các thao tác phổ biến
Phần sau đây trình bày các thao tác phổ biến liên quan đến việc giải quyết LP và MIP.
Giới hạn thời gian
Ví dụ bên dưới cho biết cách đặt giới hạn thời gian tìm kiếm là 15 mili giây khi sử dụng Glop.
Python
solver.set_time_limit(15)
C++
solver->set_time_limit(15);
Java
solver.setTimeLimit(15)
C#
solver.SetTimeLimit(15);