Tin học trẻ 2023 - Chung kết - Trò chơi kAND
Xem dạng PDFTrong trường hợp đề bài hiển thị không chính xác, bạn có thể tải đề bài tại đây: Đề bài
Alice và Bob cùng chơi một trò chơi trên dãy số nguyên. Alice luôn muốn nhanh chóng tìm được một đoạn gồm các phần tử liên tiếp mà khi tính AND (~\&~) của các phần tử đó bằng ~0~. Bob thì tìm cách thay đổi các số để làm khó Alice. Cụ thể, Bob muốn nhờ bạn lập trình giải bài toán sau:
Cho số nguyên ~k~ ~(1 \le k \le n)~ và hai dãy số ~a~ và ~c~ cùng có độ dài ~n~. Với mỗi vị trí ~i~ ~(1 \le i \le n)~, ta có thể thay đổi ~a_i~ thành giá trị bất kì với chi phí là ~c_i~. Tìm tổng chi phí nhỏ nhất để thay đổi dãy ~a~ sao cho ~a_i \mathbin{\&} a_{i+1} \mathbin{\&} \dots \mathbin{\&} a_{i+k-1} = 0~ với mọi ~1 \le i \le n-k+1~.
Nhắc lại, phép toán AND (có kí hiệu là ~\&~) được định nghĩa như sau: Kết quả của phép toán AND giữa hai số nguyên không âm ~x~ và ~y~ là một số nguyên không âm ~z~ trong đó bit thứ ~i~ trong biểu diễn nhị phân của ~z~ sẽ là ~1~ khi và chỉ khi bit thứ ~i~ trong biểu diễn nhị phân của ~x~ và ~y~ đồng thời bằng ~1~, ngược lại bit thứ ~i~ trong biểu diễn nhị phân của ~z~ sẽ là ~0~.
Input
Dòng đầu tiên là một số nguyên ~t~ ~(1 \le t \le 10^6)~ cho biết số bộ dữ liệu, tiếp theo mỗi bộ có khuôn dạng:
Dòng đầu tiên gồm hai số nguyên ~n~ và ~k~ ~(1 \le k \le n \le 10^6)~.
Dòng thứ hai gồm ~n~ số nguyên ~a_1, a_2, \dots, a_n~ ~(0 \le a_i < 2^{30})~.
Dòng cuối cùng gồm ~n~ số nguyên ~c_1, c_2, \dots, c_n~ ~(0 \le c_i < 2^{30})~.
Dữ liệu đảm bảo tổng các giá trị của ~n~ trong các bộ dữ liệu không vượt quá ~10^6~.
Output
Gồm ~t~ dòng, mỗi dòng tương ứng là tổng chi phí nhỏ nhất tìm được của bộ dữ liệu xuất hiện trong dữ liệu vào.
Scoring
| Subtask | Điểm | Ràng buộc |
|---|---|---|
| 1 | ~20~ | Tổng các giá trị của ~n~ trong ~t~ bộ dữ liệu không vượt quá ~20~ |
| 2 | ~20~ | ~c_i \le 1~ với mọi ~1 \le i \le n~ |
| 3 | ~30~ | Tổng các giá trị của ~n~ trong ~t~ bộ dữ liệu không vượt quá ~5000~ |
| 4 | ~30~ | Không có ràng buộc gì thêm |
Sample Input 1
1
5 2
1 2 3 2 1
3 2 5 2 3
Sample Output 1
4
Bình luận