Certify the Decision, Not Every Score: Exact Top-k Selection from Few Evaluations

{"tags": ["Certified Adaptive Selection", "CAS-PG", "Expected Shortfall", "Algorithm Selection", "Top-k Selection", "Robust Optimization", "Decision Theory"], "risks": ["Hiệu quả tiết kiệm đánh giá phụ thuộc vào tính chất rời rạc thông tin của các khoảng Cartesian và cấu trúc độ bất định của bài toán.", "Chưa chứng minh trên các bài toán có chi phí truy vấn biến thiên phức tạp (non-unit cost queries) hoặc kịch bản phi tuyến tính cao.", "Chi phí tính toán kiểm định dừng và cận chặn có thể trở thành điểm nghẽn nếu hàm mục tiêu đơn giản hơn nhiều so với việc duy trì chứng chỉ."], "category": "Research", "entities": ["Certified Adaptive Selection (CAS)", "CAS-PG", "Expected Shortfall (ES)", "One-cut Test"], "summary_vi": "Nghiên cứu giới thiệu Certified Adaptive Selection (CAS), phương pháp lựa chọn chính xác top-k thuật toán hoặc lịch trình tối ưu dưới các kịch bản bất lợi với số lượt đánh giá tối thiểu. Thay vì đánh giá toàn bộ kịch bản, CAS duy trì cận trên/dưới cho Expected Shortfall (ES) và dừng ngay khi sự không chắc chắn không thể thay đổi kết quả top-k. Mô hình dự đoán chỉ đóng vai trò chọn lượt đánh giá tiếp theo mà không tham gia xác thực quyết định, đảm bảo độ chính xác tuyệt đối ngay cả khi dự đoán bị sai lệch hoặc đối kháng.", "key_changes": ["Đề xuất khuôn khổ Certified Adaptive Selection (CAS) giúp xác định tập top-k chính xác ngay khi độ bất định còn lại không thể làm thay đổi kết quả.", "Áp dụng kiểm định dừng một nhát cắt (one-cut stopping test) so sánh ứng viên được chọn kém nhất với ứng viên bị loại tốt nhất, là điều kiện cần và đủ cho các khoảng Cartesian rời rạc thông tin.", "Tách biệt vai trò của dự đoán: chỉ dùng để định hướng lượt đánh giá tiếp theo thay vì phê duyệt quyết định, đảm bảo tính chính xác tuyệt đối kể cả khi bộ dự đoán mang tính đối kháng.", "Tính toán trong thời gian đa thức số lượng đánh giá tối thiểu trong hồi tưởng (hindsight minimum) cho empirical ES với truy vấn chi phí đơn vị.", "Thực nghiệm chứng minh CAS-PG đạt 1.14 - 1.18 lần mức tối thiểu hồi tưởng khi chọn top-3 thuật toán, và chính sách CAS không cần dự đoán giúp giảm 93.0% số lần giải recourse trong lập lịch năng lượng."], "sub_category": "Tối ưu hóa & Lựa chọn thuật toán", "novelty_score": 82, "business_score": 78, "research_score": 88, "why_it_matters": "CAS giải quyết bài toán lãng phí tài nguyên lớn trong benchmark và tối ưu hóa rủi ro bằng cách chứng thực quyết định thay vì tính điểm mọi trường hợp. Việc phân tách giữa định hướng dự đoán và chứng thực toán học cho phép giảm 70-93% chi phí tính toán mà vẫn đảm bảo tính chuẩn xác tuyệt đối, loại bỏ rủi ro sai sót từ mô hình dự đoán.", "developer_score": 75, "importance_score": 78, "possible_use_cases": ["Lựa chọn thuật toán hoặc mô hình tối ưu (Algorithm Selection / Model Benchmarking) trên nhiều kịch bản mà không cần đánh giá toàn diện.", "Lập lịch và điều độ hệ thống năng lượng trong các kịch bản khắc nghiệt (synthetic energy scheduling).", "Tối ưu hóa siêu tham số (Hyperparameter Optimization) có tính đến rủi ro đuôi (Expected Shortfall).", "Kiểm thử kịch bản bất lợi và quản trị rủi ro hệ thống tự động với chi phí tính toán tối thiểu."], "actionability_score": 72}