Lập lịch xưởng sản xuất

Lập lịch xưởng sản xuất (Job shop scheduling) là bài toán gán một tập hợp các công việc (tasks) cho một tập hợp các máy móc (resources) theo thời gian, tuân thủ các ràng buộc về thứ tự ưu tiên và năng lực, với mục tiêu tối ưu hóa các chỉ số hiệu suất như makespan (tổng thời gian hoàn thành), độ trễ, hoặc chi phí. Bài toán xưởng sản xuất là một bài toán tối ưu hóa tổ hợp cổ điển trong nghiên cứu vận trù học, được giải quyết thông qua các phương pháp heuristic (luật điều phối tham lam, simulated annealing, thuật toán di truyền) và các thuật toán chính xác (branch-and-bound, lập trình ràng buộc). Đây là vấn đề cơ bản trong sản xuất, quản lý dự án và lập lịch tính toán.