Tóm tắt Luận văn Thạc sĩ Toán học "Biểu diễn đa diện lồi và ứng dụng trong lập thời khóa biểu" trình bày các nội dung chính sau: Một số khái niệm cơ bản và kết quả quan trọng trong lý thuyết đa diện lồi; Khái niệm đa diện idle và đưa ra các biểu diễn chi tiết cho một số trường hợp cụ thể; Khái niệm đa diện idle trong việc mô hình hóa ràng buộc tiết trống của giáo viên trong bài toán lập thời khóa biểu cho các trường trung học. | BỘ GIÁO DỤC VIỆN HÀN LÂM KHOA HỌC VÀ ĐÀO TẠO VÀ CÔNG NGHỆ VIỆT NAM HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ - Đỗ Thị Thùy BIỂU DIỄN ĐA DIỆN LỒI VÀ ỨNG DỤNG TRONG LẬP THỜI KHÓA BIỂU Chuyên ngành Toán ứng dụng Mã số 8 46 01 12 TÓM TẮT LUẬN VĂN THẠC SĨ TOÁN HỌC Hà Nội - 2021 Công trình được hoàn thành tại Học viện Khoa học và Công nghệ - Viện Hàn lâm Khoa học và Công nghệ Việt Nam. Người hướng dẫn khoa học TS. Lê Xuân Thanh. Phản biện 1 TS. Lê Hải Yến. Phản biện 2 TS. Nguyễn Đức Mạnh. Luận văn được bảo vệ trước Hội đồng chấm luận văn họp tại Viện Hàn lâm Khoa học và Công nghệ Việt Nam vào hồi 9 giờ 00 phút ngày 15 tháng 11 năm 2021. Có thể tìm hiểu luận văn tại - Thư viện Học viện Khoa học và Công nghệ. 1 Mở đầu Ý tưởng thực hiện luận văn này được bắt đầu từ nghiên cứu của chúng tôi về bài toán sắp xếp thời khóa biểu trong các trường trung học ở Việt Nam. Sau khi khảo sát các trường hợp thực tế của bài toán chúng tôi quan tâm đến một loại ràng buộc đặc biệt đối với số tiết trống của giáo viên. Cụ thể hơn trong mỗi tiết của mỗi ngày dạy mỗi giáo viên có thể được sắp xếp dạy hoặc không. Nếu giáo viên không được phân công dạy trong một tiết giữa hai tiết dạy của cùng một ngày dạy thì tiết nghỉ dạy đó được gọi là tiết trống của giáo viên này. Một số giáo viên yêu cầu phải có những tiết trống trong ngày dạy của họ vì việc giảng dạy trong nhiều tiết liên tiếp là một khối lượng công việc nặng nề đối với họ. Tuy nhiên quá nhiều tiết trống trong một ngày dạy của một giáo viên có thể gây lãng phí thời gian của giáo viên do thời gian chờ đợi lâu giữa các tiết dạy. Vì những lý do đó các ràng buộc chúng tôi quan tâm đặt ra một giới hạn dưới và giới hạn trên đối với số tiết trống trong mỗi ngày dạy của mỗi giáo viên. Chúng tôi gọi những ràng buộc này là ràng buộc tiết trống của giáo viên . Những đóng góp chính của luận văn này như sau. Chúng tôi xây dựng mô hình quy hoạch nguyên cho ràng buộc tiết trống của giáo viên và đánh giá hiệu quả của mô hình này thông qua các thực nghiệm trên các .
