[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"_public_topic_publications_quy%20ho%E1%BA%A1ch%20s%E1%BB%91%20nguy%C3%AAn{\"limit\":5}":3,"_public_topic_byId_quy%20ho%E1%BA%A1ch%20s%E1%BB%91%20nguy%C3%AAn":11},{"code":4,"data":5,"meta":10},"SUCCESS",{"latest":6,"mostCited":7,"vietnamFeatured":8,"vietnamLatest":9},[],[],[],[],null,{"code":4,"data":12,"meta":10},{"id":13,"title":14,"description":15,"content":16,"term":13,"englishTitle":17,"synonyms":18,"definition":21,"discipline":22,"references":23,"faqs":64,"createUser":74,"publishUser":78,"keywords":79,"keywordCount":90,"enrichTopicLink":91,"status":92,"createTime":93,"updateTime":94,"publishTime":95,"linkEnrichedTime":96,"publicationScanTime":10,"contentErrorMessage":10,"viewCount":97,"wikidataId":10,"relateTopics":98},"quy hoạch số nguyên","Quy hoạch số nguyên (Integer programming) là gì?","Tìm hiểu quy hoạch số nguyên là gì, mô hình toán học giải tích, phương pháp nhánh và cận, mặt phẳng cắt Gomory cùng ứng dụng tối ưu hóa rời rạc.","\u003Cp>Quy hoạch số nguyên (integer programming - IP) là một phân ngành cốt lõi của tối ưu hóa toán học và nghiên cứu vận hành, trong đó một số hoặc tất cả các biến quyết định bị ràng buộc phải nhận các giá trị nguyên. Khi hàm mục tiêu và tất cả các ràng buộc đều là hàm tuyến tính, bài toán được gọi là quy hoạch tuyến tính số nguyên (integer linear programming - ILP). Quy hoạch số nguyên cung cấp khung lý thuyết toán học vững chắc để mô hình hóa các quyết định rời rạc, phân bổ tài nguyên hữu hạn, lập lịch trình sản xuất và thiết kế mạng lưới giao thông.\u003C\u002Fp>\n\n\u003Ch2>Phát biểu toán học và phân loại bài toán\u003C\u002Fh2>\n\u003Cp>Dạng tổng quát của bài toán {{topic|%7B%22topic%22%3A%22quy%20ho%E1%BA%A1ch%20tuy%E1%BA%BFn%20t%C3%ADnh%22%7D}} số nguyên được biểu diễn dưới dạng {{topic|%7B%22topic%22%3A%22m%C3%B4%20h%C3%ACnh%20t%E1%BB%91i%20%C6%B0u%20h%C3%B3a%22%7D}} giải tích:\u003C\u002Fp>\n\n\u003Cp>\u003Cscript type=\"math\u002Ftex; mode=display\">\\max \\quad c^T x\u003C\u002Fscript>\u003C\u002Fp>\n\u003Cp>\u003Cscript type=\"math\u002Ftex; mode=display\">\\text{thỏa mãn} \\quad A x \\le b, \\quad x \\ge 0, \\quad x \\in \\mathbb{Z}^n\u003C\u002Fscript>\u003C\u002Fp>\n\n\u003Cp>Trong đó, \u003Cscript type=\"math\u002Ftex\">c \\in \\mathbb{R}^n\u003C\u002Fscript> là vector hệ số của {{topic|%7B%22topic%22%3A%22h%C3%A0m%20m%E1%BB%A5c%20ti%C3%AAu%22%7D}}, \u003Cscript type=\"math\u002Ftex\">A \\in \\mathbb{R}^{m \\times n}\u003C\u002Fscript> là {{topic|%7B%22topic%22%3A%22ma%20tr%E1%BA%ADn%22%7D}} hệ số của hệ {{topic|%7B%22topic%22%3A%22r%C3%A0ng%20bu%E1%BB%99c%22%7D}}, \u003Cscript type=\"math\u002Ftex\">b \\in \\mathbb{R}^m\u003C\u002Fscript> là vector vế phải, và \u003Cscript type=\"math\u002Ftex\">\\mathbb{Z}^n\u003C\u002Fscript> biểu thị tập hợp các vector có tọa độ nguyên. Dựa trên đặc tính tập giá trị của biến quyết định, quy hoạch số nguyên được phân chia thành ba nhóm chính:\u003C\u002Fp>\n\n\u003Cul>\n    \u003Cli>\u003Cstrong>Quy hoạch số nguyên thuần túy (pure integer programming):\u003C\u002Fstrong> Toàn bộ \u003Cscript type=\"math\u002Ftex\">n\u003C\u002Fscript> biến quyết định bắt buộc phải nhận giá trị nguyên không âm (\u003Cscript type=\"math\u002Ftex\">x_j \\in \\mathbb{Z}_+\u003C\u002Fscript> với mọi \u003Cscript type=\"math\u002Ftex\">j = 1, \\dots, n\u003C\u002Fscript>).\u003C\u002Fli>\n    \u003Cli>\u003Cstrong>Quy hoạch số nguyên hỗn hợp (mixed-integer linear programming - MILP):\u003C\u002Fstrong> Một tập con các biến bị ràng buộc nhận giá trị nguyên, trong khi các biến còn lại có thể nhận giá trị thực liên tục:\n    \u003Cp>\u003Cscript type=\"math\u002Ftex; mode=display\">\\max \\quad c^T x + d^T y \\quad \\text{thỏa mãn} \\quad A x + G y \\le b, \\quad x \\in \\mathbb{Z}^n_+, \\quad y \\in \\mathbb{R}^p_+\u003C\u002Fscript>\u003C\u002Fp>\n    Mô hình này rất phổ biến trong thực tế khi kết hợp các biến chỉ thị quyết định nhị phân và các biến đo lường khối lượng, chi phí hoặc thời gian.\u003C\u002Fli>\n    \u003Cli>\u003Cstrong>Quy hoạch nhị phân (binary integer programming - BIP):\u003C\u002Fstrong> Các biến quyết định chỉ được phép nhận giá trị trong tập hợp nhị phân \u003Cscript type=\"math\u002Ftex\">\\{0, 1\\}\u003C\u002Fscript>. Nhóm bài toán này đóng vai trò quyết định trong việc mô hình hóa các lựa chọn có hoặc không (chọn địa điểm đầu tư, gán công việc, định tuyến phương tiện).\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Ch2>Đặc tính độ phức tạp và nới lỏng quy hoạch tuyến tính\u003C\u002Fh2>\n\u003Cp>Về mặt {{topic|%7B%22topic%22%3A%22%C4%91%E1%BB%99%20ph%E1%BB%A9c%20t%E1%BA%A1p%20t%C3%ADnh%20to%C3%A1n%22%7D}}, quy hoạch số nguyên thuộc lớp các bài toán NP-khó (NP-hard). Khác với quy hoạch tuyến tính liên tục có thể giải được trong thời gian đa thức nhờ thuật toán elipsoid hoặc phương pháp điểm trong (interior point method), việc bổ sung ràng buộc biến nguyên khiến miền chấp nhận được trở thành một tập hợp rời rạc không lồi.\u003C\u002Fp>\n\n\u003Cp>Để tiếp cận nghiệm của bài toán quy hoạch số nguyên, kỹ thuật nền tảng là nới lỏng quy hoạch tuyến tính (linear programming relaxation - LP relaxation). Bằng cách bỏ qua điều kiện nguyên \u003Cscript type=\"math\u002Ftex\">x \\in \\mathbb{Z}^n\u003C\u002Fscript> và chỉ giữ lại \u003Cscript type=\"math\u002Ftex\">x \\ge 0\u003C\u002Fscript>, ta thu được một bài toán quy hoạch tuyến tính liên tục. Giá trị tối ưu của bài toán nới lỏng quy hoạch tuyến tính thiết lập một cận trên lý thuyết (đối với bài toán cực đại hóa) cho giá trị mục tiêu thực tế của bài toán số nguyên ban đầu.\u003C\u002Fp>\n\n\u003Cp>Một trường hợp đặc biệt có ý nghĩa lý thuyết quan trọng là tính chất hoàn toàn đơn môđun (total unimodularity - TUM). Một ma trận số nguyên \u003Cscript type=\"math\u002Ftex\">A\u003C\u002Fscript> được gọi là hoàn toàn đơn môđun nếu định thức của mọi ma trận con vuông của nó đều nhận giá trị thuộc tập hợp \u003Cscript type=\"math\u002Ftex\">\\{-1, 0, 1\\}\u003C\u002Fscript>. Khi ma trận ràng buộc \u003Cscript type=\"math\u002Ftex\">A\u003C\u002Fscript> là hoàn toàn đơn môđun và vector vế phải \u003Cscript type=\"math\u002Ftex\">b\u003C\u002Fscript> là vector nguyên, mọi điểm cực biên của đa diện nghiệm quy hoạch tuyến tính nới lỏng đều tự động nhận tọa độ nguyên. Trong trường hợp này, bài toán quy hoạch số nguyên có thể được giải chính xác trong thời gian đa thức bằng các thuật toán quy hoạch tuyến tính như phương pháp điểm trong (interior point method) hoặc giải rất hiệu quả trong thực tế bằng thuật toán đơn hình (simplex algorithm), áp dụng điển hình cho các bài toán luồng cực đại trên mạng hoặc bài toán ghép cặp trên đồ thị hai phía.\u003C\u002Fp>\n\n\u003Ch2>Các phương pháp giải chính xác nền tảng\u003C\u002Fh2>\n\u003Cp>Sự phát triển của lý thuyết quy hoạch số nguyên gắn liền với các {{topic|%7B%22topic%22%3A%22thu%E1%BA%ADt%20to%C3%A1n%20t%E1%BB%91i%20%C6%B0u%20h%C3%B3a%22%7D}} chính xác dựa trên cấu trúc hình học đa diện và tìm kiếm cây:\u003C\u002Fp>\n\n\u003Ch3>Phương pháp mặt phẳng cắt\u003C\u002Fh3>\n\u003Cp>Phương pháp mặt phẳng cắt (cutting plane method) tiếp cận nghiệm nguyên bằng cách giải liên tiếp các bài toán nới lỏng tuyến tính, sau đó bổ sung thêm các bất đẳng thức hợp lệ (valid inequalities) nhằm loại bỏ nghiệm phân số của bài toán nới lỏng mà không làm mất đi bất kỳ nghiệm nguyên khả thi nào. Công trình của Gomory (1958) trên Bulletin of the American Mathematical Society đã thiết lập thuật toán mặt phẳng cắt đầu tiên cho quy hoạch số nguyên thông qua việc sinh các nhát cắt phân số Gomory trực tiếp từ bảng đơn simplex cuối cùng, chứng minh về mặt toán học rằng dãy nhát cắt sẽ hội tụ về nghiệm tối ưu nguyên sau một số hữu hạn bước lặp.\u003C\u002Fp>\n\n\u003Ch3>Phương pháp nhánh và cận\u003C\u002Fh3>\n\u003Cp>Phương pháp nhánh và cận (branch and bound) là chiến lược tìm kiếm theo cây phân cấp trên không gian nghiệm. Khi nghiệm của bài toán nới lỏng tuyến tính chứa một biến \u003Cscript type=\"math\u002Ftex\">x_j\u003C\u002Fscript> nhận giá trị không nguyên \u003Cscript type=\"math\u002Ftex\">\\bar{x}_j\u003C\u002Fscript>, không gian tìm kiếm được phân nhánh thành hai bài toán con độc lập bằng cách bổ sung ràng buộc \u003Cscript type=\"math\u002Ftex\">x_j \\le \\lfloor \\bar{x}_j \\rfloor\u003C\u002Fscript> và \u003Cscript type=\"math\u002Ftex\">x_j \\ge \\lceil \\bar{x}_j \\rceil\u003C\u002Fscript>. Công trình của Land và Doig (1960) trên tạp chí Econometrica đã đề xuất phương pháp số có hệ thống đầu tiên để phân nhánh và tính toán cận trên các bài toán quy hoạch rời rạc. Cận từ bài toán nới lỏng cho phép tỉa bỏ (prune) các nhánh không chứa nghiệm tối ưu hơn nghiệm nguyên tốt nhất hiện có, giúp thu hẹp đáng kể số lượng nút cần duyệt.\u003C\u002Fp>\n\n\u003Ch3>Phương pháp nhánh và cắt\u003C\u002Fh3>\n\u003Cp>Thuật toán nhánh và cắt (branch and cut) kết hợp sức mạnh của phương pháp phân nhánh với việc tự động sinh các mặt phẳng cắt tại từng nút của cây tìm kiếm. Thay vì chỉ phân nhánh đơn thuần, các lát cắt đa diện mạnh (chẳng hạn như lát cắt bìa - cover cuts, lát cắt bè - clique cuts, hay lát cắt làm tròn số nguyên hỗn hợp (mixed-integer rounding cuts - MIR cuts)) được đưa vào để làm chặt đa diện nghiệm. Công trình của Padberg và Rinaldi (1991) trên tạp chí SIAM Review đã ứng dụng thành công {{topic|%7B%22topic%22%3A%22thu%E1%BA%ADt%20to%C3%A1n%20nh%C3%A1nh%20v%C3%A0%20c%E1%BA%AFt%22%7D}} để giải quyết bài toán người bán hàng đối xứng (symmetric traveling salesman problem - STSP), lần đầu tiên chứng minh tính tối ưu tuyệt đối cho các trường hợp dữ liệu thực nghiệm quy mô lớn lên tới 2392 thành phố.\u003C\u002Fp>\n\n\u003Ch2>So sánh các phương pháp giải quy hoạch số nguyên\u003C\u002Fh2>\n\u003Cp>Bảng tổng hợp đối chiếu đặc tính vận hành và hiệu quả tính toán giữa các phương pháp tiếp cận quy hoạch số nguyên:\u003C\u002Fp>\n\n\u003Ctable>\n    \u003Cthead>\n        \u003Ctr>\n            \u003Cth>Phương pháp\u003C\u002Fth>\n            \u003Cth>Cơ chế vận hành\u003C\u002Fth>\n            \u003Cth>Đặc tính hội tụ\u003C\u002Fth>\n            \u003Cth>Khả năng mở rộng quy mô\u003C\u002Fth>\n            \u003Cth>Bộ giải tiêu biểu\u003C\u002Fth>\n        \u003C\u002Ftr>\n    \u003C\u002Fthead>\n    \u003Ctbody>\n        \u003Ctr>\n            \u003Ctd>Nhánh và cận (Branch and Bound)\u003C\u002Ftd>\n            \u003Ctd>Phân chia không gian nghiệm thành cây bài toán con và sử dụng cận nới lỏng tuyến tính\u003C\u002Ftd>\n            \u003Ctd>Hội tụ chính xác về nghiệm tối ưu toàn cục\u003C\u002Ftd>\n            \u003Ctd>Quy mô trung bình, dễ bùng nổ số lượng nút cây tìm kiếm\u003C\u002Ftd>\n            \u003Ctd>CBC, GLPK, SCIP\u003C\u002Ftd>\n        \u003C\u002Ftr>\n        \u003Ctr>\n            \u003Ctd>Mặt phẳng cắt (Cutting Plane)\u003C\u002Ftd>\n            \u003Ctd>Bổ sung liên tục các ràng buộc tuyến tính hợp lệ để gọt giũa đa diện nới lỏng\u003C\u002Ftd>\n            \u003Ctd>Hội tụ hữu hạn về lý thuyết nhưng có thể gặp khó khăn về ổn định số học\u003C\u002Ftd>\n            \u003Ctd>Thường áp dụng bổ trợ, ít khi dùng đơn lẻ cho bài toán lớn\u003C\u002Ftd>\n            \u003Ctd>Thuật toán Gomory nguyên gốc\u003C\u002Ftd>\n        \u003C\u002Ftr>\n        \u003Ctr>\n            \u003Ctd>Nhánh và cắt (Branch and Cut)\u003C\u002Ftd>\n            \u003Ctd>Tích hợp sinh mặt phẳng cắt đa diện tại từng nút trên cây nhánh và cận\u003C\u002Ftd>\n            \u003Ctd>Hội tụ nhanh nhờ làm chặt cận liên tục ở từng tầng nhánh\u003C\u002Ftd>\n            \u003Ctd>Quy mô lớn, là tiêu chuẩn công nghiệp hiện đại\u003C\u002Ftd>\n            \u003Ctd>Gurobi, CPLEX, Xpress, SCIP\u003C\u002Ftd>\n        \u003C\u002Ftr>\n        \u003Ctr>\n            \u003Ctd>Heuristic và Metaheuristic\u003C\u002Ftd>\n            \u003Ctd>Tìm kiếm cục bộ, giải thuật di truyền hoặc tìm kiếm láng giềng biến đổi\u003C\u002Ftd>\n            \u003Ctd>Không đảm bảo tìm thấy nghiệm tối ưu toàn cục\u003C\u002Ftd>\n            \u003Ctd>Quy mô rất lớn, thời gian tính toán ngắn\u003C\u002Ftd>\n            \u003Ctd>LocalSolver, ALNS, Tabu Search\u003C\u002Ftd>\n        \u003C\u002Ftr>\n    \u003C\u002Ftbody>\n\u003C\u002Ftable>\n\n\u003Ch2>Tiến bộ tính toán và ứng dụng thực tiễn\u003C\u002Fh2>\n\u003Cp>Khả năng giải quyết các bài toán quy hoạch số nguyên trong thực tế đã có những bước nhảy vọt trong vài thập kỷ qua. Báo cáo tổng kết của Bixby (2002) trên tạp chí Operations Research cho thấy hiệu năng thực tế của các phần mềm giải quy hoạch toán học đã tăng trưởng vượt bậc nhờ sự kết hợp đồng thời giữa tiến bộ thuật toán và nâng cấp phần cứng. Nghiên cứu xác định rằng sự cải tiến cấu trúc thuật toán đóng góp một hệ số tăng tốc xấp xỉ 1000 lần, và sự phát triển của tốc độ xử lý phần cứng máy tính đóng góp thêm một hệ số xấp xỉ 1000 lần, tạo ra mức tăng tốc tổng thể đạt khoảng 1000000 lần trong việc xử lý các mô hình quy hoạch tuyến tính và số nguyên thực tế.\u003C\u002Fp>\n\n\u003Cp>Trong nghiên cứu ứng dụng tại Việt Nam, các mô hình quy hoạch tuyến tính số nguyên hỗn hợp được ứng dụng rộng rãi để giải quyết các bài toán công nghiệp và quy hoạch không gian phức tạp. Điển hình, nghiên cứu của Bui và cs. (2019) trên tạp chí Journal of Global Optimization đã đề xuất các mô hình quy hoạch tuyến tính số nguyên hỗn hợp để giải quyết bài toán đóng gói các hình chữ nhật mềm thỏa mãn ràng buộc cắt guillotine hai giai đoạn. Các thử nghiệm tính toán trên bộ dữ liệu chuẩn gồm 63 mẫu bài toán đã chứng minh tính hiệu quả của mô hình MILP kết hợp với các bộ giải thương mại trong việc tối ưu hóa chu vi và tỷ lệ khung hình của các phân vùng không gian.\u003C\u002Fp>\n\n\u003Ch2>Thách thức tính toán và xu hướng phát triển\u003C\u002Fh2>\n\u003Cp>Mặc dù công nghệ giải toán đã đạt nhiều tiến bộ, việc ứng dụng quy hoạch số nguyên vào thực tế sản xuất vẫn đối mặt với những thách thức nội tại:\u003C\u002Fp>\n\n\u003Cul>\n    \u003Cli>\u003Cstrong>Sự bùng nổ tổ hợp của không gian nghiệm:\u003C\u002Fstrong> Khi số lượng biến nhị phân tăng lên tuyến tính, số lượng cấu hình nghiệm khả thi tăng theo cấp số nhân. Trong các bài toán có cấu trúc ràng buộc yếu (weak formulation), khoảng cách giữa cận nới lỏng tuyến tính và nghiệm nguyên (integrality gap) rất lớn, dẫn tới việc cây nhánh và cận không thể tỉa nhánh hiệu quả.\u003C\u002Fli>\n    \u003Cli>\u003Cstrong>Ổn định số học và sai số dấu phẩy động:\u003C\u002Fstrong> Việc giải hàng triệu bài toán quy hoạch tuyến tính liên tiếp bằng thuật toán đơn hình có thể tích lũy sai số làm tròn số học, dẫn đến việc bộ giải xác định sai tính khả thi hoặc bổ sung các lát cắt không hợp lệ làm mất nghiệm tối ưu thực sự.\u003C\u002Fli>\n    \u003Cli>\u003Cstrong>Xu hướng tích hợp {{topic|%7B%22topic%22%3A%22h%E1%BB%8Dc%20m%C3%A1y%22%7D}} và tối ưu hóa toán học:\u003C\u002Fstrong> Để đối phó với quy mô bài toán ngày càng lớn, hướng nghiên cứu kết hợp giữa {{topic|%7B%22topic%22%3A%22tr%C3%AD%20tu%E1%BB%87%20nh%C3%A2n%20t%E1%BA%A1o%22%7D}} và quy hoạch toán học đang thu hút sự quan tâm rộng rãi. Các mô hình học máy được huấn luyện để dự đoán thứ tự chọn biến phân nhánh, phát hiện các lát cắt hữu hiệu hoặc cung cấp nghiệm khởi đầu chất lượng cao nhằm đẩy nhanh tốc độ hội tụ của thuật toán nhánh và cắt.\u003C\u002Fli>\n\u003C\u002Ful>\n","Integer programming",[19,20],"quy hoạch tuyến tính số nguyên","quy hoạch nguyên","Quy hoạch số nguyên là một phân ngành của tối ưu hóa toán học, trong đó bài toán tìm kiếm giá trị cực trị của hàm mục tiêu với một số hoặc toàn bộ biến nhận giá trị nguyên.","NATURAL_SCIENCES",[24,32,40,48,56],{"citationText":25,"title":26,"authors":27,"source":28,"year":29,"doi":30,"url":31},"Gomory, R. E. (1958). Outline of an algorithm for integer solutions to linear programs. Bulletin of the American Mathematical Society, 64(5), 275-278.","Outline of an algorithm for integer solutions to linear programs","Gomory, R. E.","Bulletin of the American Mathematical Society",1958,"10.1090\u002Fs0002-9904-1958-10224-4","https:\u002F\u002Fdoi.org\u002F10.1090\u002Fs0002-9904-1958-10224-4",{"citationText":33,"title":34,"authors":35,"source":36,"year":37,"doi":38,"url":39},"Land, A. H., & Doig, A. G. (1960). An Automatic Method of Solving Discrete Programming Problems. Econometrica, 28(3), 497-520.","An Automatic Method of Solving Discrete Programming Problems","Land, A. H., & Doig, A. G.","Econometrica",1960,"10.2307\u002F1910129","https:\u002F\u002Fdoi.org\u002F10.2307\u002F1910129",{"citationText":41,"title":42,"authors":43,"source":44,"year":45,"doi":46,"url":47},"Padberg, M., & Rinaldi, G. (1991). A Branch-and-Cut Algorithm for the Resolution of Large-Scale Symmetric Traveling Salesman Problems. SIAM Review, 33(1), 60-100.","A Branch-and-Cut Algorithm for the Resolution of Large-Scale Symmetric Traveling Salesman Problems","Padberg, M., & Rinaldi, G.","SIAM Review",1991,"10.1137\u002F1033004","https:\u002F\u002Fdoi.org\u002F10.1137\u002F1033004",{"citationText":49,"title":50,"authors":51,"source":52,"year":53,"doi":54,"url":55},"Bixby, R. E. (2002). Solving Real-World Linear Programs: A Decade and More of Progress. Operations Research, 50(1), 3-15.","Solving Real-World Linear Programs: A Decade and More of Progress","Bixby, R. E.","Operations Research",2002,"10.1287\u002Fopre.50.1.3.17780","https:\u002F\u002Fdoi.org\u002F10.1287\u002Fopre.50.1.3.17780",{"citationText":57,"title":58,"authors":59,"source":60,"year":61,"doi":62,"url":63},"Bui, Q. T., Vidal, T., & Hà, M. H. (2019). On three soft rectangle packing problems with guillotine constraints. Journal of Global Optimization, 74(1), 45-62.","On three soft rectangle packing problems with guillotine constraints","Bui, Q. T., Vidal, T., & Hà, M. H.","Journal of Global Optimization",2019,"10.1007\u002Fs10898-019-00741-w","https:\u002F\u002Fdoi.org\u002F10.1007\u002Fs10898-019-00741-w",[65,68,71],{"question":66,"answer":67},"Tại sao không thể giải bài toán quy hoạch số nguyên bằng cách làm tròn nghiệm quy hoạch tuyến tính?","Việc làm tròn số học các nghiệm phân số từ bài toán nới lỏng quy hoạch tuyến tính thường dẫn đến các điểm nằm ngoài miền chấp nhận được của hệ ràng buộc, làm vi phạm tính khả thi. Ngay cả khi điểm làm tròn khả thi, giá trị mục tiêu thu được có thể cách rất xa nghiệm tối ưu thực sự hoặc bỏ sót hoàn toàn các nghiệm nguyên tối ưu toàn cục.",{"question":69,"answer":70},"Khoảng cách nguyên (integrality gap) có ý nghĩa gì trong việc đánh giá độ khó của bài toán?","Khoảng cách nguyên là tỷ lệ hoặc chênh lệch giữa giá trị tối ưu của bài toán nới lỏng tuyến tính và giá trị tối ưu của bài toán quy hoạch số nguyên. Khoảng cách này càng nhỏ chứng tỏ cấu trúc đa diện của bài toán nới lỏng càng bám sát vỏ lồi của các nghiệm nguyên, giúp thuật toán nhánh và cận tỉa nhánh nhanh chóng và giải bài toán hiệu quả hơn.",{"question":72,"answer":73},"Thuật toán nhánh và cắt khác gì so với phương pháp nhánh và cận truyền thống?","Phương pháp nhánh và cận truyền thống chỉ thực hiện phân chia không gian nghiệm thành các bài toán con khi gặp nghiệm phân số. Ngược lại, thuật toán nhánh và cắt chủ động sinh thêm các bất đẳng thức hợp lệ (mặt phẳng cắt) tại từng nút của cây tìm kiếm trước khi phân nhánh, giúp làm chặt đa diện nghiệm nới lỏng và thu hẹp đáng kể số lượng nút phải duyệt.",{"id":75,"researcherId":10,"name":76,"imageUrl":77},1,"Nguyễn Ngọc Sơn","https:\u002F\u002Flh3.googleusercontent.com\u002Fa\u002FACg8ocLGfGsF1nYQqYK5BasTLhNu1dBrBXg2fcEgBNPXJ0p2gqLQnO7i=s96-c",{"id":75,"researcherId":10,"name":76,"imageUrl":77},[80,81,82,83,84,85,86,87,88,89],"quy hoạch tuyến tính","mô hình tối ưu hóa","hàm mục tiêu","ma trận","ràng buộc","độ phức tạp tính toán","thuật toán tối ưu hóa","thuật toán nhánh và cắt","học máy","trí tuệ nhân tạo",10,true,"PUBLISHED","2025-12-01T11:20:48.271+00:00","2026-09-18T10:19:10.927+00:00","2026-09-16T09:42:29.065+00:00","2026-09-18T10:19:10.388+00:00",0,[99,102,105,108,111,114,117,120,123,126],{"id":100,"title":101,"term":100,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"ngữ nghĩa","Ngữ nghĩa là gì? Các nghiên cứu khoa học về Ngữ nghĩa",{"id":103,"title":104,"term":103,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"mô hình lý thuyết","Mô hình lý thuyết là gì? Các nghiên cứu về Mô hình lý thuyết",{"id":106,"title":107,"term":106,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"hình thái","Hình thái là gì? Các công bố khoa học về Hình thái",{"id":109,"title":110,"term":109,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"chuỗi markov","Chuỗi markov là gì? Các công bố khoa học về Chuỗi markov",{"id":112,"title":113,"term":112,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"toán cao cấp","Toán cao cấp là gì? Các nghiên cứu khoa học về Toán cao cấp",{"id":115,"title":116,"term":115,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"chất lượng thông tin","Chất lượng thông tin là gì? Nghiên cứu khoa học liên quan",{"id":118,"title":119,"term":118,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"artificial intelligence","Artificial Intelligence là gì? Các nghiên cứu khoa học về AI",{"id":121,"title":122,"term":121,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"autonomy","Autonomy là gì? Các công bố khoa học về Autonomy",{"id":124,"title":125,"term":124,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"nghiên cứu tổng quan","Nghiên cứu tổng quan là gì? Các bài báo nghiên cứu khoa học",{"id":127,"title":128,"term":127,"englishTitle":10,"definition":10,"discipline":10,"disciplineCode":10,"disciplineLabel":10,"disciplineColor":10,"disciplineIcon":10},"tối ưu hoá","Tối ưu hoá là gì? Các nghiên cứu khoa học về Tối ưu hoá"]