bộ phần mềm nguồn mở của Google để tối ưu hoá, OR-Tools (Công cụ) cung cấp trình bao bọc MPSolver để giải quyết vấn đề lập chương trình tuyến tính và bài toán 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 toán 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 quyết vấn đề LP bằng Glop
- Giải quyết vấn đề MIP bằng SCIP
- Giải quyết vấn đề về việc đóng gói thùng rác bằng SCIP
- Giải quyết sự cố bài tập bằng CP-SAT
- Sử dụng mảng để xác định mô hình
Các thao tác phổ biến
Phần sau đây trình bày các công việ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 trình bày cách đặt giới hạn thời gian tìm kiếm là 15 mili giây khi bằng cách sử dụng Glop.
Python
solver.set_time_limit(15)
C++
solver->set_time_limit(15);
Java
solver.setTimeLimit(15)
C#
solver.SetTimeLimit(15);