Exact Optimality Certification of QPLIB 2096 through Complete Set Partitioning

{"tags": ["QPLIB", "Mathematical Optimization", "ZiYor", "Set Partitioning", "Optimality Certification", "Combinatorial Optimization"], "risks": ["Kết quả mang tính đặc thù cho từng cá thể (instance-specific), chưa thể suy rộng hiệu năng cho các bài toán khác.", "Kỹ thuật liệt kê chính xác (exact enumeration) có nguy cơ bùng nổ tổ hợp trên các bài toán quy mô lớn hơn."], "category": "Research", "entities": ["QPLIB_2096", "ZiYor"], "summary_vi": "Nghiên cứu đưa ra chứng minh tính toán chính xác rằng bài toán đóng băng QPLIB_2096 đạt giá trị cực tiểu toàn cục là 7.025.720 thông qua phương pháp phân hoạch tập hợp hoàn chỉnh. Cách tiếp cận và chứng chỉ tối ưu hóa được phát hiện và tinh chỉnh bởi hệ thống AI tự tiến hóa ZiYor. Nhóm tác giả tái cấu trúc bài toán 300 biến nhị phân thành bài toán phân hoạch trên 25 phần tử, kiểm tra 245.505 tập con và tìm ra 14.981 khối khả thi. Một vector giá nguyên đối ngẫu được xác lập để chứng minh cận dưới, khớp với nghiệm phân hoạch 6 khối mà không cần dựa vào solver thương mại.", "key_changes": ["Chứng minh tính toán chính xác giá trị cực tiểu toàn cục của bài toán QPLIB_2096 là 7.025.720.", "Tái cấu trúc mô hình phi lồi gốc (300 biến, 6.900 bất đẳng thức tam giác, 25 ràng buộc bậc hai phi lồi) thành bài toán phân hoạch tập hợp (set partitioning) trên 25 phần tử.", "Ứng dụng hệ thống AI tự tiến hóa ZiYor để tìm kiếm và hoàn thiện hướng giải cũng như chứng chỉ tối ưu.", "Duyệt chính xác 245.505 tập con để xác định 14.981 khối khả thi và thiết lập vector đối ngẫu nguyên chứng thực cận dưới không cần solver thương mại."], "sub_category": "Tối ưu hóa toán học & AI", "novelty_score": 78, "business_score": 40, "research_score": 88, "why_it_matters": "Nghiên cứu giải quyết dứt điểm một bài toán tối ưu phi lồi chuẩn mực và phức tạp trong thư viện QPLIB bằng chứng chỉ tối ưu chính xác (primal-dual witness), đồng thời thể hiện tiềm năng thực tế của hệ thống AI tự tiến hóa trong việc hỗ trợ các nhà toán học phát hiện cấu trúc và giải quyết các bài toán tối ưu tổ hợp hóc búa.", "developer_score": 58, "importance_score": 68, "possible_use_cases": ["Làm bài toán chuẩn (benchmark) chính xác để đánh giá các solver quy hoạch phi lồi và quy hoạch nhị phân.", "Ứng dụng AI tự tiến hóa để hỗ trợ khám phá cấu trúc toán học ẩn trong các bài toán quy hoạch tổ hợp phức tạp.", "Nghiên cứu kỹ thuật sinh chứng chỉ tối ưu không phụ thuộc solver (solver-free optimality certification)."], "actionability_score": 52}